detailed results (64 total)

prover file res expected time
minisat /home/simon/workspace/msat/tests/sat/ssa4.cnf (content) sat unknown 0.022s
msat /home/simon/workspace/msat/tests/sat/ssa4.cnf (content) sat unknown 0.022s
minisat /home/simon/workspace/msat/tests/sat/ssa3.cnf (content) sat unknown 0.006s
msat /home/simon/workspace/msat/tests/sat/ssa3.cnf (content) sat unknown 0.014s
minisat /home/simon/workspace/msat/tests/sat/ssa2.cnf (content) sat unknown 0.014s
msat /home/simon/workspace/msat/tests/sat/ssa2.cnf (content) sat unknown 0.017s
minisat /home/simon/workspace/msat/tests/sat/ssa1.cnf (content) sat unknown 0.006s
msat /home/simon/workspace/msat/tests/sat/ssa1.cnf (content) sat unknown 0.014s
minisat /home/simon/workspace/msat/tests/sat/hanoi4.cnf (content) sat unknown 0.035s
msat /home/simon/workspace/msat/tests/sat/hanoi4.cnf (content) sat unknown 0.277s
minisat /home/simon/workspace/msat/tests/pigeon/hole9.cnf (content) unsat unknown 1.6s
msat /home/simon/workspace/msat/tests/pigeon/hole9.cnf (content) unsat unknown 3.8s
minisat /home/simon/workspace/msat/tests/pigeon/hole8.cnf (content) unsat unknown 0.189s
msat /home/simon/workspace/msat/tests/pigeon/hole8.cnf (content) unsat unknown 0.445s
minisat /home/simon/workspace/msat/tests/pigeon/hole7.cnf (content) unsat unknown 0.056s
msat /home/simon/workspace/msat/tests/pigeon/hole7.cnf (content) unsat unknown 0.108s
minisat /home/simon/workspace/msat/tests/pigeon/hole6.cnf (content) unsat unknown 0.011s
msat /home/simon/workspace/msat/tests/pigeon/hole6.cnf (content) unsat unknown 0.018s
minisat /home/simon/workspace/msat/tests/pigeon/hole10.cnf (content) unknown unknown 10s
msat /home/simon/workspace/msat/tests/pigeon/hole10.cnf (content) timeout unknown 10.0s
minisat /home/simon/workspace/msat/tests/hanoi/hanoi5.cnf (content) sat unknown 0.488s
msat /home/simon/workspace/msat/tests/hanoi/hanoi5.cnf (content) timeout unknown 11.2s
minisat /home/simon/workspace/msat/tests/hanoi/hanoi4.cnf (content) sat unknown 0.035s
msat /home/simon/workspace/msat/tests/hanoi/hanoi4.cnf (content) sat unknown 0.271s
minisat /home/simon/workspace/msat/tests/bugs/double_atom.cnf (content) unsat unknown 0.005s