detailed results (22371 total)

prover file res expected time
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn357.smt2 (content) sat unknown 0.050s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn356.smt2 (content) sat unknown 0.166s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn356.smt2 (content) sat unknown 0.109s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn356.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn355.smt2 (content) sat unknown 0.298s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn355.smt2 (content) sat unknown 0.166s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn355.smt2 (content) sat unknown 0.020s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn354.smt2 (content) sat unknown 0.147s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn354.smt2 (content) sat unknown 0.068s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn354.smt2 (content) sat unknown 0.034s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn353.smt2 (content) sat unknown 0.217s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn353.smt2 (content) sat unknown 0.173s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn353.smt2 (content) sat unknown 0.018s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn352.smt2 (content) sat unknown 0.519s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn352.smt2 (content) sat unknown 0.713s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn352.smt2 (content) sat unknown 0.120s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn351.smt2 (content) sat unknown 0.212s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn351.smt2 (content) sat unknown 0.082s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn351.smt2 (content) sat unknown 0.038s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn350.smt2 (content) timeout unknown 10.7s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn350.smt2 (content) unsat unknown 10.4s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn350.smt2 (content) unsat unknown 0.489s
mc2 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn349.smt2 (content) sat unknown 0.946s
sidekick /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn349.smt2 (content) sat unknown 0.497s
z3 /home/simon/w/smtlib/QF_UF/QG-classification/qg5/gensys_brn349.smt2 (content) sat unknown 0.101s