detailed results (6442 total)

prover file res expected time
minisat /home/simon/w/batsat/benchs/basic/uf250-058.cnf.gz (content) sat unknown 0.740s
batsat /home/simon/w/batsat/benchs/basic/uf250-057.cnf.gz (content) sat unknown 0.267s
minisat /home/simon/w/batsat/benchs/basic/uf250-057.cnf.gz (content) sat unknown 0.648s
batsat /home/simon/w/batsat/benchs/basic/uf250-056.cnf.gz (content) sat unknown 0.216s
minisat /home/simon/w/batsat/benchs/basic/uf250-056.cnf.gz (content) sat unknown 1.7s
batsat /home/simon/w/batsat/benchs/basic/uf250-055.cnf.gz (content) sat unknown 0.620s
minisat /home/simon/w/batsat/benchs/basic/uf250-055.cnf.gz (content) sat unknown 0.236s
batsat /home/simon/w/batsat/benchs/basic/uf250-054.cnf.gz (content) sat unknown 3.9s
minisat /home/simon/w/batsat/benchs/basic/uf250-054.cnf.gz (content) sat unknown 3.5s
batsat /home/simon/w/batsat/benchs/basic/uf250-053.cnf.gz (content) sat unknown 5.2s
minisat /home/simon/w/batsat/benchs/basic/uf250-053.cnf.gz (content) sat unknown 2.6s
batsat /home/simon/w/batsat/benchs/basic/uf250-052.cnf.gz (content) sat unknown 2.1s
minisat /home/simon/w/batsat/benchs/basic/uf250-052.cnf.gz (content) sat unknown 2.5s
batsat /home/simon/w/batsat/benchs/basic/uf250-051.cnf.gz (content) sat unknown 0.281s
minisat /home/simon/w/batsat/benchs/basic/uf250-051.cnf.gz (content) sat unknown 1.3s
batsat /home/simon/w/batsat/benchs/basic/uf250-050.cnf.gz (content) sat unknown 0.758s
minisat /home/simon/w/batsat/benchs/basic/uf250-050.cnf.gz (content) sat unknown 0.286s
batsat /home/simon/w/batsat/benchs/basic/uf250-05.cnf.gz (content) sat unknown 8.3s
minisat /home/simon/w/batsat/benchs/basic/uf250-05.cnf.gz (content) sat unknown 1.4s
batsat /home/simon/w/batsat/benchs/basic/uf250-049.cnf.gz (content) sat unknown 0.338s
minisat /home/simon/w/batsat/benchs/basic/uf250-049.cnf.gz (content) sat unknown 0.176s
batsat /home/simon/w/batsat/benchs/basic/uf250-048.cnf.gz (content) sat unknown 1.8s
minisat /home/simon/w/batsat/benchs/basic/uf250-048.cnf.gz (content) sat unknown 4.8s
batsat /home/simon/w/batsat/benchs/basic/uf250-047.cnf.gz (content) sat unknown 1.1s
minisat /home/simon/w/batsat/benchs/basic/uf250-047.cnf.gz (content) sat unknown 5.6s