detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl189.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl188.smt2 (content) unsat unsat 0.083s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl188.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl187.smt2 (content) unsat unsat 0.098s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl187.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl186.smt2 (content) unsat unsat 0.077s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl186.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl185.smt2 (content) unsat unsat 0.309s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl185.smt2 (content) unsat unsat 0.088s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl184.smt2 (content) unsat unsat 0.166s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl184.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl183.smt2 (content) unsat unsat 0.158s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl183.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl182.smt2 (content) unsat unsat 0.252s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl182.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl181.smt2 (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl181.smt2 (content) unsat unsat 0.035s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl180.smt2 (content) unsat unsat 0.172s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl180.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl179.smt2 (content) unsat unsat 0.221s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl179.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl178.smt2 (content) unsat unsat 0.214s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl178.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl177.smt2 (content) unsat unsat 0.125s
z3 /home/simon/w/sidekick2/tests/QF_UF/QG-classification/qg5/iso_icl177.smt2 (content) unsat unsat 0.052s