Extending by one comparator Keeping only admissible networks N = 28 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 1 Extending by one comparator Keeping only admissible networks N = 27 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 3 Extending by one comparator Keeping only admissible networks N = 78 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 7 Extending by one comparator Keeping only admissible networks N = 175 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 20 Extending by one comparator Keeping only admissible networks N = 479 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 57 Extending by one comparator Keeping only admissible networks N = 1306 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 189 Extending by one comparator Keeping only admissible networks N = 4132 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 648 Extending by one comparator Keeping only admissible networks N = 13478 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 2088 Extending by one comparator Keeping only admissible networks N = 41074 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 5703 Extending by one comparator Keeping only admissible networks N = 105343 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 11669 Extending by one comparator Keeping only admissible networks N = 200303 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 16095 Extending by one comparator Keeping only admissible networks N = 253243 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 13305 Extending by one comparator Keeping only admissible networks N = 188489 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 6675 Extending by one comparator Keeping only admissible networks N = 83371 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 2216 Extending by one comparator Keeping only admissible networks N = 23574 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 503 Extending by one comparator Keeping only admissible networks N = 4326 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 77 Extending by one comparator Keeping only admissible networks N = 482 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 18 Extending by one comparator Keeping only admissible networks N = 55 Marking subsumed networks Checking for cyclic reasoning Pruning marked networks R = 9 Extending by one comparator Keeping only admissible networks N = 15 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 1m43.829s user 1m59.372s sys 0m5.864s