detailed results (64 total)

proverfileresexpectedtime
minisat/home/simon/workspace/msat/tests/sat/ssa4.cnf(content)satunknown0.022s
msat/home/simon/workspace/msat/tests/sat/ssa4.cnf(content)satunknown0.022s
minisat/home/simon/workspace/msat/tests/sat/ssa3.cnf(content)satunknown0.006s
msat/home/simon/workspace/msat/tests/sat/ssa3.cnf(content)satunknown0.014s
minisat/home/simon/workspace/msat/tests/sat/ssa2.cnf(content)satunknown0.014s
msat/home/simon/workspace/msat/tests/sat/ssa2.cnf(content)satunknown0.017s
minisat/home/simon/workspace/msat/tests/sat/ssa1.cnf(content)satunknown0.006s
msat/home/simon/workspace/msat/tests/sat/ssa1.cnf(content)satunknown0.014s
minisat/home/simon/workspace/msat/tests/sat/hanoi4.cnf(content)satunknown0.035s
msat/home/simon/workspace/msat/tests/sat/hanoi4.cnf(content)satunknown0.277s
minisat/home/simon/workspace/msat/tests/pigeon/hole9.cnf(content)unsatunknown1.6s
msat/home/simon/workspace/msat/tests/pigeon/hole9.cnf(content)unsatunknown3.8s
minisat/home/simon/workspace/msat/tests/pigeon/hole8.cnf(content)unsatunknown0.189s
msat/home/simon/workspace/msat/tests/pigeon/hole8.cnf(content)unsatunknown0.445s
minisat/home/simon/workspace/msat/tests/pigeon/hole7.cnf(content)unsatunknown0.056s
msat/home/simon/workspace/msat/tests/pigeon/hole7.cnf(content)unsatunknown0.108s
minisat/home/simon/workspace/msat/tests/pigeon/hole6.cnf(content)unsatunknown0.011s
msat/home/simon/workspace/msat/tests/pigeon/hole6.cnf(content)unsatunknown0.018s
minisat/home/simon/workspace/msat/tests/pigeon/hole10.cnf(content)unknownunknown10s
msat/home/simon/workspace/msat/tests/pigeon/hole10.cnf(content)timeoutunknown10.0s
minisat/home/simon/workspace/msat/tests/hanoi/hanoi5.cnf(content)satunknown0.488s
msat/home/simon/workspace/msat/tests/hanoi/hanoi5.cnf(content)timeoutunknown11.2s
minisat/home/simon/workspace/msat/tests/hanoi/hanoi4.cnf(content)satunknown0.035s
msat/home/simon/workspace/msat/tests/hanoi/hanoi4.cnf(content)satunknown0.271s
minisat/home/simon/workspace/msat/tests/bugs/double_atom.cnf(content)unsatunknown0.005s