detailed results (6442 total)

prover file res expected time
batsat /home/simon/w/batsat/benchs/basic/uuf250-046.cnf.gz (content) unknown unknown 11.2s
minisat /home/simon/w/batsat/benchs/basic/uuf250-046.cnf.gz (content) unknown unknown 12s
batsat /home/simon/w/batsat/benchs/basic/uuf250-045.cnf.gz (content) unsat unknown 4.5s
minisat /home/simon/w/batsat/benchs/basic/uuf250-045.cnf.gz (content) unsat unknown 4s
batsat /home/simon/w/batsat/benchs/basic/uuf250-044.cnf.gz (content) unsat unknown 8.5s
minisat /home/simon/w/batsat/benchs/basic/uuf250-044.cnf.gz (content) unsat unknown 4.9s
batsat /home/simon/w/batsat/benchs/basic/uuf250-043.cnf.gz (content) unsat unknown 11s
minisat /home/simon/w/batsat/benchs/basic/uuf250-043.cnf.gz (content) unsat unknown 9.1s
batsat /home/simon/w/batsat/benchs/basic/uuf250-042.cnf.gz (content) unsat unknown 8.8s
minisat /home/simon/w/batsat/benchs/basic/uuf250-042.cnf.gz (content) unsat unknown 8s
batsat /home/simon/w/batsat/benchs/basic/uuf250-041.cnf.gz (content) unsat unknown 8.9s
minisat /home/simon/w/batsat/benchs/basic/uuf250-041.cnf.gz (content) unsat unknown 7s
batsat /home/simon/w/batsat/benchs/basic/uuf250-040.cnf.gz (content) unsat unknown 3.2s
minisat /home/simon/w/batsat/benchs/basic/uuf250-040.cnf.gz (content) unsat unknown 2.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-04.cnf.gz (content) unsat unknown 9.4s
minisat /home/simon/w/batsat/benchs/basic/uuf250-04.cnf.gz (content) unsat unknown 8.5s
batsat /home/simon/w/batsat/benchs/basic/uuf250-039.cnf.gz (content) unsat unknown 6.6s
minisat /home/simon/w/batsat/benchs/basic/uuf250-039.cnf.gz (content) unsat unknown 3.3s
batsat /home/simon/w/batsat/benchs/basic/uuf250-038.cnf.gz (content) unsat unknown 2s
minisat /home/simon/w/batsat/benchs/basic/uuf250-038.cnf.gz (content) unsat unknown 1.5s
batsat /home/simon/w/batsat/benchs/basic/uuf250-037.cnf.gz (content) unsat unknown 4.0s
minisat /home/simon/w/batsat/benchs/basic/uuf250-037.cnf.gz (content) unsat unknown 3.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-036.cnf.gz (content) unsat unknown 3.0s
minisat /home/simon/w/batsat/benchs/basic/uuf250-036.cnf.gz (content) unsat unknown 3.9s
batsat /home/simon/w/batsat/benchs/basic/uuf250-035.cnf.gz (content) unsat unknown 11.4s