detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409501/gensys_brn456.smt2 (content) sat sat 0.141s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409501/gensys_brn456.smt2 (content) sat sat 0.082s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409501/gensys_brn456.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409500/gensys_brn455.smt2 (content) sat sat 0.138s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409500/gensys_brn455.smt2 (content) sat sat 0.083s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409500/gensys_brn455.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409499/gensys_brn454.smt2 (content) sat sat 0.159s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409499/gensys_brn454.smt2 (content) sat sat 0.188s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409499/gensys_brn454.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409498/gensys_brn453.smt2 (content) unsat unsat 6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409498/gensys_brn453.smt2 (content) unsat unsat 3.0s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409498/gensys_brn453.smt2 (content) unsat unsat 0.482s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409497/gensys_brn452.smt2 (content) sat sat 0.179s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409497/gensys_brn452.smt2 (content) sat sat 0.179s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409497/gensys_brn452.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409496/gensys_brn451.smt2 (content) sat sat 0.080s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409496/gensys_brn451.smt2 (content) sat sat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409496/gensys_brn451.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409495/gensys_brn450.smt2 (content) sat sat 0.059s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409495/gensys_brn450.smt2 (content) sat sat 0.062s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409495/gensys_brn450.smt2 (content) sat sat 0.029s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409494/gensys_brn449.smt2 (content) sat sat 0.026s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409494/gensys_brn449.smt2 (content) sat sat 0.047s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409494/gensys_brn449.smt2 (content) sat sat 0.027s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409493/gensys_brn448.smt2 (content) unsat unsat 1s