detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409440/gensys_brn395.smt2 (content) unsat unsat 0.170s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409438/gensys_brn393.smt2 (content) unsat unsat 0.136s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409437/gensys_brn392.smt2 (content) unsat unsat 0.151s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409423/gensys_brn378.smt2 (content) unsat unsat 0.383s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409421/gensys_brn376.smt2 (content) unsat unsat 0.693s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409418/gensys_brn373.smt2 (content) unsat unsat 0.416s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409413/gensys_brn368.smt2 (content) unsat unsat 0.094s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409412/gensys_brn367.smt2 (content) unsat unsat 0.083s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409410/gensys_brn365.smt2 (content) unsat unsat 0.164s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409405/gensys_brn360.smt2 (content) unsat unsat 0.142s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409395/gensys_brn350.smt2 (content) unsat unsat 0.386s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409393/gensys_brn348.smt2 (content) unsat unsat 0.629s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409387/gensys_brn342.smt2 (content) unsat unsat 0.807s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409384/gensys_brn339.smt2 (content) unsat unsat 0.472s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409383/gensys_brn338.smt2 (content) unsat unsat 0.953s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409377/gensys_brn332.smt2 (content) unsat unsat 0.626s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409371/gensys_brn326.smt2 (content) unsat unsat 0.664s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409370/gensys_brn325.smt2 (content) unsat unsat 0.748s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409368/gensys_brn323.smt2 (content) unsat unsat 0.918s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409366/gensys_brn321.smt2 (content) unsat unsat 0.419s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409363/gensys_brn318.smt2 (content) unsat unsat 0.269s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409356/gensys_brn311.smt2 (content) unsat unsat 0.878s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409336/gensys_brn291.smt2 (content) unsat unsat 0.253s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409333/gensys_brn288.smt2 (content) unsat unsat 0.067s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409329/gensys_brn284.smt2 (content) unsat unsat 0.031s