WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --mutp is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.33333
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "subset"
--crossp 0.5
--delp 0.33333
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 2
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code true
--ignore-equiv-appends true
--ignore-standard-headers true
--ignore-string-equiv-fixes true
--ignore-untyped-returns true
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov false
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 1
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 63
--pos-weight 0.1
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0
--samp-strat "variant"
--sample 1
--sample-runs 100
--sanity "yes"
--search "ww"
--seed 1
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests true
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant true
--super-mutant-size 50
--swap-bug false
--swapp 0.33333
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux domU-12-31-39-0C-D4-C8 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Wed May  8 11:01:51 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU           E5410  @ 2.33GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp7a812d.c /tmp/tmp95379a.c
cilRep: done preprocessing IO function signatures
Exception in loading: Sys_error("default.cache: No such file or directory")
cilrep: from_source: pre: stmt_count = 1
cilRep: preprocessed/libtiff/tif_dirwrite.c: parsing
cilRep: preprocessed/libtiff/tif_dirwrite.c: parsed (0.244262 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 2636 "tif_dirwrite.c"
i___0 = 0L;
Liveness failed on function:
 int _TIFFRewriteField(TIFF *tif , uint16 tag , TIFFDataType in_datatype ,
                       tmsize_t count , void *data ) 
{ TIFFField const   *fip ;
  uint16 dircount ;
  tmsize_t dirsize ;
  uint8 direntry_raw[20] ;
  uint16 entry_tag ;
  uint16 entry_type ;
  uint64 entry_count ;
  uint64 entry_offset ;
  int value_in_entry ;
  uint64 read_offset ;
  uint8 *buf_to_write ;
  TIFFDataType datatype ;
  toff_t tmp ;
  tmsize_t tmp___0 ;
  uint64 dircount64 ;
  tmsize_t tmp___1 ;
  tmsize_t tmp___2 ;
  uint32 value ;
  int tmp___3 ;
  int tmp___4 ;
  void *tmp___5 ;
  int tmp___6 ;
  tmsize_t i ;
  tmsize_t i___0 ;
  int tmp___7 ;
  int tmp___8 ;
  int tmp___9 ;
  int tmp___10 ;
  int tmp___11 ;
  int tmp___12 ;
  toff_t tmp___13 ;
  int tmp___14 ;
  tmsize_t tmp___15 ;
  int tmp___16 ;
  int tmp___17 ;
  tmsize_t tmp___18 ;
  int tmp___19 ;
  int tmp___20 ;
  uint32 value___0 ;
  toff_t tmp___21 ;
  tmsize_t tmp___22 ;

  {
   1939: /* CIL Label */ 
#line 2449
  fip = (TIFFField const   *)((void *)0);
   1940: /* CIL Label */ 
#line 2453
  entry_tag = (uint16 )0;
   1941: /* CIL Label */ 
#line 2454
  entry_type = (uint16 )0;
   1942: /* CIL Label */ 
#line 2455
  entry_count = (uint64 )0;
   1943: /* CIL Label */ 
#line 2456
  entry_offset = (uint64 )0;
   1944: /* CIL Label */ 
#line 2457
  value_in_entry = 0;
   1945: /* CIL Label */ 
#line 2459
  buf_to_write = (uint8 *)((void *)0);
   1946: /* CIL Label */ 
#line 2465
  fip = TIFFFindField(tif, (unsigned int )tag,
                      (enum __anonenum_TIFFDataType_21 )0);
   1947: /* CIL Label */ 
#line 2470
  if ((tif->tif_flags & 2048U) != 0U) {
#line 2472
    TIFFErrorExt(tif->tif_clientdata, module___18,
                 "Memory mapped files not currently supported for this operation.");
#line 2474
    return (0);
  } else {

  }
   1948: /* CIL Label */ 
#line 2477
  if (tif->tif_diroff == 0ULL) {
#line 2479
    TIFFErrorExt(tif->tif_clientdata, module___18,
                 "Attempt to reset field on directory not already on disk.");
#line 2481
    return (0);
  } else {

  }
   1949: /* CIL Label */ 
#line 2487
  tmp = (*(tif->tif_seekproc))(tif->tif_clientdata, tif->tif_diroff, 0);
   1950: /* CIL Label */ 
#line 2487
  if (tmp == tif->tif_diroff) {

  } else {
#line 2488
    TIFFErrorExt(tif->tif_clientdata, module___18,
                 "%s: Seek error accessing TIFF directory", tif->tif_name);
#line 2491
    return (0);
  }
   1951: /* CIL Label */ 
#line 2494
  read_offset = tif->tif_diroff;
   1952: /* CIL Label */ 
#line 2496
  if (! (tif->tif_flags & 524288U)) {
#line 2498
    tmp___0 = (*(tif->tif_readproc))(tif->tif_clientdata, (void *)(& dircount),
                                     (long )sizeof(uint16 ));
#line 2498
    if ((unsigned long )tmp___0 == (unsigned long )sizeof(uint16 )) {

    } else {
#line 2499
      TIFFErrorExt(tif->tif_clientdata, module___18,
                   "%s: Can not read TIFF directory count", tif->tif_name);
#line 2502
      return (0);
    }
#line 2504
    if (tif->tif_flags & 128U) {
#line 2505
      TIFFSwabShort(& dircount);
    } else {

    }
#line 2506
    dirsize = 12L;
#line 2507
    read_offset += 2ULL;
  } else {
#line 2510
    tmp___1 = (*(tif->tif_readproc))(tif->tif_clientdata,
                                     (void *)(& dircount64),
                                     (long )sizeof(uint64 ));
#line 2510
    if ((unsigned long )tmp___1 == (unsigned long )sizeof(uint64 )) {

    } else {
#line 2511
      TIFFErrorExt(tif->tif_clientdata, module___18,
                   "%s: Can not read TIFF directory count", tif->tif_name);
#line 2514
      return (0);
    }
#line 2516
    if (tif->tif_flags & 128U) {
#line 2517
      TIFFSwabLong8(& dircount64);
    } else {

    }
#line 2518
    dircount = (unsigned short )dircount64;
#line 2519
    dirsize = 20L;
#line 2520
    read_offset += 8ULL;
  }
   1953: /* CIL Label */ 
#line 2526
  while ((int )dircount > 0) {
#line 2528
    tmp___2 = (*(tif->tif_readproc))(tif->tif_clientdata,
                                     (void *)(direntry_raw), dirsize);
#line 2528
    if (tmp___2 == dirsize) {

    } else {
#line 2529
      TIFFErrorExt(tif->tif_clientdata, module___18,
                   "%s: Can not read TIFF directory entry.", tif->tif_name);
#line 2532
      return (0);
    }
#line 2535
    memcpy((void */* __restrict  */)(& entry_tag),
           (void const   */* __restrict  */)(direntry_raw + 0), sizeof(uint16 ));
#line 2536
    if (tif->tif_flags & 128U) {
#line 2537
      TIFFSwabShort(& entry_tag);
    } else {

    }
#line 2539
    if ((int )entry_tag == (int )tag) {
#line 2540
      break;
    } else {

    }
#line 2542
    read_offset += (uint64 )dirsize;
  }
   1954: /* CIL Label */ 
#line 2545
  if ((int )entry_tag != (int )tag) {
#line 2547
    TIFFErrorExt(tif->tif_clientdata, module___18, "%s: Could not find tag %d.",
                 tif->tif_name, tag);
#line 2550
    return (0);
  } else {

  }
   1955: /* CIL Label */ 
#line 2556
  memcpy((void */* __restrict  */)(& entry_type),
         (void const   */* __restrict  */)(direntry_raw + 2), sizeof(uint16 ));
   1956: /* CIL Label */ 
#line 2557
  if (tif->tif_flags & 128U) {
#line 2558
    TIFFSwabShort(& entry_type);
  } else {

  }
   1957: /* CIL Label */ 
#line 2560
  if (! (tif->tif_flags & 524288U)) {
#line 2564
    memcpy((void */* __restrict  */)(& value),
           (void const   */* __restrict  */)(direntry_raw + 4), sizeof(uint32 ));
#line 2565
    if (tif->tif_flags & 128U) {
#line 2566
      TIFFSwabLong(& value);
    } else {

    }
#line 2567
    entry_count = (unsigned long long )value;
#line 2569
    memcpy((void */* __restrict  */)(& value),
           (void const   */* __restrict  */)(direntry_raw + 8), sizeof(uint32 ));
#line 2570
    if (tif->tif_flags & 128U) {
#line 2571
      TIFFSwabLong(& value);
    } else {

    }
#line 2572
    entry_offset = (unsigned long long )value;
  } else {
#line 2576
    memcpy((void */* __restrict  */)(& entry_count),
           (void const   */* __restrict  */)(direntry_raw + 4), sizeof(uint64 ));
#line 2577
    if (tif->tif_flags & 128U) {
#line 2578
      TIFFSwabLong8(& entry_count);
    } else {

    }
#line 2580
    memcpy((void */* __restrict  */)(& entry_offset),
           (void const   */* __restrict  */)(direntry_raw + 12), sizeof(uint64 ));
#line 2581
    if (tif->tif_flags & 128U) {
#line 2582
      TIFFSwabLong8(& entry_offset);
    } else {

    }
  }
   1958: /* CIL Label */ 
#line 2588
  tmp___3 = TIFFDataWidth(in_datatype);
   1959: /* CIL Label */ 
#line 2588
  if (tmp___3 == 8) {
#line 2588
    if (! (tif->tif_flags & 524288U)) {
#line 2590
      if ((unsigned int )in_datatype == 16U) {
#line 2591
        datatype = (enum __anonenum_TIFFDataType_21 )4;
      } else {
#line 2592
        if ((unsigned int )in_datatype == 17U) {
#line 2593
          datatype = (enum __anonenum_TIFFDataType_21 )9;
        } else {
#line 2594
          if ((unsigned int )in_datatype == 18U) {
#line 2595
            datatype = (enum __anonenum_TIFFDataType_21 )13;
          } else {
#line 2597
            datatype = in_datatype;
          }
        }
      }
    } else {
#line 2600
      datatype = in_datatype;
    }
  } else {
#line 2600
    datatype = in_datatype;
  }
   1960: /* CIL Label */ 
#line 2606
  tmp___4 = TIFFDataWidth(datatype);
   1961: /* CIL Label */ 
#line 2606
  tmp___5 = _TIFFCheckMalloc(tif, count, (long )tmp___4, "for field buffer.");
   1962: /* CIL Label */ 
#line 2606
  buf_to_write = (uint8 *)tmp___5;
   1963: /* CIL Label */ 
#line 2609
  if (! buf_to_write) {
#line 2610
    return (0);
  } else {

  }
   1964: /* CIL Label */ 
#line 2612
  if ((unsigned int )datatype == (unsigned int )in_datatype) {
#line 2613
    tmp___6 = TIFFDataWidth(datatype);
#line 2613
    memcpy((void */* __restrict  */)buf_to_write,
           (void const   */* __restrict  */)data,
           (unsigned int )(count * (tmsize_t )tmp___6));
  } else {
#line 2614
    if ((unsigned int )datatype == 9U) {
#line 2614
      if ((unsigned int )in_datatype == 17U) {
#line 2618
        i = 0L;
#line 2618
        while (i < count) {
#line 2620
          *((int32 *)buf_to_write + i) = (int )*((int64 *)data + i);
#line 2622
          if ((long long )*((int32 *)buf_to_write + i) != *((int64 *)data + i)) {
#line 2624
            _TIFFfree((void *)buf_to_write);
#line 2625
            TIFFErrorExt(tif->tif_clientdata, module___18,
                         "Value exceeds 32bit range of output type.");
#line 2627
            return (0);
          } else {

          }
#line 2618
          i ++;
        }
      } else {
        goto _L___1;
      }
    } else {
      _L___1: /* CIL Label */ 
#line 2631
      if ((unsigned int )datatype == 4U) {
#line 2631
        if ((unsigned int )in_datatype == 16U) {
          goto _L;
        } else {
          goto _L___0;
        }
      } else {
        _L___0: /* CIL Label */ 
#line 2631
        if ((unsigned int )datatype == 13U) {
#line 2631
          if ((unsigned int )in_datatype == 18U) {
            _L: /* CIL Label */ 
#line 2636
            i___0 = 0L;
#line 2636
            while (i___0 < count) {
#line 2638
              *((uint32 *)buf_to_write + i___0) = (unsigned int )*((uint64 *)data + i___0);
#line 2640
              if ((unsigned long long )*((uint32 *)buf_to_write + i___0) != *((uint64 *)data + i___0)) {
#line 2642
                _TIFFfree((void *)buf_to_write);
#line 2643
                TIFFErrorExt(tif->tif_clientdata, module___18,
                             "Value exceeds 32bit range of output type.");
#line 2645
                return (0);
              } else {

              }
#line 2636
              i___0 ++;
            }
          } else {

          }
        } else {

        }
      }
    }
  }
   1965: /* CIL Label */ 
#line 2650
  tmp___10 = TIFFDataWidth(datatype);
   1966: /* CIL Label */ 
#line 2650
  if (tmp___10 > 1) {
#line 2650
    if (tif->tif_flags & 128U) {
#line 2652
      tmp___9 = TIFFDataWidth(datatype);
#line 2652
      if (tmp___9 == 2) {
#line 2653
        TIFFSwabArrayOfShort((uint16 *)buf_to_write, count);
      } else {
#line 2654
        tmp___8 = TIFFDataWidth(datatype);
#line 2654
        if (tmp___8 == 4) {
#line 2655
          TIFFSwabArrayOfLong((uint32 *)buf_to_write, count);
        } else {
#line 2656
          tmp___7 = TIFFDataWidth(datatype);
#line 2656
          if (tmp___7 == 8) {
#line 2657
            TIFFSwabArrayOfLong8((uint64 *)buf_to_write, count);
          } else {

          }
        }
      }
    } else {

    }
  } else {

  }
   1967: /* CIL Label */ 
#line 2663
  if (! (tif->tif_flags & 524288U)) {
#line 2665
    tmp___11 = TIFFDataWidth(datatype);
#line 2665
    if ((tmsize_t )tmp___11 * count <= 4L) {
#line 2667
      entry_offset = read_offset + 8ULL;
#line 2668
      value_in_entry = 1;
    } else {

    }
  } else {
#line 2673
    tmp___12 = TIFFDataWidth(datatype);
#line 2673
    if ((tmsize_t )tmp___12 * count <= 8L) {
#line 2675
      entry_offset = read_offset + 12ULL;
#line 2676
      value_in_entry = 1;
    } else {

    }
  }
   1968: /* CIL Label */ 
#line 2685
  if (entry_count == (unsigned long long )count) {
#line 2685
    if ((int )entry_type == (int )((unsigned short )datatype)) {
#line 2687
      tmp___13 = (*(tif->tif_seekproc))(tif->tif_clientdata, entry_offset, 0);
#line 2687
      if (tmp___13 == entry_offset) {

      } else {
#line 2688
        _TIFFfree((void *)buf_to_write);
#line 2689
        TIFFErrorExt(tif->tif_clientdata, module___18,
                     "%s: Seek error accessing TIFF directory", tif->tif_name);
#line 2692
        return (0);
      }
#line 2694
      tmp___14 = TIFFDataWidth(datatype);
#line 2694
      tmp___15 = (*(tif->tif_writeproc))(tif->tif_clientdata,
                                         (void *)buf_to_write,
                                         count * (tmsize_t )tmp___14);
#line 2694
      tmp___16 = TIFFDataWidth(datatype);
#line 2694
      if (tmp___15 == count * (tmsize_t )tmp___16) {

      } else {
#line 2695
        _TIFFfree((void *)buf_to_write);
#line 2696
        TIFFErrorExt(tif->tif_clientdata, module___18,
                     "Error writing directory link");
#line 2698
        return (0);
      }
#line 2701
      _TIFFfree((void *)buf_to_write);
#line 2702
      return (1);
    } else {

    }
  } else {

  }
   1969: /* CIL Label */ 
#line 2708
  if (! value_in_entry) {
#line 2710
    entry_offset = (*(tif->tif_seekproc))(tif->tif_clientdata, 0ULL, 2);
#line 2712
    tmp___17 = TIFFDataWidth(datatype);
#line 2712
    tmp___18 = (*(tif->tif_writeproc))(tif->tif_clientdata,
                                       (void *)buf_to_write,
                                       count * (tmsize_t )tmp___17);
#line 2712
    tmp___19 = TIFFDataWidth(datatype);
#line 2712
    if (tmp___18 == count * (tmsize_t )tmp___19) {

    } else {
#line 2713
      _TIFFfree((void *)buf_to_write);
#line 2714
      TIFFErrorExt(tif->tif_clientdata, module___18,
                   "Error writing directory link");
#line 2716
      return (0);
    }
#line 2719
    _TIFFfree((void *)buf_to_write);
  } else {
#line 2723
    tmp___20 = TIFFDataWidth(datatype);
#line 2723
    memcpy((void */* __restrict  */)(& entry_offset),
           (void const   */* __restrict  */)buf_to_write,
           (unsigned int )(count * (tmsize_t )tmp___20));
  }
   1970: /* CIL Label */ 
#line 2729
  entry_type = (unsigned short )datatype;
   1971: /* CIL Label */ 
#line 2730
  memcpy((void */* __restrict  */)(direntry_raw + 2),
         (void const   */* __restrict  */)(& entry_type), sizeof(uint16 ));
   1972: /* CIL Label */ 
#line 2731
  if (tif->tif_flags & 128U) {
#line 2732
    TIFFSwabShort((uint16 *)(direntry_raw + 2));
  } else {

  }
   1973: /* CIL Label */ 
#line 2734
  if (! (tif->tif_flags & 524288U)) {
#line 2738
    value___0 = (unsigned int )entry_count;
#line 2739
    memcpy((void */* __restrict  */)(direntry_raw + 4),
           (void const   */* __restrict  */)(& value___0), sizeof(uint32 ));
#line 2740
    if (tif->tif_flags & 128U) {
#line 2741
      TIFFSwabLong((uint32 *)(direntry_raw + 4));
    } else {

    }
#line 2743
    value___0 = (unsigned int )entry_offset;
#line 2744
    memcpy((void */* __restrict  */)(direntry_raw + 8),
           (void const   */* __restrict  */)(& value___0), sizeof(uint32 ));
#line 2745
    if (tif->tif_flags & 128U) {
#line 2746
      TIFFSwabLong((uint32 *)(direntry_raw + 8));
    } else {

    }
  } else {
#line 2750
    memcpy((void */* __restrict  */)(direntry_raw + 4),
           (void const   */* __restrict  */)(& entry_count), sizeof(uint64 ));
#line 2751
    if (tif->tif_flags & 128U) {
#line 2752
      TIFFSwabLong8((uint64 *)(direntry_raw + 4));
    } else {

    }
#line 2754
    memcpy((void */* __restrict  */)(direntry_raw + 12),
           (void const   */* __restrict  */)(& entry_offset), sizeof(uint64 ));
#line 2755
    if (tif->tif_flags & 128U) {
#line 2756
      TIFFSwabLong8((uint64 *)(direntry_raw + 12));
    } else {

    }
  }
   1974: /* CIL Label */ 
#line 2762
  tmp___21 = (*(tif->tif_seekproc))(tif->tif_clientdata, read_offset, 0);
   1975: /* CIL Label */ 
#line 2762
  if (tmp___21 == read_offset) {

  } else {
#line 2763
    TIFFErrorExt(tif->tif_clientdata, module___18,
                 "%s: Seek error accessing TIFF directory", tif->tif_name);
#line 2766
    return (0);
  }
   1976: /* CIL Label */ 
#line 2769
  tmp___22 = (*(tif->tif_writeproc))(tif->tif_clientdata,
                                     (void *)(direntry_raw), dirsize);
   1977: /* CIL Label */ 
#line 2769
  if (tmp___22 == dirsize) {

  } else {
#line 2771
    TIFFErrorExt(tif->tif_clientdata, module___18,
                 "%s: Can not write TIFF directory entry.", tif->tif_name);
#line 2774
    return (0);
  }
   1978: /* CIL Label */ 
#line 2777
  return (1);
}
}

cilRep: liveness failure for _TIFFRewriteField: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/tools/thumbnail.c: parsing
cilRep: preprocessed/tools/thumbnail.c: parsed (0.207689 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 126 "thumbnail.c"
TIFFClose(out);
Liveness failed on function:
 int main(int argc , char **argv ) 
{ TIFF *in ;
  TIFF *out ;
  int c ;
  unsigned long tmp ;
  unsigned long tmp___0 ;
  size_t __s1_len ;
  size_t __s2_len ;
  int tmp___1 ;
  int tmp___2 ;
  int tmp___3 ;
  unsigned char const   *__s2 ;
  register int __result ;
  int tmp___4 ;
  unsigned char const   *__s1 ;
  register int __result___0 ;
  int tmp___5 ;
  int tmp___6 ;
  int tmp___7 ;
  size_t __s1_len___0 ;
  size_t __s2_len___0 ;
  int tmp___8 ;
  int tmp___9 ;
  int tmp___10 ;
  unsigned char const   *__s2___0 ;
  register int __result___1 ;
  int tmp___11 ;
  unsigned char const   *__s1___0 ;
  register int __result___2 ;
  int tmp___12 ;
  int tmp___13 ;
  int tmp___14 ;
  size_t __s1_len___1 ;
  size_t __s2_len___1 ;
  int tmp___15 ;
  int tmp___16 ;
  int tmp___17 ;
  unsigned char const   *__s2___1 ;
  register int __result___3 ;
  int tmp___18 ;
  unsigned char const   *__s1___1 ;
  register int __result___4 ;
  int tmp___19 ;
  int tmp___20 ;
  int tmp___21 ;
  size_t __s1_len___2 ;
  size_t __s2_len___2 ;
  int tmp___22 ;
  int tmp___23 ;
  int tmp___24 ;
  unsigned char const   *__s2___2 ;
  register int __result___5 ;
  int tmp___25 ;
  unsigned char const   *__s1___2 ;
  register int __result___6 ;
  int tmp___26 ;
  int tmp___27 ;
  int tmp___28 ;
  size_t __s1_len___3 ;
  size_t __s2_len___3 ;
  int tmp___29 ;
  int tmp___30 ;
  int tmp___31 ;
  unsigned char const   *__s2___3 ;
  register int __result___7 ;
  int tmp___32 ;
  unsigned char const   *__s1___3 ;
  register int __result___8 ;
  int tmp___33 ;
  int tmp___34 ;
  int tmp___35 ;
  size_t __s1_len___4 ;
  size_t __s2_len___4 ;
  int tmp___36 ;
  int tmp___37 ;
  int tmp___38 ;
  unsigned char const   *__s2___4 ;
  register int __result___9 ;
  int tmp___39 ;
  unsigned char const   *__s1___4 ;
  register int __result___10 ;
  int tmp___40 ;
  int tmp___41 ;
  int tmp___42 ;
  size_t __s1_len___5 ;
  size_t __s2_len___5 ;
  int tmp___43 ;
  int tmp___44 ;
  int tmp___45 ;
  unsigned char const   *__s2___5 ;
  register int __result___11 ;
  int tmp___46 ;
  unsigned char const   *__s1___5 ;
  register int __result___12 ;
  int tmp___47 ;
  int tmp___48 ;
  int tmp___49 ;
  int tmp___50 ;
  size_t __s1_len___6 ;
  size_t __s2_len___6 ;
  int tmp___51 ;
  int tmp___52 ;
  int tmp___53 ;
  unsigned char const   *__s2___6 ;
  register int __result___13 ;
  int tmp___54 ;
  unsigned char const   *__s1___6 ;
  register int __result___14 ;
  int tmp___55 ;
  int tmp___56 ;
  int tmp___57 ;
  int tmp___58 ;
  size_t __s1_len___7 ;
  size_t __s2_len___7 ;
  int tmp___59 ;
  int tmp___60 ;
  int tmp___61 ;
  unsigned char const   *__s2___7 ;
  register int __result___15 ;
  int tmp___62 ;
  unsigned char const   *__s1___7 ;
  register int __result___16 ;
  int tmp___63 ;
  int tmp___64 ;
  int tmp___65 ;
  int tmp___66 ;
  size_t __s1_len___8 ;
  size_t __s2_len___8 ;
  int tmp___67 ;
  int tmp___68 ;
  int tmp___69 ;
  unsigned char const   *__s2___8 ;
  register int __result___17 ;
  int tmp___70 ;
  unsigned char const   *__s1___8 ;
  register int __result___18 ;
  int tmp___71 ;
  int tmp___72 ;
  int tmp___73 ;
  int tmp___74 ;
  size_t __s1_len___9 ;
  size_t __s2_len___9 ;
  int tmp___75 ;
  int tmp___76 ;
  int tmp___77 ;
  unsigned char const   *__s2___9 ;
  register int __result___19 ;
  int tmp___78 ;
  unsigned char const   *__s1___9 ;
  register int __result___20 ;
  int tmp___79 ;
  int tmp___80 ;
  int tmp___81 ;
  int tmp___82 ;
  size_t __s1_len___10 ;
  size_t __s2_len___10 ;
  int tmp___83 ;
  int tmp___84 ;
  int tmp___85 ;
  unsigned char const   *__s2___10 ;
  register int __result___21 ;
  int tmp___86 ;
  unsigned char const   *__s1___10 ;
  register int __result___22 ;
  int tmp___87 ;
  int tmp___88 ;
  int tmp___89 ;
  int tmp___90 ;
  size_t __s1_len___11 ;
  size_t __s2_len___11 ;
  int tmp___91 ;
  int tmp___92 ;
  int tmp___93 ;
  unsigned char const   *__s2___11 ;
  register int __result___23 ;
  int tmp___94 ;
  unsigned char const   *__s1___11 ;
  register int __result___24 ;
  int tmp___95 ;
  int tmp___96 ;
  int tmp___97 ;
  size_t __s1_len___12 ;
  size_t __s2_len___12 ;
  int tmp___98 ;
  int tmp___99 ;
  int tmp___100 ;
  unsigned char const   *__s2___12 ;
  register int __result___25 ;
  int tmp___101 ;
  unsigned char const   *__s1___12 ;
  register int __result___26 ;
  int tmp___102 ;
  int tmp___103 ;
  int tmp___104 ;
  void *tmp___105 ;
  char const   *tmp___106 ;
  int tmp___107 ;
  int tmp___108 ;
  int tmp___109 ;
  int tmp___110 ;

  {
   2448: /* CIL Label */ 
#line 80
  while (1) {
#line 80
    c = getopt(argc, (char * const  *)argv, "w:h:c:");
#line 80
    if (c != -1) {

    } else {
#line 80
      break;
    }
#line 81
    switch (c) {
    case 119: 
#line 82
    tmp = strtoul((char const   */* __restrict  */)optarg,
                  (char **/* __restrict  */)((void *)0), 0);
#line 82
    tnw = (unsigned int )tmp;
#line 82
    break;
    case 104: 
#line 83
    tmp___0 = strtoul((char const   */* __restrict  */)optarg,
                      (char **/* __restrict  */)((void *)0), 0);
#line 83
    tnh = (unsigned int )tmp___0;
#line 83
    break;
    case 99: 
#line 84
    if (0) {
#line 84
      __s1_len___12 = strlen((char const   *)optarg);
#line 84
      __s2_len___12 = strlen("exp50");
#line 84
      if (! ((unsigned int )((void const   *)(optarg + 1)) - (unsigned int )((void const   *)optarg) == 1U)) {
        goto _L___26;
      } else {
#line 84
        if (__s1_len___12 >= 4U) {
          _L___26: /* CIL Label */ 
#line 84
          if (! ((unsigned int )((void const   *)("exp50" + 1)) - (unsigned int )((void const   *)"exp50") == 1U)) {
#line 84
            tmp___104 = 1;
          } else {
#line 84
            if (__s2_len___12 >= 4U) {
#line 84
              tmp___104 = 1;
            } else {
#line 84
              tmp___104 = 0;
            }
          }
        } else {
#line 84
          tmp___104 = 0;
        }
      }
#line 84
      if (tmp___104) {
#line 84
        tmp___99 = __builtin_strcmp((char const   *)optarg, "exp50");
#line 84
        tmp___103 = tmp___99;
      } else {
#line 84
        tmp___102 = __builtin_strcmp((char const   *)optarg, "exp50");
#line 84
        tmp___103 = tmp___102;
      }
    } else {
#line 84
      tmp___102 = __builtin_strcmp((char const   *)optarg, "exp50");
#line 84
      tmp___103 = tmp___102;
    }
#line 84
    if (tmp___103 == 0) {
#line 85
      contrast = (enum __anonenum_Contrast_47 )0;
    } else {
#line 85
      if (0) {
#line 85
        __s1_len___11 = strlen((char const   *)optarg);
#line 85
        __s2_len___11 = strlen("exp60");
#line 85
        if (! ((unsigned int )((void const   *)(optarg + 1)) - (unsigned int )((void const   *)optarg) == 1U)) {
          goto _L___24;
        } else {
#line 85
          if (__s1_len___11 >= 4U) {
            _L___24: /* CIL Label */ 
#line 85
            if (! ((unsigned int )((void const   *)("exp60" + 1)) - (unsigned int )((void const   *)"exp60") == 1U)) {
#line 85
              tmp___97 = 1;
            } else {
#line 85
              if (__s2_len___11 >= 4U) {
#line 85
                tmp___97 = 1;
              } else {
#line 85
                tmp___97 = 0;
              }
            }
          } else {
#line 85
            tmp___97 = 0;
          }
        }
#line 85
        if (tmp___97) {
#line 85
          tmp___92 = __builtin_strcmp((char const   *)optarg, "exp60");
#line 85
          tmp___96 = tmp___92;
        } else {
#line 85
          tmp___95 = __builtin_strcmp((char const   *)optarg, "exp60");
#line 85
          tmp___96 = tmp___95;
        }
      } else {
#line 85
        tmp___95 = __builtin_strcmp((char const   *)optarg, "exp60");
#line 85
        tmp___96 = tmp___95;
      }
#line 85
      if (tmp___96 == 0) {
#line 86
        tmp___90 = 1;
      } else {
#line 86
        if (0) {
#line 86
          __s1_len___10 = strlen((char const   *)optarg);
#line 86
          __s2_len___10 = strlen("exp70");
#line 86
          if (! ((unsigned int )((void const   *)(optarg + 1)) - (unsigned int )((void const   *)optarg) == 1U)) {
            goto _L___22;
          } else {
#line 86
            if (__s1_len___10 >= 4U) {
              _L___22: /* CIL Label */ 
#line 86
              if (! ((unsigned int )((void const   *)("exp70" + 1)) - (unsigned int )((void const   *)"exp70") == 1U)) {
#line 86
                tmp___89 = 1;
              } else {
#line 86
                if (__s2_len___10 >= 4U) {
#line 86
                  tmp___89 = 1;
                } else {
#line 86
                  tmp___89 = 0;
                }
              }
            } else {
#line 86
              tmp___89 = 0;
            }
          }
#line 86
          if (tmp___89) {
#line 86
            tmp___84 = __builtin_strcmp((char const   *)optarg, "exp70");
#line 86
            tmp___88 = tmp___84;
          } else {
#line 86
            tmp___87 = __builtin_strcmp((char const   *)optarg, "exp70");
#line 86
            tmp___88 = tmp___87;
          }
        } else {
#line 86
          tmp___87 = __builtin_strcmp((char const   *)optarg, "exp70");
#line 86
          tmp___88 = tmp___87;
        }
#line 86
        if (tmp___88 == 0) {
#line 87
          tmp___82 = 2;
        } else {
#line 87
          if (0) {
#line 87
            __s1_len___9 = strlen((char const   *)optarg);
#line 87
            __s2_len___9 = strlen("exp80");
#line 87
            if (! ((unsigned int )((void const   *)(optarg + 1)) - (unsigned int )((void const   *)optarg) == 1U)) {
              goto _L___20;
            } else {
#line 87
              if (__s1_len___9 >= 4U) {
                _L___20: /* CIL Label */ 
#line 87
                if (! ((unsigned int )((void const   *)("exp80" + 1)) - (unsigned int )((void const   *)"exp80") == 1U)) {
#line 87
                  tmp___81 = 1;
                } else {
#line 87
                  if (__s2_len___9 >= 4U) {
#line 87
                    tmp___81 = 1;
                  } else {
#line 87
                    tmp___81 = 0;
                  }
                }
              } else {
#line 87
                tmp___81 = 0;
              }
            }
#line 87
            if (tmp___81) {
#line 87
              tmp___76 = __builtin_strcmp((char const   *)optarg, "exp80");
#line 87
              tmp___80 = tmp___76;
            } else {
#line 87
              tmp___79 = __builtin_strcmp((char const   *)optarg, "exp80");
#line 87
              tmp___80 = tmp___79;
            }
          } else {
#line 87
            tmp___79 = __builtin_strcmp((char const   *)optarg, "exp80");
#line 87
            tmp___80 = tmp___79;
          }
#line 87
          if (tmp___80 == 0) {
#line 88
            tmp___74 = 3;
          } else {
#line 88
            if (0) {
#line 88
              __s1_len___8 = strlen((char const   *)optarg);
#line 88
              __s2_len___8 = strlen("exp90");
#line 88
              if (! ((unsigned int )((void const   *)(optarg + 1)) - (unsigned int )((void const   *)optarg) == 1U)) {
                goto _L___18;
              } else {
#line 88
                if (__s1_len___8 >= 4U) {
                  _L___18: /* CIL Label */ 
#line 88
                  if (! ((unsigned int )((void const   *)("exp90" + 1)) - (unsigned int )((void const   *)"exp90") == 1U)) {
#line 88
                    tmp___73 = 1;
                  } else {
#line 88
                    if (__s2_len___8 >= 4U) {
#line 88
                      tmp___73 = 1;
                    } else {
#line 88
                      tmp___73 = 0;
                    }
                  }
                } else {
#line 88
                  tmp___73 = 0;
                }
              }
#line 88
              if (tmp___73) {
#line 88
                tmp___68 = __builtin_strcmp((char const   *)optarg, "exp90");
#line 88
                tmp___72 = tmp___68;
              } else {
#line 88
                tmp___71 = __builtin_strcmp((char const   *)optarg, "exp90");
#line 88
                tmp___72 = tmp___71;
              }
            } else {
#line 88
              tmp___71 = __builtin_strcmp((char const   *)optarg, "exp90");
#line 88
              tmp___72 = tmp___71;
            }
#line 88
            if (tmp___72 == 0) {
#line 89
              tmp___66 = 4;
            } else {
#line 89
              if (0) {
#line 89
                __s1_len___7 = strlen((char const   *)optarg);
#line 89
                __s2_len___7 = strlen("exp");
#line 89
                if (! ((unsigned int )((void const   *)(optarg + 1)) - (unsigned int )((void const   *)optarg) == 1U)) {
                  goto _L___16;
                } else {
#line 89
                  if (__s1_len___7 >= 4U) {
                    _L___16: /* CIL Label */ 
#line 89
                    if (! ((unsigned int )((void const   *)("exp" + 1)) - (unsigned int )((void const   *)"exp") == 1U)) {
#line 89
                      tmp___65 = 1;
                    } else {
#line 89
                      if (__s2_len___7 >= 4U) {
#line 89
                        tmp___65 = 1;
                      } else {
#line 89
                        tmp___65 = 0;
                      }
                    }
                  } else {
#line 89
                    tmp___65 = 0;
                  }
                }
#line 89
                if (tmp___65) {
#line 89
                  tmp___60 = __builtin_strcmp((char const   *)optarg, "exp");
#line 89
                  tmp___64 = tmp___60;
                } else {
#line 89
                  tmp___63 = __builtin_strcmp((char const   *)optarg, "exp");
#line 89
                  tmp___64 = tmp___63;
                }
              } else {
#line 89
                tmp___63 = __builtin_strcmp((char const   *)optarg, "exp");
#line 89
                tmp___64 = tmp___63;
              }
#line 89
              if (tmp___64 == 0) {
#line 90
                tmp___58 = 5;
              } else {
#line 90
                if (0) {
#line 90
                  __s1_len___6 = strlen((char const   *)optarg);
#line 90
                  __s2_len___6 = strlen("linear");
#line 90
                  if (! ((unsigned int )((void const   *)(optarg + 1)) - (unsigned int )((void const   *)optarg) == 1U)) {
                    goto _L___14;
                  } else {
#line 90
                    if (__s1_len___6 >= 4U) {
                      _L___14: /* CIL Label */ 
#line 90
                      if (! ((unsigned int )((void const   *)("linear" + 1)) - (unsigned int )((void const   *)"linear") == 1U)) {
#line 90
                        tmp___57 = 1;
                      } else {
#line 90
                        if (__s2_len___6 >= 4U) {
#line 90
                          tmp___57 = 1;
                        } else {
#line 90
                          tmp___57 = 0;
                        }
                      }
                    } else {
#line 90
                      tmp___57 = 0;
                    }
                  }
#line 90
                  if (tmp___57) {
#line 90
                    tmp___52 = __builtin_strcmp((char const   *)optarg, "linear");
#line 90
                    tmp___56 = tmp___52;
                  } else {
#line 90
                    tmp___55 = __builtin_strcmp((char const   *)optarg, "linear");
#line 90
                    tmp___56 = tmp___55;
                  }
                } else {
#line 90
                  tmp___55 = __builtin_strcmp((char const   *)optarg, "linear");
#line 90
                  tmp___56 = tmp___55;
                }
#line 90
                if (tmp___56 == 0) {
#line 90
                  tmp___50 = 6;
                } else {
#line 90
                  tmp___50 = 5;
                }
#line 90
                tmp___58 = tmp___50;
              }
#line 89
              tmp___66 = tmp___58;
            }
#line 88
            tmp___74 = tmp___66;
          }
#line 87
          tmp___82 = tmp___74;
        }
#line 86
        tmp___90 = tmp___82;
      }
#line 85
      contrast = (enum __anonenum_Contrast_47 )tmp___90;
    }
#line 92
    break;
    default: 
#line 93
    usage();
    }
  }
   2449: /* CIL Label */ 
#line 96
  if (argc - optind != 2) {
#line 97
    usage();
  } else {

  }
   2450: /* CIL Label */ 
#line 99
  out = TIFFOpen((char const   *)*(argv + (optind + 1)), "w");
   2451: /* CIL Label */ 
#line 100
  if ((unsigned int )out == (unsigned int )((void *)0)) {
#line 101
    return (2);
  } else {

  }
   2452: /* CIL Label */ 
#line 102
  in = TIFFOpen((char const   *)*(argv + optind), "r");
   2453: /* CIL Label */ 
#line 103
  if ((unsigned int )in == (unsigned int )((void *)0)) {
#line 104
    return (2);
  } else {

  }
   2454: /* CIL Label */ 
#line 106
  tmp___105 = _TIFFmalloc((long )(tnw * tnh));
   2455: /* CIL Label */ 
#line 106
  thumbnail = (uint8 *)tmp___105;
   2456: /* CIL Label */ 
#line 107
  if (! thumbnail) {
#line 108
    tmp___106 = TIFFFileName(in);
#line 108
    TIFFError(tmp___106, "Can\'t allocate space for thumbnail buffer.");
#line 110
    return (1);
  } else {

  }
   2457: /* CIL Label */ 
#line 113
  if ((unsigned int )in != (unsigned int )((void *)0)) {
#line 114
    initScale();
#line 115
    while (1) {
#line 116
      tmp___107 = generateThumbnail(in, out);
#line 116
      if (tmp___107) {

      } else {
        goto bad;
      }
#line 118
      tmp___108 = cpIFD(in, out);
#line 118
      if (tmp___108) {
#line 118
        tmp___109 = TIFFWriteDirectory(out);
#line 118
        if (tmp___109) {

        } else {
          goto bad;
        }
      } else {
        goto bad;
      }
#line 115
      tmp___110 = TIFFReadDirectory(in);
#line 115
      if (tmp___110) {

      } else {
#line 115
        break;
      }
    }
#line 121
    TIFFClose(in);
  } else {

  }
   2458: /* CIL Label */ 
#line 123
  TIFFClose(out);
   2459: /* CIL Label */ 
#line 124
  return (0);
   2460: /* CIL Label */ 
  bad: 
#line 126
  TIFFClose(out);
   2461: /* CIL Label */ 
#line 127
  return (1);
}
}

cilRep: liveness failure for main: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 292
tmp___5 = TIFFFileName(in);
#line 292
TIFFError(tmp___5, "Can\'t allocate space for strip buffer.");
Liveness failed on function:
 static int cpStrips(TIFF *in , TIFF *out ) 
{ tsize_t bufsize ;
  tmsize_t tmp ;
  unsigned char *buf ;
  void *tmp___0 ;
  tstrip_t s ;
  tstrip_t ns ;
  uint32 tmp___1 ;
  tsize_t *bytecounts ;
  void *tmp___2 ;
  tmsize_t tmp___3 ;
  tmsize_t tmp___4 ;
  char const   *tmp___5 ;

  {
   2550: /* CIL Label */ 
#line 266
  tmp = TIFFStripSize(in);
   2551: /* CIL Label */ 
#line 266
  bufsize = tmp;
   2552: /* CIL Label */ 
#line 267
  tmp___0 = _TIFFmalloc(bufsize);
   2553: /* CIL Label */ 
#line 267
  buf = (unsigned char *)tmp___0;
   2554: /* CIL Label */ 
#line 269
  if (buf) {
#line 270
    tmp___1 = TIFFNumberOfStrips(in);
#line 270
    ns = tmp___1;
#line 273
    TIFFGetField(in, 279U, & bytecounts);
#line 274
    s = 0U;
#line 274
    while (s < ns) {
#line 275
      if (*(bytecounts + s) > bufsize) {
#line 276
        tmp___2 = _TIFFrealloc((void *)buf, *(bytecounts + s));
#line 276
        buf = (unsigned char *)tmp___2;
#line 277
        if (! buf) {
          goto bad;
        } else {

        }
#line 279
        bufsize = *(bytecounts + s);
      } else {

      }
#line 281
      tmp___3 = TIFFReadRawStrip(in, s, (void *)buf, *(bytecounts + s));
#line 281
      if (tmp___3 < 0L) {
#line 283
        _TIFFfree((void *)buf);
#line 284
        return (0);
      } else {
#line 281
        tmp___4 = TIFFWriteRawStrip(out, s, (void *)buf, *(bytecounts + s));
#line 281
        if (tmp___4 < 0L) {
#line 283
          _TIFFfree((void *)buf);
#line 284
          return (0);
        } else {

        }
      }
#line 274
      s ++;
    }
#line 287
    _TIFFfree((void *)buf);
#line 288
    return (1);
  } else {

  }
   2555: /* CIL Label */ 
  bad: 
#line 292
  tmp___5 = TIFFFileName(in);
   2556: /* CIL Label */ 
#line 292
  TIFFError(tmp___5, "Can\'t allocate space for strip buffer.");
   2557: /* CIL Label */ 
#line 294
  return (0);
}
}

cilRep: liveness failure for cpStrips: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: bad: 
#line 326
tmp___5 = TIFFFileName(in);
#line 326
TIFFError(tmp___5, "Can\'t allocate space for tile buffer.");
Liveness failed on function:
 static int cpTiles(TIFF *in , TIFF *out ) 
{ tsize_t bufsize ;
  tmsize_t tmp ;
  unsigned char *buf ;
  void *tmp___0 ;
  ttile_t t ;
  ttile_t nt ;
  uint32 tmp___1 ;
  tsize_t *bytecounts ;
  void *tmp___2 ;
  tmsize_t tmp___3 ;
  tmsize_t tmp___4 ;
  char const   *tmp___5 ;

  {
   2585: /* CIL Label */ 
#line 300
  tmp = TIFFTileSize(in);
   2586: /* CIL Label */ 
#line 300
  bufsize = tmp;
   2587: /* CIL Label */ 
#line 301
  tmp___0 = _TIFFmalloc(bufsize);
   2588: /* CIL Label */ 
#line 301
  buf = (unsigned char *)tmp___0;
   2589: /* CIL Label */ 
#line 303
  if (buf) {
#line 304
    tmp___1 = TIFFNumberOfTiles(in);
#line 304
    nt = tmp___1;
#line 307
    TIFFGetField(in, 325U, & bytecounts);
#line 308
    t = 0U;
#line 308
    while (t < nt) {
#line 309
      if (*(bytecounts + t) > bufsize) {
#line 310
        tmp___2 = _TIFFrealloc((void *)buf, *(bytecounts + t));
#line 310
        buf = (unsigned char *)tmp___2;
#line 311
        if (! buf) {
          goto bad;
        } else {

        }
#line 313
        bufsize = *(bytecounts + t);
      } else {

      }
#line 315
      tmp___3 = TIFFReadRawTile(in, t, (void *)buf, *(bytecounts + t));
#line 315
      if (tmp___3 < 0L) {
#line 317
        _TIFFfree((void *)buf);
#line 318
        return (0);
      } else {
#line 315
        tmp___4 = TIFFWriteRawTile(out, t, (void *)buf, *(bytecounts + t));
#line 315
        if (tmp___4 < 0L) {
#line 317
          _TIFFfree((void *)buf);
#line 318
          return (0);
        } else {

        }
      }
#line 308
      t ++;
    }
#line 321
    _TIFFfree((void *)buf);
#line 322
    return (1);
  } else {

  }
   2590: /* CIL Label */ 
  bad: 
#line 326
  tmp___5 = TIFFFileName(in);
   2591: /* CIL Label */ 
#line 326
  TIFFError(tmp___5, "Can\'t allocate space for tile buffer.");
   2592: /* CIL Label */ 
#line 328
  return (0);
}
}

cilRep: liveness failure for cpTiles: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 442
step = (int )sw;
#line 443
limit = (int )tnw;
#line 444
err = 0;
#line 445
sx = (uint32 )0;
#line 449
x = 0U;
Liveness failed on function:
 static void setupStepTables(uint32 sw ) 
{ int step ;
  int limit ;
  int err ;
  uint32 sx ;
  uint32 x ;
  int fw ;
  uint8 b ;
  uint32 sx0 ;

  {
   2732: /* CIL Label */ 
#line 441
  if (stepSrcWidth != sw) {
    goto _L;
  } else {
#line 441
    if (stepDstWidth != tnw) {
      _L: /* CIL Label */ 
#line 442
      step = (int )sw;
#line 443
      limit = (int )tnw;
#line 444
      err = 0;
#line 445
      sx = (uint32 )0;
#line 449
      x = 0U;
#line 449
      while (x < tnw) {
#line 450
        sx0 = sx;
#line 451
        err += step;
#line 452
        while (err >= limit) {
#line 453
          err -= limit;
#line 454
          sx ++;
        }
#line 456
        *(rowoff + x) = sx0 >> 3;
#line 457
        fw = (int )(sx - sx0);
#line 458
        if (fw < 8) {
#line 458
          b = (unsigned char )(0xff << (8 - fw));
        } else {
#line 458
          b = (unsigned char)255;
        }
#line 459
        *(src0 + x) = (unsigned char )((int )b >> (sx0 & 7U));
#line 460
        fw = (int )((unsigned int )fw - (8U - (sx0 & 7U)));
#line 461
        if (fw < 0) {
#line 462
          fw = 0;
        } else {

        }
#line 463
        *(src1 + x) = (unsigned char )(fw >> 3);
#line 464
        fw -= (fw >> 3) << 3;
#line 465
        *(src2 + x) = (unsigned char )(0xff << (8 - fw));
#line 449
        x ++;
      }
#line 467
      stepSrcWidth = sw;
#line 468
      stepDstWidth = tnw;
    } else {

    }
  }
   2733: /* CIL Label */ 
#line 470
  return;
}
}

cilRep: liveness failure for setupStepTables: Errormsg.Error
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 2893
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	p17: true (1)
	p18: true (1)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	p61: true (1)
	p62: true (1)
	p63: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 33.7231)
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 2893
cilRep: stmts in weighted_path = 198
cilRep: total weight = 198
cilRep: stmts in weighted_path with weight >= 1.0 = 198
cilRep: libtiff/tif_dirwrite.c (code bank/base file; atoms [1,1978])
cilRep: tools/thumbnail.c (code bank/base file; atoms [1979,2893])
cilRep: 2 file(s) total in representation
search: ww_adaptive_1 begins (time = 1368025349.129468)
cilRep: coverage ignores: /usr/local/include
cilRep: coverage ignores: /usr/lib/gcc/i686-redhat-linux/4.4.5/include
cilRep: coverage ignores: /usr/include
cilRep: atoms in standard headers: 502
cilRep: fix-space quotient by string: 874 -> 583
progeq: computing alias analysis information
progeq: WARNING: cannot resolve call: __builtin_strchr
progeq: WARNING: cannot resolve call: __builtin_expect
progeq: WARNING: cannot resolve call: __uflow
progeq: WARNING: cannot resolve call: __overflow
progeq: WARNING: cannot resolve call: *(tif->tif_postencode)
progeq: WARNING: cannot resolve call: TIFFErrorExt
progeq: WARNING: cannot resolve call: *(tif->tif_close)
progeq: WARNING: cannot resolve call: TIFFFlushData1
progeq: WARNING: cannot resolve call: _TIFFfree
progeq: WARNING: cannot resolve call: __assert_fail
progeq: WARNING: cannot resolve call: TIFFSwabShort
progeq: WARNING: cannot resolve call: _TIFFmemcpy
progeq: WARNING: cannot resolve call: *(tif->tif_seekproc)
progeq: WARNING: cannot resolve call: *(tif->tif_writeproc)
progeq: WARNING: cannot resolve call: TIFFSwabLong
progeq: WARNING: cannot resolve call: TIFFSwabLong8
progeq: WARNING: cannot resolve call: _TIFFmalloc
progeq: WARNING: cannot resolve call: TIFFSwabArrayOfShort
progeq: WARNING: cannot resolve call: TIFFSwabArrayOfLong8
progeq: WARNING: cannot resolve call: TIFFSwabArrayOfLong
progeq: WARNING: cannot resolve call: TIFFGetFieldDefaulted
progeq: WARNING: cannot resolve call: TIFFSwabArrayOfFloat
progeq: WARNING: cannot resolve call: TIFFSwabArrayOfDouble
progeq: WARNING: cannot resolve call: _TIFFmemcmp
progeq: WARNING: cannot resolve call: TIFFGetField
progeq: WARNING: cannot resolve call: *(tif->tif_readproc)
progeq: WARNING: cannot resolve call: TIFFFreeDirectory
progeq: WARNING: cannot resolve call: *(tif->tif_cleanup)
progeq: WARNING: cannot resolve call: TIFFCreateDirectory
progeq: WARNING: cannot resolve call: TIFFSetupStrips
progeq: WARNING: cannot resolve call: TIFFSetWriteOffset
progeq: WARNING: cannot resolve call: TIFFFindField
progeq: WARNING: cannot resolve call: memcpy
progeq: WARNING: cannot resolve call: TIFFDataWidth
progeq: WARNING: cannot resolve call: _TIFFCheckMalloc
progeq: WARNING: cannot resolve call: __builtin_atan2l
progeq: WARNING: cannot resolve call: __builtin_fabs
progeq: WARNING: cannot resolve call: __builtin_fabsf
progeq: WARNING: cannot resolve call: __builtin_fabsl
progeq: WARNING: cannot resolve call: getopt
progeq: WARNING: cannot resolve call: __builtin_strcmp
progeq: WARNING: cannot resolve call: TIFFGetVersion
progeq: WARNING: cannot resolve call: TIFFOpen
progeq: WARNING: cannot resolve call: TIFFFileName
progeq: WARNING: cannot resolve call: TIFFError
progeq: WARNING: cannot resolve call: TIFFNumberOfStrips
progeq: WARNING: cannot resolve call: TIFFScanlineSize
progeq: WARNING: cannot resolve call: TIFFReadEncodedStrip
progeq: WARNING: cannot resolve call: TIFFSetField
progeq: WARNING: cannot resolve call: TIFFWriteEncodedStrip
progeq: WARNING: cannot resolve call: TIFFIsTiled
progeq: WARNING: cannot resolve call: TIFFTileSize
progeq: WARNING: cannot resolve call: TIFFNumberOfTiles
progeq: WARNING: cannot resolve call: _TIFFrealloc
progeq: WARNING: cannot resolve call: TIFFReadRawTile
progeq: WARNING: cannot resolve call: TIFFWriteRawTile
progeq: WARNING: cannot resolve call: TIFFStripSize
progeq: WARNING: cannot resolve call: TIFFReadRawStrip
progeq: WARNING: cannot resolve call: TIFFWriteRawStrip
progeq: WARNING: cannot resolve call: TIFFReadDirectory
progeq: WARNING: cannot resolve call: TIFFClose
search: fix space reduced (time_taken = 67.9828)
search: ww_adaptive: 196 deletes
search: ww_adaptive: 2300 appends
search: ww_adaptive: 2496 possible edits
search: ready to start (time_taken = 18.934)
search: ww_adaptive: finding best
	from new super-mutant
search: ww_adaptive: finding 50 best for super-mutant
rep: WARNING: test_visiting_atoms: no data available
	try using --coverage-per-test and/or --regen-paths
	defaulting to 'all tests'
search: ww_adaptive: found 50 best (time_taken = 0.194834)
search: ww_adaptive: found best (time_taken = 0.00371504)
	variant     1/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 1)
		n1 false (test_time = 10.7402)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00751901)
	variant     2/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 50)
		n1 false (test_time = 10.4856)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00365615)
	variant     3/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 49)
		n1 false (test_time = 10.5427)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00531888)
	variant     4/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 48)
		n1 false (test_time = 22.2964)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00335503)
	variant     5/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 47)
		n1 false (test_time = 11.733)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00367188)
	variant     6/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 46)
		n1 false (test_time = 10.6952)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00314689)
	variant     7/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 45)
		n1 false (test_time = 10.7178)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00339007)
	variant     8/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 44)
		n1 false (test_time = 10.5647)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00361705)
	variant     9/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 43)
		n1 false (test_time = 10.5185)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.002491)
	variant    10/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 42)
		n1 false (test_time = 10.6065)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00271392)
	variant    11/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 41)
		n1 false (test_time = 10.769)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00222898)
	variant    12/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 40)
		n1 false (test_time = 10.7304)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0022819)
	variant    13/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 39)
		n1 false (test_time = 10.5704)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00426602)
	variant    14/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 38)
		n1 false (test_time = 10.608)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00447106)
	variant    15/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 37)
		n1 false (test_time = 10.5312)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0040381)
	variant    16/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 36)
		n1 false (test_time = 10.4536)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00336003)
	variant    17/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 35)
		n1 false (test_time = 10.5662)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00382519)
	variant    18/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 34)
		n1 false (test_time = 10.64)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00327706)
	variant    19/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 33)
		n1 false (test_time = 10.4938)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00472498)
	variant    20/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 32)
		n1 false (test_time = 10.5919)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00238514)
	variant    21/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 31)
		n1 false (test_time = 10.748)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00227809)
	variant    22/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 30)
		n1 false (test_time = 10.6436)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00255108)
	variant    23/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 29)
		n1 false (test_time = 10.4006)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00142097)
	variant    24/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 28)
		n1 false (test_time = 10.2796)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00151014)
	variant    25/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 27)
		n1 false (test_time = 10.344)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00249386)
	variant    26/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 26)
		n1 false (test_time = 10.5945)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00233293)
	variant    27/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 25)
		n1 false (test_time = 10.3738)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00221992)
	variant    28/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 24)
		n1 false (test_time = 10.6116)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0012188)
	variant    29/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 23)
		n1 false (test_time = 10.5979)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00184608)
	variant    30/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 22)
		n1 false (test_time = 10.2316)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00187707)
	variant    31/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 21)
		n1 false (test_time = 10.2923)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00119019)
	variant    32/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 20)
		n1 false (test_time = 10.4682)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00109696)
	variant    33/ 2496 = ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635))  (64 tests, cond 19)
		n1 true (test_time = 10.4654)
		p1 true (test_time = 0.441615)
		p2 true (test_time = 0.430612)
		p3 true (test_time = 0.435859)
		p4 true (test_time = 0.506262)
		p5 true (test_time = 0.4651)
		p6 true (test_time = 0.304902)
		p7 true (test_time = 0.17486)
		p8 true (test_time = 0.243764)
		p9 true (test_time = 0.247836)
		p10 true (test_time = 0.170848)
		p11 true (test_time = 0.203499)
		p12 true (test_time = 0.16857)
		p13 true (test_time = 0.142063)
		p14 true (test_time = 0.141023)
		p15 true (test_time = 0.143105)
		p16 true (test_time = 0.143689)
		p17 true (test_time = 0.142694)
		p18 true (test_time = 0.199269)
		p19 true (test_time = 0.143364)
		p20 true (test_time = 0.25225)
		p21 true (test_time = 0.225207)
		p22 true (test_time = 0.203253)
		p23 true (test_time = 0.139607)
		p24 true (test_time = 0.137758)
		p25 true (test_time = 0.12455)
		p26 true (test_time = 0.210021)
		p27 true (test_time = 0.246105)
		p28 true (test_time = 0.171272)
		p29 true (test_time = 0.182121)
		p30 true (test_time = 0.175709)
		p31 true (test_time = 0.173087)
		p32 true (test_time = 0.174488)
		p33 true (test_time = 0.174152)
		p34 true (test_time = 0.169227)
		p35 true (test_time = 0.174573)
		p36 true (test_time = 0.175596)
		p37 true (test_time = 0.169226)
		p38 true (test_time = 0.171375)
		p39 true (test_time = 0.172483)
		p40 true (test_time = 0.171952)
		p41 true (test_time = 0.167965)
		p42 true (test_time = 0.175583)
		p43 true (test_time = 0.172989)
		p44 true (test_time = 0.164064)
		p45 true (test_time = 0.172555)
		p46 true (test_time = 0.18088)
		p47 true (test_time = 0.181534)
		p48 true (test_time = 0.170287)
		p49 true (test_time = 0.173308)
		p50 true (test_time = 0.182111)
		p51 true (test_time = 0.176362)
		p52 true (test_time = 0.183801)
		p53 true (test_time = 0.170887)
		p54 true (test_time = 0.232837)
		p55 true (test_time = 0.177686)
		p56 true (test_time = 0.173516)
		p57 true (test_time = 0.180613)
		p58 true (test_time = 0.176034)
		p59 true (test_time = 0.180866)
		p60 true (test_time = 0.166371)
		p61 true (test_time = 0.183541)
		p62 true (test_time = 0.177207)
		p63 true (test_time = 0.184423)
