| prover | file | res | expected | time |
|---|---|---|---|---|
| msat | /home/simon/workspace/msat/tests/ssa/ssa7552-160.cnf(content) | sat | unknown | 0.014s |
| msat | /home/simon/workspace/msat/tests/ssa/ssa7552-159.cnf(content) | sat | unknown | 0.014s |
| msat | /home/simon/workspace/msat/tests/ssa/ssa7552-158.cnf(content) | sat | unknown | 0.019s |
| msat | /home/simon/workspace/msat/tests/ssa/ssa7552-038.cnf(content) | sat | unknown | 0.013s |
| msat | /home/simon/workspace/msat/tests/sat/test-014.cnf(content) | sat | unknown | 0.005s |
| msat | /home/simon/workspace/msat/tests/sat/test-000.cnf(content) | sat | unknown | 0.006s |
| msat | /home/simon/workspace/msat/tests/sat/ssa4.cnf(content) | sat | unknown | 0.022s |
| msat | /home/simon/workspace/msat/tests/sat/ssa3.cnf(content) | sat | unknown | 0.014s |
| msat | /home/simon/workspace/msat/tests/sat/ssa2.cnf(content) | sat | unknown | 0.017s |
| msat | /home/simon/workspace/msat/tests/sat/ssa1.cnf(content) | sat | unknown | 0.014s |
| msat | /home/simon/workspace/msat/tests/sat/hanoi4.cnf(content) | sat | unknown | 0.277s |
| msat | /home/simon/workspace/msat/tests/hanoi/hanoi4.cnf(content) | sat | unknown | 0.271s |