detailed results (1079 total)

prover file res expected time
batsat /home/simon/w/batsat/benchs/basic/uuf250-096.cnf.gz (content) unsat unknown 11s
batsat /home/simon/w/batsat/benchs/basic/uuf250-095.cnf.gz (content) unsat unknown 4s
batsat /home/simon/w/batsat/benchs/basic/uuf250-094.cnf.gz (content) unsat unknown 8.5s
batsat /home/simon/w/batsat/benchs/basic/uuf250-093.cnf.gz (content) unsat unknown 8.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-091.cnf.gz (content) unsat unknown 12s
batsat /home/simon/w/batsat/benchs/basic/uuf250-090.cnf.gz (content) unsat unknown 0.840s
batsat /home/simon/w/batsat/benchs/basic/uuf250-089.cnf.gz (content) unsat unknown 7.5s
batsat /home/simon/w/batsat/benchs/basic/uuf250-088.cnf.gz (content) unsat unknown 10.6s
batsat /home/simon/w/batsat/benchs/basic/uuf250-086.cnf.gz (content) unsat unknown 7.2s
batsat /home/simon/w/batsat/benchs/basic/uuf250-085.cnf.gz (content) unsat unknown 6.7s
batsat /home/simon/w/batsat/benchs/basic/uuf250-084.cnf.gz (content) unsat unknown 6.2s
batsat /home/simon/w/batsat/benchs/basic/uuf250-083.cnf.gz (content) unsat unknown 3.3s
batsat /home/simon/w/batsat/benchs/basic/uuf250-082.cnf.gz (content) unsat unknown 8.3s
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-078.cnf.gz (content) unsat unknown 9.4s
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-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