detailed results (33316 total)

prover file res expected time
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/thruster_symm_0187.fof.smt2 (content) warn ok 0.026s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/thruster_symm_0158.fof.smt2 (content) warn ok 0.038s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/nasa/fol_simplify/thruster_symm_0153.fof.smt2 (content) warn ok 0.030s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/return_why.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/quantified_pointer_why.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/minusminus_why.smt2 (content) warn ok 0.046s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/jeannin_why.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/fs252_why.smt2 (content) warn ok 0.044s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/false2_why.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/extern_why.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/consts_why.smt2 (content) warn ok 0.042s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/conflict_why.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/clash_alloc_why.smt2 (content) warn ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/bug390_why.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts6453_why.smt2 (content) warn ok 0.034s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts6364_why.smt2 (content) warn ok 0.041s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts5878_why.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts0199_why.smt2 (content) warn ok 0.033s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts0187_why.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts0073_why.smt2 (content) warn ok 0.040s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts0071_why.smt2 (content) warn ok 0.039s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/bts0063_why.smt2 (content) warn ok 0.035s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/axiomatic_why.smt2 (content) warn ok 0.036s
dolmen /home/guillaume/bench/smtlib/AUFNIRA/aviation/array_double_why.smt2 (content) warn ok 0.058s
dolmen /home/guillaume/bench/smtlib/AUFLIRA/why/smtlibffdfd3.smt2 (content) warn ok 0.039s