detailed results (4328 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl550.smt2 (content) unsat unsat 0.079s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl549.smt2 (content) unsat unsat 0.070s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl548.smt2 (content) unsat unsat 0.064s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl547.smt2 (content) unsat unsat 0.040s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl546.smt2 (content) unsat unsat 0.054s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl545.smt2 (content) unsat unsat 0.043s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl544.smt2 (content) unsat unsat 0.060s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl543.smt2 (content) unsat unsat 0.053s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl542.smt2 (content) unsat unsat 0.059s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl541.smt2 (content) unsat unsat 0.056s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl540.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl539.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl538.smt2 (content) unsat unsat 0.166s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl537.smt2 (content) unsat unsat 0.061s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl536.smt2 (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl535.smt2 (content) unsat unsat 0.067s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl534.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl533.smt2 (content) unsat unsat 0.080s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl532.smt2 (content) unsat unsat 0.058s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl531.smt2 (content) unsat unsat 0.046s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl530.smt2 (content) unsat unsat 0.051s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl529.smt2 (content) unsat unsat 0.063s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl528.smt2 (content) unsat unsat 0.049s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl527.smt2 (content) unsat unsat 0.047s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl526.smt2 (content) unsat unsat 0.049s