detailed results (1079 total)

prover file res expected time
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-062.cnf.gz (content) unsat unknown 5.1s
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
batsat /home/simon/w/batsat/benchs/basic/uuf250-057.cnf.gz (content) unsat unknown 12.2s
batsat /home/simon/w/batsat/benchs/basic/uuf250-056.cnf.gz (content) unsat unknown 6.8s
batsat /home/simon/w/batsat/benchs/basic/uuf250-055.cnf.gz (content) unsat unknown 1.8s
batsat /home/simon/w/batsat/benchs/basic/uuf250-054.cnf.gz (content) unsat unknown 8.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-052.cnf.gz (content) unsat unknown 8.8s
batsat /home/simon/w/batsat/benchs/basic/uuf250-050.cnf.gz (content) unsat unknown 10.1s
batsat /home/simon/w/batsat/benchs/basic/uuf250-05.cnf.gz (content) unsat unknown 4.3s
batsat /home/simon/w/batsat/benchs/basic/uuf250-049.cnf.gz (content) unsat unknown 4.9s
batsat /home/simon/w/batsat/benchs/basic/uuf250-048.cnf.gz (content) unsat unknown 2.1s
batsat /home/simon/w/batsat/benchs/basic/uuf250-047.cnf.gz (content) unsat unknown 5.1s
batsat /home/simon/w/batsat/benchs/basic/uuf250-045.cnf.gz (content) unsat unknown 4.5s
batsat /home/simon/w/batsat/benchs/basic/uuf250-044.cnf.gz (content) unsat unknown 8.5s
batsat /home/simon/w/batsat/benchs/basic/uuf250-043.cnf.gz (content) unsat unknown 11s
batsat /home/simon/w/batsat/benchs/basic/uuf250-042.cnf.gz (content) unsat unknown 8.8s
batsat /home/simon/w/batsat/benchs/basic/uuf250-041.cnf.gz (content) unsat unknown 8.9s
batsat /home/simon/w/batsat/benchs/basic/uuf250-040.cnf.gz (content) unsat unknown 3.2s
batsat /home/simon/w/batsat/benchs/basic/uuf250-04.cnf.gz (content) unsat unknown 9.4s
batsat /home/simon/w/batsat/benchs/basic/uuf250-039.cnf.gz (content) unsat unknown 6.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-038.cnf.gz (content) unsat unknown 2s