detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413072/iso_icl134.smt2 (content) unsat unsat 0.080s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413072/iso_icl134.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413071/iso_icl133.smt2 (content) unsat unsat 0.099s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413071/iso_icl133.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413070/iso_icl132.smt2 (content) unsat unsat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413070/iso_icl132.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413069/iso_icl131.smt2 (content) unsat unsat 0.158s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413069/iso_icl131.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413068/iso_icl130.smt2 (content) unsat unsat 0.134s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413068/iso_icl130.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413067/iso_icl129.smt2 (content) unsat unsat 0.135s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413067/iso_icl129.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413066/iso_icl1283.smt2 (content) unsat unsat 0.050s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413066/iso_icl1283.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413065/iso_icl1282.smt2 (content) unsat unsat 0.072s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413065/iso_icl1282.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413064/iso_icl1281.smt2 (content) unsat unsat 0.055s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413064/iso_icl1281.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413063/iso_icl1280.smt2 (content) unsat unsat 0.055s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413063/iso_icl1280.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413062/iso_icl128.smt2 (content) unsat unsat 0.177s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413062/iso_icl128.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413061/iso_icl1279.smt2 (content) unsat unsat 0.078s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413061/iso_icl1279.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413060/iso_icl1278.smt2 (content) unsat unsat 0.070s