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 286
--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-0F-6C-40 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:31:52 EDT 2013
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU           E5410  @ 2.33GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp649b8c.c /tmp/tmp50c941.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/selectmodule.c: parsing
cilRep: preprocessed/Modules/selectmodule.c: parsed (0.445344 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: finally: 
#line 305 "/root/mountpoint-genprog/genprog-many-bugs/python-bug-69223-69224/python/Modules/selectmodule.c"
reap_obj((pylist *)(rfd2obj));
#line 306
reap_obj((pylist *)(wfd2obj));
#line 307
reap_obj((pylist *)(efd2obj));
Liveness failed on function:
 static PyObject *select_select(PyObject *self , PyObject *args ) 
{ pylist rfd2obj[1025] ;
  pylist wfd2obj[1025] ;
  pylist efd2obj[1025] ;
  PyObject *ifdlist ;
  PyObject *ofdlist ;
  PyObject *efdlist ;
  PyObject *ret ;
  PyObject *tout ;
  fd_set ifdset ;
  fd_set ofdset ;
  fd_set efdset ;
  double timeout ;
  struct timeval tv ;
  struct timeval *tvp ;
  long seconds ;
  int imax ;
  int omax ;
  int emax ;
  int max ;
  int n ;
  int tmp ;
  PyObject *tmp___0 ;
  int tmp___1 ;
  PyThreadState *_save ;
  PyObject *tmp___2 ;

  {
   534: /* CIL Label */ 
#line 207
  ret = (PyObject *)((void *)0);
   535: /* CIL Label */ 
#line 208
  tout = & _Py_NoneStruct;
   536: /* CIL Label */ 
#line 217
  tmp = PyArg_UnpackTuple(args, "select", 3, 4, & ifdlist, & ofdlist, & efdlist,
                          & tout);
   537: /* CIL Label */ 
#line 217
  if (tmp) {

  } else {
#line 219
    return ((PyObject *)((void *)0));
  }
   538: /* CIL Label */ 
#line 221
  if ((unsigned int )tout == (unsigned int )(& _Py_NoneStruct)) {
#line 222
    tvp = (struct timeval *)0;
  } else {
#line 223
    tmp___1 = PyNumber_Check(tout);
#line 223
    if (tmp___1) {
#line 229
      timeout = PyFloat_AsDouble(tout);
#line 230
      if (timeout == (double )-1) {
#line 230
        tmp___0 = PyErr_Occurred();
#line 230
        if (tmp___0) {
#line 231
          return ((PyObject *)((void *)0));
        } else {

        }
      } else {

      }
#line 232
      if (timeout > (double )2147483647L) {
#line 233
        PyErr_SetString(PyExc_OverflowError, "timeout period too long");
#line 235
        return ((PyObject *)((void *)0));
      } else {

      }
#line 237
      seconds = (long )timeout;
#line 238
      timeout -= (double )seconds;
#line 239
      tv.tv_sec = seconds;
#line 240
      tv.tv_usec = (long )(timeout * 1E6);
#line 241
      tvp = & tv;
    } else {
#line 224
      PyErr_SetString(PyExc_TypeError, "timeout must be a float or None");
#line 226
      return ((PyObject *)((void *)0));
    }
  }
   539: /* CIL Label */ 
#line 260
  rfd2obj[0].sentinel = -1;
   540: /* CIL Label */ 
#line 261
  wfd2obj[0].sentinel = -1;
   541: /* CIL Label */ 
#line 262
  efd2obj[0].sentinel = -1;
   542: /* CIL Label */ 
#line 263
  imax = seq2set(ifdlist, & ifdset, (pylist *)(rfd2obj));
   543: /* CIL Label */ 
#line 263
  if (imax < 0) {
    goto finally;
  } else {

  }
   544: /* CIL Label */ 
#line 265
  omax = seq2set(ofdlist, & ofdset, (pylist *)(wfd2obj));
   545: /* CIL Label */ 
#line 265
  if (omax < 0) {
    goto finally;
  } else {

  }
   546: /* CIL Label */ 
#line 267
  emax = seq2set(efdlist, & efdset, (pylist *)(efd2obj));
   547: /* CIL Label */ 
#line 267
  if (emax < 0) {
    goto finally;
  } else {

  }
   548: /* CIL Label */ 
#line 269
  max = imax;
   549: /* CIL Label */ 
#line 270
  if (omax > max) {
#line 270
    max = omax;
  } else {

  }
   550: /* CIL Label */ 
#line 271
  if (emax > max) {
#line 271
    max = emax;
  } else {

  }
   551: /* CIL Label */ 
#line 273
  _save = PyEval_SaveThread();
   552: /* CIL Label */ 
#line 274
  n = select(max, (fd_set */* __restrict  */)(& ifdset),
             (fd_set */* __restrict  */)(& ofdset),
             (fd_set */* __restrict  */)(& efdset),
             (struct timeval */* __restrict  */)tvp);
   553: /* CIL Label */ 
#line 275
  PyEval_RestoreThread(_save);
   554: /* CIL Label */ 
#line 282
  if (n < 0) {
#line 283
    PyErr_SetFromErrno(SelectError);
  } else {
#line 291
    ifdlist = set2list(& ifdset, (pylist *)(rfd2obj));
#line 292
    ofdlist = set2list(& ofdset, (pylist *)(wfd2obj));
#line 293
    efdlist = set2list(& efdset, (pylist *)(efd2obj));
#line 294
    tmp___2 = PyErr_Occurred();
#line 294
    if (tmp___2) {
#line 295
      ret = (PyObject *)((void *)0);
    } else {
#line 297
      ret = PyTuple_Pack(3, ifdlist, ofdlist, efdlist);
    }
#line 299
    while (1) {
#line 299
      (ifdlist->ob_refcnt) --;
#line 299
      if (ifdlist->ob_refcnt != 0) {

      } else {
#line 299
        (*((ifdlist->ob_type)->tp_dealloc))(ifdlist);
      }
#line 299
      break;
    }
#line 300
    while (1) {
#line 300
      (ofdlist->ob_refcnt) --;
#line 300
      if (ofdlist->ob_refcnt != 0) {

      } else {
#line 300
        (*((ofdlist->ob_type)->tp_dealloc))(ofdlist);
      }
#line 300
      break;
    }
#line 301
    while (1) {
#line 301
      (efdlist->ob_refcnt) --;
#line 301
      if (efdlist->ob_refcnt != 0) {

      } else {
#line 301
        (*((efdlist->ob_type)->tp_dealloc))(efdlist);
      }
#line 301
      break;
    }
  }
   555: /* CIL Label */ 
  finally: 
#line 305
  reap_obj((pylist *)(rfd2obj));
   556: /* CIL Label */ 
#line 306
  reap_obj((pylist *)(wfd2obj));
   557: /* CIL Label */ 
#line 307
  reap_obj((pylist *)(efd2obj));
   558: /* CIL Label */ 
#line 313
  return (ret);
}
}

cilRep: liveness failure for select_select: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: error: 
#line 1037
PyMem_Free((void *)evs);
Liveness failed on function:
 static PyObject *pyepoll_poll(pyEpoll_Object *self , PyObject *args ,
                               PyObject *kwds ) 
{ double dtimeout ;
  int timeout ;
  int maxevents ;
  int nfds ;
  int i ;
  PyObject *elist ;
  PyObject *etuple ;
  struct epoll_event *evs ;
  PyObject *tmp ;
  int tmp___0 ;
  void *tmp___1 ;
  PyThreadState *_save ;
  PyObject *_py_tmp ;

  {
   1000: /* CIL Label */ 
#line 969
  dtimeout = - 1.;
   1001: /* CIL Label */ 
#line 971
  maxevents = -1;
   1002: /* CIL Label */ 
#line 973
  elist = (PyObject *)((void *)0);
   1003: /* CIL Label */ 
#line 973
  etuple = (PyObject *)((void *)0);
   1004: /* CIL Label */ 
#line 974
  evs = (struct epoll_event *)((void *)0);
   1005: /* CIL Label */ 
#line 977
  if (self->epfd < 0) {
#line 978
    tmp = pyepoll_err_closed();
#line 978
    return (tmp);
  } else {

  }
   1006: /* CIL Label */ 
#line 980
  tmp___0 = PyArg_ParseTupleAndKeywords(args, kwds, "|di:poll", kwlist___3,
                                        & dtimeout, & maxevents);
   1007: /* CIL Label */ 
#line 980
  if (tmp___0) {

  } else {
#line 982
    return ((PyObject *)((void *)0));
  }
   1008: /* CIL Label */ 
#line 985
  if (dtimeout < (double )0) {
#line 986
    timeout = -1;
  } else {
#line 988
    if (dtimeout * 1000.0 > (double )2147483647) {
#line 989
      PyErr_SetString(PyExc_OverflowError, "timeout is too large");
#line 991
      return ((PyObject *)((void *)0));
    } else {
#line 994
      timeout = (int )(dtimeout * 1000.0);
    }
  }
   1009: /* CIL Label */ 
#line 997
  if (maxevents == -1) {
#line 998
    maxevents = 1023;
  } else {
#line 1000
    if (maxevents < 1) {
#line 1001
      PyErr_Format(PyExc_ValueError, "maxevents must be greater than 0, got %d",
                   maxevents);
#line 1004
      return ((PyObject *)((void *)0));
    } else {

    }
  }
   1010: /* CIL Label */ 
#line 1007
  if ((unsigned int )maxevents > (unsigned int )((int )(4294967295U >> 1)) / sizeof(struct epoll_event )) {
#line 1007
    evs = (struct epoll_event *)((void *)0);
  } else {
#line 1007
    tmp___1 = PyMem_Malloc((unsigned int )maxevents * sizeof(struct epoll_event ));
#line 1007
    evs = (struct epoll_event *)tmp___1;
  }
   1011: /* CIL Label */ 
#line 1008
  if ((unsigned int )evs == (unsigned int )((void *)0)) {
#line 1009
    while (1) {
#line 1009
      (((PyObject *)self)->ob_refcnt) --;
#line 1009
      if (((PyObject *)self)->ob_refcnt != 0) {

      } else {
#line 1009
        (*((((PyObject *)self)->ob_type)->tp_dealloc))((PyObject *)self);
      }
#line 1009
      break;
    }
#line 1010
    PyErr_NoMemory();
#line 1011
    return ((PyObject *)((void *)0));
  } else {

  }
   1012: /* CIL Label */ 
#line 1014
  _save = PyEval_SaveThread();
   1013: /* CIL Label */ 
#line 1015
  nfds = epoll_wait(self->epfd, evs, maxevents, timeout);
   1014: /* CIL Label */ 
#line 1016
  PyEval_RestoreThread(_save);
   1015: /* CIL Label */ 
#line 1017
  if (nfds < 0) {
#line 1018
    PyErr_SetFromErrno(PyExc_IOError);
    goto error;
  } else {

  }
   1016: /* CIL Label */ 
#line 1022
  elist = PyList_New(nfds);
   1017: /* CIL Label */ 
#line 1023
  if ((unsigned int )elist == (unsigned int )((void *)0)) {
    goto error;
  } else {

  }
   1018: /* CIL Label */ 
#line 1027
  i = 0;
   1019: /* CIL Label */ 
#line 1027
  while (i < nfds) {
#line 1028
    etuple = Py_BuildValue("iI", (evs + i)->data.fd, (evs + i)->events);
#line 1029
    if ((unsigned int )etuple == (unsigned int )((void *)0)) {
#line 1030
      while (1) {
#line 1030
        if (elist) {
#line 1030
          _py_tmp = elist;
#line 1030
          elist = (PyObject *)((void *)0);
#line 1030
          while (1) {
#line 1030
            (_py_tmp->ob_refcnt) --;
#line 1030
            if (_py_tmp->ob_refcnt != 0) {

            } else {
#line 1030
              (*((_py_tmp->ob_type)->tp_dealloc))(_py_tmp);
            }
#line 1030
            break;
          }
        } else {

        }
#line 1030
        break;
      }
      goto error;
    } else {

    }
#line 1033
    *(((PyListObject *)elist)->ob_item + i) = etuple;
#line 1027
    i ++;
  }
   1020: /* CIL Label */ 
  error: 
#line 1037
  PyMem_Free((void *)evs);
   1021: /* CIL Label */ 
#line 1038
  return (elist);
}
}

cilRep: liveness failure for pyepoll_poll: Errormsg.Error
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 1064
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)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 290.43)
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 = 1064
cilRep: stmts in weighted_path = 205
cilRep: total weight = 35.8
cilRep: stmts in weighted_path with weight >= 1.0 = 17
cilRep: Modules/selectmodule.c (code bank/base file; atoms [1,1064])
cilRep: 1 file(s) total in representation
search: ww_adaptive_1 begins (time = 1367984207.760017)
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: 343
cilRep: fix-space quotient by string: 544 -> 359
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: *((((fd2obj + i)->obj)->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PySequence_Fast
progeq: WARNING: cannot resolve call: PyObject_AsFileDescriptor
progeq: WARNING: cannot resolve call: PyErr_SetString
progeq: WARNING: cannot resolve call: *((fast_seq->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyList_New
progeq: WARNING: cannot resolve call: PyList_SetItem
progeq: WARNING: cannot resolve call: PyArg_UnpackTuple
progeq: WARNING: cannot resolve call: PyNumber_Check
progeq: WARNING: cannot resolve call: PyFloat_AsDouble
progeq: WARNING: cannot resolve call: PyErr_Occurred
progeq: WARNING: cannot resolve call: *((o->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyEval_SaveThread
progeq: WARNING: cannot resolve call: select
progeq: WARNING: cannot resolve call: PyEval_RestoreThread
progeq: WARNING: cannot resolve call: PyErr_SetFromErrno
progeq: WARNING: cannot resolve call: *((list->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyTuple_Pack
progeq: WARNING: cannot resolve call: *((ifdlist->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((ofdlist->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: *((efdlist->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyDict_Size
progeq: WARNING: cannot resolve call: realloc
progeq: WARNING: cannot resolve call: PyErr_NoMemory
progeq: WARNING: cannot resolve call: PyDict_Next
progeq: WARNING: cannot resolve call: PyLong_AsLong
progeq: WARNING: cannot resolve call: PyArg_ParseTuple
progeq: WARNING: cannot resolve call: PyLong_FromLong
progeq: WARNING: cannot resolve call: *((key->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyDict_SetItem
progeq: WARNING: cannot resolve call: *((value->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyDict_GetItem
progeq: WARNING: cannot resolve call: __errno_location
progeq: WARNING: cannot resolve call: PyDict_DelItem
progeq: WARNING: cannot resolve call: PyNumber_Long
progeq: WARNING: cannot resolve call: *((tout->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: poll
progeq: WARNING: cannot resolve call: PyTuple_New
progeq: WARNING: cannot resolve call: _PyObject_New
progeq: WARNING: cannot resolve call: PyDict_New
progeq: WARNING: cannot resolve call: *((((PyObject *)self)->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: free
progeq: WARNING: cannot resolve call: *(((self->dict)->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyObject_Free
progeq: WARNING: cannot resolve call: close
progeq: WARNING: cannot resolve call: PyErr_Format
progeq: WARNING: cannot resolve call: *(type->tp_alloc)
progeq: WARNING: cannot resolve call: epoll_create
progeq: WARNING: cannot resolve call: PyArg_ParseTupleAndKeywords
progeq: WARNING: cannot resolve call: *((((PyObject *)self)->ob_type)->tp_free)
progeq: WARNING: cannot resolve call: epoll_ctl
progeq: WARNING: cannot resolve call: PyMem_Malloc
progeq: WARNING: cannot resolve call: epoll_wait
progeq: WARNING: cannot resolve call: Py_BuildValue
progeq: WARNING: cannot resolve call: *((_py_tmp->ob_type)->tp_dealloc)
progeq: WARNING: cannot resolve call: PyMem_Free
progeq: WARNING: cannot resolve call: PyModule_Create2
progeq: WARNING: cannot resolve call: PyErr_NewException
progeq: WARNING: cannot resolve call: PyModule_AddObject
progeq: WARNING: cannot resolve call: PyModule_AddIntConstant
progeq: WARNING: cannot resolve call: PyType_Ready
search: fix space reduced (time_taken = 14.6401)
search: ww_adaptive: 205 deletes
search: ww_adaptive: 7972 appends
search: ww_adaptive: 8177 possible edits
search: ready to start (time_taken = 72.7069)
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 = 2.38072)
search: ww_adaptive: found best (time_taken = 0.0117338)
	variant     1/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 1)
		n1 false (test_time = 12.3224)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0153639)
	variant     2/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 50)
		n1 false (test_time = 12.0602)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0140638)
	variant     3/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 49)
		n1 false (test_time = 300.829)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.012495)
	variant     4/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 48)
		n1 false (test_time = 12.0826)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0121109)
	variant     5/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 47)
		n1 false (test_time = 12.0692)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0126469)
	variant     6/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 46)
		n1 false (test_time = 12.0688)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.013392)
	variant     7/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 45)
		n1 false (test_time = 12.0406)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.013921)
	variant     8/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 44)
		n1 false (test_time = 300.832)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0109899)
	variant     9/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 43)
		n1 false (test_time = 12.6313)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.010648)
	variant    10/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 42)
		n1 false (test_time = 12.062)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.010592)
	variant    11/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 41)
		n1 false (test_time = 12.0555)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.012367)
	variant    12/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 40)
		n1 false (test_time = 12.0623)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0120559)
	variant    13/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 39)
		n1 false (test_time = 12.0408)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.010006)
	variant    14/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 38)
		n1 false (test_time = 12.0472)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00938392)
	variant    15/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 37)
		n1 false (test_time = 12.0586)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0089159)
	variant    16/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 36)
		n1 false (test_time = 12.051)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.0097549)
	variant    17/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 35)
		n1 false (test_time = 12.0588)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00998211)
	variant    18/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 34)
		n1 false (test_time = 1.01637)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00952888)
	variant    19/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 33)
		n1 false (test_time = 11.5447)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00850296)
	variant    20/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 32)
		n1 false (test_time = 12.0504)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00818801)
	variant    21/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 31)
		n1 false (test_time = 12.0528)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00816703)
	variant    22/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 30)
		n1 false (test_time = 12.073)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00822401)
	variant    23/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 29)
		n1 false (test_time = 12.0426)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00719094)
	variant    24/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 28)
		n1 false (test_time = 12.0577)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00681901)
	variant    25/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 27)
		n1 false (test_time = 12.0502)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.00628114)
	variant    26/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 26)
		n1 false (test_time = 12.055)
