detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0492.fof.smt2 (content) warn ok 0.089s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0491.fof.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0490.fof.smt2 (content) warn ok 0.086s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0489.fof.smt2 (content) warn ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0488.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0487.fof.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0486.fof.smt2 (content) warn ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0485.fof.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0484.fof.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0483.fof.smt2 (content) warn ok 0.085s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0482.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0481.fof.smt2 (content) warn ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0480.fof.smt2 (content) warn ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0479.fof.smt2 (content) warn ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0478.fof.smt2 (content) warn ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0477.fof.smt2 (content) warn ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0476.fof.smt2 (content) warn ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0475.fof.smt2 (content) warn ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0474.fof.smt2 (content) warn ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0473.fof.smt2 (content) warn ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0472.fof.smt2 (content) warn ok 0.186s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0471.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0470.fof.smt2 (content) warn ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0469.fof.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_inuse_0468.fof.smt2 (content) warn ok 0.093s