detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2307.fof.smt2 (content) warn ok 0.027s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2306.fof.smt2 (content) warn ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2305.fof.smt2 (content) warn ok 0.027s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2304.fof.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2303.fof.smt2 (content) warn ok 0.025s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2302.fof.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2301.fof.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2300.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2299.fof.smt2 (content) warn ok 0.027s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2298.fof.smt2 (content) warn ok 0.027s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2297.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2296.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2295.fof.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2294.fof.smt2 (content) warn ok 0.028s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2293.fof.smt2 (content) warn ok 0.025s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2292.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2291.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2290.fof.smt2 (content) warn ok 0.026s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2289.fof.smt2 (content) warn ok 0.029s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2288.fof.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2287.fof.smt2 (content) warn ok 0.031s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2286.fof.smt2 (content) warn ok 0.037s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2285.fof.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2284.fof.smt2 (content) warn ok 0.027s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify_array_only/thruster_symm_2283.fof.smt2 (content) warn ok 0.036s