search: ww_adaptive: ends (yes repair)

Repair Found: d(2457)
Repair Name: ?(1,d(2421)) ?(2,d(2422)) ?(3,d(2424)) ?(4,d(2426)) ?(5,d(2428)) ?(6,d(2432)) ?(7,d(2438)) ?(8,d(2444)) ?(9,d(2445)) ?(10,d(2448)) ?(11,d(2449)) ?(12,d(2450)) ?(13,d(2451)) ?(14,d(2452)) ?(15,d(2453)) ?(16,d(2454)) ?(17,d(2455)) ?(18,d(2456)) ?(19,d(2457)) ?(20,d(2605)) ?(21,d(2606)) ?(22,d(2607)) ?(23,d(2608)) ?(24,d(2609)) ?(25,d(2610)) ?(26,d(2611)) ?(27,d(2612)) ?(28,d(2613)) ?(29,d(2614)) ?(30,d(2615)) ?(31,d(2616)) ?(32,d(2617)) ?(33,d(2618)) ?(34,d(2619)) ?(35,d(2620)) ?(36,d(2621)) ?(37,d(2622)) ?(38,d(2623)) ?(39,d(2624)) ?(40,d(2625)) ?(41,d(2626)) ?(42,d(2627)) ?(43,d(2628)) ?(44,d(2629)) ?(45,d(2630)) ?(46,d(2631)) ?(47,d(2632)) ?(48,d(2633)) ?(49,d(2634)) ?(50,d(2635)) 
Test Condition: 19
Test Cases Skipped: ""
Current Time: 1368025810.829944
Rep: saving test cache

Variant Test Case Queries: 96
"Test Suite Evaluations": 1.5

Compile Failures: 0
Wall-Clock Seconds Elapsed: 499.045
  Activity Name                     Count Seconds = Percent of Total Time
  find_best_edit                       33   0.099 = 0.0204094%
  sanity_check                          1   0.140 = 0.0288496%
  find_k_best_edits                     1   0.195 = 0.0400305%
  append_sources                      196  18.931 = 3.8896%
  test                                160  48.157 = 9.8947%
  progeq partition                    583  60.357 = 12.4013%
  compile                              34 358.819 = 73.7251%
  TOTAL                                   486.699 = 97.5246% (avg CPU usage)
libtiff-bug-ed4969a-8a184dc.tar.gz
Wed May  8 11:10:11 EDT 2013
shutting down
