| prover | file | res | expected | time |
|---|---|---|---|---|
| z3 | /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ038_size8.smt2 (content) | timeout | unsat | 12.1s |
| z3 | /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ026_size7.smt2 (content) | timeout | unsat | 12.8s |
| z3 | /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ026_size6.smt2 (content) | timeout | unsat | 12.1s |
| z3 | /home/simon/w/sidekick2/tests/QF_UF/SEQ/SEQ010_size8.smt2 (content) | timeout | unsat | 11.7s |