detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0155.fof.smt2 (content) warn ok 0.189s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0154.fof.smt2 (content) warn ok 0.091s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0151.fof.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0150.fof.smt2 (content) warn ok 0.113s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0148.fof.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0147.fof.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0146.fof.smt2 (content) warn ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0145.fof.smt2 (content) warn ok 0.139s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0144.fof.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0143.fof.smt2 (content) warn ok 0.137s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0142.fof.smt2 (content) warn ok 0.142s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0141.fof.smt2 (content) warn ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0140.fof.smt2 (content) warn ok 0.148s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0139.fof.smt2 (content) warn ok 0.098s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0138.fof.smt2 (content) warn ok 0.092s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0137.fof.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0136.fof.smt2 (content) warn ok 0.135s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0135.fof.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0134.fof.smt2 (content) warn ok 0.138s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0133.fof.smt2 (content) warn ok 0.143s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0132.fof.smt2 (content) warn ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0131.fof.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0130.fof.smt2 (content) warn ok 0.188s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0129.fof.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0128.fof.smt2 (content) warn ok 0.102s