| prover | file | res | expected | time |
|---|---|---|---|---|
| mc2 | /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ038_size9.smt2 (content) | timeout | unknown | 10s |
| mc2 | /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ038_size8.smt2 (content) | timeout | unknown | 10s |
| mc2 | /home/simon/w/sidekick/tests/QF_UF/SEQ/SEQ038_size7.smt2 (content) | timeout | unknown | 10s |