detailed results (3221 total)

prover file res expected time
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-077.cnf.gz (content) unknown unknown 12.6s
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-070.cnf.gz (content) unknown unknown 10.5s
minisat /home/simon/w/batsat/benchs/basic/uuf250-07.cnf.gz (content) unsat unknown 5.7s
minisat /home/simon/w/batsat/benchs/basic/uuf250-069.cnf.gz (content) unknown unknown 10.6s
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-066.cnf.gz (content) unknown unknown 12s
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-061.cnf.gz (content) unknown unknown 10.8s
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