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.--allow-coverage-fail true
--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
--exclude-edits ""
--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 true
--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 302
--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
--select-parents-separately false
--selection "tournament"
--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__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq true
--valgrind false
--variants-exchanged 50
uname -a: Linux domU-12-31-39-0F-A6-6E 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Mon Dec 16 09:20:50 EST 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/tmpa4d258.c /tmp/tmp8f89e0.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/Modules/signalmodule.c: parsing
cilRep: preprocessed/Modules/signalmodule.c: parsed (0.474932 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: __Cont: /* CIL Label */ 
#line 580 "./Modules/signalmodule.c"
sig ++;
Liveness failed on function:
 static PyObject *signal_pthread_sigmask(PyObject *self , PyObject *args ) 
{ int how ;
  int sig ;
  PyObject *signals ;
  PyObject *result ;
  PyObject *signum ;
  sigset_t mask ;
  sigset_t previous ;
  int err ;
  int tmp ;
  int tmp___0 ;
  int *tmp___1 ;
  int tmp___2 ;
  int tmp___3 ;

  {
   647: /* CIL Label */ 
#line 563
  tmp = PyArg_ParseTuple(args, "iO:pthread_sigmask", & how, & signals);
   648: /* CIL Label */ 
#line 563
  if (tmp) {

  } else {
#line 564
    return ((PyObject *)((void *)0));
  }
   649: /* CIL Label */ 
#line 566
  tmp___0 = iterable_to_sigset(signals, & mask);
   650: /* CIL Label */ 
#line 566
  if (tmp___0) {
#line 567
    return ((PyObject *)((void *)0));
  } else {

  }
   651: /* CIL Label */ 
#line 569
  err = pthread_sigmask(how, (__sigset_t const   */* __restrict  */)(& mask),
                        (__sigset_t */* __restrict  */)(& previous));
   652: /* CIL Label */ 
#line 570
  if (err != 0) {
#line 571
    tmp___1 = __errno_location();
#line 571
    *tmp___1 = err;
#line 572
    PyErr_SetFromErrno(PyExc_RuntimeError);
#line 573
    return ((PyObject *)((void *)0));
  } else {

  }
   653: /* CIL Label */ 
#line 576
  result = PyList_New(0);
   654: /* CIL Label */ 
#line 577
  if ((unsigned int )result == (unsigned int )((void *)0)) {
#line 578
    return ((PyObject *)((void *)0));
  } else {

  }
   655: /* CIL Label */ 
#line 580
  sig = 1;
   656: /* CIL Label */ 
#line 580
  while (sig < 65) {
#line 581
    tmp___2 = sigismember((sigset_t const   *)(& previous), sig);
#line 581
    if (tmp___2 != 1) {
      goto __Cont;
    } else {

    }
#line 589
    signum = PyLong_FromLong((long )sig);
#line 590
    if ((unsigned int )signum == (unsigned int )((void *)0)) {
#line 591
      while (1) {
#line 591
        (result->ob_refcnt) --;
#line 591
        if (result->ob_refcnt != 0) {

        } else {
#line 591
          (*((result->ob_type)->tp_dealloc))(result);
        }
#line 591
        break;
      }
#line 592
      return ((PyObject *)((void *)0));
    } else {

    }
#line 594
    tmp___3 = PyList_Append(result, signum);
#line 594
    if (tmp___3 == -1) {
#line 595
      while (1) {
#line 595
        (signum->ob_refcnt) --;
#line 595
        if (signum->ob_refcnt != 0) {

        } else {
#line 595
          (*((signum->ob_type)->tp_dealloc))(signum);
        }
#line 595
        break;
      }
#line 596
      while (1) {
#line 596
        (result->ob_refcnt) --;
#line 596
        if (result->ob_refcnt != 0) {

        } else {
#line 596
          (*((result->ob_type)->tp_dealloc))(result);
        }
#line 596
        break;
      }
#line 597
      return ((PyObject *)((void *)0));
    } else {

    }
#line 599
    while (1) {
#line 599
      (signum->ob_refcnt) --;
#line 599
      if (signum->ob_refcnt != 0) {

      } else {
#line 599
        (*((signum->ob_type)->tp_dealloc))(signum);
      }
#line 599
      break;
    }
    __Cont: /* CIL Label */ 
#line 580
    sig ++;
  }
   657: /* CIL Label */ 
#line 601
  return (result);
}
}

cilRep: liveness failure for signal_pthread_sigmask: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/Modules/timemodule.c: parsing
cilRep: preprocessed/Modules/timemodule.c: parsed (0.456491 MB)
cilRep: computing liveness
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 1998
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)
	p64: true (1)
	p65: true (1)
	p66: true (1)
	p67: true (1)
	p68: true (1)
	p69: true (1)
	p70: true (1)
	p71: true (1)
	p72: true (1)
	p73: true (1)
	p74: true (1)
	p75: true (1)
	p76: true (1)
	p77: true (1)
	p78: true (1)
	p79: true (1)
	p80: true (1)
	p81: true (1)
	p82: true (1)
	p83: true (1)
	p84: true (1)
	p85: true (1)
	p86: true (1)
	p87: true (1)
	p88: true (1)
	p89: true (1)
	p90: true (1)
	p91: true (1)
	p92: true (1)
	p93: true (1)
	p94: true (1)
	p95: true (1)
	p96: true (1)
	p97: true (1)
	p98: true (1)
	p99: true (1)
	p100: true (1)
	p101: true (1)
	p102: true (1)
	p103: true (1)
	p104: true (1)
	p105: true (1)
	p106: true (1)
	p107: true (1)
	p108: true (1)
	p109: true (1)
	p110: true (1)
	p111: true (1)
	p112: true (1)
	p113: true (1)
	p114: true (1)
	p115: true (1)
	p116: true (1)
	p117: true (1)
	p118: true (1)
	p119: true (1)
	p120: true (1)
	p121: true (1)
	p122: true (1)
	p123: true (1)
	p124: true (1)
	p125: true (1)
	p126: true (1)
	p127: true (1)
	p128: true (1)
	p129: true (1)
	p130: true (1)
	p131: true (1)
	p132: true (1)
	p133: true (1)
	p134: true (1)
	p135: true (1)
	p136: true (1)
	p137: true (1)
	p138: true (1)
	p139: true (1)
	p140: true (1)
	p141: true (1)
	p142: true (1)
	p143: true (1)
	p144: true (1)
	p145: true (1)
	p146: true (1)
	p147: true (1)
	p148: true (1)
	p149: true (1)
	p150: true (1)
	p151: true (1)
	p152: true (1)
	p153: true (1)
	p154: true (1)
	p155: true (1)
	p156: true (1)
	p157: true (1)
	p158: true (1)
	p159: true (1)
	p160: true (1)
	p161: true (1)
	p162: true (1)
	p163: true (1)
	p164: true (1)
	p165: true (1)
	p166: true (1)
	p167: true (1)
	p168: true (1)
	p169: true (1)
	p170: true (1)
	p171: true (1)
	p172: true (1)
	p173: true (1)
	p174: true (1)
	p175: true (1)
	p176: true (1)
	p177: true (1)
	p178: true (1)
	p179: true (1)
	p180: true (1)
	p181: true (1)
	p182: true (1)
	p183: true (1)
	p184: true (1)
	p185: true (1)
	p186: true (1)
	p187: true (1)
	p188: true (1)
	p189: true (1)
	p190: true (1)
	p191: true (1)
	p192: true (1)
	p193: true (1)
	p194: true (1)
	p195: true (1)
	p196: true (1)
	p197: true (1)
	p198: true (1)
	p199: true (1)
	p200: true (1)
	p201: true (1)
	p202: true (1)
	p203: true (1)
	p204: true (1)
	p205: true (1)
	p206: true (1)
	p207: true (1)
	p208: true (1)
	p209: true (1)
	p210: true (1)
	p211: true (1)
	p212: true (1)
	p213: true (1)
	p214: true (1)
	p215: true (1)
	p216: true (1)
	p217: true (1)
	p218: true (1)
	p219: true (1)
	p220: true (1)
	p221: true (1)
	p222: true (1)
	p223: true (1)
	p224: true (1)
	p225: true (1)
	p226: true (1)
	p227: true (1)
	p228: true (1)
	p229: true (1)
	p230: true (1)
	p231: true (1)
	p232: true (1)
	p233: true (1)
	p234: true (1)
	p235: true (1)
	p236: true (1)
	p237: true (1)
	p238: true (1)
	p239: true (1)
	p240: true (1)
	p241: true (1)
	p242: true (1)
	p243: true (1)
	p244: true (1)
	p245: true (1)
	p246: true (1)
	p247: true (1)
	p248: true (1)
	p249: true (1)
	p250: true (1)
	p251: true (1)
	p252: true (1)
	p253: true (1)
	p254: true (1)
	p255: true (1)
	p256: true (1)
	p257: true (1)
	p258: true (1)
	p259: true (1)
	p260: true (1)
	p261: true (1)
	p262: true (1)
	p263: true (1)
	p264: true (1)
	p265: true (1)
	p266: true (1)
	p267: true (1)
	p268: true (1)
	p269: true (1)
	p270: true (1)
	p271: true (1)
	p272: true (1)
	p273: true (1)
	p274: true (1)
	p275: true (1)
	p276: true (1)
	p277: true (1)
	p278: true (1)
	p279: true (1)
	p280: true (1)
	p281: true (1)
	p282: true (1)
	p283: true (1)
	p284: true (1)
	p285: true (1)
	p286: true (1)
	p287: true (1)
	p288: true (1)
	p289: true (1)
	p290: true (1)
	p291: true (1)
	p292: true (1)
	p293: true (1)
	p294: true (1)
	p295: true (1)
	p296: true (1)
	p297: true (1)
	p298: true (1)
	p299: true (1)
	p300: true (1)
	p301: true (1)
	p302: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 328.844)
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 = 1998
cilRep: stmts in weighted_path = 761
cilRep: total weight = 146.3
cilRep: stmts in weighted_path with weight >= 1.0 = 78
cilRep: Modules/signalmodule.c (code bank/base file; atoms [1,1240])
cilRep: Modules/timemodule.c (code bank/base file; atoms [1241,1998])
cilRep: 2 file(s) total in representation
search: ww_adaptive_1 begins (time = 1387203996.564923)
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: 701
cilRep: fix-space quotient by string: 857 -> 460
progeq: WARNING: cannot resolve call: *((x->ob_type)->tp_dealloc)
progeq: computing alias analysis information
progeq: WARNING: cannot resolve call: __builtin_expect
progeq: WARNING: cannot resolve call: __uflow
progeq: WARNING: cannot resolve call: __overflow
progeq: WARNING: cannot resolve call: __getdelim
progeq: WARNING: cannot resolve call: __builtin_strchr
progeq: WARNING: cannot resolve call: __strtoll_internal
progeq: WARNING: cannot resolve call: __strtoull_internal
progeq: WARNING: cannot resolve call: __wcstoll_internal
progeq: WARNING: cannot resolve call: __wcstoull_internal
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: __xstat
progeq: WARNING: cannot resolve call: __lxstat
progeq: WARNING: cannot resolve call: __fxstat
progeq: WARNING: cannot resolve call: __fxstatat
progeq: WARNING: cannot resolve call: __xmknod
progeq: WARNING: cannot resolve call: __xmknodat
progeq: WARNING: cannot resolve call: __xstat64
progeq: WARNING: cannot resolve call: __lxstat64
progeq: WARNING: cannot resolve call: __fxstat64
progeq: WARNING: cannot resolve call: __fxstatat64
progeq: WARNING: cannot resolve call: __ctype_tolower_loc
progeq: WARNING: cannot resolve call: __ctype_toupper_loc
progeq: WARNING: cannot resolve call: __btowc_alias
progeq: WARNING: cannot resolve call: __wctob_alias
progeq: WARNING: cannot resolve call: mbrtowc
progeq: WARNING: cannot resolve call: __mbrlen
progeq: WARNING: cannot resolve call: PyTuple_New
progeq: WARNING: cannot resolve call: PyFloat_FromDouble
progeq: WARNING: cannot resolve call: *((r->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyErr_SetNone
progeq: WARNING: cannot resolve call: PyThread_get_thread_ident
progeq: WARNING: cannot resolve call: PyEval_GetFrame
progeq: WARNING: cannot resolve call: Py_BuildValue
progeq: WARNING: cannot resolve call: PyEval_CallObjectWithKeywords
progeq: WARNING: cannot resolve call: *((arglist->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((result->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: Py_AddPendingCall
progeq: WARNING: cannot resolve call: write
progeq: WARNING: cannot resolve call: __errno_location
progeq: WARNING: cannot resolve call: getpid
progeq: WARNING: cannot resolve call: PyArg_ParseTuple
progeq: WARNING: cannot resolve call: alarm
progeq: WARNING: cannot resolve call: PyLong_FromLong
progeq: WARNING: cannot resolve call: PyEval_SaveThread
progeq: WARNING: cannot resolve call: pause
progeq: WARNING: cannot resolve call: PyEval_RestoreThread
progeq: WARNING: cannot resolve call: PyErr_SetString
progeq: WARNING: cannot resolve call: PyCallable_Check
progeq: WARNING: cannot resolve call: PyOS_setsig
progeq: WARNING: cannot resolve call: PyErr_SetFromErrno
progeq: WARNING: cannot resolve call: siginterrupt
progeq: WARNING: cannot resolve call: setitimer
progeq: WARNING: cannot resolve call: getitimer
progeq: WARNING: cannot resolve call: sigemptyset
progeq: WARNING: cannot resolve call: PyObject_GetIter
progeq: WARNING: cannot resolve call: PyIter_Next
progeq: WARNING: cannot resolve call: PyErr_Occurred
progeq: WARNING: cannot resolve call: PyLong_AsLong
progeq: WARNING: cannot resolve call: *((item->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: sigaddset
progeq: WARNING: cannot resolve call: PyErr_Format
progeq: WARNING: cannot resolve call: *((iterator->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: pthread_sigmask
progeq: WARNING: cannot resolve call: PyList_New
progeq: WARNING: cannot resolve call: sigismember
progeq: WARNING: cannot resolve call: PyList_Append
progeq: WARNING: cannot resolve call: *((signum->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyModule_Create2
progeq: WARNING: cannot resolve call: PyModule_GetDict
progeq: WARNING: cannot resolve call: PyLong_FromVoidPtr
progeq: WARNING: cannot resolve call: PyDict_SetItemString
progeq: WARNING: cannot resolve call: PyModule_AddIntConstant
progeq: WARNING: cannot resolve call: PyDict_GetItemString
progeq: WARNING: cannot resolve call: PyOS_getsig
progeq: WARNING: cannot resolve call: *(((Handlers[2].func)->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: __libc_current_sigrtmin
progeq: WARNING: cannot resolve call: __libc_current_sigrtmax
progeq: WARNING: cannot resolve call: PyErr_NewException
progeq: WARNING: cannot resolve call: *((m->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((func->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((IntHandler->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((DefaultHandler->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((IgnoreHandler->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: _PyImport_FixupBuiltin
progeq: WARNING: cannot resolve call: _PyGILState_Reinit
progeq: WARNING: cannot resolve call: PyEval_ReInitThreads
progeq: WARNING: cannot resolve call: _PyImport_ReInitLock
progeq: WARNING: cannot resolve call: PyThread_ReInitTLS
progeq: WARNING: cannot resolve call: _PyTime_gettimeofday
progeq: WARNING: cannot resolve call: select
progeq: WARNING: cannot resolve call: PyStructSequence_New
progeq: WARNING: cannot resolve call: *((v->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: _PyTime_DoubleToTimet
progeq: WARNING: cannot resolve call: *function
progeq: WARNING: cannot resolve call: PyFloat_AsDouble
progeq: WARNING: cannot resolve call: memset
progeq: WARNING: cannot resolve call: PyObject_IsTrue
progeq: WARNING: cannot resolve call: PyErr_WarnEx
progeq: WARNING: cannot resolve call: PyUnicodeUCS2_AsWideCharString
progeq: WARNING: cannot resolve call: PyMem_Malloc
progeq: WARNING: cannot resolve call: PyErr_NoMemory
progeq: WARNING: cannot resolve call: PyUnicodeUCS2_FromWideChar
progeq: WARNING: cannot resolve call: PyMem_Free
progeq: WARNING: cannot resolve call: PyImport_ImportModuleNoBlock
progeq: WARNING: cannot resolve call: PyObject_CallMethod
progeq: WARNING: cannot resolve call: *((strptime_module->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyUnicodeUCS2_FromFormat
progeq: WARNING: cannot resolve call: PyArg_UnpackTuple
progeq: WARNING: cannot resolve call: tzset
progeq: WARNING: cannot resolve call: __builtin_strncpy
progeq: WARNING: cannot resolve call: PyModule_AddObject
progeq: WARNING: cannot resolve call: PyStructSequence_InitType
search: fix space reduced (time_taken = 51.1625)
excluded 0 deletes (from list of 0 total edits)
search: ww_adaptive: 759 deletes
excluded 0 appends (from list of 0 total edits)
search: ww_adaptive: 63489 appends
search: ww_adaptive: 64248 possible edits
search: ready to start (time_taken = 510.517)
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 = 1.1808)
search: ww_adaptive: found best (time_taken = 0.0128329)
	variant     1/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 1)
		n1 false (test_time = 4.99297)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0152109)
	variant     2/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 50)
		n1 false (test_time = 4.63229)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0123901)
	variant     3/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 49)
		n1 false (test_time = 4.66083)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.014204)
	variant     4/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 48)
		n1 false (test_time = 5.44065)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0132172)
	variant     5/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 47)
		n1 false (test_time = 5.36491)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.01213)
	variant     6/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 46)
		n1 false (test_time = 4.63109)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.013314)
	variant     7/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 45)
		n1 false (test_time = 4.67821)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0130689)
	variant     8/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 44)
		n1 false (test_time = 4.68059)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0111029)
	variant     9/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 43)
		n1 false (test_time = 6.12671)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0118589)
	variant    10/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 42)
		n1 false (test_time = 4.6844)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0111098)
	variant    11/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 41)
		n1 false (test_time = 4.69395)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0101211)
	variant    12/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 40)
		n1 false (test_time = 4.6812)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.01475)
	variant    13/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 39)
		n1 false (test_time = 4.69959)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.010324)
	variant    14/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 38)
		n1 false (test_time = 4.73296)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.012291)
	variant    15/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 37)
		n1 false (test_time = 4.6821)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00936604)
	variant    16/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 36)
		n1 false (test_time = 4.6844)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.010839)
	variant    17/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 35)
		n1 false (test_time = 4.69675)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.01196)
	variant    18/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 34)
		n1 false (test_time = 4.64303)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.011117)
	variant    19/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 33)
		n1 false (test_time = 4.64599)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00918913)
	variant    20/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 32)
		n1 false (test_time = 4.64849)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00775599)
	variant    21/64248 = ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764))  (303 tests, cond 31)
		n1 true (test_time = 4.63701)
		p1 true (test_time = 0.224888)
		p2 true (test_time = 0.213587)
		p3 true (test_time = 0.458277)
		p4 true (test_time = 0.254663)
		p5 true (test_time = 0.229855)
		p6 true (test_time = 0.225899)
		p7 true (test_time = 0.754433)
		p8 true (test_time = 0.238132)
		p9 true (test_time = 0.796493)
		p10 true (test_time = 0.209791)
		p11 true (test_time = 0.244012)
		p12 true (test_time = 0.208173)
		p13 true (test_time = 0.213761)
		p14 true (test_time = 2.85688)
		p15 true (test_time = 0.540758)
		p16 true (test_time = 0.231498)
		p17 true (test_time = 1.37632)
		p18 true (test_time = 1.27996)
		p19 true (test_time = 0.207646)
		p20 true (test_time = 0.209612)
		p21 true (test_time = 0.209136)
		p22 true (test_time = 0.553675)
		p23 true (test_time = 0.211594)
		p24 true (test_time = 0.264201)
		p25 true (test_time = 0.229017)
		p26 true (test_time = 0.209184)
		p27 true (test_time = 0.219685)
		p28 true (test_time = 0.303872)
		p29 true (test_time = 0.213843)
		p30 true (test_time = 1.42009)
		p31 true (test_time = 2.76801)
		p32 true (test_time = 8.09286)
		p33 true (test_time = 0.295416)
		p34 true (test_time = 0.213166)
		p35 true (test_time = 3.74154)
		p36 true (test_time = 0.278364)
		p37 true (test_time = 0.211206)
		p38 true (test_time = 0.218636)
		p39 true (test_time = 0.284892)
		p40 true (test_time = 0.238763)
		p41 true (test_time = 2.31056)
		p42 true (test_time = 1.62291)
		p43 true (test_time = 0.236288)
		p44 true (test_time = 0.233073)
		p45 true (test_time = 0.578183)
		p46 true (test_time = 0.28597)
		p47 true (test_time = 0.857002)
		p48 true (test_time = 0.461791)
		p49 true (test_time = 0.341362)
		p50 true (test_time = 0.411491)
		p51 true (test_time = 0.222537)
		p52 true (test_time = 0.210691)
		p53 true (test_time = 0.705693)
		p54 true (test_time = 0.218598)
		p55 true (test_time = 0.205301)
		p56 true (test_time = 0.316959)
		p57 true (test_time = 2.51341)
		p58 true (test_time = 0.232024)
		p59 true (test_time = 44.2868)
		p60 true (test_time = 0.911791)
		p61 true (test_time = 0.213897)
		p62 true (test_time = 0.223474)
		p63 true (test_time = 0.220754)
		p64 true (test_time = 0.224236)
		p65 true (test_time = 0.218707)
		p66 true (test_time = 0.304946)
		p67 true (test_time = 0.264524)
		p68 true (test_time = 0.641755)
		p69 true (test_time = 0.411366)
		p70 true (test_time = 0.345224)
		p71 true (test_time = 0.278861)
		p72 true (test_time = 0.517728)
		p73 true (test_time = 0.224683)
		p74 true (test_time = 0.206418)
		p75 true (test_time = 0.987858)
		p76 true (test_time = 1.22563)
		p77 true (test_time = 0.26446)
		p78 true (test_time = 0.229951)
		p79 true (test_time = 0.21116)
		p80 true (test_time = 1.39229)
		p81 true (test_time = 0.238292)
		p82 true (test_time = 2.44567)
		p83 true (test_time = 0.93248)
		p84 true (test_time = 0.214742)
		p85 true (test_time = 0.216305)
		p86 true (test_time = 0.213823)
		p87 true (test_time = 0.925955)
		p88 true (test_time = 0.27152)
		p89 true (test_time = 0.211421)
		p90 true (test_time = 2.31268)
		p91 true (test_time = 0.208977)
		p92 true (test_time = 0.208863)
		p93 true (test_time = 0.23384)
		p94 true (test_time = 0.212936)
		p95 true (test_time = 0.414782)
		p96 true (test_time = 0.217661)
		p97 true (test_time = 0.231491)
		p98 true (test_time = 0.212676)
		p99 true (test_time = 0.574385)
		p100 true (test_time = 0.211811)
		p101 true (test_time = 0.214654)
		p102 true (test_time = 11.3693)
		p103 true (test_time = 0.206268)
		p104 true (test_time = 0.232525)
		p105 true (test_time = 0.207171)
		p106 true (test_time = 0.234527)
		p107 true (test_time = 0.224842)
		p108 true (test_time = 0.213289)
		p109 true (test_time = 0.20551)
		p110 true (test_time = 0.205537)
		p111 true (test_time = 0.657345)
		p112 true (test_time = 0.312793)
		p113 true (test_time = 0.217376)
		p114 true (test_time = 0.24158)
		p115 true (test_time = 0.219151)
		p116 true (test_time = 0.222214)
		p117 true (test_time = 0.243384)
		p118 true (test_time = 0.230209)
		p119 true (test_time = 0.210437)
		p120 true (test_time = 0.218478)
		p121 true (test_time = 0.852338)
		p122 true (test_time = 0.211681)
		p123 true (test_time = 1.29148)
		p124 true (test_time = 0.215727)
		p125 true (test_time = 0.219592)
		p126 true (test_time = 0.27606)
		p127 true (test_time = 0.370057)
		p128 true (test_time = 0.252215)
		p129 true (test_time = 0.429238)
		p130 true (test_time = 0.227649)
		p131 true (test_time = 0.230198)
		p132 true (test_time = 0.240602)
		p133 true (test_time = 0.314988)
		p134 true (test_time = 0.225479)
		p135 true (test_time = 0.320207)
		p136 true (test_time = 0.211444)
		p137 true (test_time = 0.208869)
		p138 true (test_time = 0.217301)
		p139 true (test_time = 0.233769)
		p140 true (test_time = 0.225313)
		p141 true (test_time = 0.214184)
		p142 true (test_time = 2.71418)
		p143 true (test_time = 0.211435)
		p144 true (test_time = 0.220669)
		p145 true (test_time = 11.0991)
		p146 true (test_time = 0.258659)
		p147 true (test_time = 0.227352)
		p148 true (test_time = 0.234012)
		p149 true (test_time = 0.216735)
		p150 true (test_time = 6.63014)
		p151 true (test_time = 0.460581)
		p152 true (test_time = 0.221576)
		p153 true (test_time = 0.503916)
		p154 true (test_time = 0.269284)
		p155 true (test_time = 0.234304)
		p156 true (test_time = 0.229642)
		p157 true (test_time = 0.214529)
		p158 true (test_time = 0.245934)
		p159 true (test_time = 0.330736)
		p160 true (test_time = 0.221259)
		p161 true (test_time = 0.249448)
		p162 true (test_time = 3.31782)
		p163 true (test_time = 0.267093)
		p164 true (test_time = 0.444682)
		p165 true (test_time = 0.209204)
		p166 true (test_time = 0.213847)
		p167 true (test_time = 0.264432)
		p168 true (test_time = 0.278206)
		p169 true (test_time = 0.252582)
		p170 true (test_time = 0.832636)
		p171 true (test_time = 0.212642)
		p172 true (test_time = 0.215594)
		p173 true (test_time = 0.324028)
		p174 true (test_time = 0.568735)
		p175 true (test_time = 0.215464)
		p176 true (test_time = 0.231478)
		p177 true (test_time = 0.449115)
		p178 true (test_time = 0.261031)
		p179 true (test_time = 0.212617)
		p180 true (test_time = 0.212431)
		p181 true (test_time = 0.356351)
		p182 true (test_time = 0.217934)
		p183 true (test_time = 0.221986)
		p184 true (test_time = 0.205858)
		p185 true (test_time = 0.228933)
		p186 true (test_time = 6.2525)
		p187 true (test_time = 1.53289)
		p188 true (test_time = 0.264616)
		p189 true (test_time = 0.228065)
		p190 true (test_time = 0.208037)
		p191 true (test_time = 0.210147)
		p192 true (test_time = 2.01344)
		p193 true (test_time = 0.235272)
		p194 true (test_time = 10.2501)
		p195 true (test_time = 0.473775)
		p196 true (test_time = 1.74618)
		p197 true (test_time = 0.925211)
		p198 true (test_time = 0.228074)
		p199 true (test_time = 0.371413)
		p200 true (test_time = 0.246439)
		p201 true (test_time = 0.21474)
		p202 true (test_time = 0.23206)
		p203 true (test_time = 0.215938)
		p204 true (test_time = 0.212987)
		p205 true (test_time = 0.230624)
		p206 true (test_time = 0.302878)
		p207 true (test_time = 0.217196)
		p208 true (test_time = 2.03657)
		p209 true (test_time = 3.80504)
		p210 true (test_time = 0.216715)
		p211 true (test_time = 3.60793)
		p212 true (test_time = 0.404324)
		p213 true (test_time = 0.213405)
		p214 true (test_time = 4.35153)
		p215 true (test_time = 1.31498)
		p216 true (test_time = 0.737635)
		p217 true (test_time = 0.222614)
		p218 true (test_time = 0.226653)
		p219 true (test_time = 0.208334)
		p220 true (test_time = 0.219565)
		p221 true (test_time = 0.211338)
		p222 true (test_time = 0.280204)
		p223 true (test_time = 6.2016)
		p224 true (test_time = 0.324092)
		p225 true (test_time = 0.311951)
		p226 true (test_time = 0.212468)
		p227 true (test_time = 11.2591)
		p228 true (test_time = 0.588414)
		p229 true (test_time = 0.231742)
		p230 true (test_time = 2.22991)
		p231 true (test_time = 0.217325)
		p232 true (test_time = 0.355795)
		p233 true (test_time = 0.64055)
		p234 true (test_time = 0.212806)
		p235 true (test_time = 0.219298)
		p236 true (test_time = 0.586908)
		p237 true (test_time = 0.207322)
		p238 true (test_time = 23.7541)
		p239 true (test_time = 0.371298)
		p240 true (test_time = 0.667352)
		p241 true (test_time = 0.724217)
		p242 true (test_time = 0.232715)
		p243 true (test_time = 0.227824)
		p244 true (test_time = 0.212579)
		p245 true (test_time = 0.311434)
		p246 true (test_time = 2.2342)
		p247 true (test_time = 0.766629)
		p248 true (test_time = 0.212698)
		p249 true (test_time = 0.222067)
		p250 true (test_time = 0.211716)
		p251 true (test_time = 0.329369)
		p252 true (test_time = 0.211558)
		p253 true (test_time = 0.207941)
		p254 true (test_time = 0.247807)
		p255 true (test_time = 0.999927)
		p256 true (test_time = 0.212767)
		p257 true (test_time = 0.237415)
		p258 true (test_time = 0.212211)
		p259 true (test_time = 3.36213)
		p260 true (test_time = 0.732365)
		p261 true (test_time = 0.38969)
		p262 true (test_time = 0.218978)
		p263 true (test_time = 0.882999)
		p264 true (test_time = 6.18131)
		p265 true (test_time = 0.508584)
		p266 true (test_time = 0.401226)
		p267 true (test_time = 5.02582)
		p268 true (test_time = 0.295436)
		p269 true (test_time = 0.753414)
		p270 true (test_time = 2.45821)
		p271 true (test_time = 0.989868)
		p272 true (test_time = 0.809376)
		p273 true (test_time = 0.214558)
		p274 true (test_time = 0.666695)
		p275 true (test_time = 0.213655)
		p276 true (test_time = 1.30986)
		p277 true (test_time = 0.215185)
		p278 true (test_time = 2.19402)
		p279 true (test_time = 0.239748)
		p280 true (test_time = 0.231872)
		p281 true (test_time = 0.247345)
		p282 true (test_time = 0.311304)
		p283 true (test_time = 1.94111)
		p284 true (test_time = 0.214011)
		p285 true (test_time = 0.253082)
		p286 true (test_time = 0.423019)
		p287 true (test_time = 2.31451)
		p288 true (test_time = 0.220311)
		p289 true (test_time = 4.73192)
		p290 true (test_time = 4.73318)
		p291 true (test_time = 1.28341)
		p292 true (test_time = 0.209598)
		p293 true (test_time = 0.389441)
		p294 true (test_time = 0.237654)
		p295 true (test_time = 0.307514)
		p296 true (test_time = 0.218565)
		p297 true (test_time = 0.419306)
		p298 true (test_time = 0.427914)
		p299 true (test_time = 0.405779)
		p300 true (test_time = 4.2146)
		p301 true (test_time = 0.274386)
		p302 true (test_time = 1.04085)
