detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl690.smt2 (content) unsat unknown 9.0s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl690.smt2 (content) unknown unknown 10.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl690.smt2 (content) unsat unknown 0.612s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl689.smt2 (content) unsat unknown 9.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl689.smt2 (content) unsat unknown 5.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl689.smt2 (content) unsat unknown 0.270s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl688.smt2 (content) unsat unknown 5.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl688.smt2 (content) unsat unknown 3.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl688.smt2 (content) unsat unknown 0.235s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl687.smt2 (content) unsat unknown 2.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl687.smt2 (content) unsat unknown 1s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl687.smt2 (content) unsat unknown 0.158s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl686.smt2 (content) unsat unknown 3.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl686.smt2 (content) unsat unknown 1.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl686.smt2 (content) unsat unknown 0.159s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl685.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl685.smt2 (content) unsat unknown 10.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl685.smt2 (content) unsat unknown 0.531s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl684.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl684.smt2 (content) unsat unknown 6.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl684.smt2 (content) unsat unknown 0.492s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl683.smt2 (content) unsat unknown 5.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl683.smt2 (content) unsat unknown 2.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl683.smt2 (content) unsat unknown 0.407s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl682.smt2 (content) timeout unknown 14.9s