detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0419.fof.smt2 (content) warn ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0418.fof.smt2 (content) warn ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0417.fof.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0416.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0415.fof.smt2 (content) warn ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0414.fof.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0413.fof.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0412.fof.smt2 (content) warn ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0411.fof.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0410.fof.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0409.fof.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0408.fof.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0407.fof.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0406.fof.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0405.fof.smt2 (content) warn ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0404.fof.smt2 (content) warn ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0403.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0402.fof.smt2 (content) warn ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0401.fof.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0400.fof.smt2 (content) warn ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0399.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0398.fof.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0397.fof.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0396.fof.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_array_0395.fof.smt2 (content) warn ok 0.097s