detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0270.fof.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0269.fof.smt2 (content) warn ok 0.105s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0268.fof.smt2 (content) warn ok 0.190s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0267.fof.smt2 (content) warn ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0266.fof.smt2 (content) warn ok 0.105s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0265.fof.smt2 (content) warn ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0264.fof.smt2 (content) warn ok 0.145s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0263.fof.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0262.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0261.fof.smt2 (content) warn ok 0.105s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0260.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0259.fof.smt2 (content) warn ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0258.fof.smt2 (content) warn ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0257.fof.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0256.fof.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0255.fof.smt2 (content) warn ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0254.fof.smt2 (content) warn ok 0.144s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0253.fof.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0252.fof.smt2 (content) warn ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0251.fof.smt2 (content) warn ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0250.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0249.fof.smt2 (content) warn ok 0.150s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0248.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0247.fof.smt2 (content) warn ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_inuse_0246.fof.smt2 (content) warn ok 0.100s