rockit process (v0.5.227)
ID: f1a5454e-0848-4b63-9c5c-978af1b5a8f4 (complete)
date / time / ip
| added: | 2020-11-16 09:23:10 | start: | 2020-11-16 09:23:10 | end: | 2020-11-16 09:23:11 | user IP: | 193.48.143.176 |
input information
| gap: | default | inference: | approximative marginal | input: | prog.mln | data: | evidence.db |
result
| file: | output.db | duration: | 00:01 min |