detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0446.fof.smt2 (content) warn ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0445.fof.smt2 (content) warn ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0444.fof.smt2 (content) warn ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0443.fof.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0442.fof.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0441.fof.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0440.fof.smt2 (content) warn ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0439.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0438.fof.smt2 (content) warn ok 0.047s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0432.fof.smt2 (content) warn ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0429.fof.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0428.fof.smt2 (content) warn ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0423.fof.smt2 (content) warn ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0420.fof.smt2 (content) warn ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0416.fof.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0415.fof.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0414.fof.smt2 (content) warn ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0412.fof.smt2 (content) warn ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0407.fof.smt2 (content) warn ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0406.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0405.fof.smt2 (content) warn ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0404.fof.smt2 (content) warn ok 0.032s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0403.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0402.fof.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_forall/thruster_init_0401.fof.smt2 (content) warn ok 0.033s