detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl989.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl988.smt2 (content) unsat unsat 0.297s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl988.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl987.smt2 (content) unsat unsat 0.188s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl987.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl986.smt2 (content) unsat unsat 0.132s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl986.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl985.smt2 (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl985.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl984.smt2 (content) unsat unsat 0.139s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl984.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl983.smt2 (content) unsat unsat 0.415s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl983.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl982.smt2 (content) unsat unsat 0.082s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl982.smt2 (content) unsat unsat 0.031s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl981.smt2 (content) unsat unsat 0.120s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl981.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl980.smt2 (content) unsat unsat 0.258s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl980.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl979.smt2 (content) unsat unsat 0.112s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl979.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl978.smt2 (content) unsat unsat 0.267s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl978.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl977.smt2 (content) unsat unsat 0.094s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl977.smt2 (content) unsat unsat 0.031s