prover | file | res | expected | time |
---|---|---|---|---|
sidekick-dev | /home/simon/w/sidekick/tests/sat/test-014.cnf (content) | sat | unknown | 0.014s |
sidekick-dev | /home/simon/w/sidekick/tests/sat/test-000.cnf (content) | sat | unknown | 0.011s |
sidekick-dev | /home/simon/w/sidekick/tests/sat/ssa4.cnf (content) | sat | unknown | 0.042s |
sidekick-dev | /home/simon/w/sidekick/tests/sat/ssa3.cnf (content) | sat | unknown | 0.033s |
sidekick-dev | /home/simon/w/sidekick/tests/sat/ssa2.cnf (content) | sat | unknown | 0.062s |
sidekick-dev | /home/simon/w/sidekick/tests/sat/ssa1.cnf (content) | sat | unknown | 0.029s |
sidekick-dev | /home/simon/w/sidekick/tests/sat/hanoi4.cnf (content) | sat | unknown | 0.171s |