detailed results (29828 total)

prover file res expected time
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl043.smt2 (content) unsat unknown 0.841s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl043.smt2 (content) unsat unknown 0.400s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl043.smt2 (content) unsat unknown 0.400s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl043.smt2 (content) unsat unknown 0.051s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl042.smt2 (content) unsat unknown 0.412s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl042.smt2 (content) unsat unknown 0.206s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl042.smt2 (content) unsat unknown 0.201s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl042.smt2 (content) unsat unknown 0.032s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl041.smt2 (content) unsat unknown 1.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl041.smt2 (content) unsat unknown 0.747s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl041.smt2 (content) unsat unknown 0.709s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl041.smt2 (content) unsat unknown 0.137s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl040.smt2 (content) unsat unknown 0.471s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl040.smt2 (content) unsat unknown 0.224s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl040.smt2 (content) unsat unknown 0.225s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl040.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl039.smt2 (content) unsat unknown 0.433s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl039.smt2 (content) unsat unknown 0.249s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl039.smt2 (content) unsat unknown 0.245s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl039.smt2 (content) unsat unknown 0.041s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl038.smt2 (content) unsat unknown 0.511s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl038.smt2 (content) unsat unknown 0.316s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl038.smt2 (content) unsat unknown 0.303s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl038.smt2 (content) unsat unknown 0.049s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/loops6/gensys_icl037.smt2 (content) unsat unknown 0.359s