detailed results (22371 total)

prover file res expected time
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn148.smt2 (content) sat unknown 3.5s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn148.smt2 (content) sat unknown 0.688s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn148.smt2 (content) sat unknown 0.129s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn147.smt2 (content) sat unknown 0.781s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn147.smt2 (content) sat unknown 0.175s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn147.smt2 (content) sat unknown 0.054s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn146.smt2 (content) sat unknown 0.213s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn146.smt2 (content) sat unknown 0.098s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn146.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn145.smt2 (content) sat unknown 0.368s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn145.smt2 (content) sat unknown 0.308s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn145.smt2 (content) sat unknown 0.035s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn144.smt2 (content) sat unknown 0.121s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn144.smt2 (content) sat unknown 0.184s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn144.smt2 (content) sat unknown 0.022s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn143.smt2 (content) sat unknown 0.126s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn143.smt2 (content) sat unknown 0.138s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn143.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn142.smt2 (content) sat unknown 0.238s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn142.smt2 (content) sat unknown 0.185s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn142.smt2 (content) sat unknown 0.030s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn141.smt2 (content) sat unknown 0.342s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn141.smt2 (content) sat unknown 0.339s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn141.smt2 (content) sat unknown 0.068s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn140.smt2 (content) sat unknown 0.115s