From: Conflict detection in obligation with deadline policies
Tests | Patient | Active obligation | The minimum | CPU time (s) | Strongly globally |
---|---|---|---|---|---|
number | number | research depth | enforceable? | ||
s 1 | 1 | 4 | 6 | 0 | Yes |
s 2 | 2 | 8 | 12 | 0.01 | Yes |
s 3 | 3 | 12 | 18 | 0.03 | Yes |
s 4 | 4 | 16 | 24 | 0.06 | Yes |
s 5 | 5 | 20 | 30 | 0.1 | Yes |
s 6 | 6 | 24 | 36 | 0.2 | Yes |
s 7 | 7 | 28 | 42 | 0.36 | Yes |
s 8 | 8 | 32 | 48 | 0.66 | Yes |
s 9 | 9 | 36 | 54 | 1.1 | Yes |
s 10 | 10 | 40 | 60 | 1.78 | Yes |
s 11 | 11 | 44 | 66 | 2.78 | Yes |
s 12 | 12 | 48 | 72 | 4.16 | Yes |
s 13 | 13 | 52 | 78 | 6.03 | Yes |
s 14 | 14 | 56 | 84 | 6.04 | Yes |
s 15 | 15 | 60 | 90 | 8.60 | Yes |
s 16 | 16 | 64 | 96 | 11.95 | Yes |
s 17 | 17 | 68 | 102 | 16.43 | Yes |
s 18 | 18 | 72 | 108 | 21.75 | Yes |
s 19 | 19 | 76 | 114 | 28.89 | Yes |
s 20 | 20 | 80 | 120 | 37.97 | Yes |