detailed results (5033 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409923/gensys_brn878.smt2 (content) unsat unsat 0.101s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409921/gensys_brn876.smt2 (content) unsat unsat 0.091s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409920/gensys_brn875.smt2 (content) unsat unsat 0.155s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409914/gensys_brn869.smt2 (content) unsat unsat 1.9s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409913/gensys_brn868.smt2 (content) unsat unsat 0.280s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409908/gensys_brn863.smt2 (content) unsat unsat 0.539s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409896/gensys_brn851.smt2 (content) unsat unsat 1.1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409894/gensys_brn849.smt2 (content) unsat unsat 0.411s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409883/gensys_brn838.smt2 (content) unsat unsat 1.6s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409881/gensys_brn836.smt2 (content) unsat unsat 0.135s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409879/gensys_brn834.smt2 (content) unsat unsat 0.463s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409872/gensys_brn827.smt2 (content) unsat unsat 0.096s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409870/gensys_brn825.smt2 (content) unsat unsat 0.033s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409869/gensys_brn824.smt2 (content) unsat unsat 0.057s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409866/gensys_brn821.smt2 (content) unsat unsat 0.394s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409864/gensys_brn819.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409858/gensys_brn813.smt2 (content) unsat unsat 0.080s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409852/gensys_brn807.smt2 (content) unsat unsat 0.070s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409851/gensys_brn806.smt2 (content) unsat unsat 1s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409850/gensys_brn805.smt2 (content) unsat unsat 0.612s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409840/gensys_brn795.smt2 (content) unsat unsat 0.348s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409839/gensys_brn794.smt2 (content) unsat unsat 0.477s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409822/gensys_brn777.smt2 (content) unsat unsat 0.250s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409820/gensys_brn775.smt2 (content) unsat unsat 0.149s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409818/gensys_brn773.smt2 (content) unsat unsat 0.169s