detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409063/gensys_brn1223.smt2 (content) unsat unsat 0.039s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409059/gensys_brn122.smt2 (content) unsat unsat 0.174s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409053/gensys_brn1214.smt2 (content) unsat unsat 0.437s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409032/gensys_brn1195.smt2 (content) unsat unsat 0.075s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409025/gensys_brn1189.smt2 (content) unsat unsat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409019/gensys_brn1183.smt2 (content) unsat unsat 0.039s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408992/gensys_brn1159.smt2 (content) unsat unsat 0.089s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408991/gensys_brn1158.smt2 (content) unsat unsat 0.055s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408983/gensys_brn1150.smt2 (content) unsat unsat 0.101s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408982/gensys_brn115.smt2 (content) unsat unsat 0.460s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408981/gensys_brn1149.smt2 (content) unsat unsat 0.145s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408980/gensys_brn1148.smt2 (content) unsat unsat 0.121s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408932/gensys_brn1104.smt2 (content) unsat unsat 0.430s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408931/gensys_brn1103.smt2 (content) unsat unsat 0.579s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408925/gensys_brn1098.smt2 (content) unsat unsat 0.658s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408913/gensys_brn1087.smt2 (content) unsat unsat 0.078s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408911/gensys_brn1085.smt2 (content) unsat unsat 0.058s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408909/gensys_brn1083.smt2 (content) unsat unsat 0.043s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408899/gensys_brn1074.smt2 (content) unsat unsat 0.754s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408898/gensys_brn1073.smt2 (content) unsat unsat 0.701s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408896/gensys_brn1071.smt2 (content) unsat unsat 0.777s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408885/gensys_brn1061.smt2 (content) unsat unsat 0.056s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408880/gensys_brn1057.smt2 (content) unsat unsat 0.209s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408875/gensys_brn1052.smt2 (content) unsat unsat 0.579s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408873/gensys_brn1050.smt2 (content) unsat unsat 0.619s