< prev | next >

rockit process (v0.5.227)

ID: 619dded7-2105-4f44-9369-3f26286bb1a2 (complete)

State: complete / restart

date / time / ip

added:2023-03-01 12:43:58 start:2023-03-01 12:43:58 end:2023-03-01 12:43:59 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