detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl025.smt2 (content) unsat unknown 0.129s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl024.smt2 (content) unsat unknown 1.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl024.smt2 (content) unsat unknown 0.603s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl024.smt2 (content) unsat unknown 0.604s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl024.smt2 (content) unsat unknown 0.103s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl023.smt2 (content) unsat unknown 2.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl023.smt2 (content) unsat unknown 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl023.smt2 (content) unsat unknown 1.1s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl023.smt2 (content) unsat unknown 0.241s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl022.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl022.smt2 (content) unsat unknown 0.821s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl022.smt2 (content) unsat unknown 0.821s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl022.smt2 (content) unsat unknown 0.110s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl021.smt2 (content) unsat unknown 3.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl021.smt2 (content) unsat unknown 0.873s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl021.smt2 (content) unsat unknown 0.833s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl021.smt2 (content) unsat unknown 0.132s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl020.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl020.smt2 (content) unsat unknown 0.813s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl020.smt2 (content) unsat unknown 0.807s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl020.smt2 (content) unsat unknown 0.178s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl019.smt2 (content) unsat unknown 0.470s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl019.smt2 (content) unsat unknown 0.178s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl019.smt2 (content) unsat unknown 0.175s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl019.smt2 (content) unsat unknown 0.043s