detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0260.fof.smt2 (content) warn ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0259.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0258.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0257.fof.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0256.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0255.fof.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0254.fof.smt2 (content) warn ok 0.028s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0253.fof.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0252.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0251.fof.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0250.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0249.fof.smt2 (content) warn ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0243.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0240.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0239.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0234.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0231.fof.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0227.fof.smt2 (content) warn ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0226.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0225.fof.smt2 (content) warn ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0218.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0217.fof.smt2 (content) warn ok 0.052s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0216.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0215.fof.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0214.fof.smt2 (content) warn ok 0.040s