detailed results (6442 total)

prover file res expected time
minisat /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
minisat /home/simon/w/batsat/benchs/basic/uuf250-08.cnf.gz (content) unsat unknown 9.3s
batsat /home/simon/w/batsat/benchs/basic/uuf250-079.cnf.gz (content) unknown unknown 10.0s
minisat /home/simon/w/batsat/benchs/basic/uuf250-079.cnf.gz (content) unsat unknown 10.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-078.cnf.gz (content) unsat unknown 9.4s
minisat /home/simon/w/batsat/benchs/basic/uuf250-078.cnf.gz (content) unsat unknown 7.7s
batsat /home/simon/w/batsat/benchs/basic/uuf250-077.cnf.gz (content) unknown unknown 11.5s
minisat /home/simon/w/batsat/benchs/basic/uuf250-077.cnf.gz (content) unknown unknown 12.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-076.cnf.gz (content) unsat unknown 7.6s
minisat /home/simon/w/batsat/benchs/basic/uuf250-076.cnf.gz (content) unsat unknown 4s
batsat /home/simon/w/batsat/benchs/basic/uuf250-075.cnf.gz (content) unsat unknown 9.2s
minisat /home/simon/w/batsat/benchs/basic/uuf250-075.cnf.gz (content) unsat unknown 10.8s
batsat /home/simon/w/batsat/benchs/basic/uuf250-074.cnf.gz (content) unsat unknown 5.5s
minisat /home/simon/w/batsat/benchs/basic/uuf250-074.cnf.gz (content) unsat unknown 4.1s
batsat /home/simon/w/batsat/benchs/basic/uuf250-073.cnf.gz (content) unsat unknown 4.1s
minisat /home/simon/w/batsat/benchs/basic/uuf250-073.cnf.gz (content) unsat unknown 2.9s
batsat /home/simon/w/batsat/benchs/basic/uuf250-072.cnf.gz (content) unsat unknown 9.4s
minisat /home/simon/w/batsat/benchs/basic/uuf250-072.cnf.gz (content) unsat unknown 8.7s
batsat /home/simon/w/batsat/benchs/basic/uuf250-071.cnf.gz (content) unknown unknown 10.7s
minisat /home/simon/w/batsat/benchs/basic/uuf250-071.cnf.gz (content) unsat unknown 10s
batsat /home/simon/w/batsat/benchs/basic/uuf250-070.cnf.gz (content) unknown unknown 10.8s
minisat /home/simon/w/batsat/benchs/basic/uuf250-070.cnf.gz (content) unknown unknown 10.5s
batsat /home/simon/w/batsat/benchs/basic/uuf250-07.cnf.gz (content) unsat unknown 10s
minisat /home/simon/w/batsat/benchs/basic/uuf250-07.cnf.gz (content) unsat unknown 5.7s