detailed results (28749 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409185/gensys_brn140.smt2 (content) sat sat 0.047s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409184/gensys_brn139.smt2 (content) sat sat 0.316s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409184/gensys_brn139.smt2 (content) sat sat 0.136s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409184/gensys_brn139.smt2 (content) sat sat 0.028s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409183/gensys_brn138.smt2 (content) sat sat 0.295s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409183/gensys_brn138.smt2 (content) sat sat 0.083s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409183/gensys_brn138.smt2 (content) sat sat 0.032s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409182/gensys_brn137.smt2 (content) sat sat 0.209s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409182/gensys_brn137.smt2 (content) sat sat 0.118s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409182/gensys_brn137.smt2 (content) sat sat 0.040s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409181/gensys_brn136.smt2 (content) sat sat 0.599s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409181/gensys_brn136.smt2 (content) sat sat 0.200s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409181/gensys_brn136.smt2 (content) sat sat 0.071s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409180/gensys_brn135.smt2 (content) sat sat 0.486s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409180/gensys_brn135.smt2 (content) sat sat 0.325s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409180/gensys_brn135.smt2 (content) sat sat 0.068s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409179/gensys_brn134.smt2 (content) timeout unsat 10s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409179/gensys_brn134.smt2 (content) unsat unsat 3.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409179/gensys_brn134.smt2 (content) unsat unsat 0.408s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409178/gensys_brn133.smt2 (content) unsat unsat 6.2s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409178/gensys_brn133.smt2 (content) unsat unsat 0.624s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409178/gensys_brn133.smt2 (content) unsat unsat 0.418s
mc2 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409177/gensys_brn1327.smt2 (content) sat sat 0.124s
sidekick-dev /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409177/gensys_brn1327.smt2 (content) sat sat 0.074s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409177/gensys_brn1327.smt2 (content) sat sat 0.033s