detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408393/gensys_icl066.smt2 (content) unsat unsat 0.752s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408393/gensys_icl066.smt2 (content) unsat unsat 0.224s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408392/gensys_icl065.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408392/gensys_icl065.smt2 (content) unsat unsat 1.5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408392/gensys_icl065.smt2 (content) unsat unsat 0.282s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408391/gensys_icl064.smt2 (content) unsat unsat 2.4s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408391/gensys_icl064.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408391/gensys_icl064.smt2 (content) unsat unsat 0.257s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408390/gensys_icl063.smt2 (content) unsat unsat 2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408390/gensys_icl063.smt2 (content) unsat unsat 0.863s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408390/gensys_icl063.smt2 (content) unsat unsat 0.176s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408389/gensys_icl062.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408389/gensys_icl062.smt2 (content) unsat unsat 0.987s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408389/gensys_icl062.smt2 (content) unsat unsat 0.186s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408388/gensys_icl061.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408388/gensys_icl061.smt2 (content) unsat unsat 0.804s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408388/gensys_icl061.smt2 (content) unsat unsat 0.150s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408387/gensys_icl060.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408387/gensys_icl060.smt2 (content) unsat unsat 0.670s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408387/gensys_icl060.smt2 (content) unsat unsat 0.106s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408386/gensys_icl059.smt2 (content) unsat unsat 0.900s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408386/gensys_icl059.smt2 (content) unsat unsat 0.651s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408386/gensys_icl059.smt2 (content) unsat unsat 0.183s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408385/gensys_icl058.smt2 (content) unsat unsat 2.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/loops6/408385/gensys_icl058.smt2 (content) unsat unsat 0.843s