detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl699.smt2 (content) unsat unknown 0.621s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl698.smt2 (content) unsat unknown 6.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl698.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl698.smt2 (content) unsat unknown 0.720s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl697.smt2 (content) unsat unknown 7.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl697.smt2 (content) unsat unknown 3.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl697.smt2 (content) unsat unknown 0.310s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl696.smt2 (content) unsat unknown 5.4s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl696.smt2 (content) unsat unknown 4.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl696.smt2 (content) unsat unknown 0.353s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl695.smt2 (content) unsat unknown 4.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl695.smt2 (content) unsat unknown 2.0s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl695.smt2 (content) unsat unknown 0.211s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl694.smt2 (content) timeout unknown 10.2s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl694.smt2 (content) unsat unknown 9.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl694.smt2 (content) unsat unknown 0.713s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl693.smt2 (content) unsat unknown 1.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl693.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl693.smt2 (content) unsat unknown 0.081s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl692.smt2 (content) unsat unknown 0.620s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl692.smt2 (content) unsat unknown 0.572s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl692.smt2 (content) unsat unknown 0.060s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl691.smt2 (content) timeout unknown 11.6s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl691.smt2 (content) timeout unknown 14.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl691.smt2 (content) unsat unknown 0.994s