detailed results (13 total)

proverfileresexpectedtime
minisat/home/simon/workspace/msat/tests/ssa/ssa7552-160.cnf(content)satunknown0.018s
minisat/home/simon/workspace/msat/tests/ssa/ssa7552-159.cnf(content)satunknown0.011s
minisat/home/simon/workspace/msat/tests/ssa/ssa7552-158.cnf(content)satunknown0.013s
minisat/home/simon/workspace/msat/tests/ssa/ssa7552-038.cnf(content)satunknown0.006s
minisat/home/simon/workspace/msat/tests/sat/test-014.cnf(content)satunknown0.005s
minisat/home/simon/workspace/msat/tests/sat/test-000.cnf(content)satunknown0.005s
minisat/home/simon/workspace/msat/tests/sat/ssa4.cnf(content)satunknown0.022s
minisat/home/simon/workspace/msat/tests/sat/ssa3.cnf(content)satunknown0.006s
minisat/home/simon/workspace/msat/tests/sat/ssa2.cnf(content)satunknown0.014s
minisat/home/simon/workspace/msat/tests/sat/ssa1.cnf(content)satunknown0.006s
minisat/home/simon/workspace/msat/tests/sat/hanoi4.cnf(content)satunknown0.035s
minisat/home/simon/workspace/msat/tests/hanoi/hanoi5.cnf(content)satunknown0.488s
minisat/home/simon/workspace/msat/tests/hanoi/hanoi4.cnf(content)satunknown0.035s