detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1066.smt2 (content) unsat unsat 0.055s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1065.smt2 (content) unsat unsat 0.204s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1065.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1064.smt2 (content) unsat unsat 0.136s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1064.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1063.smt2 (content) unsat unsat 0.182s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1063.smt2 (content) unsat unsat 0.065s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1062.smt2 (content) unsat unsat 0.180s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1062.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1061.smt2 (content) unsat unsat 0.132s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1061.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1060.smt2 (content) unsat unsat 0.180s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1060.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl106.smt2 (content) unsat unsat 0.234s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl106.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1059.smt2 (content) unsat unsat 0.175s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1059.smt2 (content) unsat unsat 0.041s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1058.smt2 (content) unsat unsat 0.126s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1058.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1057.smt2 (content) unsat unsat 0.478s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1057.smt2 (content) unsat unsat 0.094s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1056.smt2 (content) unsat unsat 0.104s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1056.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1055.smt2 (content) unsat unsat 0.335s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1055.smt2 (content) unsat unsat 0.049s