detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1054.smt2 (content) sat unknown 0.017s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1053.smt2 (content) sat unknown 0.089s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1053.smt2 (content) sat unknown 0.060s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1053.smt2 (content) sat unknown 0.024s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1052.smt2 (content) timeout unknown 10.3s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1052.smt2 (content) unsat unknown 1.3s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1052.smt2 (content) unsat unknown 0.458s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1051.smt2 (content) sat unknown 0.613s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1051.smt2 (content) sat unknown 0.286s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1051.smt2 (content) sat unknown 0.059s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1050.smt2 (content) timeout unknown 10s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1050.smt2 (content) unsat unknown 9.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1050.smt2 (content) unsat unknown 0.479s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn105.smt2 (content) unsat unknown 8.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn105.smt2 (content) unsat unknown 2.6s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn105.smt2 (content) unsat unknown 0.237s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1049.smt2 (content) sat unknown 0.351s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1049.smt2 (content) sat unknown 0.326s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1049.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1048.smt2 (content) sat unknown 0.206s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1048.smt2 (content) sat unknown 0.094s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1048.smt2 (content) sat unknown 0.019s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1047.smt2 (content) sat unknown 0.188s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1047.smt2 (content) sat unknown 0.354s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1047.smt2 (content) sat unknown 0.043s