detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413447/iso_icl509.smt2 (content) unsat unsat 0.188s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413447/iso_icl509.smt2 (content) unsat unsat 0.040s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413446/iso_icl508.smt2 (content) unsat unsat 0.156s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413446/iso_icl508.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413445/iso_icl507.smt2 (content) unsat unsat 0.139s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413445/iso_icl507.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413444/iso_icl506.smt2 (content) unsat unsat 0.208s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413444/iso_icl506.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413443/iso_icl505.smt2 (content) unsat unsat 0.114s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413443/iso_icl505.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413442/iso_icl504.smt2 (content) unsat unsat 0.292s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413442/iso_icl504.smt2 (content) unsat unsat 0.062s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413441/iso_icl503.smt2 (content) unsat unsat 0.099s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413441/iso_icl503.smt2 (content) unsat unsat 0.024s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413440/iso_icl502.smt2 (content) unsat unsat 0.079s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413440/iso_icl502.smt2 (content) unsat unsat 0.025s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413439/iso_icl501.smt2 (content) unsat unsat 0.092s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413439/iso_icl501.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413438/iso_icl500.smt2 (content) unsat unsat 0.060s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413438/iso_icl500.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413437/iso_icl499.smt2 (content) unsat unsat 0.052s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413437/iso_icl499.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413436/iso_icl498.smt2 (content) unsat unsat 0.056s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413436/iso_icl498.smt2 (content) unsat unsat 0.021s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413435/iso_icl497.smt2 (content) unsat unsat 0.091s