detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409860/gensys_brn815.smt2 (content) sat sat 0.059s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409859/gensys_brn814.smt2 (content) sat sat 0.313s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409859/gensys_brn814.smt2 (content) sat sat 0.105s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409859/gensys_brn814.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409858/gensys_brn813.smt2 (content) unsat unsat 1.6s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409858/gensys_brn813.smt2 (content) unsat unsat 0.555s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409858/gensys_brn813.smt2 (content) unsat unsat 0.086s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409857/gensys_brn812.smt2 (content) sat sat 0.178s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409857/gensys_brn812.smt2 (content) sat sat 0.133s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409857/gensys_brn812.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409856/gensys_brn811.smt2 (content) sat sat 0.498s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409856/gensys_brn811.smt2 (content) sat sat 0.288s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409856/gensys_brn811.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409855/gensys_brn810.smt2 (content) sat sat 0.478s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409855/gensys_brn810.smt2 (content) sat sat 0.221s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409855/gensys_brn810.smt2 (content) sat sat 0.035s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409854/gensys_brn809.smt2 (content) sat sat 0.248s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409854/gensys_brn809.smt2 (content) sat sat 0.163s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409854/gensys_brn809.smt2 (content) sat sat 0.043s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409853/gensys_brn808.smt2 (content) sat sat 0.215s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409853/gensys_brn808.smt2 (content) sat sat 0.121s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409853/gensys_brn808.smt2 (content) sat sat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409852/gensys_brn807.smt2 (content) unsat unsat 1.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409852/gensys_brn807.smt2 (content) unsat unsat 0.701s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409852/gensys_brn807.smt2 (content) unsat unsat 0.071s