detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl062.smt2 (content) unsat unknown 0.902s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl062.smt2 (content) unsat unknown 0.901s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl062.smt2 (content) unsat unknown 0.153s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl061.smt2 (content) unsat unknown 0.948s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl061.smt2 (content) unsat unknown 0.606s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl061.smt2 (content) unsat unknown 0.636s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl061.smt2 (content) unsat unknown 0.090s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl060.smt2 (content) unsat unknown 1.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl060.smt2 (content) unsat unknown 0.542s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl060.smt2 (content) unsat unknown 0.536s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl060.smt2 (content) unsat unknown 0.073s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl059.smt2 (content) unsat unknown 0.747s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl059.smt2 (content) unsat unknown 0.534s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl059.smt2 (content) unsat unknown 0.531s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl059.smt2 (content) unsat unknown 0.109s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl058.smt2 (content) unsat unknown 2.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl058.smt2 (content) unsat unknown 0.761s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl058.smt2 (content) unsat unknown 0.772s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl058.smt2 (content) unsat unknown 0.109s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl057.smt2 (content) unsat unknown 2.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl057.smt2 (content) unsat unknown 2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl057.smt2 (content) unsat unknown 2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl057.smt2 (content) unsat unknown 0.269s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl056.smt2 (content) unsat unknown 3.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl056.smt2 (content) unsat unknown 2.5s