| prover | file | res | expected | time |
|---|---|---|---|---|
| sidekick-dev | /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_9nodes.missing.induct.smt2 (content) | error | sat | 9s |
| sidekick-dev | /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_9nodes.bug.induct.smt2 (content) | error | sat | 4.4s |
| sidekick-dev | /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_9nodes.abstract.induct.smt2 (content) | error | unsat | 7.7s |
| sidekick-dev | /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_15nodes.synchro.base.smt2 (content) | error | unsat | 9.5s |
| sidekick-dev | /home/simon/w/sidekick2/tests/QF_LRA/tta_startup/simple_startup_15nodes.bug.induct.smt2 (content) | error | sat | 8.9s |