detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl060.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl059.smt2 (content) unsat unknown 0.156s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl059.smt2 (content) unsat unknown 0.408s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl059.smt2 (content) unsat unknown 0.425s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl059.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl058.smt2 (content) unsat unknown 0.283s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl058.smt2 (content) unsat unknown 0.498s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl058.smt2 (content) unsat unknown 0.501s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl058.smt2 (content) unsat unknown 0.037s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl057.smt2 (content) unsat unknown 0.488s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl057.smt2 (content) unsat unknown 0.565s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl057.smt2 (content) unsat unknown 0.560s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl057.smt2 (content) unsat unknown 0.028s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl056.smt2 (content) unsat unknown 0.203s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl056.smt2 (content) unsat unknown 0.288s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl056.smt2 (content) unsat unknown 0.284s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl056.smt2 (content) unsat unknown 0.076s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl055.smt2 (content) unsat unknown 0.178s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl055.smt2 (content) unsat unknown 0.283s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl055.smt2 (content) unsat unknown 0.285s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl055.smt2 (content) unsat unknown 0.021s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl054.smt2 (content) unsat unknown 0.162s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl054.smt2 (content) unsat unknown 0.166s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl054.smt2 (content) unsat unknown 0.166s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/iso_icl054.smt2 (content) unsat unknown 0.020s