detailed results (6442 total)

prover file res expected time
batsat /home/simon/w/batsat/benchs/basic/uf250-069.cnf.gz (content) sat unknown 3s
minisat /home/simon/w/batsat/benchs/basic/uf250-069.cnf.gz (content) sat unknown 3s
batsat /home/simon/w/batsat/benchs/basic/uf250-068.cnf.gz (content) sat unknown 0.029s
minisat /home/simon/w/batsat/benchs/basic/uf250-068.cnf.gz (content) sat unknown 0.321s
batsat /home/simon/w/batsat/benchs/basic/uf250-067.cnf.gz (content) sat unknown 1.8s
minisat /home/simon/w/batsat/benchs/basic/uf250-067.cnf.gz (content) sat unknown 2.0s
batsat /home/simon/w/batsat/benchs/basic/uf250-066.cnf.gz (content) sat unknown 0.839s
minisat /home/simon/w/batsat/benchs/basic/uf250-066.cnf.gz (content) sat unknown 2.3s
batsat /home/simon/w/batsat/benchs/basic/uf250-065.cnf.gz (content) sat unknown 1.5s
minisat /home/simon/w/batsat/benchs/basic/uf250-065.cnf.gz (content) sat unknown 1s
batsat /home/simon/w/batsat/benchs/basic/uf250-064.cnf.gz (content) sat unknown 0.245s
minisat /home/simon/w/batsat/benchs/basic/uf250-064.cnf.gz (content) sat unknown 0.259s
batsat /home/simon/w/batsat/benchs/basic/uf250-063.cnf.gz (content) sat unknown 1s
minisat /home/simon/w/batsat/benchs/basic/uf250-063.cnf.gz (content) sat unknown 0.848s
batsat /home/simon/w/batsat/benchs/basic/uf250-062.cnf.gz (content) sat unknown 2.5s
minisat /home/simon/w/batsat/benchs/basic/uf250-062.cnf.gz (content) sat unknown 0.712s
batsat /home/simon/w/batsat/benchs/basic/uf250-061.cnf.gz (content) sat unknown 2.2s
minisat /home/simon/w/batsat/benchs/basic/uf250-061.cnf.gz (content) sat unknown 0.674s
batsat /home/simon/w/batsat/benchs/basic/uf250-060.cnf.gz (content) sat unknown 3.9s
minisat /home/simon/w/batsat/benchs/basic/uf250-060.cnf.gz (content) sat unknown 6s
batsat /home/simon/w/batsat/benchs/basic/uf250-06.cnf.gz (content) sat unknown 0.471s
minisat /home/simon/w/batsat/benchs/basic/uf250-06.cnf.gz (content) sat unknown 0.546s
batsat /home/simon/w/batsat/benchs/basic/uf250-059.cnf.gz (content) sat unknown 0.124s
minisat /home/simon/w/batsat/benchs/basic/uf250-059.cnf.gz (content) sat unknown 1.3s
batsat /home/simon/w/batsat/benchs/basic/uf250-058.cnf.gz (content) sat unknown 1.6s