detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl124.smt2 (content) unsat unknown 9.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl124.smt2 (content) unsat unknown 0.501s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1239.smt2 (content) unsat unknown 2.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1239.smt2 (content) unsat unknown 1.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1239.smt2 (content) unsat unknown 1.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1239.smt2 (content) unsat unknown 0.042s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1238.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1238.smt2 (content) unsat unknown 0.425s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1238.smt2 (content) unsat unknown 0.429s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1238.smt2 (content) unsat unknown 0.019s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1237.smt2 (content) unsat unknown 0.641s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1237.smt2 (content) unsat unknown 0.411s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1237.smt2 (content) unsat unknown 0.414s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1237.smt2 (content) unsat unknown 0.022s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1236.smt2 (content) unsat unknown 0.427s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1236.smt2 (content) unsat unknown 0.200s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1236.smt2 (content) unsat unknown 0.205s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1236.smt2 (content) unsat unknown 0.016s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1235.smt2 (content) unsat unknown 1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1235.smt2 (content) unsat unknown 0.755s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1235.smt2 (content) unsat unknown 0.741s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1235.smt2 (content) unsat unknown 0.024s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1234.smt2 (content) unsat unknown 5.5s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1234.smt2 (content) unsat unknown 3.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl1234.smt2 (content) unsat unknown 3.4s