detailed results (25195 total)

prover file res expected time
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0164.fof.smt2 (content) warn ok 0.172s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0162.fof.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0161.fof.smt2 (content) warn ok 0.177s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0160.fof.smt2 (content) warn ok 0.124s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0155.fof.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify_array/thruster_symm_0151.fof.smt2 (content) warn ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/thruster_symm_0187.fof.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/thruster_symm_0158.fof.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/thruster_symm_0153.fof.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/return_why.smt2 (content) warn ok 0.175s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/quantified_pointer_why.smt2 (content) warn ok 0.132s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/minusminus_why.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/jeannin_why.smt2 (content) warn ok 0.185s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/fs252_why.smt2 (content) warn ok 0.179s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/false2_why.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/extern_why.smt2 (content) warn ok 0.182s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/consts_why.smt2 (content) warn ok 0.134s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/conflict_why.smt2 (content) warn ok 0.174s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/clash_alloc_why.smt2 (content) warn ok 0.128s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/bug390_why.smt2 (content) warn ok 0.129s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts6453_why.smt2 (content) warn ok 0.133s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts6364_why.smt2 (content) warn ok 0.141s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts5878_why.smt2 (content) warn ok 0.131s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts0199_why.smt2 (content) warn ok 0.149s
dolmen-strict /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts0187_why.smt2 (content) warn ok 0.184s