detailed results (7682 total)

prover file res expected time
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411949/iso_brn294.smt2 (content) sat sat 0.022s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411948/iso_brn293.smt2 (content) sat sat 0.022s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411946/iso_brn291.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411944/iso_brn289.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411943/iso_brn288.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411941/iso_brn286.smt2 (content) sat sat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411939/iso_brn284.smt2 (content) sat sat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411938/iso_brn283.smt2 (content) sat sat 0.027s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411934/iso_brn279.smt2 (content) sat sat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411933/iso_brn278.smt2 (content) sat sat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411932/iso_brn277.smt2 (content) sat sat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411931/iso_brn276.smt2 (content) sat sat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411930/iso_brn275.smt2 (content) sat sat 0.031s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411929/iso_brn274.smt2 (content) sat sat 0.024s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411928/iso_brn273.smt2 (content) sat sat 0.023s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411927/iso_brn272.smt2 (content) sat sat 0.029s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411926/iso_brn271.smt2 (content) sat sat 0.026s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411925/iso_brn270.smt2 (content) sat sat 0.025s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411923/iso_brn268.smt2 (content) sat sat 0.046s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411922/iso_brn267.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411920/iso_brn265.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411919/iso_brn264.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411918/iso_brn263.smt2 (content) sat sat 0.040s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411917/iso_brn262.smt2 (content) sat sat 0.028s
z3 /home/simon/workspace/smtlib/QF_UF/QG-classification/qg5/411916/iso_brn261.smt2 (content) sat sat 0.029s