detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410026/gensys_brn981.smt2 (content) sat sat 0.220s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410026/gensys_brn981.smt2 (content) sat sat 0.226s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410026/gensys_brn981.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410025/gensys_brn980.smt2 (content) sat sat 0.159s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410025/gensys_brn980.smt2 (content) sat sat 0.147s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410025/gensys_brn980.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410024/gensys_brn979.smt2 (content) sat sat 0.244s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410024/gensys_brn979.smt2 (content) sat sat 0.168s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410024/gensys_brn979.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410023/gensys_brn978.smt2 (content) sat sat 0.218s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410023/gensys_brn978.smt2 (content) sat sat 0.104s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410023/gensys_brn978.smt2 (content) sat sat 0.029s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410022/gensys_brn977.smt2 (content) sat sat 0.119s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410022/gensys_brn977.smt2 (content) sat sat 0.108s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410022/gensys_brn977.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410021/gensys_brn976.smt2 (content) sat sat 0.266s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410021/gensys_brn976.smt2 (content) sat sat 0.143s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410021/gensys_brn976.smt2 (content) sat sat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410020/gensys_brn975.smt2 (content) sat sat 0.172s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410020/gensys_brn975.smt2 (content) sat sat 0.128s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410020/gensys_brn975.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410019/gensys_brn974.smt2 (content) unsat unsat 1.5s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410019/gensys_brn974.smt2 (content) unsat unsat 1.2s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410019/gensys_brn974.smt2 (content) unsat unsat 0.123s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/410018/gensys_brn973.smt2 (content) timeout unsat 10s