detailed results (29828 total)

prover file res expected time
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl180.smt2 (content) unsat unknown 2.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl180.smt2 (content) unsat unknown 0.189s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl179.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl179.smt2 (content) unsat unknown 4s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl179.smt2 (content) unsat unknown 3.0s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl179.smt2 (content) unsat unknown 0.389s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl178.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl178.smt2 (content) unsat unknown 4.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl178.smt2 (content) unsat unknown 4.7s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl178.smt2 (content) unsat unknown 0.341s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl177.smt2 (content) unsat unknown 5.8s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl177.smt2 (content) unsat unknown 1.8s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl177.smt2 (content) unsat unknown 1.8s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl177.smt2 (content) unsat unknown 0.225s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl176.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl176.smt2 (content) unsat unknown 3.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl176.smt2 (content) unsat unknown 3.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl176.smt2 (content) unsat unknown 0.425s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl175.smt2 (content) unsat unknown 6.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl175.smt2 (content) unsat unknown 2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl175.smt2 (content) unsat unknown 1.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl175.smt2 (content) unsat unknown 0.225s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl174.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl174.smt2 (content) unsat unknown 2.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl174.smt2 (content) unsat unknown 2.6s