search: ww_adaptive: finding best
	from existing super-mutants
search: ww_adaptive: found best (time_taken = 0.007061)
	variant    27/ 8177 = ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511))  (287 tests, cond 25)
		n1 true (test_time = 12.0388)
		p1 true (test_time = 0.198992)
		p2 true (test_time = 0.190278)
		p3 true (test_time = 0.435045)
		p4 true (test_time = 0.237322)
		p5 true (test_time = 0.212703)
		p6 true (test_time = 0.204326)
		p7 true (test_time = 0.0167511)
		p8 true (test_time = 0.720393)
		p9 true (test_time = 0.213163)
		p10 true (test_time = 0.763752)
		p11 true (test_time = 0.192091)
		p12 true (test_time = 0.227514)
		p13 true (test_time = 0.195244)
		p14 true (test_time = 0.192087)
		p15 true (test_time = 2.85458)
		p16 true (test_time = 0.511249)
		p17 true (test_time = 0.218635)
		p18 true (test_time = 1.35563)
		p19 true (test_time = 1.25976)
		p20 true (test_time = 0.190139)
		p21 true (test_time = 0.198146)
		p22 true (test_time = 0.19355)
		p23 true (test_time = 0.547195)
		p24 true (test_time = 0.190259)
		p25 true (test_time = 0.254467)
		p26 true (test_time = 0.20515)
		p27 true (test_time = 0.196443)
		p28 true (test_time = 0.193018)
		p29 true (test_time = 0.280431)
		p30 true (test_time = 0.192028)
		p31 true (test_time = 1.39934)
		p32 true (test_time = 7.93779)
		p33 true (test_time = 0.207505)
		p34 true (test_time = 0.19131)
		p35 true (test_time = 3.0049)
		p36 true (test_time = 0.264622)
		p37 true (test_time = 0.190927)
		p38 true (test_time = 0.195896)
		p39 true (test_time = 0.267883)
		p40 true (test_time = 0.218801)
		p41 true (test_time = 2.2865)
		p42 true (test_time = 1.57701)
		p43 true (test_time = 0.211172)
		p44 true (test_time = 0.21183)
		p45 true (test_time = 0.549847)
		p46 true (test_time = 0.26184)
		p47 true (test_time = 0.824863)
		p48 true (test_time = 0.453485)
		p49 true (test_time = 0.318563)
		p50 true (test_time = 0.389023)
		p51 true (test_time = 0.202617)
		p52 true (test_time = 0.194813)
		p53 true (test_time = 0.198889)
		p54 true (test_time = 0.189964)
		p55 true (test_time = 0.295914)
		p56 true (test_time = 2.37872)
		p57 true (test_time = 0.221056)
		p58 true (test_time = 44.3505)
		p59 true (test_time = 0.190608)
		p60 true (test_time = 0.199236)
		p61 true (test_time = 0.201976)
		p62 true (test_time = 0.203385)
		p63 true (test_time = 0.19388)
		p64 true (test_time = 0.280633)
		p65 true (test_time = 0.247717)
		p66 true (test_time = 0.802406)
		p67 true (test_time = 0.402034)
		p68 true (test_time = 0.321684)
		p69 true (test_time = 0.265205)
		p70 true (test_time = 0.227779)
		p71 true (test_time = 0.190515)
		p72 true (test_time = 0.188949)
		p73 true (test_time = 0.938768)
		p74 true (test_time = 0.244005)
		p75 true (test_time = 0.208668)
		p76 true (test_time = 0.194024)
		p77 true (test_time = 0.235194)
		p78 true (test_time = 2.40227)
		p79 true (test_time = 0.914553)
		p80 true (test_time = 0.192338)
		p81 true (test_time = 0.204254)
		p82 true (test_time = 0.19836)
		p83 true (test_time = 0.243703)
		p84 true (test_time = 0.188951)
		p85 true (test_time = 2.29572)
		p86 true (test_time = 0.19575)
		p87 true (test_time = 0.195255)
		p88 true (test_time = 0.218091)
		p89 true (test_time = 0.193559)
		p90 true (test_time = 0.389653)
		p91 true (test_time = 0.198228)
		p92 true (test_time = 0.215875)
		p93 true (test_time = 0.201604)
		p94 true (test_time = 0.563714)
		p95 true (test_time = 0.189807)
		p96 true (test_time = 0.195819)
		p97 true (test_time = 11.3458)
		p98 true (test_time = 0.202999)
		p99 true (test_time = 0.22815)
		p100 true (test_time = 0.206073)
		p101 true (test_time = 0.217674)
		p102 true (test_time = 0.192054)
		p103 true (test_time = 0.190819)
		p104 true (test_time = 0.19101)
		p105 true (test_time = 0.205071)
		p106 true (test_time = 0.615864)
		p107 true (test_time = 0.293294)
		p108 true (test_time = 0.194145)
		p109 true (test_time = 0.21493)
		p110 true (test_time = 0.195625)
		p111 true (test_time = 0.210896)
		p112 true (test_time = 0.231613)
		p113 true (test_time = 0.206982)
		p114 true (test_time = 0.187815)
		p115 true (test_time = 0.200211)
		p116 true (test_time = 0.378483)
		p117 true (test_time = 0.192876)
		p118 true (test_time = 1.30679)
		p119 true (test_time = 0.193905)
		p120 true (test_time = 0.188958)
		p121 true (test_time = 0.256567)
		p122 true (test_time = 0.354558)
		p123 true (test_time = 0.233951)
		p124 true (test_time = 0.309421)
		p125 true (test_time = 0.209387)
		p126 true (test_time = 0.202841)
		p127 true (test_time = 0.219612)
		p128 true (test_time = 0.296447)
		p129 true (test_time = 0.195038)
		p130 true (test_time = 0.297393)
		p131 true (test_time = 0.192119)
		p132 true (test_time = 0.190259)
		p133 true (test_time = 0.195356)
		p134 true (test_time = 0.217846)
		p135 true (test_time = 0.208751)
		p136 true (test_time = 0.194335)
		p137 true (test_time = 2.56772)
		p138 true (test_time = 0.192289)
		p139 true (test_time = 0.194831)
		p140 true (test_time = 10.9)
		p141 true (test_time = 0.202279)
		p142 true (test_time = 0.209479)
		p143 true (test_time = 0.216421)
		p144 true (test_time = 0.198939)
		p145 true (test_time = 6.44003)
		p146 true (test_time = 0.424489)
		p147 true (test_time = 0.195694)
		p148 true (test_time = 0.474585)
		p149 true (test_time = 0.243401)
		p150 true (test_time = 0.21263)
		p151 true (test_time = 0.215018)
		p152 true (test_time = 0.196255)
		p153 true (test_time = 0.231489)
		p154 true (test_time = 0.291386)
		p155 true (test_time = 0.20464)
		p156 true (test_time = 0.236375)
		p157 true (test_time = 3.37155)
		p158 true (test_time = 0.245081)
		p159 true (test_time = 0.407696)
		p160 true (test_time = 0.190859)
		p161 true (test_time = 0.190537)
		p162 true (test_time = 0.244502)
		p163 true (test_time = 0.254302)
		p164 true (test_time = 0.232198)
		p165 true (test_time = 0.806467)
		p166 true (test_time = 0.19251)
		p167 true (test_time = 0.190604)
		p168 true (test_time = 0.284763)
		p169 true (test_time = 0.573036)
		p170 true (test_time = 0.188519)
		p171 true (test_time = 0.202529)
		p172 true (test_time = 0.428138)
		p173 true (test_time = 0.192655)
		p174 true (test_time = 0.191981)
		p175 true (test_time = 0.322203)
		p176 true (test_time = 0.202816)
		p177 true (test_time = 0.19083)
		p178 true (test_time = 0.18915)
		p179 true (test_time = 0.211127)
		p180 true (test_time = 6.15949)
		p181 true (test_time = 1.49864)
		p182 true (test_time = 0.240783)
		p183 true (test_time = 0.213965)
		p184 true (test_time = 0.19203)
		p185 true (test_time = 0.202466)
		p186 true (test_time = 2.07373)
		p187 true (test_time = 0.210381)
		p188 true (test_time = 10.2351)
		p189 true (test_time = 0.459392)
		p190 true (test_time = 1.72599)
		p191 true (test_time = 0.407881)
		p192 true (test_time = 0.21314)
		p193 true (test_time = 0.352088)
		p194 true (test_time = 0.240659)
		p195 true (test_time = 0.196333)
		p196 true (test_time = 0.202909)
		p197 true (test_time = 0.195512)
		p198 true (test_time = 0.204504)
		p199 true (test_time = 0.209435)
		p200 true (test_time = 0.277377)
		p201 true (test_time = 0.19771)
		p202 true (test_time = 1.96723)
		p203 true (test_time = 0.197933)
		p204 true (test_time = 3.59807)
		p205 true (test_time = 0.384682)
		p206 true (test_time = 0.197238)
		p207 true (test_time = 4.38317)
		p208 true (test_time = 0.221505)
		p209 true (test_time = 0.202384)
		p210 true (test_time = 0.190429)
		p211 true (test_time = 0.200815)
		p212 true (test_time = 0.193297)
		p213 true (test_time = 0.263286)
		p214 true (test_time = 6.12063)
		p215 true (test_time = 0.332378)
		p216 true (test_time = 0.29046)
		p217 true (test_time = 0.193695)
		p218 true (test_time = 0.578187)
		p219 true (test_time = 0.211839)
		p220 true (test_time = 1.84477)
		p221 true (test_time = 0.197601)
		p222 true (test_time = 0.333712)
		p223 true (test_time = 0.601925)
		p224 true (test_time = 0.1909)
		p225 true (test_time = 0.200374)
		p226 true (test_time = 0.567555)
		p227 true (test_time = 0.188837)
		p228 true (test_time = 23.7446)
		p229 true (test_time = 0.350967)
		p230 true (test_time = 0.622326)
		p231 true (test_time = 0.690134)
		p232 true (test_time = 0.196035)
		p233 true (test_time = 0.192346)
		p234 true (test_time = 0.197897)
		p235 true (test_time = 0.274324)
		p236 true (test_time = 2.20791)
		p237 true (test_time = 0.734332)
		p238 true (test_time = 0.192828)
		p239 true (test_time = 0.198906)
		p240 true (test_time = 0.191416)
		p241 true (test_time = 0.304187)
		p242 true (test_time = 0.198611)
		p243 true (test_time = 0.193281)
		p244 true (test_time = 0.908936)
		p245 true (test_time = 0.192478)
		p246 true (test_time = 0.231669)
		p247 true (test_time = 0.191919)
		p248 true (test_time = 2.94368)
		p249 true (test_time = 0.713621)
		p250 true (test_time = 0.366075)
		p251 true (test_time = 0.207752)
		p252 true (test_time = 0.875375)
		p253 true (test_time = 6.16264)
		p254 true (test_time = 0.517733)
		p255 true (test_time = 0.394912)
		p256 true (test_time = 0.271323)
		p257 true (test_time = 0.8782)
		p258 true (test_time = 2.37154)
		p259 true (test_time = 0.941341)
		p260 true (test_time = 0.761708)
		p261 true (test_time = 0.190763)
		p262 true (test_time = 0.600077)
		p263 true (test_time = 0.199599)
		p264 true (test_time = 0.194899)
		p265 true (test_time = 2.08542)
		p266 true (test_time = 0.223967)
		p267 true (test_time = 0.212774)
		p268 true (test_time = 0.216636)
		p269 true (test_time = 2.07016)
		p270 true (test_time = 0.194869)
		p271 true (test_time = 0.418457)
		p272 true (test_time = 0.210935)
		p273 true (test_time = 0.397277)
		p274 true (test_time = 4.71982)
		p275 true (test_time = 4.71143)
		p276 true (test_time = 1.23614)
		p277 true (test_time = 0.191388)
		p278 true (test_time = 0.358106)
		p279 true (test_time = 0.215313)
		p280 true (test_time = 0.289188)
		p281 true (test_time = 0.19444)
		p282 true (test_time = 0.391881)
		p283 true (test_time = 0.389978)
		p284 true (test_time = 0.359034)
		p285 true (test_time = 3.66035)
		p286 true (test_time = 0.252361)
