/* Generated On        : 2015/02/07 20:24:43.536
 * Generated With      : Mohawk Reverse Converter: ASAPTime NSA
 * Number of Roles     : 15
 * Number of Timeslots : 30
 * Number of Rules     : 552
 * 
 * Roles     : |Size=15| [role1, role2, role3, role4, role5, role6, role7, role8, role9, role10, role11, role12, role13, role14, role15]
 * Timeslots : |Size=30| [t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30]
 * 
 * 
 * TESTCASE COMMENTS:
 * 
 */

Query: t2, [role3]

Expected: REACHABLE

/* 
 * Number of Rules       : 282
 * Largest Precondition  : 2
 * Largest Role Schedule : 1
 * Startable Rules       : 200
 * Truly Startable Rules : 36
 */
CanAssign {
    /* 259 */  <TRUE, t27, NOT ~ role12, t2, role3>
}

/* 
 * Number of Rules       : 134
 * Largest Precondition  : 0
 * Largest Role Schedule : 1
 * Startable Rules       : 134
 * Truly Startable Rules : 25
 */
CanRevoke {
    /*   1 */  <role3, t11, TRUE, t10, role14>
    /*   2 */  <TRUE, t1, TRUE, t27, role14>
    /*   3 */  <role3, t16, TRUE, t15, role14>
    /*   4 */  <role3, t13, TRUE, t30, role14>
    /*   5 */  <TRUE, t29, TRUE, t1, role14>
    /*   6 */  <role3, t2, TRUE, t24, role14>
    /*   7 */  <TRUE, t7, TRUE, t29, role14>
    /*   8 */  <TRUE, t26, TRUE, t25, role14>
    /*   9 */  <role3, t4, TRUE, t2, role14>
    /*  10 */  <TRUE, t14, TRUE, t5, role14>
    /*  11 */  <role3, t8, TRUE, t4, role14>
    /*  12 */  <role3, t15, TRUE, t9, role14>
    /*  13 */  <role3, t12, TRUE, t20, role14>
    /*  14 */  <role3, t9, TRUE, t28, role14>
    /*  15 */  <role3, t27, TRUE, t8, role14>
    /*  16 */  <role3, t21, TRUE, t11, role14>
    /*  17 */  <role3, t6, TRUE, t12, role14>
    /*  18 */  <TRUE, t10, TRUE, t19, role14>
    /*  19 */  <role3, t17, TRUE, t3, role14>
    /*  20 */  <role3, t3, TRUE, t6, role14>
    /*  21 */  <TRUE, t6, TRUE, t14, role13>
    /*  22 */  <role3, t24, TRUE, t3, role13>
    /*  23 */  <role3, t22, TRUE, t28, role13>
    /*  24 */  <role3, t19, TRUE, t10, role13>
    /*  25 */  <role3, t14, TRUE, t6, role13>
    /*  26 */  <role3, t7, TRUE, t16, role13>
    /*  27 */  <role3, t30, TRUE, t15, role13>
    /*  28 */  <role3, t1, TRUE, t24, role13>
    /*  29 */  <role3, t27, TRUE, t18, role13>
    /*  30 */  <role3, t18, TRUE, t9, role13>
    /*  31 */  <role6, t2, TRUE, t29, role7>
    /*  32 */  <role6, t16, TRUE, t10, role7>
    /*  33 */  <role6, t7, TRUE, t28, role7>
    /*  34 */  <role6, t23, TRUE, t28, role7>
    /*  35 */  <role6, t16, TRUE, t5, role7>
    /*  36 */  <role6, t27, TRUE, t3, role7>
    /*  37 */  <role6, t13, TRUE, t6, role7>
    /*  38 */  <role6, t10, TRUE, t7, role7>
    /*  39 */  <role6, t9, TRUE, t27, role7>
    /*  40 */  <role6, t14, TRUE, t8, role7>
    /*  41 */  <TRUE, t17, TRUE, t11, role7>
    /*  42 */  <role5, t3, TRUE, t14, role4>
    /*  43 */  <role5, t19, TRUE, t9, role4>
    /*  44 */  <TRUE, t12, TRUE, t15, role4>
    /*  45 */  <role5, t30, TRUE, t12, role4>
    /*  46 */  <role5, t8, TRUE, t16, role4>
    /*  47 */  <TRUE, t15, TRUE, t17, role4>
    /*  48 */  <role5, t10, TRUE, t25, role4>
    /*  49 */  <role5, t24, TRUE, t10, role4>
    /*  50 */  <role5, t9, TRUE, t6, role4>
    /*  51 */  <role5, t1, TRUE, t18, role4>
    /*  52 */  <role5, t28, TRUE, t26, role4>
    /*  53 */  <role5, t11, TRUE, t27, role4>
    /*  54 */  <role5, t12, TRUE, t14, role6>
    /*  55 */  <role5, t24, TRUE, t24, role6>
    /*  56 */  <role5, t20, TRUE, t8, role12>
    /*  57 */  <TRUE, t6, TRUE, t4, role12>
    /*  58 */  <role5, t14, TRUE, t27, role12>
    /*  59 */  <role5, t15, TRUE, t10, role12>
    /*  60 */  <role5, t8, TRUE, t16, role12>
    /*  61 */  <role5, t27, TRUE, t12, role12>
    /*  62 */  <role5, t3, TRUE, t14, role5>
    /*  63 */  <role5, t19, TRUE, t9, role5>
    /*  64 */  <TRUE, t12, TRUE, t15, role5>
    /*  65 */  <role5, t30, TRUE, t12, role5>
    /*  66 */  <role5, t8, TRUE, t16, role5>
    /*  67 */  <TRUE, t15, TRUE, t17, role5>
    /*  68 */  <role5, t10, TRUE, t25, role5>
    /*  69 */  <role5, t24, TRUE, t10, role5>
    /*  70 */  <role5, t9, TRUE, t6, role5>
    /*  71 */  <role5, t1, TRUE, t18, role5>
    /*  72 */  <role5, t28, TRUE, t26, role5>
    /*  73 */  <role5, t11, TRUE, t27, role5>
    /*  74 */  <role9, t2, TRUE, t4, role3>
    /*  75 */  <role9, t10, TRUE, t20, role1>
    /*  76 */  <TRUE, t25, TRUE, t22, role1>
    /*  77 */  <role3, t4, TRUE, t4, role10>
    /*  78 */  <role3, t29, TRUE, t3, role10>
    /*  79 */  <TRUE, t28, TRUE, t20, role10>
    /*  80 */  <role3, t12, TRUE, t16, role10>
    /*  81 */  <role3, t1, TRUE, t9, role10>
    /*  82 */  <role3, t19, TRUE, t5, role10>
    /*  83 */  <role3, t30, TRUE, t13, role10>
    /*  84 */  <role3, t2, TRUE, t23, role10>
    /*  85 */  <role5, t12, TRUE, t14, role7>
    /*  86 */  <role5, t24, TRUE, t24, role7>
    /*  87 */  <role5, t20, TRUE, t8, role2>
    /*  88 */  <TRUE, t6, TRUE, t4, role2>
    /*  89 */  <role5, t14, TRUE, t27, role2>
    /*  90 */  <role5, t15, TRUE, t10, role2>
    /*  91 */  <role5, t8, TRUE, t16, role2>
    /*  92 */  <role5, t27, TRUE, t12, role2>
    /*  93 */  <role5, t2, TRUE, t19, role9>
    /*  94 */  <role5, t13, TRUE, t2, role9>
    /*  95 */  <role5, t7, TRUE, t10, role9>
    /*  96 */  <TRUE, t26, TRUE, t8, role9>
    /*  97 */  <role5, t23, TRUE, t12, role9>
    /*  98 */  <role5, t5, TRUE, t3, role9>
    /*  99 */  <role5, t10, TRUE, t15, role9>
    /* 100 */  <role5, t2, TRUE, t19, role8>
    /* 101 */  <role5, t13, TRUE, t2, role8>
    /* 102 */  <role5, t7, TRUE, t10, role8>
    /* 103 */  <TRUE, t26, TRUE, t8, role8>
    /* 104 */  <role5, t23, TRUE, t12, role8>
    /* 105 */  <role5, t5, TRUE, t3, role8>
    /* 106 */  <role5, t10, TRUE, t15, role8>
    /* 107 */  <TRUE, t12, TRUE, t13, role3>
    /* 108 */  <role5, t19, TRUE, t11, role3>
    /* 109 */  <role5, t9, TRUE, t16, role3>
    /* 110 */  <role5, t18, TRUE, t23, role3>
    /* 111 */  <role9, t23, TRUE, t29, role2>
    /* 112 */  <role9, t2, TRUE, t4, role2>
    /* 113 */  <role9, t10, TRUE, t20, role11>
    /* 114 */  <TRUE, t25, TRUE, t22, role11>
    /* 115 */  <role3, t4, TRUE, t4, role9>
    /* 116 */  <role3, t29, TRUE, t3, role9>
    /* 117 */  <TRUE, t28, TRUE, t20, role9>
    /* 118 */  <role3, t12, TRUE, t16, role9>
    /* 119 */  <role3, t1, TRUE, t9, role9>
    /* 120 */  <role3, t19, TRUE, t5, role9>
    /* 121 */  <role3, t30, TRUE, t13, role9>
    /* 122 */  <role3, t2, TRUE, t23, role9>
    /* 123 */  <role3, t5, TRUE, t6, role9>
    /* 124 */  <TRUE, t8, TRUE, t12, role9>
    /* 125 */  <role3, t3, TRUE, t29, role9>
    /* 126 */  <role3, t14, TRUE, t7, role9>
    /* 127 */  <role3, t18, TRUE, t24, role9>
    /* 128 */  <role3, t6, TRUE, t11, role9>
    /* 129 */  <role3, t16, TRUE, t8, role9>
    /* 130 */  <TRUE, t7, TRUE, t18, role9>
    /* 131 */  <role3, t20, TRUE, t14, role9>
    /* 132 */  <TRUE, t21, TRUE, t1, role9>
    /* 133 */  <role3, t22, TRUE, t15, role9>
    /* 134 */  <TRUE, t28, TRUE, t29, role10>
}

/* 
 * Number of Rules       : 91
 * Largest Precondition  : 2
 * Largest Role Schedule : 1
 * Startable Rules       : 76
 * Truly Startable Rules : 16
 */
CanEnable {
}

/* 
 * Number of Rules       : 45
 * Largest Precondition  : 2
 * Largest Role Schedule : 1
 * Startable Rules       : 31
 * Truly Startable Rules : 1
 */
CanDisable {
}