detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409814/gensys_brn769.smt2 (content) unsat unsat 0.553s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409811/gensys_brn766.smt2 (content) unsat unsat 0.508s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409806/gensys_brn761.smt2 (content) unsat unsat 0.646s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409800/gensys_brn755.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409798/gensys_brn753.smt2 (content) unsat unsat 0.098s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409797/gensys_brn752.smt2 (content) unsat unsat 0.775s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409787/gensys_brn742.smt2 (content) unsat unsat 0.162s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409783/gensys_brn738.smt2 (content) unsat unsat 0.652s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409782/gensys_brn737.smt2 (content) unsat unsat 0.704s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409777/gensys_brn732.smt2 (content) unsat unsat 0.766s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409772/gensys_brn727.smt2 (content) unsat unsat 0.115s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409768/gensys_brn723.smt2 (content) unsat unsat 0.935s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409767/gensys_brn722.smt2 (content) unsat unsat 0.552s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409757/gensys_brn712.smt2 (content) unsat unsat 0.191s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409755/gensys_brn710.smt2 (content) unsat unsat 0.176s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409750/gensys_brn705.smt2 (content) unsat unsat 0.613s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409745/gensys_brn700.smt2 (content) unsat unsat 0.296s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409742/gensys_brn697.smt2 (content) unsat unsat 0.149s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409741/gensys_brn696.smt2 (content) unsat unsat 1.4s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409692/gensys_brn647.smt2 (content) unsat unsat 0.217s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409683/gensys_brn638.smt2 (content) unsat unsat 0.386s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409679/gensys_brn634.smt2 (content) unsat unsat 0.596s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409669/gensys_brn624.smt2 (content) unsat unsat 0.532s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409667/gensys_brn622.smt2 (content) unsat unsat 0.737s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409642/gensys_brn597.smt2 (content) unsat unsat 0.203s