detailed results (6442 total)

prover file res expected time
batsat /home/simon/w/batsat/benchs/basic/uuf250-069.cnf.gz (content) unsat unknown 8.8s
minisat /home/simon/w/batsat/benchs/basic/uuf250-069.cnf.gz (content) unknown unknown 10.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-068.cnf.gz (content) unsat unknown 1.5s
minisat /home/simon/w/batsat/benchs/basic/uuf250-068.cnf.gz (content) unsat unknown 0.859s
batsat /home/simon/w/batsat/benchs/basic/uuf250-067.cnf.gz (content) unsat unknown 7.1s
minisat /home/simon/w/batsat/benchs/basic/uuf250-067.cnf.gz (content) unsat unknown 5.9s
batsat /home/simon/w/batsat/benchs/basic/uuf250-066.cnf.gz (content) unknown unknown 12.2s
minisat /home/simon/w/batsat/benchs/basic/uuf250-066.cnf.gz (content) unknown unknown 12s
batsat /home/simon/w/batsat/benchs/basic/uuf250-065.cnf.gz (content) unsat unknown 3.7s
minisat /home/simon/w/batsat/benchs/basic/uuf250-065.cnf.gz (content) unsat unknown 2.3s
batsat /home/simon/w/batsat/benchs/basic/uuf250-064.cnf.gz (content) unsat unknown 10.4s
minisat /home/simon/w/batsat/benchs/basic/uuf250-064.cnf.gz (content) unsat unknown 7.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-063.cnf.gz (content) unknown unknown 11.8s
minisat /home/simon/w/batsat/benchs/basic/uuf250-063.cnf.gz (content) unsat unknown 9.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-062.cnf.gz (content) unsat unknown 5.1s
minisat /home/simon/w/batsat/benchs/basic/uuf250-062.cnf.gz (content) unsat unknown 4.1s
batsat /home/simon/w/batsat/benchs/basic/uuf250-061.cnf.gz (content) unknown unknown 10.6s
minisat /home/simon/w/batsat/benchs/basic/uuf250-061.cnf.gz (content) unknown unknown 10.8s
batsat /home/simon/w/batsat/benchs/basic/uuf250-060.cnf.gz (content) unsat unknown 5.6s
minisat /home/simon/w/batsat/benchs/basic/uuf250-060.cnf.gz (content) unsat unknown 5s
batsat /home/simon/w/batsat/benchs/basic/uuf250-06.cnf.gz (content) unsat unknown 9.3s
minisat /home/simon/w/batsat/benchs/basic/uuf250-06.cnf.gz (content) unsat unknown 8.3s
batsat /home/simon/w/batsat/benchs/basic/uuf250-059.cnf.gz (content) unsat unknown 2.3s
minisat /home/simon/w/batsat/benchs/basic/uuf250-059.cnf.gz (content) unsat unknown 1.0s
batsat /home/simon/w/batsat/benchs/basic/uuf250-058.cnf.gz (content) unknown unknown 10.8s