detailed results (30 total)

proverfileresexpectedtime
msat/home/simon/workspace/msat/tests/unsat/ssa6.cnf(content)unsatunknown0.021s
msat/home/simon/workspace/msat/tests/unsat/ssa5.cnf(content)unsatunknown0.009s
msat/home/simon/workspace/msat/tests/unsat/hole7.cnf(content)unsatunknown0.111s
msat/home/simon/workspace/msat/tests/unsat/hole6.cnf(content)unsatunknown0.024s
msat/home/simon/workspace/msat/tests/unsat/bug-01.cnf(content)unsatunknown0.007s
msat/home/simon/workspace/msat/tests/ssa/ssa7552-160.cnf(content)satunknown0.014s
msat/home/simon/workspace/msat/tests/ssa/ssa7552-159.cnf(content)satunknown0.014s
msat/home/simon/workspace/msat/tests/ssa/ssa7552-158.cnf(content)satunknown0.019s
msat/home/simon/workspace/msat/tests/ssa/ssa7552-038.cnf(content)satunknown0.013s
msat/home/simon/workspace/msat/tests/ssa/ssa6288-047.cnf(content)unsatunknown0.107s
msat/home/simon/workspace/msat/tests/ssa/ssa2670-141.cnf(content)unsatunknown0.020s
msat/home/simon/workspace/msat/tests/ssa/ssa2670-130.cnf(content)unsatunknown0.046s
msat/home/simon/workspace/msat/tests/ssa/ssa0432-003.cnf(content)unsatunknown0.008s
msat/home/simon/workspace/msat/tests/sat/test-014.cnf(content)satunknown0.005s
msat/home/simon/workspace/msat/tests/sat/test-000.cnf(content)satunknown0.006s
msat/home/simon/workspace/msat/tests/sat/ssa4.cnf(content)satunknown0.022s
msat/home/simon/workspace/msat/tests/sat/ssa3.cnf(content)satunknown0.014s
msat/home/simon/workspace/msat/tests/sat/ssa2.cnf(content)satunknown0.017s
msat/home/simon/workspace/msat/tests/sat/ssa1.cnf(content)satunknown0.014s
msat/home/simon/workspace/msat/tests/sat/hanoi4.cnf(content)satunknown0.277s
msat/home/simon/workspace/msat/tests/pigeon/hole9.cnf(content)unsatunknown3.8s
msat/home/simon/workspace/msat/tests/pigeon/hole8.cnf(content)unsatunknown0.445s
msat/home/simon/workspace/msat/tests/pigeon/hole7.cnf(content)unsatunknown0.108s
msat/home/simon/workspace/msat/tests/pigeon/hole6.cnf(content)unsatunknown0.018s
msat/home/simon/workspace/msat/tests/hanoi/hanoi4.cnf(content)satunknown0.271s