detailed results (28749 total)

prover file res expected time
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409568/gensys_brn523.smt2 (content) sat sat 0.136s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409568/gensys_brn523.smt2 (content) sat sat 0.041s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409567/gensys_brn522.smt2 (content) sat sat 0.226s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409567/gensys_brn522.smt2 (content) sat sat 0.171s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409567/gensys_brn522.smt2 (content) sat sat 0.030s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409566/gensys_brn521.smt2 (content) unsat unsat 1.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409566/gensys_brn521.smt2 (content) unsat unsat 0.294s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409566/gensys_brn521.smt2 (content) unsat unsat 0.250s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409565/gensys_brn520.smt2 (content) sat sat 0.802s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409565/gensys_brn520.smt2 (content) sat sat 0.449s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409565/gensys_brn520.smt2 (content) sat sat 0.039s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409564/gensys_brn519.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409564/gensys_brn519.smt2 (content) unsat unsat 0.442s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409564/gensys_brn519.smt2 (content) unsat unsat 0.371s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409563/gensys_brn518.smt2 (content) sat sat 0.471s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409563/gensys_brn518.smt2 (content) sat sat 0.309s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409563/gensys_brn518.smt2 (content) sat sat 0.034s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409562/gensys_brn517.smt2 (content) sat sat 0.591s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409562/gensys_brn517.smt2 (content) sat sat 0.238s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409562/gensys_brn517.smt2 (content) sat sat 0.036s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409561/gensys_brn516.smt2 (content) unsat unsat 6.7s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409561/gensys_brn516.smt2 (content) unsat unsat 0.363s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409561/gensys_brn516.smt2 (content) unsat unsat 0.503s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409560/gensys_brn515.smt2 (content) sat sat 0.205s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409560/gensys_brn515.smt2 (content) sat sat 0.138s