detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1257.smt2 (content) unsat unknown 0.199s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1256.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1256.smt2 (content) unsat unknown 10s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1256.smt2 (content) unsat unknown 10s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1256.smt2 (content) unsat unknown 0.733s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1255.smt2 (content) unsat unknown 2.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1255.smt2 (content) unsat unknown 2.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1255.smt2 (content) unsat unknown 2.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1255.smt2 (content) unsat unknown 0.155s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1254.smt2 (content) unsat unknown 9.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1254.smt2 (content) unsat unknown 9.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1254.smt2 (content) unsat unknown 9.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1254.smt2 (content) unsat unknown 0.532s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1253.smt2 (content) unsat unknown 9.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1253.smt2 (content) unsat unknown 8.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1253.smt2 (content) unsat unknown 8.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1253.smt2 (content) unsat unknown 0.437s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1252.smt2 (content) unsat unknown 5.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1252.smt2 (content) unsat unknown 4.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1252.smt2 (content) unsat unknown 5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1252.smt2 (content) unsat unknown 0.367s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1251.smt2 (content) unsat unknown 9.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1251.smt2 (content) unsat unknown 5.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1251.smt2 (content) unsat unknown 5.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1251.smt2 (content) unsat unknown 0.360s