detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409328/gensys_brn283.smt2 (content) unsat unsat 0.035s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409324/gensys_brn279.smt2 (content) unsat unsat 0.074s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409321/gensys_brn276.smt2 (content) unsat unsat 0.030s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409317/gensys_brn272.smt2 (content) unsat unsat 0.200s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409315/gensys_brn270.smt2 (content) unsat unsat 0.066s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409313/gensys_brn268.smt2 (content) unsat unsat 0.187s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409312/gensys_brn267.smt2 (content) unsat unsat 0.080s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409310/gensys_brn265.smt2 (content) unsat unsat 0.044s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409309/gensys_brn264.smt2 (content) unsat unsat 0.052s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409306/gensys_brn261.smt2 (content) unsat unsat 0.094s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409298/gensys_brn253.smt2 (content) unsat unsat 0.049s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409293/gensys_brn248.smt2 (content) unsat unsat 0.031s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409289/gensys_brn244.smt2 (content) unsat unsat 0.039s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409288/gensys_brn243.smt2 (content) unsat unsat 0.058s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409283/gensys_brn238.smt2 (content) unsat unsat 0.104s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409270/gensys_brn225.smt2 (content) unsat unsat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409265/gensys_brn220.smt2 (content) unsat unsat 0.074s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409254/gensys_brn209.smt2 (content) unsat unsat 0.088s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409251/gensys_brn206.smt2 (content) unsat unsat 0.450s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409245/gensys_brn200.smt2 (content) unsat unsat 0.631s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409225/gensys_brn180.smt2 (content) unsat unsat 0.420s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409211/gensys_brn166.smt2 (content) unsat unsat 0.710s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409208/gensys_brn163.smt2 (content) unsat unsat 0.884s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409204/gensys_brn159.smt2 (content) unsat unsat 0.643s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409179/gensys_brn134.smt2 (content) unsat unsat 0.357s