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 1
--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 60
--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-01-BA-A7 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Tue May  7 23:32:40 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           E5345  @ 2.33GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp4381ed.c /tmp/tmp9d2333.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/epan/reassemble.c: parsing
cilRep: preprocessed/epan/reassemble.c: parsed (0.44907 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 162 "reassemble.c"
tmp___5 = memcmp((void const   *)(& key1->act_id),
                 (void const   *)(& key2->act_id), sizeof(e_uuid_t ));
Liveness failed on function:
 static gint dcerpc_fragment_equal(gconstpointer k1 , gconstpointer k2 ) 
{ dcerpc_fragment_key const   *key1 ;
  dcerpc_fragment_key const   *key2 ;
  int tmp ;
  int tmp___0 ;
  int tmp___1 ;
  int tmp___2 ;
  int tmp___3 ;
  int tmp___4 ;
  int tmp___5 ;

  {
   344: /* CIL Label */ 
#line 155
  key1 = (dcerpc_fragment_key const   *)k1;
   345: /* CIL Label */ 
#line 156
  key2 = (dcerpc_fragment_key const   *)k2;
   346: /* CIL Label */ 
#line 162
  if (key1->id == key2->id) {
#line 162
    if ((unsigned int const   )key1->src.type == (unsigned int const   )key2->src.type) {
#line 162
      if ((unsigned int const   )key1->src.type == 0U) {
        goto _L___0;
      } else {
#line 162
        if (key1->src.len == key2->src.len) {
#line 162
          tmp___3 = memcmp((void const   *)key1->src.data,
                           (void const   *)key2->src.data,
                           (unsigned int )key1->src.len);
#line 162
          if (tmp___3 == 0) {
            _L___0: /* CIL Label */ 
#line 162
            if ((unsigned int const   )key1->dst.type == (unsigned int const   )key2->dst.type) {
#line 162
              if ((unsigned int const   )key1->dst.type == 0U) {
                goto _L;
              } else {
#line 162
                if (key1->dst.len == key2->dst.len) {
#line 162
                  tmp___4 = memcmp((void const   *)key1->dst.data,
                                   (void const   *)key2->dst.data,
                                   (unsigned int )key1->dst.len);
#line 162
                  if (tmp___4 == 0) {
                    _L: /* CIL Label */ 
#line 162
                    tmp___5 = memcmp((void const   *)(& key1->act_id),
                                     (void const   *)(& key2->act_id),
                                     sizeof(e_uuid_t ));
#line 162
                    if (tmp___5 == 0) {
#line 162
                      tmp___2 = 1;
                    } else {
#line 162
                      tmp___2 = 0;
                    }
                  } else {
#line 162
                    tmp___2 = 0;
                  }
                } else {
#line 162
                  tmp___2 = 0;
                }
              }
            } else {
#line 162
              tmp___2 = 0;
            }
          } else {
#line 162
            tmp___2 = 0;
          }
        } else {
#line 162
          tmp___2 = 0;
        }
      }
    } else {
#line 162
      tmp___2 = 0;
    }
  } else {
#line 162
    tmp___2 = 0;
  }
   347: /* CIL Label */ 
#line 162
  return (tmp___2);
}
}

cilRep: liveness failure for dcerpc_fragment_equal: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 2059
next_tvb = (tvbuff_t *)((void *)0);
Liveness failed on function:
 tvbuff_t *process_reassembled_data(tvbuff_t *tvb , int offset ,
                                    packet_info *pinfo , char const   *name ,
                                    fragment_data *fd_head ,
                                    fragment_items const   *fit ,
                                    gboolean *update_col_infop ,
                                    proto_tree *tree ) 
{ tvbuff_t *next_tvb ;
  gboolean update_col_info ;
  proto_item *frag_tree_item ;
  gboolean tmp ;
  int tmp___0 ;
  gboolean tmp___1 ;
  int tmp___2 ;

  {
   1123: /* CIL Label */ 
#line 2005
  if ((unsigned int )fd_head != (unsigned int )((void *)0)) {
#line 2005
    if ((pinfo->fd)->num == fd_head->reassembled_in) {
#line 2011
      if ((unsigned int )fd_head->next != (unsigned int )((void *)0)) {
#line 2017
        if (fd_head->flags & 256U) {
#line 2018
          next_tvb = tvb_new_real_data((guint8 const   *)fd_head->data,
                                       fd_head->len, (int )fd_head->len);
        } else {
#line 2021
          next_tvb = tvb_new_real_data((guint8 const   *)fd_head->data,
                                       fd_head->datalen, (int )fd_head->datalen);
        }
#line 2030
        tvb_set_child_real_data_tvbuff(tvb, next_tvb);
#line 2033
        add_new_data_source(pinfo, next_tvb, name);
#line 2036
        if (fd_head->flags & 256U) {
#line 2037
          tmp = show_fragment_seq_tree(fd_head, fit, tree, pinfo, next_tvb,
                                       & frag_tree_item);
#line 2037
          if (tmp) {
#line 2037
            tmp___0 = 0;
          } else {
#line 2037
            tmp___0 = 1;
          }
#line 2037
          update_col_info = tmp___0;
        } else {
#line 2040
          tmp___1 = show_fragment_tree(fd_head, fit, tree, pinfo, next_tvb,
                                       & frag_tree_item);
#line 2040
          if (tmp___1) {
#line 2040
            tmp___2 = 0;
          } else {
#line 2040
            tmp___2 = 1;
          }
#line 2040
          update_col_info = tmp___2;
        }
      } else {
#line 2048
        next_tvb = tvb_new_subset_remaining(tvb, offset);
#line 2049
        pinfo->fragmented = 0;
#line 2050
        update_col_info = 1;
      }
#line 2052
      if ((unsigned int )update_col_infop != (unsigned int )((void *)0)) {
#line 2053
        *update_col_infop = update_col_info;
      } else {

      }
    } else {
      goto _L;
    }
  } else {
    _L: /* CIL Label */ 
#line 2059
    next_tvb = (tvbuff_t *)((void *)0);
#line 2067
    if ((unsigned int )fd_head != (unsigned int )((void *)0)) {
#line 2067
      if ((unsigned int )fit->hf_reassembled_in != (unsigned int )((void *)0)) {
#line 2068
        proto_tree_add_uint(tree, *(fit->hf_reassembled_in), tvb, 0, 0,
                            fd_head->reassembled_in);
      } else {

      }
    } else {

    }
  }
   1124: /* CIL Label */ 
#line 2073
  return (next_tvb);
}
}

cilRep: liveness failure for process_reassembled_data: Errormsg.Error
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 1320
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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 302.86)
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 = 1320
cilRep: stmts in weighted_path = 389
cilRep: total weight = 378.2
cilRep: stmts in weighted_path with weight >= 1.0 = 377
cilRep: epan/reassemble.c (code bank/base file; atoms [1,1320])
cilRep: 1 file(s) total in representation
search: ww_adaptive_1 begins (time = 1367984268.093858)
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: 250
cilRep: fix-space quotient by string: 391 -> 257
progeq: computing alias analysis information
progeq: WARNING: cannot resolve call: __builtin_strchr
progeq: WARNING: cannot resolve call: __builtin_expect
progeq: WARNING: cannot resolve call: __builtin_clzl
progeq: WARNING: cannot resolve call: g_atomic_pointer_get
progeq: WARNING: cannot resolve call: g_once_init_enter_impl
progeq: WARNING: cannot resolve call: g_string_insert_c
progeq: WARNING: cannot resolve call: g_slice_alloc
progeq: WARNING: cannot resolve call: g_malloc
progeq: WARNING: cannot resolve call: memcpy
progeq: WARNING: cannot resolve call: g_free
progeq: WARNING: cannot resolve call: g_slice_free1
progeq: WARNING: cannot resolve call: g_slice_alloc0
progeq: WARNING: cannot resolve call: g_hash_table_foreach_remove
progeq: WARNING: cannot resolve call: g_hash_table_new_full
progeq: WARNING: cannot resolve call: g_hash_table_lookup
progeq: WARNING: cannot resolve call: g_hash_table_remove
progeq: WARNING: cannot resolve call: g_hash_table_insert
progeq: WARNING: cannot resolve call: tvb_get_ptr
progeq: WARNING: cannot resolve call: tvb_memcpy
progeq: WARNING: cannot resolve call: g_log
progeq: WARNING: cannot resolve call: tvb_bytes_exist
progeq: WARNING: cannot resolve call: ep_strdup_printf
progeq: WARNING: cannot resolve call: except_throw
progeq: WARNING: cannot resolve call: g_hash_table_lookup_extended
progeq: WARNING: cannot resolve call: tvb_reported_length
progeq: WARNING: cannot resolve call: tvb_length
progeq: WARNING: cannot resolve call: *key_copier
progeq: WARNING: cannot resolve call: tvb_new_real_data
progeq: WARNING: cannot resolve call: tvb_set_child_real_data_tvbuff
progeq: WARNING: cannot resolve call: add_new_data_source
progeq: WARNING: cannot resolve call: proto_tree_add_item
progeq: WARNING: cannot resolve call: proto_item_add_subtree
progeq: WARNING: cannot resolve call: proto_registrar_get_name
progeq: WARNING: cannot resolve call: g_strdup
progeq: WARNING: cannot resolve call: proto_item_set_text
progeq: WARNING: cannot resolve call: proto_item_append_text
progeq: WARNING: cannot resolve call: proto_tree_add_uint_format
progeq: WARNING: cannot resolve call: proto_tree_add_boolean
progeq: WARNING: cannot resolve call: proto_tree_add_uint
progeq: WARNING: cannot resolve call: check_col
progeq: WARNING: cannot resolve call: col_add_fstr
progeq: WARNING: cannot resolve call: tvb_new_subset_remaining
search: fix space reduced (time_taken = 18.3085)
search: ww_adaptive: 389 deletes
search: ww_adaptive: 6274 appends
search: ww_adaptive: 6663 possible edits
search: ready to start (time_taken = 85.2204)
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.438632)
search: ww_adaptive: found best (time_taken = 0.00235605)
	variant     1/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 1)
		n1 false (test_time = 19.9021)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00392199)
	variant     2/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 50)
		n1 false (test_time = 20.5611)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00799704)
	variant     3/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 49)
		n1 false (test_time = 19.4027)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00745416)
	variant     4/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 48)
		n1 false (test_time = 19.9027)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00869393)
	variant     5/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 47)
		n1 false (test_time = 20.1841)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00419998)
	variant     6/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 46)
		n1 false (test_time = 20.1126)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00365806)
	variant     7/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 45)
		n1 false (test_time = 19.0444)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00316191)
	variant     8/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 44)
		n1 false (test_time = 20.5644)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00439596)
	variant     9/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 43)
		n1 false (test_time = 20.1714)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00451398)
	variant    10/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 42)
		n1 false (test_time = 20.1661)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00413799)
	variant    11/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 41)
		n1 false (test_time = 19.2498)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00390983)
	variant    12/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 40)
		n1 false (test_time = 19.7594)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00392008)
	variant    13/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 39)
		n1 false (test_time = 19.1559)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00838685)
	variant    14/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 38)
		n1 false (test_time = 20.3032)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00618601)
	variant    15/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 37)
		n1 false (test_time = 19.3063)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00486803)
	variant    16/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 36)
		n1 false (test_time = 20.082)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00372791)
	variant    17/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 35)
		n1 false (test_time = 19.3263)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00238991)
	variant    18/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 34)
		n1 false (test_time = 19.6001)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00267696)
	variant    19/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 33)
		n1 false (test_time = 19.5132)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00295496)
	variant    20/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 32)
		n1 false (test_time = 19.5185)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00254989)
	variant    21/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 31)
		n1 false (test_time = 19.2578)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00282216)
	variant    22/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 30)
		n1 false (test_time = 20.0273)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00157285)
	variant    23/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 29)
		n1 false (test_time = 20.2345)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00275588)
	variant    24/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 28)
		n1 false (test_time = 19.2014)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00225687)
	variant    25/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 27)
		n1 false (test_time = 19.8708)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00314093)
	variant    26/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 26)
		n1 false (test_time = 19.4328)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00524497)
	variant    27/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 25)
		n1 false (test_time = 20.151)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00386286)
	variant    28/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 24)
		n1 false (test_time = 18.9691)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00105882)
	variant    29/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 23)
		n1 false (test_time = 20.1334)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00601912)
	variant    30/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 22)
		n1 false (test_time = 19.1858)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00298595)
	variant    31/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 21)
		n1 false (test_time = 19.8458)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00228906)
	variant    32/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 20)
		n1 false (test_time = 18.5968)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00188112)
	variant    33/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 19)
		n1 false (test_time = 20.1657)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00160003)
	variant    34/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 18)
		n1 false (test_time = 19.2741)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00210714)
	variant    35/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 17)
		n1 false (test_time = 20.3801)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00216603)
	variant    36/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 16)
		n1 false (test_time = 20.1518)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.002316)
	variant    37/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 15)
		n1 false (test_time = 19.5033)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00209904)
	variant    38/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 14)
		n1 false (test_time = 19.977)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00166512)
	variant    39/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 13)
		n1 false (test_time = 19.1294)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00180602)
	variant    40/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 12)
		n1 false (test_time = 20.0239)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00533485)
	variant    41/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 11)
		n1 false (test_time = 20.0744)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00336194)
	variant    42/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 10)
		n1 false (test_time = 19.9023)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.000427008)
	variant    43/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 9)
		n1 false (test_time = 20.5163)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.000311852)
	variant    44/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 8)
		n1 false (test_time = 18.6767)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.000283957)
	variant    45/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 7)
		n1 false (test_time = 19.9222)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.000219107)
	variant    46/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 6)
		n1 false (test_time = 18.4651)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.000239849)
	variant    47/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 5)
		n1 false (test_time = 258.673)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.000128031)
	variant    48/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 4)
		n1 false (test_time = 21.4492)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 7.10487e-05)
	variant    49/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 3)
		n1 false (test_time = 21.3631)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 5.96046e-06)
	variant    50/ 6663 = ?(1,d(251)) ?(2,d(252)) ?(3,d(253)) ?(4,d(254)) ?(5,d(255)) ?(6,d(256)) ?(7,d(257)) ?(8,d(258)) ?(9,d(259)) ?(10,d(260)) ?(11,d(261)) ?(12,d(262)) ?(13,d(263)) ?(14,d(264)) ?(15,d(265)) ?(16,d(266)) ?(17,d(267)) ?(18,d(268)) ?(19,d(269)) ?(20,d(270)) ?(21,d(271)) ?(22,d(272)) ?(23,d(273)) ?(24,d(274)) ?(25,d(275)) ?(26,d(276)) ?(27,d(277)) ?(28,d(278)) ?(29,d(279)) ?(30,d(280)) ?(31,d(281)) ?(32,d(282)) ?(33,d(283)) ?(34,d(284)) ?(35,d(285)) ?(36,d(286)) ?(37,d(287)) ?(38,d(288)) ?(39,d(289)) ?(40,d(290)) ?(41,d(291)) ?(42,d(292)) ?(43,d(293)) ?(44,d(294)) ?(45,d(295)) ?(46,d(297)) ?(47,d(299)) ?(48,d(300)) ?(49,d(302)) ?(50,d(303))  (61 tests, cond 2)
		n1 false (test_time = 20.9499)
