detailed results (28749 total)

prover file res expected time
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409876/gensys_brn831.smt2 (content) sat sat 0.425s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409876/gensys_brn831.smt2 (content) sat sat 0.724s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409876/gensys_brn831.smt2 (content) sat sat 0.078s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409875/gensys_brn830.smt2 (content) sat sat 0.199s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409875/gensys_brn830.smt2 (content) sat sat 0.152s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409875/gensys_brn830.smt2 (content) sat sat 0.045s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409874/gensys_brn829.smt2 (content) sat sat 0.166s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409874/gensys_brn829.smt2 (content) sat sat 0.071s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409874/gensys_brn829.smt2 (content) sat sat 0.033s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409873/gensys_brn828.smt2 (content) sat sat 0.110s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409873/gensys_brn828.smt2 (content) sat sat 0.070s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409873/gensys_brn828.smt2 (content) sat sat 0.031s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409872/gensys_brn827.smt2 (content) unsat unsat 1.8s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409872/gensys_brn827.smt2 (content) unsat unsat 1.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409872/gensys_brn827.smt2 (content) unsat unsat 0.111s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409871/gensys_brn826.smt2 (content) sat sat 0.140s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409871/gensys_brn826.smt2 (content) sat sat 0.117s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409871/gensys_brn826.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409870/gensys_brn825.smt2 (content) unsat unsat 0.206s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409870/gensys_brn825.smt2 (content) unsat unsat 0.136s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409870/gensys_brn825.smt2 (content) unsat unsat 0.037s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409869/gensys_brn824.smt2 (content) unsat unsat 0.311s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409869/gensys_brn824.smt2 (content) unsat unsat 0.177s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409869/gensys_brn824.smt2 (content) unsat unsat 0.064s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409868/gensys_brn823.smt2 (content) sat sat 0.188s