detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0264.fof.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0263.fof.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0262.fof.smt2 (content) warn ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0261.fof.smt2 (content) warn ok 0.100s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0260.fof.smt2 (content) warn ok 0.090s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0259.fof.smt2 (content) warn ok 0.183s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0258.fof.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0257.fof.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0256.fof.smt2 (content) warn ok 0.105s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0255.fof.smt2 (content) warn ok 0.136s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0254.fof.smt2 (content) warn ok 0.102s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0253.fof.smt2 (content) warn ok 0.084s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0252.fof.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0251.fof.smt2 (content) warn ok 0.103s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0250.fof.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0249.fof.smt2 (content) warn ok 0.114s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0248.fof.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0247.fof.smt2 (content) warn ok 0.094s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0246.fof.smt2 (content) warn ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0245.fof.smt2 (content) warn ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0244.fof.smt2 (content) warn ok 0.099s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0243.fof.smt2 (content) warn ok 0.140s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0242.fof.smt2 (content) warn ok 0.096s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0241.fof.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_symm_0240.fof.smt2 (content) warn ok 0.096s