search: ww_adaptive: finding best
	from new super-mutant
search: ww_adaptive: finding 50 best for super-mutant
search: ww_adaptive: found 50 best (time_taken = 0.427503)
search: ww_adaptive: found best (time_taken = 0.00319099)
	variant    51/ 6663 = ?(1,d(305)) ?(2,d(307)) ?(3,d(308)) ?(4,d(310)) ?(5,d(311)) ?(6,d(313)) ?(7,d(315)) ?(8,d(316)) ?(9,d(317)) ?(10,d(318)) ?(11,d(319)) ?(12,d(320)) ?(13,d(321)) ?(14,d(322)) ?(15,d(323)) ?(16,d(325)) ?(17,d(326)) ?(18,d(328)) ?(19,d(329)) ?(20,d(331)) ?(21,d(332)) ?(22,d(334)) ?(23,d(336)) ?(24,d(337)) ?(25,d(339)) ?(26,d(340)) ?(27,d(342)) ?(28,d(343)) ?(29,d(344)) ?(30,d(345)) ?(31,d(346)) ?(32,d(347)) ?(33,d(348)) ?(34,d(349)) ?(35,d(350)) ?(36,d(351)) ?(37,d(352)) ?(38,d(353)) ?(39,d(354)) ?(40,d(358)) ?(41,d(359)) ?(42,d(360)) ?(43,d(361)) ?(44,d(362)) ?(45,d(363)) ?(46,d(364)) ?(47,d(365)) ?(48,d(366)) ?(49,d(368)) ?(50,d(369))  (61 tests, cond 1)
		n1 false (test_time = 21.3532)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00478697)
	variant    52/ 6663 = ?(1,d(305)) ?(2,d(307)) ?(3,d(308)) ?(4,d(310)) ?(5,d(311)) ?(6,d(313)) ?(7,d(315)) ?(8,d(316)) ?(9,d(317)) ?(10,d(318)) ?(11,d(319)) ?(12,d(320)) ?(13,d(321)) ?(14,d(322)) ?(15,d(323)) ?(16,d(325)) ?(17,d(326)) ?(18,d(328)) ?(19,d(329)) ?(20,d(331)) ?(21,d(332)) ?(22,d(334)) ?(23,d(336)) ?(24,d(337)) ?(25,d(339)) ?(26,d(340)) ?(27,d(342)) ?(28,d(343)) ?(29,d(344)) ?(30,d(345)) ?(31,d(346)) ?(32,d(347)) ?(33,d(348)) ?(34,d(349)) ?(35,d(350)) ?(36,d(351)) ?(37,d(352)) ?(38,d(353)) ?(39,d(354)) ?(40,d(358)) ?(41,d(359)) ?(42,d(360)) ?(43,d(361)) ?(44,d(362)) ?(45,d(363)) ?(46,d(364)) ?(47,d(365)) ?(48,d(366)) ?(49,d(368)) ?(50,d(369))  (61 tests, cond 50)
		n1 false (test_time = 21.2895)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00455594)
	variant    53/ 6663 = ?(1,d(305)) ?(2,d(307)) ?(3,d(308)) ?(4,d(310)) ?(5,d(311)) ?(6,d(313)) ?(7,d(315)) ?(8,d(316)) ?(9,d(317)) ?(10,d(318)) ?(11,d(319)) ?(12,d(320)) ?(13,d(321)) ?(14,d(322)) ?(15,d(323)) ?(16,d(325)) ?(17,d(326)) ?(18,d(328)) ?(19,d(329)) ?(20,d(331)) ?(21,d(332)) ?(22,d(334)) ?(23,d(336)) ?(24,d(337)) ?(25,d(339)) ?(26,d(340)) ?(27,d(342)) ?(28,d(343)) ?(29,d(344)) ?(30,d(345)) ?(31,d(346)) ?(32,d(347)) ?(33,d(348)) ?(34,d(349)) ?(35,d(350)) ?(36,d(351)) ?(37,d(352)) ?(38,d(353)) ?(39,d(354)) ?(40,d(358)) ?(41,d(359)) ?(42,d(360)) ?(43,d(361)) ?(44,d(362)) ?(45,d(363)) ?(46,d(364)) ?(47,d(365)) ?(48,d(366)) ?(49,d(368)) ?(50,d(369))  (61 tests, cond 49)
		n1 true (test_time = 20.5907)
		p1 true (test_time = 0.558217)
		p2 true (test_time = 0.246759)
		p3 true (test_time = 0.252091)
		p4 true (test_time = 0.249442)
		p5 true (test_time = 0.310514)
		p6 true (test_time = 0.247475)
		p7 true (test_time = 0.311076)
		p8 true (test_time = 0.251818)
		p9 true (test_time = 0.250701)
		p10 true (test_time = 0.248591)
		p11 true (test_time = 0.310079)
		p12 true (test_time = 0.251575)
		p13 true (test_time = 0.252451)
		p14 true (test_time = 0.250855)
		p15 true (test_time = 0.259027)
		p16 true (test_time = 0.316852)
		p17 true (test_time = 0.248557)
		p18 true (test_time = 0.250773)
		p19 true (test_time = 0.252459)
		p20 true (test_time = 0.248353)
		p21 true (test_time = 0.309888)
		p22 true (test_time = 0.25616)
		p23 true (test_time = 0.254495)
		p24 true (test_time = 0.257728)
		p25 true (test_time = 0.249935)
		p26 true (test_time = 0.310363)
		p27 true (test_time = 0.246203)
		p28 true (test_time = 0.245164)
		p29 true (test_time = 0.245935)
		p30 true (test_time = 0.30384)
		p31 true (test_time = 0.241093)
		p32 true (test_time = 0.253478)
		p33 true (test_time = 0.248926)
		p34 true (test_time = 0.3135)
		p35 true (test_time = 0.25308)
		p36 true (test_time = 0.255113)
		p37 true (test_time = 0.314974)
		p38 true (test_time = 0.251401)
		p39 true (test_time = 0.352773)
		p40 true (test_time = 0.253145)
		p41 true (test_time = 0.311786)
		p42 true (test_time = 0.347852)
		p43 true (test_time = 0.412139)
		p44 true (test_time = 0.269676)
		p45 true (test_time = 0.25715)
		p46 true (test_time = 0.473144)
		p47 true (test_time = 0.254734)
		p48 true (test_time = 0.0551219)
		p49 true (test_time = 0.336934)
		p50 true (test_time = 0.329851)
		p51 true (test_time = 34.4899)
		p52 true (test_time = 33.7424)
		p53 true (test_time = 33.667)
		p54 true (test_time = 33.7072)
		p55 true (test_time = 1.19955)
		p56 true (test_time = 1.5018)
		p57 true (test_time = 60.0917)
		p58 true (test_time = 60.8316)
		p59 true (test_time = 0.152964)
		p60 true (test_time = 0.153557)
