detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409401/gensys_brn356.smt2 (content) sat sat 0.229s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409401/gensys_brn356.smt2 (content) sat sat 0.142s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409401/gensys_brn356.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409400/gensys_brn355.smt2 (content) sat sat 0.240s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409400/gensys_brn355.smt2 (content) sat sat 0.141s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409400/gensys_brn355.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409399/gensys_brn354.smt2 (content) sat sat 0.219s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409399/gensys_brn354.smt2 (content) sat sat 0.108s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409399/gensys_brn354.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409398/gensys_brn353.smt2 (content) sat sat 0.352s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409398/gensys_brn353.smt2 (content) sat sat 0.272s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409398/gensys_brn353.smt2 (content) sat sat 0.071s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409397/gensys_brn352.smt2 (content) sat sat 0.394s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409397/gensys_brn352.smt2 (content) sat sat 0.335s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409397/gensys_brn352.smt2 (content) sat sat 0.067s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409396/gensys_brn351.smt2 (content) sat sat 0.277s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409396/gensys_brn351.smt2 (content) sat sat 0.144s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409396/gensys_brn351.smt2 (content) sat sat 0.054s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409395/gensys_brn350.smt2 (content) unsat unsat 9.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409395/gensys_brn350.smt2 (content) unsat unsat 7.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409395/gensys_brn350.smt2 (content) unsat unsat 0.451s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409394/gensys_brn349.smt2 (content) sat sat 0.488s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409394/gensys_brn349.smt2 (content) sat sat 0.178s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409394/gensys_brn349.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409393/gensys_brn348.smt2 (content) timeout unsat 10s