| Enter program or choose example from left: | Translated and transformed CIVL program: |
| C CIVL-C CUDA Probabilistic |
| Status: |
CIVL verification
statistics:
| 0 | 0 | 0 | 0 | 0 | 0 | 0 | |
| time (s) | mem (MB) | steps | transitions | states seen | states saved | prover calls | counterexample |
CIVL output: