detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409638/gensys_brn593.smt2 (content) unsat unsat 0.793s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409636/gensys_brn591.smt2 (content) unsat unsat 0.838s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409618/gensys_brn573.smt2 (content) unsat unsat 0.389s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409615/gensys_brn570.smt2 (content) unsat unsat 0.182s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409610/gensys_brn565.smt2 (content) unsat unsat 0.349s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409607/gensys_brn562.smt2 (content) unsat unsat 0.168s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409605/gensys_brn560.smt2 (content) unsat unsat 0.442s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409602/gensys_brn557.smt2 (content) unsat unsat 0.541s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409582/gensys_brn537.smt2 (content) unsat unsat 0.142s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409581/gensys_brn536.smt2 (content) unsat unsat 0.359s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409578/gensys_brn533.smt2 (content) unsat unsat 0.287s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409572/gensys_brn527.smt2 (content) unsat unsat 0.243s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409571/gensys_brn526.smt2 (content) unsat unsat 0.526s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409566/gensys_brn521.smt2 (content) unsat unsat 0.238s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409564/gensys_brn519.smt2 (content) unsat unsat 0.367s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409561/gensys_brn516.smt2 (content) unsat unsat 0.438s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409553/gensys_brn508.smt2 (content) unsat unsat 0.080s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409551/gensys_brn506.smt2 (content) unsat unsat 0.048s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409548/gensys_brn503.smt2 (content) unsat unsat 0.046s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409539/gensys_brn494.smt2 (content) unsat unsat 0.071s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409533/gensys_brn488.smt2 (content) unsat unsat 0.265s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409532/gensys_brn487.smt2 (content) unsat unsat 0.172s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409523/gensys_brn478.smt2 (content) unsat unsat 0.203s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409521/gensys_brn476.smt2 (content) unsat unsat 0.065s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409520/gensys_brn475.smt2 (content) unsat unsat 0.064s