detailed results (14914 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl139.smt2 (content) unsat unsat 0.049s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl138.smt2 (content) unsat unsat 0.179s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl138.smt2 (content) unsat unsat 0.039s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl137.smt2 (content) unsat unsat 0.222s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl137.smt2 (content) unsat unsat 0.044s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl136.smt2 (content) unsat unsat 0.259s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl136.smt2 (content) unsat unsat 0.056s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl135.smt2 (content) unsat unsat 0.231s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl135.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl134.smt2 (content) unsat unsat 0.197s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl134.smt2 (content) unsat unsat 0.057s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl133.smt2 (content) unsat unsat 0.273s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl133.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl132.smt2 (content) unsat unsat 0.211s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl132.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl131.smt2 (content) unsat unsat 0.176s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl131.smt2 (content) unsat unsat 0.052s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl130.smt2 (content) unsat unsat 0.231s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl130.smt2 (content) unsat unsat 0.036s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl129.smt2 (content) unsat unsat 0.480s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl129.smt2 (content) unsat unsat 0.060s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1283.smt2 (content) unsat unsat 0.093s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1283.smt2 (content) unsat unsat 0.050s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1282.smt2 (content) unsat unsat 0.362s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/iso_icl1282.smt2 (content) unsat unsat 0.051s