detailed results (1089 total)

prover file res expected time
minisat /home/simon/w/batsat/benchs/basic/uuf250-085.cnf.gz (content) unsat unknown 7.7s
minisat /home/simon/w/batsat/benchs/basic/uuf250-084.cnf.gz (content) unsat unknown 3.6s
minisat /home/simon/w/batsat/benchs/basic/uuf250-083.cnf.gz (content) unsat unknown 2.2s
minisat /home/simon/w/batsat/benchs/basic/uuf250-082.cnf.gz (content) unsat unknown 7.8s
minisat /home/simon/w/batsat/benchs/basic/uuf250-081.cnf.gz (content) unsat unknown 9.4s
minisat /home/simon/w/batsat/benchs/basic/uuf250-080.cnf.gz (content) unsat unknown 10.6s
minisat /home/simon/w/batsat/benchs/basic/uuf250-08.cnf.gz (content) unsat unknown 9.3s
minisat /home/simon/w/batsat/benchs/basic/uuf250-079.cnf.gz (content) unsat unknown 10.6s
minisat /home/simon/w/batsat/benchs/basic/uuf250-078.cnf.gz (content) unsat unknown 7.7s
minisat /home/simon/w/batsat/benchs/basic/uuf250-076.cnf.gz (content) unsat unknown 4s
minisat /home/simon/w/batsat/benchs/basic/uuf250-075.cnf.gz (content) unsat unknown 10.8s
minisat /home/simon/w/batsat/benchs/basic/uuf250-074.cnf.gz (content) unsat unknown 4.1s
minisat /home/simon/w/batsat/benchs/basic/uuf250-073.cnf.gz (content) unsat unknown 2.9s
minisat /home/simon/w/batsat/benchs/basic/uuf250-072.cnf.gz (content) unsat unknown 8.7s
minisat /home/simon/w/batsat/benchs/basic/uuf250-071.cnf.gz (content) unsat unknown 10s
minisat /home/simon/w/batsat/benchs/basic/uuf250-07.cnf.gz (content) unsat unknown 5.7s
minisat /home/simon/w/batsat/benchs/basic/uuf250-068.cnf.gz (content) unsat unknown 0.859s
minisat /home/simon/w/batsat/benchs/basic/uuf250-067.cnf.gz (content) unsat unknown 5.9s
minisat /home/simon/w/batsat/benchs/basic/uuf250-065.cnf.gz (content) unsat unknown 2.3s
minisat /home/simon/w/batsat/benchs/basic/uuf250-064.cnf.gz (content) unsat unknown 7.6s
minisat /home/simon/w/batsat/benchs/basic/uuf250-063.cnf.gz (content) unsat unknown 9.6s
minisat /home/simon/w/batsat/benchs/basic/uuf250-062.cnf.gz (content) unsat unknown 4.1s
minisat /home/simon/w/batsat/benchs/basic/uuf250-060.cnf.gz (content) unsat unknown 5s
minisat /home/simon/w/batsat/benchs/basic/uuf250-06.cnf.gz (content) unsat unknown 8.3s
minisat /home/simon/w/batsat/benchs/basic/uuf250-059.cnf.gz (content) unsat unknown 1.0s