detailed results (19166 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413247/iso_icl309.smt2 (content) unsat unsat 0.079s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413247/iso_icl309.smt2 (content) unsat unsat 0.023s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413246/iso_icl308.smt2 (content) unsat unsat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413246/iso_icl308.smt2 (content) unsat unsat 0.022s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413245/iso_icl307.smt2 (content) unsat unsat 0.171s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413245/iso_icl307.smt2 (content) unsat unsat 0.037s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413244/iso_icl306.smt2 (content) unsat unsat 0.203s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413244/iso_icl306.smt2 (content) unsat unsat 0.033s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413243/iso_icl305.smt2 (content) unsat unsat 0.237s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413243/iso_icl305.smt2 (content) unsat unsat 0.034s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413242/iso_icl304.smt2 (content) unsat unsat 0.158s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413242/iso_icl304.smt2 (content) unsat unsat 0.028s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413241/iso_icl303.smt2 (content) unsat unsat 0.106s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413241/iso_icl303.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413240/iso_icl302.smt2 (content) unsat unsat 0.160s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413240/iso_icl302.smt2 (content) unsat unsat 0.027s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413239/iso_icl301.smt2 (content) unsat unsat 0.139s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413239/iso_icl301.smt2 (content) unsat unsat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413238/iso_icl300.smt2 (content) unsat unsat 0.125s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413238/iso_icl300.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413237/iso_icl299.smt2 (content) unsat unsat 0.188s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413237/iso_icl299.smt2 (content) unsat unsat 0.030s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413236/iso_icl298.smt2 (content) unsat unsat 0.166s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413236/iso_icl298.smt2 (content) unsat unsat 0.029s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/413235/iso_icl297.smt2 (content) unsat unsat 0.105s