detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408568/iso_icl026.smt2 (content) unsat unsat 0.496s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408568/iso_icl026.smt2 (content) unsat unsat 0.056s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408567/iso_icl025.smt2 (content) unsat unsat 0.271s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408567/iso_icl025.smt2 (content) unsat unsat 0.538s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408567/iso_icl025.smt2 (content) unsat unsat 0.061s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408566/iso_icl024.smt2 (content) unsat unsat 0.196s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408566/iso_icl024.smt2 (content) unsat unsat 0.597s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408566/iso_icl024.smt2 (content) unsat unsat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408565/iso_icl023.smt2 (content) unsat unsat 0.413s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408565/iso_icl023.smt2 (content) unsat unsat 0.423s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408565/iso_icl023.smt2 (content) unsat unsat 0.060s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408564/iso_icl022.smt2 (content) unsat unsat 0.350s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408564/iso_icl022.smt2 (content) unsat unsat 0.429s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408564/iso_icl022.smt2 (content) unsat unsat 0.052s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408563/iso_icl021.smt2 (content) unsat unsat 0.177s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408563/iso_icl021.smt2 (content) unsat unsat 0.262s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408563/iso_icl021.smt2 (content) unsat unsat 0.162s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408562/iso_icl020.smt2 (content) unsat unsat 0.229s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408562/iso_icl020.smt2 (content) unsat unsat 0.381s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408562/iso_icl020.smt2 (content) unsat unsat 0.059s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408561/iso_icl019.smt2 (content) unsat unsat 0.165s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408561/iso_icl019.smt2 (content) unsat unsat 0.114s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408561/iso_icl019.smt2 (content) unsat unsat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408560/iso_icl018.smt2 (content) unsat unsat 0.241s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408560/iso_icl018.smt2 (content) unsat unsat 0.148s