detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0678.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0677.fof.smt2 (content) warn ok 0.205s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0676.fof.smt2 (content) warn ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0675.fof.smt2 (content) warn ok 0.186s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0674.fof.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0673.fof.smt2 (content) warn ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0672.fof.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0670.fof.smt2 (content) warn ok 0.190s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0667.fof.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0664.fof.smt2 (content) warn ok 0.104s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0663.fof.smt2 (content) warn ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0658.fof.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0656.fof.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0655.fof.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0651.fof.smt2 (content) warn ok 0.165s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0650.fof.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0649.fof.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0646.fof.smt2 (content) warn ok 0.097s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0645.fof.smt2 (content) warn ok 0.101s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0642.fof.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0641.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0640.fof.smt2 (content) warn ok 0.110s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0639.fof.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0638.fof.smt2 (content) warn ok 0.095s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0637.fof.smt2 (content) warn ok 0.097s