detailed results (29828 total)

prover file res expected time
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl699.smt2 (content) unsat unknown 0.581s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl698.smt2 (content) unsat unknown 7.0s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl698.smt2 (content) timeout unknown 11s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl698.smt2 (content) timeout unknown 11s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl698.smt2 (content) unsat unknown 0.606s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl697.smt2 (content) unsat unknown 5.9s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl697.smt2 (content) unsat unknown 2.6s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl697.smt2 (content) unsat unknown 2.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl697.smt2 (content) unsat unknown 0.234s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl696.smt2 (content) unsat unknown 5.1s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl696.smt2 (content) unsat unknown 4.2s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl696.smt2 (content) unsat unknown 4.3s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl696.smt2 (content) unsat unknown 0.312s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl695.smt2 (content) unsat unknown 5.3s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl695.smt2 (content) unsat unknown 2.9s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl695.smt2 (content) unsat unknown 2.9s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl695.smt2 (content) unsat unknown 0.233s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl694.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl694.smt2 (content) unsat unknown 9.7s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl694.smt2 (content) unsat unknown 9.6s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl694.smt2 (content) unsat unknown 0.551s
mc2 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl693.smt2 (content) unsat unknown 2s
sidekick /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl693.smt2 (content) unsat unknown 1.5s
sidekick-dev /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl693.smt2 (content) unsat unknown 1.5s
z3 /home/simon/w/sidekick/tests/QF_UF/QG-classification/qg5/gensys_icl693.smt2 (content) unsat unknown 0.096s