CFG size: 23 nodes, 23 hyperedges
Time elapsed 0.021012s
### Debug: inferred invariants ###
((12 = contents i \/ contents i <= 10) /\ 0 <= contents i) /\
contents i <= 12
###
CFG size: 23 nodes, 23 hyperedges
Time elapsed 0.099081s
### Debug: inferred invariants ###
((12 <= contents i1 \/ contents i1 <= 10) /\ contents i1 <= 12) /\
0 <= contents i1
###
File bench/infer/neg1.mlw:
Goal b'vc.
Prover result is: Unknown () (0.04s).

File bench/infer/neg1.mlw:
Goal b2'vc.
Prover result is: Unknown () (0.00s).

