detailed results (98028 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_init_0011.fof.smt2 (content) warn ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_init_0010.fof.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_init_0009.fof.smt2 (content) warn ok 0.045s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_init_0008.fof.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_init_0007.fof.smt2 (content) warn ok 0.051s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_init_0006.fof.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_init_0005.fof.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_init_0004.fof.smt2 (content) warn ok 0.055s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_init_0003.fof.smt2 (content) warn ok 0.067s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_init_0002.fof.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_init_0001.fof.smt2 (content) warn ok 0.054s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_array_0004.fof.smt2 (content) warn ok 0.050s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_array_0003.fof.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_array_0002.fof.smt2 (content) warn ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/nasa/fol_simplify/thruster_array_0001.fof.smt2 (content) warn ok 0.043s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount9.smt2 (content) warn ok 0.181s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount8.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount7.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount6.smt2 (content) warn ok 0.143s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount5.smt2 (content) warn ok 0.183s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount46.smt2 (content) warn ok 0.141s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount45.smt2 (content) warn ok 0.179s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount44.smt2 (content) warn ok 0.138s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount43.smt2 (content) warn ok 0.137s
dolmen /home/guillaume/bench/smtlib/AUFDTLIA/20172804-Barrett/fmf-cav2013/refcount/refcount41.smt2 (content) warn ok 0.136s