detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408618/iso_icl076.smt2 (content) unsat unsat 0.371s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408618/iso_icl076.smt2 (content) unsat unsat 0.061s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408617/iso_icl075.smt2 (content) unsat unsat 0.998s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408617/iso_icl075.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408617/iso_icl075.smt2 (content) unsat unsat 0.084s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408616/iso_icl074.smt2 (content) unsat unsat 0.831s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408616/iso_icl074.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408616/iso_icl074.smt2 (content) unsat unsat 0.066s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408615/iso_icl073.smt2 (content) unsat unsat 0.536s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408615/iso_icl073.smt2 (content) unsat unsat 1.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408615/iso_icl073.smt2 (content) unsat unsat 0.069s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408614/iso_icl072.smt2 (content) unsat unsat 0.705s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408614/iso_icl072.smt2 (content) unsat unsat 0.951s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408614/iso_icl072.smt2 (content) unsat unsat 0.054s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408613/iso_icl071.smt2 (content) unsat unsat 0.804s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408613/iso_icl071.smt2 (content) unsat unsat 0.934s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408613/iso_icl071.smt2 (content) unsat unsat 0.092s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408612/iso_icl070.smt2 (content) unsat unsat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408612/iso_icl070.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408612/iso_icl070.smt2 (content) unsat unsat 0.064s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408611/iso_icl069.smt2 (content) unsat unsat 0.274s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408611/iso_icl069.smt2 (content) unsat unsat 0.490s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408611/iso_icl069.smt2 (content) unsat unsat 0.067s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408610/iso_icl068.smt2 (content) unsat unsat 3.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408610/iso_icl068.smt2 (content) unsat unsat 0.914s