search: ww_adaptive: ends (yes repair)

Repair Found: d(368)
Repair Name: ?(1,d(305)) ?(2,d(307)) ?(3,d(308)) ?(4,d(310)) ?(5,d(311)) ?(6,d(313)) ?(7,d(315)) ?(8,d(316)) ?(9,d(317)) ?(10,d(318)) ?(11,d(319)) ?(12,d(320)) ?(13,d(321)) ?(14,d(322)) ?(15,d(323)) ?(16,d(325)) ?(17,d(326)) ?(18,d(328)) ?(19,d(329)) ?(20,d(331)) ?(21,d(332)) ?(22,d(334)) ?(23,d(336)) ?(24,d(337)) ?(25,d(339)) ?(26,d(340)) ?(27,d(342)) ?(28,d(343)) ?(29,d(344)) ?(30,d(345)) ?(31,d(346)) ?(32,d(347)) ?(33,d(348)) ?(34,d(349)) ?(35,d(350)) ?(36,d(351)) ?(37,d(352)) ?(38,d(353)) ?(39,d(354)) ?(40,d(358)) ?(41,d(359)) ?(42,d(360)) ?(43,d(361)) ?(44,d(362)) ?(45,d(363)) ?(46,d(364)) ?(47,d(365)) ?(48,d(366)) ?(49,d(368)) ?(50,d(369)) 
Test Condition: 49
Test Cases Skipped: ""
Current Time: 1367985940.766374
Rep: saving test cache

Variant Test Case Queries: 113
"Test Suite Evaluations": 1.85246

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1980.69
  Activity Name                     Count Seconds = Percent of Total Time
  find_k_best_edits                     2   0.866 = 0.0440452%
  progeq partition                    257  11.498 = 0.584732%
  append_sources                      389  85.212 = 4.33334%
  test                                174 822.689 = 41.8367%
  compile                              54 1045.899 = 53.1878%
  TOTAL                                   1966.428 = 99.2796% (avg CPU usage)
wireshark-bug-37112-37111.tar.gz
Wed May  8 00:05:42 EDT 2013
shutting down
