| prover | file | res | expected | time |
|---|---|---|---|---|
| minisat | /home/simon/workspace/msat/tests/unsat/test-001.cnf (content) | unsat | unknown | 0.008s |
| minisat | /home/simon/workspace/msat/tests/unsat/test-000.cnf (content) | unsat | unknown | 0.013s |
| minisat | /home/simon/workspace/msat/tests/unsat/ssa8.cnf (content) | unsat | unknown | 0.011s |
| minisat | /home/simon/workspace/msat/tests/unsat/ssa7.cnf (content) | unsat | unknown | 0.016s |
| minisat | /home/simon/workspace/msat/tests/unsat/ssa6.cnf (content) | unsat | unknown | 0.012s |
| minisat | /home/simon/workspace/msat/tests/unsat/ssa5.cnf (content) | unsat | unknown | 0.007s |
| minisat | /home/simon/workspace/msat/tests/unsat/hole7.cnf (content) | unsat | unknown | 0.060s |