| prover | file | res | expected | time |
|---|---|---|---|---|
| sidekick-dev | /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond9.smt2 (content) | unsat | unsat | 0.030s |
| sidekick-dev | /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond8.smt2 (content) | unsat | unsat | 0.025s |
| sidekick-dev | /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond7.smt2 (content) | unsat | unsat | 0.024s |
| sidekick-dev | /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond6.smt2 (content) | unsat | unsat | 0.015s |
| sidekick-dev | /home/simon/w/sidekick2/tests/QF_UF/eq_diamond/eq_diamond5.smt2 (content) | unsat | unsat | 0.014s |