detailed results (29828 total)

prover file res expected time
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1177.smt2 (content) unsat unknown 1.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1177.smt2 (content) unsat unknown 1.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1177.smt2 (content) unsat unknown 0.043s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1176.smt2 (content) unsat unknown 8.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1176.smt2 (content) unsat unknown 3.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1176.smt2 (content) unsat unknown 3.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1176.smt2 (content) unsat unknown 0.063s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1175.smt2 (content) unsat unknown 4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1175.smt2 (content) unsat unknown 2.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1175.smt2 (content) unsat unknown 2.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1175.smt2 (content) unsat unknown 0.054s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1174.smt2 (content) unsat unknown 0.505s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1174.smt2 (content) unsat unknown 0.417s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1174.smt2 (content) unsat unknown 0.404s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1174.smt2 (content) unsat unknown 0.028s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1173.smt2 (content) unsat unknown 0.374s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1173.smt2 (content) unsat unknown 0.225s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1173.smt2 (content) unsat unknown 0.222s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1173.smt2 (content) unsat unknown 0.020s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1172.smt2 (content) unsat unknown 0.885s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1172.smt2 (content) unsat unknown 0.370s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1172.smt2 (content) unsat unknown 0.384s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1172.smt2 (content) unsat unknown 0.027s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1171.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1171.smt2 (content) unsat unknown 0.955s