search: ww_adaptive: ends (yes repair)

Repair Found: a(511,827)
Repair Name: ?(1,a(511,535)) ?(2,a(511,536)) ?(3,a(511,538)) ?(4,a(511,539)) ?(5,a(511,540)) ?(6,a(511,541)) ?(7,a(511,542)) ?(8,a(511,543)) ?(9,a(511,544)) ?(10,a(511,545)) ?(11,a(511,546)) ?(12,a(511,547)) ?(13,a(511,548)) ?(14,a(511,549)) ?(15,a(511,550)) ?(16,a(511,552)) ?(17,a(511,554)) ?(18,a(511,555)) ?(19,a(511,556)) ?(20,a(511,557)) ?(21,a(511,558)) ?(22,a(511,696)) ?(23,a(511,697)) ?(24,a(511,698)) ?(25,a(511,827)) ?(26,a(511,887)) ?(27,a(511,888)) ?(28,a(511,889)) ?(29,a(511,890)) ?(30,a(511,927)) ?(31,a(511,980)) ?(32,a(511,1030)) ?(33,a(511,1031)) ?(34,d(375)) ?(35,d(414)) ?(36,d(416)) ?(37,d(417)) ?(38,d(418)) ?(39,d(419)) ?(40,d(420)) ?(41,d(422)) ?(42,d(423)) ?(43,d(439)) ?(44,d(440)) ?(45,d(485)) ?(46,d(486)) ?(47,d(487)) ?(48,d(500)) ?(49,d(501)) ?(50,d(511)) 
Test Condition: 25
Test Cases Skipped: ""
Current Time: 1367985468.345192
Rep: saving test cache

Variant Test Case Queries: 313
"Test Suite Evaluations": 1.09059

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1555.63
  Activity Name                     Count Seconds = Percent of Total Time
  find_best_edit                       27   0.280 = 0.0181824%
  find_k_best_edits                     1   2.381 = 0.15445%
  progeq partition                    359   8.148 = 0.528626%
  compile                              28  23.891 = 1.54993%
  append_sources                      205  72.701 = 4.71649%
  test                                600 1433.865 = 93.0226%
  TOTAL                                   1541.416 = 99.0856% (avg CPU usage)
python-bug-69223-69224.tar.gz
Tue May  7 23:57:49 EDT 2013
shutting down
