| prover | file | res | expected | time |
|---|---|---|---|---|
| sidekick-dev | /home/simon/w/sidekick/tests/unsat/smtlib.624916.smt2(content) | sat | unsat | 0.011s |
| sidekick-dev | /home/simon/w/sidekick/tests/unsat/simple_example_1-node2318.smt2(content) | sat | unsat | 0.015s |
| sidekick-dev | /home/simon/w/sidekick/tests/sat/polypaver-bench-exp-3d-chunk-0032.smt2(content) | unsat | sat | 0.013s |