detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1234.smt2 (content) unsat unknown 0.354s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1233.smt2 (content) unsat unknown 0.880s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1233.smt2 (content) unsat unknown 0.568s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1233.smt2 (content) unsat unknown 0.578s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1233.smt2 (content) unsat unknown 0.118s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1232.smt2 (content) unsat unknown 1.2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1232.smt2 (content) unsat unknown 0.625s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1232.smt2 (content) unsat unknown 0.620s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1232.smt2 (content) unsat unknown 0.110s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1231.smt2 (content) unsat unknown 1.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1231.smt2 (content) unsat unknown 0.977s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1231.smt2 (content) unsat unknown 0.959s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1231.smt2 (content) unsat unknown 0.149s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1230.smt2 (content) unsat unknown 1.4s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1230.smt2 (content) unsat unknown 0.487s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1230.smt2 (content) unsat unknown 0.479s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1230.smt2 (content) unsat unknown 0.087s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl123.smt2 (content) unsat unknown 3.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl123.smt2 (content) unsat unknown 1.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl123.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl123.smt2 (content) unsat unknown 0.164s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1229.smt2 (content) unsat unknown 0.241s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1229.smt2 (content) unsat unknown 0.220s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1229.smt2 (content) unsat unknown 0.219s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1229.smt2 (content) unsat unknown 0.032s