detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409435/gensys_brn390.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409434/gensys_brn389.smt2 (content) sat sat 0.089s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409434/gensys_brn389.smt2 (content) sat sat 0.077s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409434/gensys_brn389.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409433/gensys_brn388.smt2 (content) sat sat 0.196s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409433/gensys_brn388.smt2 (content) sat sat 0.228s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409433/gensys_brn388.smt2 (content) sat sat 0.055s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409432/gensys_brn387.smt2 (content) sat sat 0.305s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409432/gensys_brn387.smt2 (content) sat sat 0.407s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409432/gensys_brn387.smt2 (content) sat sat 0.044s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409431/gensys_brn386.smt2 (content) sat sat 0.294s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409431/gensys_brn386.smt2 (content) sat sat 0.222s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409431/gensys_brn386.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409430/gensys_brn385.smt2 (content) sat sat 0.284s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409430/gensys_brn385.smt2 (content) sat sat 0.138s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409430/gensys_brn385.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409429/gensys_brn384.smt2 (content) sat sat 0.326s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409429/gensys_brn384.smt2 (content) sat sat 0.178s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409429/gensys_brn384.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409428/gensys_brn383.smt2 (content) sat sat 0.242s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409428/gensys_brn383.smt2 (content) sat sat 0.153s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409428/gensys_brn383.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409427/gensys_brn382.smt2 (content) sat sat 0.178s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409427/gensys_brn382.smt2 (content) sat sat 0.128s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409427/gensys_brn382.smt2 (content) sat sat 0.032s