prover | file | res | expected | time |
---|---|---|---|---|
sidekick-dev | /home/simon/workspace/smtlib/QF_UF/eq_diamond/408075/eq_diamond69.smt2 (content) | unknown | unsat | 10.7s |
sidekick-dev | /home/simon/workspace/smtlib/QF_UF/eq_diamond/408074/eq_diamond68.smt2 (content) | unknown | unsat | 10.9s |
sidekick-dev | /home/simon/workspace/smtlib/QF_UF/eq_diamond/408071/eq_diamond65.smt2 (content) | unknown | unsat | 10.1s |
sidekick-dev | /home/simon/workspace/smtlib/QF_UF/eq_diamond/408068/eq_diamond62.smt2 (content) | unknown | unsat | 10.7s |
sidekick-dev | /home/simon/workspace/smtlib/QF_UF/eq_diamond/408063/eq_diamond58.smt2 (content) | unknown | unsat | 10.2s |
sidekick-dev | /home/simon/workspace/smtlib/QF_UF/eq_diamond/408047/eq_diamond43.smt2 (content) | unknown | unsat | 10.5s |