detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl639.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl638.smt2 (content) unsat unsat 0.419s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl638.smt2 (content) unsat unsat 0.063s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl637.smt2 (content) unsat unsat 0.561s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl637.smt2 (content) unsat unsat 0.064s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl636.smt2 (content) unsat unsat 0.273s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl636.smt2 (content) unsat unsat 0.058s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl635.smt2 (content) unsat unsat 0.382s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl635.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl634.smt2 (content) unsat unsat 0.357s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl634.smt2 (content) unsat unsat 0.076s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl633.smt2 (content) unsat unsat 0.263s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl633.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl632.smt2 (content) unsat unsat 0.463s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl632.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl631.smt2 (content) unsat unsat 0.449s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl631.smt2 (content) unsat unsat 0.072s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl630.smt2 (content) unsat unsat 0.310s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl630.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl629.smt2 (content) unsat unsat 0.223s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl629.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl628.smt2 (content) unsat unsat 0.253s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl628.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl627.smt2 (content) unsat unsat 0.230s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl627.smt2 (content) unsat unsat 0.057s