detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408872/gensys_brn105.smt2 (content) unsat unsat 0.184s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408863/gensys_brn1041.smt2 (content) unsat unsat 0.863s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408859/gensys_brn1038.smt2 (content) unsat unsat 0.059s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408855/gensys_brn1034.smt2 (content) unsat unsat 0.293s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408851/gensys_brn1030.smt2 (content) unsat unsat 0.392s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408845/gensys_brn1025.smt2 (content) unsat unsat 0.999s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408844/gensys_brn1024.smt2 (content) unsat unsat 0.105s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408818/gensys_brn1000.smt2 (content) unsat unsat 0.119s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408812/gensys_brn095.smt2 (content) unsat unsat 0.759s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408810/gensys_brn093.smt2 (content) unsat unsat 0.799s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408808/gensys_brn091.smt2 (content) unsat unsat 1.3s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408805/gensys_brn088.smt2 (content) unsat unsat 0.764s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408770/gensys_brn053.smt2 (content) unsat unsat 0.081s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408766/gensys_brn049.smt2 (content) unsat unsat 0.070s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408764/gensys_brn047.smt2 (content) unsat unsat 0.117s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408752/gensys_brn035.smt2 (content) unsat unsat 0.083s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408751/gensys_brn034.smt2 (content) unsat unsat 0.097s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408750/gensys_brn033.smt2 (content) unsat unsat 0.070s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408741/gensys_brn024.smt2 (content) unsat unsat 0.115s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408740/gensys_brn023.smt2 (content) unsat unsat 0.133s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408737/gensys_brn020.smt2 (content) unsat unsat 0.109s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408726/gensys_brn009.smt2 (content) unsat unsat 0.035s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408724/gensys_brn007.smt2 (content) unsat unsat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408717/dead_dnd066.smt2 (content) unsat unsat 0.035s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/408716/dead_dnd065.smt2 (content) unsat unsat 0.032s