detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl955.smt2 (content) unsat unknown 1.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl955.smt2 (content) unsat unknown 0.062s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl954.smt2 (content) unsat unknown 1.7s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl954.smt2 (content) unsat unknown 1.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl954.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl954.smt2 (content) unsat unknown 0.065s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl953.smt2 (content) unsat unknown 0.849s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl953.smt2 (content) unsat unknown 0.416s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl953.smt2 (content) unsat unknown 0.399s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl953.smt2 (content) unsat unknown 0.052s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl952.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl952.smt2 (content) unsat unknown 9.4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl952.smt2 (content) unsat unknown 9.4s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl952.smt2 (content) unsat unknown 0.292s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl951.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl951.smt2 (content) unsat unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl951.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl951.smt2 (content) unsat unknown 0.289s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl950.smt2 (content) unsat unknown 8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl950.smt2 (content) unsat unknown 5.0s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl950.smt2 (content) unsat unknown 6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl950.smt2 (content) unsat unknown 0.370s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl949.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl949.smt2 (content) unsat unknown 10.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl949.smt2 (content) unsat unknown 10.7s