/test.data/actions/test47.test
Unknown | 4 lines | 3 code | 1 blank | 0 comment | 0 complexity | 8588a6377cf9237ad1178b23405d7b5a MD5 | raw file
Possible License(s): LGPL-3.0, Apache-2.0
1'test_BRK_00' A(y!3,z!1,x~w!2),A(y!4,x~w!5,z!1),B(x!3),B(x!2),B(x!4,y!6),B(x!5),C(z~a!6) -> A(y!3,z,x~w!2),A(y!4,x~w!5,z),B(x!3),B(x!2),B(x!4,y!6),B(x!5),C(z~a!6) 2%init: 2 * (A(y!3,z!1,x~w!2),A(y!4,x~w!5,z!1),B(x!3),B(x!2),B(x!4,y!6),B(x!5),C(z~a!6)) 3%obs: '2030' A(y!3,z!1,x~w!2),A(y!4,x~w!5,z!1),B(x!3),B(x!2),B(x!4,y!6),B(x!5),C(z~a!6) 4