| prover | file | res | expected | time |
|---|---|---|---|---|
| sidekick-dev-p | /home/simon/w/sidekick/tests/unsat/v3l60049.cvc.smt2 (content) | error | unsat | 0.013s |
| sidekick-dev-p | /home/simon/w/sidekick/tests/unsat/uart-7.base.cvc.smt2 (content) | error | unsat | 0.088s |
| sidekick-dev-p | /home/simon/w/sidekick/tests/unsat/uart-10.base.cvc.smt2 (content) | error | unsat | 0.123s |
| sidekick-dev-p | /home/simon/w/sidekick/tests/unsat/typed_v3l90060.cvc.smt2 (content) | error | unsat | 0.013s |
| sidekick-dev-p | /home/simon/w/sidekick/tests/unsat/typed_v3l40070.cvc.smt2 (content) | error | unsat | 0.012s |
| sidekick-dev-p | /home/simon/w/sidekick/tests/unsat/typed_v3l20047.cvc.smt2 (content) | error | unsat | 0.012s |
| sidekick-dev-p | /home/simon/w/sidekick/tests/unsat/typed_v1l90014.cvc.smt2 (content) | error | unsat | 0.023s |
| sidekick-dev-p | /home/simon/w/sidekick/tests/unsat/typed_v10l40007.cvc.smt2 (content) | error | unsat | 0.012s |
| sidekick-dev-p | /home/simon/w/sidekick/tests/unsat/test_ite_1.smt2 (content) | error | unsat | 0.009s |