detailed results (3221 total)

prover file res expected time
batsat /home/simon/w/batsat/benchs/basic/uuf250-080.cnf.gz (content) unsat unknown 10.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-08.cnf.gz (content) unsat unknown 7.2s
batsat /home/simon/w/batsat/benchs/basic/uuf250-079.cnf.gz (content) unknown unknown 10.0s
batsat /home/simon/w/batsat/benchs/basic/uuf250-078.cnf.gz (content) unsat unknown 9.4s
batsat /home/simon/w/batsat/benchs/basic/uuf250-077.cnf.gz (content) unknown unknown 11.5s
batsat /home/simon/w/batsat/benchs/basic/uuf250-076.cnf.gz (content) unsat unknown 7.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-075.cnf.gz (content) unsat unknown 9.2s
batsat /home/simon/w/batsat/benchs/basic/uuf250-074.cnf.gz (content) unsat unknown 5.5s
batsat /home/simon/w/batsat/benchs/basic/uuf250-073.cnf.gz (content) unsat unknown 4.1s
batsat /home/simon/w/batsat/benchs/basic/uuf250-072.cnf.gz (content) unsat unknown 9.4s
batsat /home/simon/w/batsat/benchs/basic/uuf250-071.cnf.gz (content) unknown unknown 10.7s
batsat /home/simon/w/batsat/benchs/basic/uuf250-070.cnf.gz (content) unknown unknown 10.8s
batsat /home/simon/w/batsat/benchs/basic/uuf250-07.cnf.gz (content) unsat unknown 10s
batsat /home/simon/w/batsat/benchs/basic/uuf250-069.cnf.gz (content) unsat unknown 8.8s
batsat /home/simon/w/batsat/benchs/basic/uuf250-068.cnf.gz (content) unsat unknown 1.5s
batsat /home/simon/w/batsat/benchs/basic/uuf250-067.cnf.gz (content) unsat unknown 7.1s
batsat /home/simon/w/batsat/benchs/basic/uuf250-066.cnf.gz (content) unknown unknown 12.2s
batsat /home/simon/w/batsat/benchs/basic/uuf250-065.cnf.gz (content) unsat unknown 3.7s
batsat /home/simon/w/batsat/benchs/basic/uuf250-064.cnf.gz (content) unsat unknown 10.4s
batsat /home/simon/w/batsat/benchs/basic/uuf250-063.cnf.gz (content) unknown unknown 11.8s
batsat /home/simon/w/batsat/benchs/basic/uuf250-062.cnf.gz (content) unsat unknown 5.1s
batsat /home/simon/w/batsat/benchs/basic/uuf250-061.cnf.gz (content) unknown unknown 10.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-060.cnf.gz (content) unsat unknown 5.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-06.cnf.gz (content) unsat unknown 9.3s
batsat /home/simon/w/batsat/benchs/basic/uuf250-059.cnf.gz (content) unsat unknown 2.3s