detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0499.fof.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0498.fof.smt2 (content) warn ok 0.108s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0497.fof.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0496.fof.smt2 (content) warn ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0495.fof.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0494.fof.smt2 (content) warn ok 0.106s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0493.fof.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0489.fof.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0488.fof.smt2 (content) warn ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0487.fof.smt2 (content) warn ok 0.147s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0486.fof.smt2 (content) warn ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0485.fof.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0484.fof.smt2 (content) warn ok 0.093s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0483.fof.smt2 (content) warn ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0482.fof.smt2 (content) warn ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0476.fof.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0473.fof.smt2 (content) warn ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0472.fof.smt2 (content) warn ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0468.fof.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0467.fof.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0464.fof.smt2 (content) warn ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0460.fof.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0459.fof.smt2 (content) warn ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0458.fof.smt2 (content) warn ok 0.191s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0456.fof.smt2 (content) warn ok 0.146s