detailed results (6442 total)

prover file res expected time
batsat /home/simon/w/batsat/benchs/basic/uf250-091.cnf.gz (content) sat unknown 0.097s
minisat /home/simon/w/batsat/benchs/basic/uf250-091.cnf.gz (content) sat unknown 0.059s
batsat /home/simon/w/batsat/benchs/basic/uf250-090.cnf.gz (content) sat unknown 1.0s
minisat /home/simon/w/batsat/benchs/basic/uf250-090.cnf.gz (content) sat unknown 4.4s
batsat /home/simon/w/batsat/benchs/basic/uf250-09.cnf.gz (content) sat unknown 0.256s
minisat /home/simon/w/batsat/benchs/basic/uf250-09.cnf.gz (content) sat unknown 1.4s
batsat /home/simon/w/batsat/benchs/basic/uf250-089.cnf.gz (content) sat unknown 1.6s
minisat /home/simon/w/batsat/benchs/basic/uf250-089.cnf.gz (content) sat unknown 0.554s
batsat /home/simon/w/batsat/benchs/basic/uf250-088.cnf.gz (content) sat unknown 0.155s
minisat /home/simon/w/batsat/benchs/basic/uf250-088.cnf.gz (content) sat unknown 0.059s
batsat /home/simon/w/batsat/benchs/basic/uf250-087.cnf.gz (content) sat unknown 2.4s
minisat /home/simon/w/batsat/benchs/basic/uf250-087.cnf.gz (content) sat unknown 2.8s
batsat /home/simon/w/batsat/benchs/basic/uf250-086.cnf.gz (content) sat unknown 3.8s
minisat /home/simon/w/batsat/benchs/basic/uf250-086.cnf.gz (content) sat unknown 3.7s
batsat /home/simon/w/batsat/benchs/basic/uf250-085.cnf.gz (content) sat unknown 0.107s
minisat /home/simon/w/batsat/benchs/basic/uf250-085.cnf.gz (content) sat unknown 0.401s
batsat /home/simon/w/batsat/benchs/basic/uf250-084.cnf.gz (content) sat unknown 0.135s
minisat /home/simon/w/batsat/benchs/basic/uf250-084.cnf.gz (content) sat unknown 1.4s
batsat /home/simon/w/batsat/benchs/basic/uf250-083.cnf.gz (content) sat unknown 0.009s
minisat /home/simon/w/batsat/benchs/basic/uf250-083.cnf.gz (content) sat unknown 0.804s
batsat /home/simon/w/batsat/benchs/basic/uf250-082.cnf.gz (content) sat unknown 2.2s
minisat /home/simon/w/batsat/benchs/basic/uf250-082.cnf.gz (content) sat unknown 1.5s
batsat /home/simon/w/batsat/benchs/basic/uf250-081.cnf.gz (content) sat unknown 0.618s
minisat /home/simon/w/batsat/benchs/basic/uf250-081.cnf.gz (content) sat unknown 1s
batsat /home/simon/w/batsat/benchs/basic/uf250-080.cnf.gz (content) sat unknown 1s