rockit process (v0.3.228)
ID: f5d8cde6-8f8d-4ee9-a2bd-6e14519460ae (complete)
date / time / ip
| added: | 2013-10-30 13:23:01 | start: | 2013-10-30 12:23:01 | end: | 2013-10-30 12:23:06 | user IP: | 188.174.50.166 |
input information
| gap: | default | inference: | approximative marginal | input: | prog.mln | data: | data2491402152333045536.tmp |
result
| file: | output.db | duration: | 00:05 min |