detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl050.smt2 (content) unsat unknown 0.082s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl049.smt2 (content) unsat unknown 2.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl049.smt2 (content) unsat unknown 0.804s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl049.smt2 (content) unsat unknown 0.791s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl049.smt2 (content) unsat unknown 0.168s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl048.smt2 (content) unsat unknown 3.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl048.smt2 (content) unsat unknown 1.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl048.smt2 (content) unsat unknown 1.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl048.smt2 (content) unsat unknown 0.316s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl047.smt2 (content) unsat unknown 1.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl047.smt2 (content) unsat unknown 0.945s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl047.smt2 (content) unsat unknown 0.944s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl047.smt2 (content) unsat unknown 0.167s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl046.smt2 (content) unsat unknown 0.740s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl046.smt2 (content) unsat unknown 0.326s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl046.smt2 (content) unsat unknown 0.318s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl046.smt2 (content) unsat unknown 0.061s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl045.smt2 (content) unsat unknown 0.312s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl045.smt2 (content) unsat unknown 0.187s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl045.smt2 (content) unsat unknown 0.190s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl045.smt2 (content) unsat unknown 0.046s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl044.smt2 (content) unsat unknown 0.902s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl044.smt2 (content) unsat unknown 0.513s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl044.smt2 (content) unsat unknown 0.500s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl044.smt2 (content) unsat unknown 0.102s