prover | file | res | expected | time |
---|---|---|---|---|
msat | /home/simon/workspace/msat/tests/unsat/test-001.cnf (content) | unsat | unknown | 0.005s |
msat | /home/simon/workspace/msat/tests/unsat/test-000.cnf (content) | unsat | unknown | 0.009s |
msat | /home/simon/workspace/msat/tests/unsat/ssa8.cnf (content) | unsat | unknown | 0.101s |
msat | /home/simon/workspace/msat/tests/unsat/ssa7.cnf (content) | unsat | unknown | 0.029s |
msat | /home/simon/workspace/msat/tests/unsat/ssa6.cnf (content) | unsat | unknown | 0.021s |
msat | /home/simon/workspace/msat/tests/unsat/ssa5.cnf (content) | unsat | unknown | 0.009s |
msat | /home/simon/workspace/msat/tests/unsat/hole7.cnf (content) | unsat | unknown | 0.111s |