rockit process (v0.5.227)
ID: 170a3d22-bcd1-4d46-8a04-62b12572e37c (complete)
date / time / ip
| added: | 2023-03-01 12:50:37 | start: | 2023-03-01 12:50:38 | end: | 2023-03-01 12:50:40 | user IP: | 134.155.132.218 |
input information
| gap: | default | inference: | exact marginal | input: | prog.mln | data: | evidence.db |
result
| file: | output.db | duration: | 00:02 min |