AryaWu/sqlite
0
1[info] Using config /sqlite/mull.yml2[debug] Diagnostics: Debug Mode enabled. Debug-level messages will be printed.3[warning] Could not find dynamic library: libm.so.64[warning] Could not find dynamic library: libc.so.65[info] Warm up run (threads: 1)6
[################################] 1/1. Finished in 106ms7[info] Extracting coverage information (threads: 1)8
[################################] 1/1. Finished in 3ms9[info] Filter mutants (threads: 1)10
[################################] 1/1. Finished in 2ms11[info] Baseline run (threads: 1)12
[################################] 1/1. Finished in 105ms13[info] Running mutants (threads: 20)14[debug] /sqlite/src/main.c:215:5 ExecutionResult: Passed15
[--------------------------------] 1/16016[debug] /sqlite/src/main.c:287:5 ExecutionResult: Passed17[debug] /sqlite/src/main.c:296:11 ExecutionResult: Passed18[debug] /sqlite/src/main.c:252:9 ExecutionResult: Passed19[debug] /sqlite/src/main.c:317:36 ExecutionResult: Passed20
[#-------------------------------] 5/16021[debug] /sqlite/src/main.c:3069:7 ExecutionResult: Failed22
[#-------------------------------] 6/16023[debug] /sqlite/src/main.c:3260:28 ExecutionResult: Failed24
[#-------------------------------] 7/16025[debug] /sqlite/src/main.c:3170:26 ExecutionResult: Failed26[debug] /sqlite/src/main.c:3080:42 ExecutionResult: Failed27[debug] /sqlite/src/main.c:3181:24 ExecutionResult: Failed28
[##------------------------------] 10/16029[debug] /sqlite/src/main.c:3249:19 ExecutionResult: Failed30[debug] /sqlite/src/main.c:3286:5 ExecutionResult: Passed31[debug] /sqlite/src/main.c:3137:35 ExecutionResult: Failed32
[##------------------------------] 13/16033[debug] /sqlite/src/main.c:3187:15 ExecutionResult: Passed34[debug] /sqlite/src/main.c:3155:25 ExecutionResult: Passed35[debug] /sqlite/src/main.c:3218:16 ExecutionResult: Failed36[debug] /sqlite/src/main.c:3144:18 ExecutionResult: Failed37[debug] /sqlite/src/main.c:3241:15 ExecutionResult: Failed38[debug] /sqlite/src/main.c:3200:15 ExecutionResult: Failed39
[###-----------------------------] 19/16040[debug] /sqlite/src/main.c:227:6 ExecutionResult: Failed41[debug] /sqlite/src/main.c:288:41 ExecutionResult: Passed42
[####----------------------------] 21/16043[debug] /sqlite/src/main.c:297:10 ExecutionResult: Failed44[debug] /sqlite/src/main.c:253:38 ExecutionResult: Passed45[debug] /sqlite/src/main.c:319:3 ExecutionResult: Passed46
[####----------------------------] 24/16047[debug] /sqlite/src/main.c:3092:29 ExecutionResult: Failed48
[#####---------------------------] 25/16049[debug] /sqlite/src/main.c:3070:16 ExecutionResult: Failed50
[#####---------------------------] 26/16051[debug] /sqlite/src/main.c:3172:40 ExecutionResult: Passed52[debug] /sqlite/src/main.c:3260:35 ExecutionResult: Failed53
[#####---------------------------] 28/16054[debug] /sqlite/src/main.c:3181:32 ExecutionResult: Failed55
[#####---------------------------] 29/16056[debug] /sqlite/src/main.c:3251:16 ExecutionResult: Failed57[debug] /sqlite/src/main.c:3289:11 ExecutionResult: Failed58[debug] /sqlite/src/main.c:3138:10 ExecutionResult: Failed59
[######--------------------------] 32/16060[debug] /sqlite/src/main.c:3194:19 ExecutionResult: Failed61[debug] /sqlite/src/main.c:3156:25 ExecutionResult: Passed62[debug] /sqlite/src/main.c:3220:17 ExecutionResult: Failed63[debug] /sqlite/src/main.c:3144:42 ExecutionResult: Failed64
[#######-------------------------] 36/16065[debug] /sqlite/src/main.c:3200:22 ExecutionResult: Failed66
[#######-------------------------] 37/16067[debug] /sqlite/src/main.c:227:8 ExecutionResult: Failed68[debug] /sqlite/src/main.c:3085:9 ExecutionResult: Failed69[debug] /sqlite/src/main.c:289:10 ExecutionResult: Failed70
[########------------------------] 40/16071[debug] /sqlite/src/main.c:297:12 ExecutionResult: Failed72[debug] /sqlite/src/main.c:324:3 ExecutionResult: Passed73
[########------------------------] 42/16074[debug] /sqlite/src/main.c:3092:39 ExecutionResult: Passed75[debug] /sqlite/src/main.c:3242:16 ExecutionResult: Failed76
[########------------------------] 44/16077[debug] /sqlite/src/main.c:3264:24 ExecutionResult: Failed78[debug] /sqlite/src/main.c:3074:7 ExecutionResult: Passed79[debug] /sqlite/src/main.c:3172:57 ExecutionResult: Passed80
[#########-----------------------] 47/16081[debug] /sqlite/src/main.c:3254:21 ExecutionResult: Failed82[debug] /sqlite/src/main.c:3181:49 ExecutionResult: Failed83
[#########-----------------------] 49/16084[debug] /sqlite/src/main.c:3139:12 ExecutionResult: Failed85[debug] /sqlite/src/main.c:3194:41 ExecutionResult: Failed86
[##########----------------------] 51/16087[debug] /sqlite/src/main.c:3158:16 ExecutionResult: Failed88[debug] /sqlite/src/main.c:3223:17 ExecutionResult: Failed89[debug] /sqlite/src/main.c:3147:18 ExecutionResult: Failed90[debug] /sqlite/src/main.c:3200:44 ExecutionResult: Failed91
[###########---------------------] 55/16092[debug] /sqlite/src/main.c:4770:19 ExecutionResult: Failed93
[###########---------------------] 56/16094[debug] /sqlite/src/main.c:237:3 ExecutionResult: Passed95[debug] /sqlite/src/main.c:3086:9 ExecutionResult: Passed96[debug] /sqlite/src/main.c:289:12 ExecutionResult: Failed97
[###########---------------------] 59/16098[debug] /sqlite/src/main.c:300:11 ExecutionResult: Passed99[debug] /sqlite/src/main.c:325:36 ExecutionResult: Passed100[debug] /sqlite/src/main.c:3092:52 ExecutionResult: Passed101[debug] /sqlite/src/main.c:3242:33 ExecutionResult: Failed102
[############--------------------] 63/160103[debug] /sqlite/src/main.c:3268:34 ExecutionResult: Failed104[debug] /sqlite/src/main.c:3074:14 ExecutionResult: Passed105[debug] /sqlite/src/main.c:3172:60 ExecutionResult: Passed106
[#############-------------------] 66/160107[debug] /sqlite/src/main.c:3254:43 ExecutionResult: Failed108
[#############-------------------] 67/160109[debug] /sqlite/src/main.c:3181:57 ExecutionResult: Failed110
[#############-------------------] 68/160111[debug] /sqlite/src/main.c:3143:13 ExecutionResult: Failed112[debug] /sqlite/src/main.c:3196:11 ExecutionResult: Failed113[debug] /sqlite/src/main.c:3168:11 ExecutionResult: Failed114
[##############------------------] 71/160115[debug] /sqlite/src/main.c:3153:21 ExecutionResult: Failed116[debug] /sqlite/src/main.c:3223:24 ExecutionResult: Failed117[debug] /sqlite/src/main.c:3208:13 ExecutionResult: Passed118
[##############------------------] 74/160119[debug] /sqlite/src/main.c:3099:9 ExecutionResult: Failed120
[###############-----------------] 75/160121[debug] /sqlite/src/main.c:240:8 ExecutionResult: Failed122[debug] /sqlite/src/main.c:291:11 ExecutionResult: Failed123[debug] /sqlite/src/main.c:326:40 ExecutionResult: Passed124[debug] /sqlite/src/main.c:301:7 ExecutionResult: Passed125
[###############-----------------] 79/160126[debug] /sqlite/src/main.c:3244:21 ExecutionResult: Failed127
[################----------------] 80/160128[debug] /sqlite/src/main.c:3276:11 ExecutionResult: Failed129[debug] /sqlite/src/main.c:3078:15 ExecutionResult: Passed130
[################----------------] 82/160131[debug] /sqlite/src/main.c:3172:71 ExecutionResult: Failed132[debug] /sqlite/src/main.c:3153:33 ExecutionResult: Failed133[debug] /sqlite/src/main.c:3182:11 ExecutionResult: Failed134
[#################---------------] 85/160135[debug] /sqlite/src/main.c:3254:43 ExecutionResult: Failed136
[#################---------------] 86/160137[debug] /sqlite/src/main.c:3143:22 ExecutionResult: Failed138
[#################---------------] 87/160139[debug] /sqlite/src/main.c:3196:18 ExecutionResult: Failed140[debug] /sqlite/src/main.c:3169:23 ExecutionResult: Failed141[debug] /sqlite/src/main.c:3223:47 ExecutionResult: Failed142
[##################--------------] 90/160143[debug] /sqlite/src/main.c:4770:35 ExecutionResult: Failed144[debug] /sqlite/src/main.c:3209:13 ExecutionResult: Passed145
[##################--------------] 92/160146[debug] /sqlite/src/main.c:3086:21 ExecutionResult: Failed147
[##################--------------] 93/160148[debug] /sqlite/src/main.c:292:40 ExecutionResult: Passed149
[##################--------------] 94/160150[debug] /sqlite/src/main.c:3114:16 ExecutionResult: Passed151
[###################-------------] 95/160152[debug] /sqlite/src/main.c:240:10 ExecutionResult: Failed153[debug] /sqlite/src/main.c:326:40 ExecutionResult: Passed154[debug] /sqlite/src/main.c:310:11 ExecutionResult: Passed155
[###################-------------] 98/160156[debug] /sqlite/src/main.c:3244:23 ExecutionResult: Failed157
[###################-------------] 99/160158[debug] /sqlite/src/main.c:3153:41 ExecutionResult: Failed159[debug] /sqlite/src/main.c:3280:13 ExecutionResult: Failed160
[####################------------] 101/160161[debug] /sqlite/src/main.c:3080:11 ExecutionResult: Passed162[debug] /sqlite/src/main.c:3175:14 ExecutionResult: Failed163[debug] /sqlite/src/main.c:3183:16 ExecutionResult: Failed164
[####################------------] 104/160165[debug] /sqlite/src/main.c:3257:16 ExecutionResult: Failed166
[#####################-----------] 105/160167[debug] /sqlite/src/main.c:3169:32 ExecutionResult: Failed168
[#####################-----------] 106/160169[debug] /sqlite/src/main.c:3143:46 ExecutionResult: Failed170[debug] /sqlite/src/main.c:3211:17 ExecutionResult: Failed171[debug] /sqlite/src/main.c:3197:30 ExecutionResult: Failed172
[#####################-----------] 109/160173[debug] /sqlite/src/main.c:3232:16 ExecutionResult: Failed174
[######################----------] 110/160175[debug] /sqlite/src/main.c:3090:11 ExecutionResult: Failed176
[######################----------] 111/160177[debug] /sqlite/src/main.c:293:10 ExecutionResult: Failed178[debug] /sqlite/src/main.c:242:9 ExecutionResult: Passed179
[######################----------] 113/160180[debug] /sqlite/src/main.c:3136:12 ExecutionResult: Failed181
[######################----------] 114/160182[debug] /sqlite/src/main.c:311:7 ExecutionResult: Passed183[debug] /sqlite/src/main.c:328:5 ExecutionResult: Passed184
[#######################---------] 116/160185[debug] /sqlite/src/main.c:3244:46 ExecutionResult: Failed186
[#######################---------] 117/160187[debug] /sqlite/src/main.c:4770:51 ExecutionResult: Failed188
[#######################---------] 118/160189[debug] /sqlite/src/main.c:3282:8 ExecutionResult: Failed190[debug] /sqlite/src/main.c:3178:18 ExecutionResult: Failed191
[########################--------] 120/160192[debug] /sqlite/src/main.c:3154:25 ExecutionResult: Failed193[debug] /sqlite/src/main.c:3080:11 ExecutionResult: Failed194[debug] /sqlite/src/main.c:3185:17 ExecutionResult: Failed195
[########################--------] 123/160196[debug] /sqlite/src/main.c:3260:17 ExecutionResult: Failed197
[########################--------] 124/160198[debug] /sqlite/src/main.c:3169:42 ExecutionResult: Failed199
[#########################-------] 125/160200[debug] /sqlite/src/main.c:3143:51 ExecutionResult: Failed201[debug] /sqlite/src/main.c:3211:24 ExecutionResult: Failed202[debug] /sqlite/src/main.c:3198:11 ExecutionResult: Failed203
[#########################-------] 128/160204[debug] /sqlite/src/main.c:3235:17 ExecutionResult: Failed205
[#########################-------] 129/160206[debug] /sqlite/src/main.c:3092:12 ExecutionResult: Passed207
[##########################------] 130/160208[debug] /sqlite/src/main.c:293:12 ExecutionResult: Failed209[debug] /sqlite/src/main.c:243:38 ExecutionResult: Passed210
[##########################------] 132/160211[debug] /sqlite/src/main.c:3137:15 ExecutionResult: Failed212[debug] /sqlite/src/main.c:3244:48 ExecutionResult: Failed213
[##########################------] 134/160214[debug] /sqlite/src/main.c:312:34 ExecutionResult: Passed215
[###########################-----] 135/160216[debug] /sqlite/src/main.c:3285:9 ExecutionResult: Failed217[debug] /sqlite/src/main.c:3154:33 ExecutionResult: Failed218[debug] /sqlite/src/main.c:3080:18 ExecutionResult: Failed219
[###########################-----] 138/160220[debug] /sqlite/src/main.c:3180:11 ExecutionResult: Failed221[debug] /sqlite/src/main.c:3185:21 ExecutionResult: Failed222[debug] /sqlite/src/main.c:3260:26 ExecutionResult: Failed223
[############################----] 141/160224[debug] /sqlite/src/main.c:3235:24 ExecutionResult: Failed225[debug] /sqlite/src/main.c:3144:15 ExecutionResult: Failed226[debug] /sqlite/src/main.c:3211:48 ExecutionResult: Failed227[debug] /sqlite/src/main.c:3170:23 ExecutionResult: Failed228
[#############################---] 145/160229[debug] /sqlite/src/main.c:3092:19 ExecutionResult: Passed230[debug] /sqlite/src/main.c:3198:18 ExecutionResult: Failed231
[#############################---] 147/160232[debug] /sqlite/src/main.c:3245:20 ExecutionResult: Failed233[debug] /sqlite/src/main.c:3137:27 ExecutionResult: Failed234
[#############################---] 149/160235[debug] /sqlite/src/main.c:4770:67 ExecutionResult: Failed236
[##############################--] 150/160237[debug] /sqlite/src/main.c:3092:19 ExecutionResult: Passed238
[##############################--] 151/160239[debug] /sqlite/src/main.c:4832:8 ExecutionResult: Passed240
[##############################--] 152/160241[debug] /sqlite/src/main.c:4834:3 ExecutionResult: Passed242
[##############################--] 153/160243[debug] /sqlite/src/main.c:255:3 ExecutionResult: Timedout244
[##############################--] 154/160245[debug] /sqlite/src/main.c:260:9 ExecutionResult: Failed246
[###############################-] 155/160247[debug] /sqlite/src/main.c:277:3 ExecutionResult: Passed248
[###############################-] 156/160249[debug] /sqlite/src/main.c:278:33 ExecutionResult: Failed250
[###############################-] 157/160251[debug] /sqlite/src/main.c:278:70 ExecutionResult: Failed252
[###############################-] 158/160253[debug] /sqlite/src/main.c:279:36 ExecutionResult: Passed254
[###############################-] 159/160255[debug] /sqlite/src/main.c:331:3 ExecutionResult: Timedout256
[################################] 160/160. Finished in 3490ms257[debug] Done running mutants258[info] Survived mutants (46/160):259/sqlite/src/main.c:215:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]260 sqlite3MemoryBarrier();261 ^262/sqlite/src/main.c:237:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]263 sqlite3_mutex_enter(pMainMtx);264 ^265/sqlite/src/main.c:242:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]266 if( rc==SQLITE_OK ){267 ^268/sqlite/src/main.c:243:38: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]269 sqlite3GlobalConfig.isMallocInit = 1;270 ^271/sqlite/src/main.c:252:9: warning: Survived: Replaced == with != [cxx_eq_to_ne]272 if( rc==SQLITE_OK ){273 ^274/sqlite/src/main.c:253:38: warning: Survived: Replaced x++ with x-- [cxx_post_inc_to_post_dec]275 sqlite3GlobalConfig.nRefInitMutex++;276 ^277/sqlite/src/main.c:277:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]278 sqlite3_mutex_enter(sqlite3GlobalConfig.pInitMutex);279 ^280/sqlite/src/main.c:279:36: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]281 sqlite3GlobalConfig.inProgress = 1;282 ^283/sqlite/src/main.c:287:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]284 sqlite3RegisterBuiltinFunctions();285 ^286/sqlite/src/main.c:288:41: warning: Survived: Replaced == with != [cxx_eq_to_ne]287 if( sqlite3GlobalConfig.isPCacheInit==0 ){288 ^289/sqlite/src/main.c:292:40: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]290 sqlite3GlobalConfig.isPCacheInit = 1;291 ^292/sqlite/src/main.c:296:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]293 if( rc==SQLITE_OK ){294 ^295/sqlite/src/main.c:300:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]296 if( rc==SQLITE_OK ){297 ^298/sqlite/src/main.c:301:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]299 sqlite3PCacheBufferSetup( sqlite3GlobalConfig.pPage,300 ^301/sqlite/src/main.c:310:11: warning: Survived: Replaced == with != [cxx_eq_to_ne]302 if( rc==SQLITE_OK ){303 ^304/sqlite/src/main.c:311:7: warning: Survived: Removed the call to the function [cxx_remove_void_call]305 sqlite3MemoryBarrier();306 ^307/sqlite/src/main.c:312:34: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]308 sqlite3GlobalConfig.isInit = 1;309 ^310/sqlite/src/main.c:317:36: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]311 sqlite3GlobalConfig.inProgress = 0;312 ^313/sqlite/src/main.c:319:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]314 sqlite3_mutex_leave(sqlite3GlobalConfig.pInitMutex);315 ^316/sqlite/src/main.c:324:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]317 sqlite3_mutex_enter(pMainMtx);318 ^319/sqlite/src/main.c:325:36: warning: Survived: Replaced x-- with x++ [cxx_post_dec_to_post_inc]320 sqlite3GlobalConfig.nRefInitMutex--;321 ^322/sqlite/src/main.c:326:40: warning: Survived: Replaced <= with > [cxx_le_to_gt]323 if( sqlite3GlobalConfig.nRefInitMutex<=0 ){324 ^325/sqlite/src/main.c:326:40: warning: Survived: Replaced <= with < [cxx_le_to_lt]326 if( sqlite3GlobalConfig.nRefInitMutex<=0 ){327 ^328/sqlite/src/main.c:328:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]329 sqlite3_mutex_free(sqlite3GlobalConfig.pInitMutex);330 ^331/sqlite/src/main.c:3074:7: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]332 int nUri = sqlite3Strlen30(zUri);333 ^334/sqlite/src/main.c:3074:14: warning: Survived: Replaced call to a function with 42 [cxx_replace_scalar_call]335 int nUri = sqlite3Strlen30(zUri);336 ^337/sqlite/src/main.c:3078:15: warning: Survived: Replaced & with | [cxx_and_to_or]338 if( ((flags & SQLITE_OPEN_URI) /* IMP: R-48725-32206 */339 ^340/sqlite/src/main.c:3080:11: warning: Survived: Replaced >= with > [cxx_ge_to_gt]341 && nUri>=5 && memcmp(zUri, "file:", 5)==0 /* IMP: R-57884-37496 */342 ^343/sqlite/src/main.c:3086:9: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]344 u64 nByte = nUri+8; /* Bytes of space to allocate */345 ^346/sqlite/src/main.c:3092:12: warning: Survived: Replaced 'a = b' with 'a = 42' [cxx_assign_const]347 for(iIn=0; iIn<nUri; iIn++) nByte += (zUri[iIn]=='&');348 ^349/sqlite/src/main.c:3092:19: warning: Survived: Replaced < with >= [cxx_lt_to_ge]350 for(iIn=0; iIn<nUri; iIn++) nByte += (zUri[iIn]=='&');351 ^352/sqlite/src/main.c:3092:19: warning: Survived: Replaced < with <= [cxx_lt_to_le]353 for(iIn=0; iIn<nUri; iIn++) nByte += (zUri[iIn]=='&');354 ^355/sqlite/src/main.c:3092:39: warning: Survived: Replaced += with -= [cxx_add_assign_to_sub_assign]356 for(iIn=0; iIn<nUri; iIn++) nByte += (zUri[iIn]=='&');357 ^358/sqlite/src/main.c:3092:52: warning: Survived: Replaced == with != [cxx_eq_to_ne]359 for(iIn=0; iIn<nUri; iIn++) nByte += (zUri[iIn]=='&');360 ^361/sqlite/src/main.c:3114:16: warning: Survived: Replaced == with != [cxx_eq_to_ne]362 if( zUri[5]=='/' && zUri[6]=='/' ){363 ^364/sqlite/src/main.c:3155:25: warning: Survived: Replaced != with == [cxx_ne_to_eq]365 && (eState!=1 || (c!='=' && c!='&'))366 ^367/sqlite/src/main.c:3156:25: warning: Survived: Replaced != with == [cxx_ne_to_eq]368 && (eState!=2 || c!='&')369 ^370/sqlite/src/main.c:3172:40: warning: Survived: Replaced != with == [cxx_ne_to_eq]371 while( zUri[iIn] && zUri[iIn]!='#' && zUri[iIn-1]!='&' ) iIn++;372 ^373/sqlite/src/main.c:3172:57: warning: Survived: Replaced - with + [cxx_sub_to_add]374 while( zUri[iIn] && zUri[iIn]!='#' && zUri[iIn-1]!='&' ) iIn++;375 ^376/sqlite/src/main.c:3172:60: warning: Survived: Replaced != with == [cxx_ne_to_eq]377 while( zUri[iIn] && zUri[iIn]!='#' && zUri[iIn-1]!='&' ) iIn++;378 ^379/sqlite/src/main.c:3187:15: warning: Survived: Replaced == with != [cxx_eq_to_ne]380 if( eState==1 ) zFile[iOut++] = '\0';381 ^382/sqlite/src/main.c:3208:13: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]383 int mask = 0;384 ^385/sqlite/src/main.c:3209:13: warning: Survived: Replaced 'T a = b' with 'T a = 42' [cxx_init_const]386 int limit = 0;387 ^388/sqlite/src/main.c:3286:5: warning: Survived: Removed the call to the function [cxx_remove_void_call]389 sqlite3_free_filename(zFile);390 ^391/sqlite/src/main.c:4832:8: warning: Survived: Replaced == with != [cxx_eq_to_ne]392 if( p==0 ) return;393 ^394/sqlite/src/main.c:4834:3: warning: Survived: Removed the call to the function [cxx_remove_void_call]395 sqlite3_free((char*)p - 4);396 ^397[info] Mutation score: 71%398[info] Total execution time: 3800ms399[info] Surviving mutants: 46400 