detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409676/gensys_brn631.smt2 (content) sat sat 0.192s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409676/gensys_brn631.smt2 (content) sat sat 0.114s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409676/gensys_brn631.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409675/gensys_brn630.smt2 (content) sat sat 1.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409675/gensys_brn630.smt2 (content) sat sat 0.379s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409675/gensys_brn630.smt2 (content) sat sat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409674/gensys_brn629.smt2 (content) sat sat 0.578s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409674/gensys_brn629.smt2 (content) sat sat 0.291s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409674/gensys_brn629.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409673/gensys_brn628.smt2 (content) sat sat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409673/gensys_brn628.smt2 (content) sat sat 0.109s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409673/gensys_brn628.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409672/gensys_brn627.smt2 (content) sat sat 1s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409672/gensys_brn627.smt2 (content) sat sat 0.317s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409672/gensys_brn627.smt2 (content) sat sat 0.049s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409671/gensys_brn626.smt2 (content) sat sat 0.721s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409671/gensys_brn626.smt2 (content) sat sat 0.485s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409671/gensys_brn626.smt2 (content) sat sat 0.042s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409670/gensys_brn625.smt2 (content) sat sat 0.343s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409670/gensys_brn625.smt2 (content) sat sat 0.098s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409670/gensys_brn625.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409669/gensys_brn624.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409669/gensys_brn624.smt2 (content) unsat unsat 2.8s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409669/gensys_brn624.smt2 (content) unsat unsat 0.612s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409668/gensys_brn623.smt2 (content) sat sat 0.671s