detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl665.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl665.smt2 (content) unsat unknown 1.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl665.smt2 (content) unsat unknown 0.167s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl664.smt2 (content) timeout unknown 10.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl664.smt2 (content) timeout unknown 12.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl664.smt2 (content) unsat unknown 1s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl663.smt2 (content) timeout unknown 21s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl663.smt2 (content) timeout unknown 35.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl663.smt2 (content) unsat unknown 8s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl662.smt2 (content) unsat unknown 1.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl662.smt2 (content) unsat unknown 1.8s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl662.smt2 (content) unsat unknown 0.138s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl661.smt2 (content) timeout unknown 10.9s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl661.smt2 (content) timeout unknown 11.5s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl661.smt2 (content) unsat unknown 1.3s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl660.smt2 (content) timeout unknown 10.8s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl660.smt2 (content) timeout unknown 12.2s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl660.smt2 (content) unsat unknown 1.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl659.smt2 (content) timeout unknown 10.1s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl659.smt2 (content) timeout unknown 11s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl659.smt2 (content) unsat unknown 0.826s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl658.smt2 (content) timeout unknown 18s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl658.smt2 (content) timeout unknown 21.9s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl658.smt2 (content) unsat unknown 3.2s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_icl657.smt2 (content) timeout unknown 10s