detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1262.smt2 (content) unsat unknown 0.141s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1262.smt2 (content) unsat unknown 0.015s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1261.smt2 (content) unsat unknown 0.807s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1261.smt2 (content) unsat unknown 0.802s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1261.smt2 (content) unsat unknown 0.796s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1261.smt2 (content) unsat unknown 0.071s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1260.smt2 (content) unsat unknown 4.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1260.smt2 (content) unsat unknown 3.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1260.smt2 (content) unsat unknown 3.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1260.smt2 (content) unsat unknown 0.066s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl126.smt2 (content) unsat unknown 5.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl126.smt2 (content) unsat unknown 1.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl126.smt2 (content) unsat unknown 1.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl126.smt2 (content) unsat unknown 0.125s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1259.smt2 (content) unsat unknown 0.794s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1259.smt2 (content) unsat unknown 0.961s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1259.smt2 (content) unsat unknown 0.946s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1259.smt2 (content) unsat unknown 0.034s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1258.smt2 (content) unsat unknown 0.969s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1258.smt2 (content) unsat unknown 0.545s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1258.smt2 (content) unsat unknown 0.540s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1258.smt2 (content) unsat unknown 0.025s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1257.smt2 (content) unsat unknown 3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1257.smt2 (content) unsat unknown 3.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1257.smt2 (content) unsat unknown 3.7s