detailed results (22371 total)

prover file res expected time
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1016.smt2 (content) sat unknown 0.261s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1016.smt2 (content) sat unknown 0.057s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1015.smt2 (content) sat unknown 0.235s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1015.smt2 (content) sat unknown 0.332s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1015.smt2 (content) sat unknown 0.055s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1014.smt2 (content) sat unknown 0.322s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1014.smt2 (content) sat unknown 0.219s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1014.smt2 (content) sat unknown 0.026s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1013.smt2 (content) sat unknown 0.264s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1013.smt2 (content) sat unknown 0.070s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1013.smt2 (content) sat unknown 0.041s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1012.smt2 (content) sat unknown 0.246s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1012.smt2 (content) sat unknown 0.147s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1012.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1011.smt2 (content) sat unknown 0.130s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1011.smt2 (content) sat unknown 0.069s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1011.smt2 (content) sat unknown 0.023s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1010.smt2 (content) sat unknown 0.635s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1010.smt2 (content) sat unknown 0.124s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1010.smt2 (content) sat unknown 0.028s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn101.smt2 (content) sat unknown 0.195s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn101.smt2 (content) sat unknown 0.093s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn101.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1009.smt2 (content) sat unknown 0.481s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn1009.smt2 (content) sat unknown 0.130s