372 \-VarWeight=3 -TimeLimit=" ^ string_of_int (to_secs 1 timeout)) |
372 \-VarWeight=3 -TimeLimit=" ^ string_of_int (to_secs 1 timeout)) |
373 |> sos = sosN ? prefix "-SOS=1 ", |
373 |> sos = sosN ? prefix "-SOS=1 ", |
374 proof_delims = [("Here is a proof", "Formulae used in the proof")], |
374 proof_delims = [("Here is a proof", "Formulae used in the proof")], |
375 known_failures = |
375 known_failures = |
376 known_perl_failures @ |
376 known_perl_failures @ |
377 [(GaveUp, "SPASS beiseite: Completion found"), |
377 [(OldSPASS, "SPASS V 3.5"), |
|
378 (OldSPASS, "SPASS V 3.7"), |
|
379 (GaveUp, "SPASS beiseite: Completion found"), |
378 (TimedOut, "SPASS beiseite: Ran out of time"), |
380 (TimedOut, "SPASS beiseite: Ran out of time"), |
379 (OutOfResources, "SPASS beiseite: Maximal number of loops exceeded"), |
381 (OutOfResources, "SPASS beiseite: Maximal number of loops exceeded"), |
380 (MalformedInput, "Undefined symbol"), |
382 (MalformedInput, "Undefined symbol"), |
381 (MalformedInput, "Free Variable"), |
383 (MalformedInput, "Free Variable"), |
382 (Unprovable, "No formulae and clauses found in input file"), |
384 (Unprovable, "No formulae and clauses found in input file"), |