detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408643/iso_icl101.smt2 (content) unsat unsat 0.164s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408643/iso_icl101.smt2 (content) unsat unsat 0.038s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408642/iso_icl100.smt2 (content) unsat unsat 0.225s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408642/iso_icl100.smt2 (content) unsat unsat 0.225s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408642/iso_icl100.smt2 (content) unsat unsat 0.064s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408641/iso_icl099.smt2 (content) unsat unsat 0.259s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408641/iso_icl099.smt2 (content) unsat unsat 0.638s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408641/iso_icl099.smt2 (content) unsat unsat 0.065s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408640/iso_icl098.smt2 (content) unsat unsat 0.145s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408640/iso_icl098.smt2 (content) unsat unsat 0.453s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408640/iso_icl098.smt2 (content) unsat unsat 0.126s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408639/iso_icl097.smt2 (content) unsat unsat 0.310s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408639/iso_icl097.smt2 (content) unsat unsat 0.427s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408639/iso_icl097.smt2 (content) unsat unsat 0.055s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408638/iso_icl096.smt2 (content) unsat unsat 0.309s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408638/iso_icl096.smt2 (content) unsat unsat 0.453s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408638/iso_icl096.smt2 (content) unsat unsat 0.092s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408637/iso_icl095.smt2 (content) unsat unsat 0.499s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408637/iso_icl095.smt2 (content) unsat unsat 0.613s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408637/iso_icl095.smt2 (content) unsat unsat 0.052s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408636/iso_icl094.smt2 (content) unsat unsat 0.228s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408636/iso_icl094.smt2 (content) unsat unsat 0.861s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408636/iso_icl094.smt2 (content) unsat unsat 0.090s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408635/iso_icl093.smt2 (content) unsat unsat 0.296s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408635/iso_icl093.smt2 (content) unsat unsat 0.607s