die.properties « src « Assignment2 - NWI-IMC046-Model-Checking - Files related to NWI-IMC046 Model Checking, spring 2018, Radboud University Nijmegen.

summary refs log tree commit diff

path: root/Assignment2/src/die.properties

blob: ce7e5910645f512516bd5bdcd7556257fd29cc2f (plain) (blame)

(LT, 0.166666666, 7)
(LT, 0.166666666, 8)
(LT, 0.166666666, 9)
(LT, 0.166666666, 10)
(LT, 0.166666666, 11)
(LT, 0.166666666, 12)