Extending by one comparator Keeping only admissible networks N = 36 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 1 Extending by one comparator Keeping only admissible networks N = 35 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 3 Extending by one comparator Keeping only admissible networks N = 102 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 7 Extending by one comparator Keeping only admissible networks N = 231 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 20 Extending by one comparator Keeping only admissible networks N = 639 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 59 Extending by one comparator Keeping only admissible networks N = 1824 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 208 Extending by one comparator Keeping only admissible networks N = 6214 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 807 Extending by one comparator Keeping only admissible networks N = 23268 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 3415 Extending by one comparator Keeping only admissible networks N = 94827 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 14343 Extending by one comparator Keeping only admissible networks N = 382523 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 55991 Extending by one comparator Keeping only admissible networks N = 1428794 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 188730 Extending by one comparator Keeping only admissible networks N = 4586075 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 490322 Extending by one comparator Keeping only admissible networks N = 11272878 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 854638 Extending by one comparator Keeping only admissible networks N = 18420674 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 914444 Extending by one comparator Keeping only admissible networks N = 18264160 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 607164 Extending by one comparator Keeping only admissible networks N = 11081077 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 274212 Extending by one comparator Keeping only admissible networks N = 4504484 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 94085 Extending by one comparator Keeping only admissible networks N = 1367643 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 25786 Extending by one comparator Keeping only admissible networks N = 323600 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 5699 Extending by one comparator Keeping only admissible networks N = 59428 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 1107 Extending by one comparator Keeping only admissible networks N = 8893 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 250 Extending by one comparator Keeping only admissible networks N = 1413 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 73 Extending by one comparator Keeping only admissible networks N = 268 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 27 Extending by one comparator Keeping only admissible networks N = 58 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 8 Extending by one comparator Keeping only admissible networks N = 8 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 1 Extending by one comparator Keeping only admissible networks N = 0 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 0 SUCCESS real 247m44.072s user 308m16.728s sys 8m50.748s