detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0107.fof.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0106.fof.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0105.fof.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0104.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0103.fof.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0102.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0101.fof.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0100.fof.smt2 (content) warn ok 0.026s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0099.fof.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0098.fof.smt2 (content) warn ok 0.026s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0097.fof.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0096.fof.smt2 (content) warn ok 0.049s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0095.fof.smt2 (content) warn ok 0.028s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0094.fof.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0093.fof.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0092.fof.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0091.fof.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0090.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0089.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0074.fof.smt2 (content) warn ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0073.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0072.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0071.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0070.fof.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_structure_prop/thruster_array_0069.fof.smt2 (content) warn ok 0.038s