detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3088.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3087.fof.smt2 (content) warn ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3086.fof.smt2 (content) warn ok 0.085s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3085.fof.smt2 (content) warn ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3084.fof.smt2 (content) warn ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3083.fof.smt2 (content) warn ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3082.fof.smt2 (content) warn ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3081.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3080.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3079.fof.smt2 (content) warn ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3078.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3077.fof.smt2 (content) warn ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3076.fof.smt2 (content) warn ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3075.fof.smt2 (content) warn ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3074.fof.smt2 (content) warn ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3073.fof.smt2 (content) warn ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3072.fof.smt2 (content) warn ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3071.fof.smt2 (content) warn ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3070.fof.smt2 (content) warn ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3069.fof.smt2 (content) warn ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3068.fof.smt2 (content) warn ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3067.fof.smt2 (content) warn ok 0.130s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3066.fof.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3065.fof.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_3064.fof.smt2 (content) warn ok 0.130s