detailed results (6442 total)

prover file res expected time
batsat /home/simon/w/batsat/benchs/basic/uf250-023.cnf.gz (content) sat unknown 2.5s
minisat /home/simon/w/batsat/benchs/basic/uf250-023.cnf.gz (content) sat unknown 0.501s
batsat /home/simon/w/batsat/benchs/basic/uf250-022.cnf.gz (content) sat unknown 2.9s
minisat /home/simon/w/batsat/benchs/basic/uf250-022.cnf.gz (content) sat unknown 3.7s
batsat /home/simon/w/batsat/benchs/basic/uf250-021.cnf.gz (content) sat unknown 0.023s
minisat /home/simon/w/batsat/benchs/basic/uf250-021.cnf.gz (content) sat unknown 0.440s
batsat /home/simon/w/batsat/benchs/basic/uf250-020.cnf.gz (content) sat unknown 3s
minisat /home/simon/w/batsat/benchs/basic/uf250-020.cnf.gz (content) sat unknown 1.7s
batsat /home/simon/w/batsat/benchs/basic/uf250-02.cnf.gz (content) sat unknown 8.3s
minisat /home/simon/w/batsat/benchs/basic/uf250-02.cnf.gz (content) sat unknown 8.9s
batsat /home/simon/w/batsat/benchs/basic/uf250-019.cnf.gz (content) sat unknown 0.270s
minisat /home/simon/w/batsat/benchs/basic/uf250-019.cnf.gz (content) sat unknown 1.2s
batsat /home/simon/w/batsat/benchs/basic/uf250-018.cnf.gz (content) sat unknown 1.0s
minisat /home/simon/w/batsat/benchs/basic/uf250-018.cnf.gz (content) sat unknown 1.2s
batsat /home/simon/w/batsat/benchs/basic/uf250-017.cnf.gz (content) sat unknown 0.958s
minisat /home/simon/w/batsat/benchs/basic/uf250-017.cnf.gz (content) sat unknown 0.624s
batsat /home/simon/w/batsat/benchs/basic/uf250-016.cnf.gz (content) sat unknown 0.216s
minisat /home/simon/w/batsat/benchs/basic/uf250-016.cnf.gz (content) sat unknown 0.560s
batsat /home/simon/w/batsat/benchs/basic/uf250-015.cnf.gz (content) sat unknown 0.426s
minisat /home/simon/w/batsat/benchs/basic/uf250-015.cnf.gz (content) sat unknown 0.128s
batsat /home/simon/w/batsat/benchs/basic/uf250-014.cnf.gz (content) sat unknown 0.461s
minisat /home/simon/w/batsat/benchs/basic/uf250-014.cnf.gz (content) sat unknown 0.046s
batsat /home/simon/w/batsat/benchs/basic/uf250-013.cnf.gz (content) sat unknown 3.7s
minisat /home/simon/w/batsat/benchs/basic/uf250-013.cnf.gz (content) sat unknown 0.929s
batsat /home/simon/w/batsat/benchs/basic/uf250-012.cnf.gz (content) sat unknown 0.327s