detailed results (18 total)

proverfileresexpectedtime
minisat/home/simon/workspace/msat/tests/unsat/test-001.cnf(content)unsatunknown0.008s
minisat/home/simon/workspace/msat/tests/unsat/test-000.cnf(content)unsatunknown0.013s
minisat/home/simon/workspace/msat/tests/unsat/ssa8.cnf(content)unsatunknown0.011s
minisat/home/simon/workspace/msat/tests/unsat/ssa7.cnf(content)unsatunknown0.016s
minisat/home/simon/workspace/msat/tests/unsat/ssa6.cnf(content)unsatunknown0.012s
minisat/home/simon/workspace/msat/tests/unsat/ssa5.cnf(content)unsatunknown0.007s
minisat/home/simon/workspace/msat/tests/unsat/hole7.cnf(content)unsatunknown0.060s
minisat/home/simon/workspace/msat/tests/unsat/hole6.cnf(content)unsatunknown0.036s
minisat/home/simon/workspace/msat/tests/unsat/bug-01.cnf(content)unsatunknown0.005s
minisat/home/simon/workspace/msat/tests/ssa/ssa6288-047.cnf(content)unsatunknown0.021s
minisat/home/simon/workspace/msat/tests/ssa/ssa2670-141.cnf(content)unsatunknown0.008s
minisat/home/simon/workspace/msat/tests/ssa/ssa2670-130.cnf(content)unsatunknown0.008s
minisat/home/simon/workspace/msat/tests/ssa/ssa0432-003.cnf(content)unsatunknown0.006s
minisat/home/simon/workspace/msat/tests/pigeon/hole9.cnf(content)unsatunknown1.6s
minisat/home/simon/workspace/msat/tests/pigeon/hole8.cnf(content)unsatunknown0.189s
minisat/home/simon/workspace/msat/tests/pigeon/hole7.cnf(content)unsatunknown0.056s
minisat/home/simon/workspace/msat/tests/pigeon/hole6.cnf(content)unsatunknown0.011s
minisat/home/simon/workspace/msat/tests/bugs/double_atom.cnf(content)unsatunknown0.005s