detailed results (14914 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1168.smt2 (content) unsat unsat 0.102s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1168.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1167.smt2 (content) unsat unsat 0.086s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1167.smt2 (content) unsat unsat 0.038s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1166.smt2 (content) unsat unsat 0.347s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1166.smt2 (content) unsat unsat 0.119s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1165.smt2 (content) unsat unsat 0.172s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1165.smt2 (content) unsat unsat 0.059s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1164.smt2 (content) unsat unsat 0.105s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1164.smt2 (content) unsat unsat 0.032s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1163.smt2 (content) unsat unsat 0.157s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1163.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1162.smt2 (content) unsat unsat 0.184s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1162.smt2 (content) unsat unsat 0.048s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1161.smt2 (content) unsat unsat 0.225s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1161.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1160.smt2 (content) unsat unsat 0.202s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1160.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl116.smt2 (content) unsat unsat 0.305s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl116.smt2 (content) unsat unsat 0.047s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1159.smt2 (content) unsat unsat 0.171s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1159.smt2 (content) unsat unsat 0.046s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1158.smt2 (content) unsat unsat 0.217s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1158.smt2 (content) unsat unsat 0.110s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1157.smt2 (content) unsat unsat 0.236s