< prev | next >

rockit process (v0.5.227)

ID: d128951c-92bc-4a39-ad04-fb2c23710714 (complete)

State: complete / restart

date / time / ip

added:2023-03-01 17:03:28 start:2023-03-01 17:03:28 end:2023-03-01 17:03:29 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:01 min

log