search: ww_adaptive: ends (yes repair)

Repair Found: d(1724)
Repair Name: ?(1,d(1604)) ?(2,d(1605)) ?(3,d(1606)) ?(4,d(1644)) ?(5,d(1645)) ?(6,d(1646)) ?(7,d(1647)) ?(8,d(1669)) ?(9,d(1695)) ?(10,d(1696)) ?(11,d(1699)) ?(12,d(1701)) ?(13,d(1702)) ?(14,d(1703)) ?(15,d(1705)) ?(16,d(1706)) ?(17,d(1707)) ?(18,d(1708)) ?(19,d(1709)) ?(20,d(1710)) ?(21,d(1712)) ?(22,d(1713)) ?(23,d(1714)) ?(24,d(1715)) ?(25,d(1717)) ?(26,d(1718)) ?(27,d(1719)) ?(28,d(1720)) ?(29,d(1722)) ?(30,d(1723)) ?(31,d(1724)) ?(32,d(1736)) ?(33,d(1737)) ?(34,d(1738)) ?(35,d(1739)) ?(36,d(1740)) ?(37,d(1744)) ?(38,d(1745)) ?(39,d(1746)) ?(40,d(1747)) ?(41,d(1748)) ?(42,d(1752)) ?(43,d(1753)) ?(44,d(1754)) ?(45,d(1755)) ?(46,d(1758)) ?(47,d(1759)) ?(48,d(1760)) ?(49,d(1761)) ?(50,d(1764)) 
Test Condition: 31
Test Cases Skipped: ""
Current Time: 1387204986.937694
Rep: saving test cache

Variant Test Case Queries: 323
"Test Suite Evaluations": 1.06601

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1336.55
  Activity Name                     Count Seconds = Percent of Total Time
  find_best_edit                       21   0.248 = 0.0190986%
  sanity_check                          1   0.899 = 0.069232%
  find_k_best_edits                     1   1.181 = 0.0909198%
  progeq partition                    460  36.554 = 2.81461%
  compile                              22  77.174 = 5.94231%
  append_sources                      759 510.433 = 39.3029%
  test                                626 672.228 = 51.761%
  TOTAL                                   1298.717 = 97.169% (avg CPU usage)
python-bug-69783-69784.tar.gz
Mon Dec 16 09:43:08 EST 2013
shutting down
