< prev | next >

rockit process (v0.5.227)

ID: 98a39fa6-4f00-406e-987e-6e70175735d8 (complete)

State: complete / restart

date / time / ip

added:2023-03-01 13:01:48 start:2023-03-01 13:01:48 end:2023-03-01 13:01:49 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