detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410010/gensys_brn965.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410009/gensys_brn964.smt2 (content) sat sat 0.256s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410009/gensys_brn964.smt2 (content) sat sat 0.141s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410009/gensys_brn964.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410008/gensys_brn963.smt2 (content) sat sat 0.245s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410008/gensys_brn963.smt2 (content) sat sat 0.169s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410008/gensys_brn963.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410007/gensys_brn962.smt2 (content) unsat unsat 9.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410007/gensys_brn962.smt2 (content) unsat unsat 5s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410007/gensys_brn962.smt2 (content) unsat unsat 0.364s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410006/gensys_brn961.smt2 (content) unsat unsat 2.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410006/gensys_brn961.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410006/gensys_brn961.smt2 (content) unsat unsat 0.156s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410005/gensys_brn960.smt2 (content) sat sat 0.356s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410005/gensys_brn960.smt2 (content) sat sat 0.323s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410005/gensys_brn960.smt2 (content) sat sat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410004/gensys_brn959.smt2 (content) unsat unsat 5.9s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410004/gensys_brn959.smt2 (content) unsat unsat 3.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410004/gensys_brn959.smt2 (content) unsat unsat 0.297s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410003/gensys_brn958.smt2 (content) sat sat 0.353s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410003/gensys_brn958.smt2 (content) sat sat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410003/gensys_brn958.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410002/gensys_brn957.smt2 (content) unsat unsat 2.3s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410002/gensys_brn957.smt2 (content) unsat unsat 1.7s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410002/gensys_brn957.smt2 (content) unsat unsat 0.141s