Commit 7955d8e4 authored by Andrei Paskevich's avatar Andrei Paskevich

remove tptp_simple-based provers

parent 2b8b5303
......@@ -27,21 +27,11 @@ name = "spass"
command = "why3-cpulimit 0 %m SPASS -TPTP -PGiven=0 -PProblem=0 -DocProof -TimeLimit=%t %f 2>&1"
driver = "drivers/tptp.drv"
[prover spass_simple]
name = "spass_simple"
command = "why3-cpulimit 0 %m SPASS -TPTP -PGiven=0 -PProblem=0 -DocProof -TimeLimit=%t %f 2>&1"
driver = "drivers/tptp_simple.drv"
[prover eprover]
name = "eprover"
command = "why3-cpulimit 0 %m eprover -s --print-statistics -xAuto -tAuto --cpu-limit=%t --tstp-in %f 2>&1"
driver = "drivers/tptp.drv"
[prover eprover_simple]
name = "eprover_simple"
command = "why3-cpulimit 0 %m eprover -s --print-statistics -xAuto -tAuto --cpu-limit=%t --tstp-in %f 2>&1"
driver = "drivers/tptp_simple.drv"
[prover simplify]
name = "simplify"
command = "why3-cpulimit %t %m Simplify %f 2>&1"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment