detailed results (6442 total)

prover file res expected time
minisat /home/simon/w/batsat/benchs/basic/uf20-0101.cnf.gz (content) sat unknown 0.008s
batsat /home/simon/w/batsat/benchs/basic/uf20-01000.cnf.gz (content) sat unknown 0.011s
minisat /home/simon/w/batsat/benchs/basic/uf20-01000.cnf.gz (content) sat unknown 0.041s
batsat /home/simon/w/batsat/benchs/basic/uf20-0100.cnf.gz (content) sat unknown 0.008s
minisat /home/simon/w/batsat/benchs/basic/uf20-0100.cnf.gz (content) sat unknown 0.020s
batsat /home/simon/w/batsat/benchs/basic/uf20-010.cnf.gz (content) sat unknown 0.008s
minisat /home/simon/w/batsat/benchs/basic/uf20-010.cnf.gz (content) sat unknown 0.019s
batsat /home/simon/w/batsat/benchs/basic/uf20-01.cnf.gz (content) sat unknown 0.016s
minisat /home/simon/w/batsat/benchs/basic/uf20-01.cnf.gz (content) sat unknown 0.013s
batsat /home/simon/w/batsat/benchs/basic/stric-bmc-ibm-12.cnf.gz (content) sat unknown 3.3s
minisat /home/simon/w/batsat/benchs/basic/stric-bmc-ibm-12.cnf.gz (content) sat unknown 2.3s
batsat /home/simon/w/batsat/benchs/basic/stric-bmc-ibm-10.cnf.gz (content) sat unknown 1.3s
minisat /home/simon/w/batsat/benchs/basic/stric-bmc-ibm-10.cnf.gz (content) sat unknown 1.3s
batsat /home/simon/w/batsat/benchs/basic/manol-pipe-f6n.cnf.gz (content) unsat unknown 2.4s
minisat /home/simon/w/batsat/benchs/basic/manol-pipe-f6n.cnf.gz (content) unsat unknown 1.3s
batsat /home/simon/w/batsat/benchs/basic/manol-pipe-f6b.cnf.gz (content) unsat unknown 1.0s
minisat /home/simon/w/batsat/benchs/basic/manol-pipe-f6b.cnf.gz (content) unsat unknown 1.5s
batsat /home/simon/w/batsat/benchs/basic/grieu-vmpc-s05-24s.cnf.gz (content) unknown unknown 11.7s
minisat /home/simon/w/batsat/benchs/basic/grieu-vmpc-s05-24s.cnf.gz (content) sat unknown 5.8s
batsat /home/simon/w/batsat/benchs/basic/ewddr2-10-by-5-8.cnf.gz (content) sat unknown 0.083s
minisat /home/simon/w/batsat/benchs/basic/ewddr2-10-by-5-8.cnf.gz (content) sat unknown 0.392s
batsat /home/simon/w/batsat/benchs/basic/ewddr2-10-by-5-1.cnf.gz (content) sat unknown 0.085s
minisat /home/simon/w/batsat/benchs/basic/ewddr2-10-by-5-1.cnf.gz (content) sat unknown 0.232s
batsat /home/simon/w/batsat/benchs/basic/enddr2-10-by-5-8.cnf.gz (content) sat unknown 0.081s
minisat /home/simon/w/batsat/benchs/basic/enddr2-10-by-5-8.cnf.gz (content) sat unknown 0.231s