detailed results (7682 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409241/gensys_brn196.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409240/gensys_brn195.smt2 (content) sat sat 0.047s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409239/gensys_brn194.smt2 (content) sat sat 0.036s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409238/gensys_brn193.smt2 (content) sat sat 0.035s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409237/gensys_brn192.smt2 (content) sat sat 0.035s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409236/gensys_brn191.smt2 (content) sat sat 0.042s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409235/gensys_brn190.smt2 (content) sat sat 0.036s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409234/gensys_brn189.smt2 (content) sat sat 0.062s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409233/gensys_brn188.smt2 (content) sat sat 0.042s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409232/gensys_brn187.smt2 (content) sat sat 0.040s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409231/gensys_brn186.smt2 (content) sat sat 0.048s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409230/gensys_brn185.smt2 (content) sat sat 0.036s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409229/gensys_brn184.smt2 (content) sat sat 0.038s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409228/gensys_brn183.smt2 (content) sat sat 0.037s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409227/gensys_brn182.smt2 (content) sat sat 0.034s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409226/gensys_brn181.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409224/gensys_brn179.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409223/gensys_brn178.smt2 (content) sat sat 0.032s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409222/gensys_brn177.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409221/gensys_brn176.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409220/gensys_brn175.smt2 (content) sat sat 0.033s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409219/gensys_brn174.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409218/gensys_brn173.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409217/gensys_brn172.smt2 (content) sat sat 0.065s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/409216/gensys_brn171.smt2 (content) sat sat 0.034s