detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408560/iso_icl018.smt2 (content) unsat unsat 0.077s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408559/iso_icl017.smt2 (content) unsat unsat 0.097s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408559/iso_icl017.smt2 (content) unsat unsat 0.058s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408559/iso_icl017.smt2 (content) unsat unsat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408558/iso_icl016.smt2 (content) unsat unsat 0.107s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408558/iso_icl016.smt2 (content) unsat unsat 0.075s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408558/iso_icl016.smt2 (content) unsat unsat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408557/iso_icl015.smt2 (content) unsat unsat 0.119s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408557/iso_icl015.smt2 (content) unsat unsat 0.111s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408557/iso_icl015.smt2 (content) unsat unsat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408556/iso_icl014.smt2 (content) unsat unsat 0.138s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408556/iso_icl014.smt2 (content) unsat unsat 0.139s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408556/iso_icl014.smt2 (content) unsat unsat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408555/iso_icl013.smt2 (content) unsat unsat 0.159s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408555/iso_icl013.smt2 (content) unsat unsat 0.262s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408555/iso_icl013.smt2 (content) unsat unsat 0.063s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408554/iso_icl012.smt2 (content) unsat unsat 0.185s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408554/iso_icl012.smt2 (content) unsat unsat 0.126s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408554/iso_icl012.smt2 (content) unsat unsat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408553/iso_icl011.smt2 (content) unsat unsat 0.219s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408553/iso_icl011.smt2 (content) unsat unsat 0.360s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408553/iso_icl011.smt2 (content) unsat unsat 0.048s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408552/iso_icl010.smt2 (content) unsat unsat 0.263s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408552/iso_icl010.smt2 (content) unsat unsat 0.220s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408552/iso_icl010.smt2 (content) unsat unsat 0.049s