Tool CPAchecker 1.5-svn 20187M CPAchecker 1.5-svn 20312M CPAchecker 1.5-svn 20187M CPAchecker 1.5-svn 20312M CPAchecker 1.5-svn 20187M
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-30-generic [Linux 4.2.0-34-generic; Linux 4.2.0-30-generic] Linux 4.2.0-30-generic [Linux 4.2.0-34-generic; Linux 4.2.0-30-generic] Linux 4.2.0-30-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-03-11 14:33:18 CET 2016-03-15 20:04:06 CET 2016-03-11 14:33:18 CET 2016-03-15 20:04:06 CET 2016-03-11 14:33:18 CET
Run set MathSAT5-heaparray.HeapReach MathSAT5-oldarray.HeapReach MathSAT5-uf.HeapReach PRINCESS-heaparray-quantifiers.HeapReach PRINCESS-heaparray.HeapReach PRINCESS-oldarray.HeapReach PRINCESS-uf.HeapReach SMTInterpol-heaparray.HeapReach SMTInterpol-oldarray.HeapReach SMTInterpol-uf.HeapReach Z3-heaparray-quantifiers.HeapReach Z3-heaparray.HeapReach Z3-oldarray.HeapReach Z3-uf.HeapReach
Options -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis-heaparray -setprop solver.solver=MATHSAT5 -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis -setprop solver.solver=MATHSAT5 -setprop cpa.predicate.handleArrays=true -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis -setprop solver.solver=MATHSAT5 -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis-heaparray -setprop solver.solver=PRINCESS -setprop cpa.predicate.encodeFloatAs=INTEGER -setprop cpa.predicate.useQuantifiersOnArrays=true -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis-heaparray -setprop solver.solver=PRINCESS -setprop cpa.predicate.encodeFloatAs=INTEGER -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis -setprop solver.solver=PRINCESS -setprop cpa.predicate.encodeFloatAs=INTEGER -setprop cpa.predicate.handleArrays=true -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis -setprop solver.solver=PRINCESS -setprop cpa.predicate.encodeFloatAs=INTEGER -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis-heaparray -setprop solver.solver=SMTINTERPOL -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis -setprop solver.solver=SMTINTERPOL -setprop cpa.predicate.handleArrays=true -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis -setprop solver.solver=SMTINTERPOL -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis-heaparray -setprop cpa.predicate.useQuantifiersOnArrays=true -setprop solver.solver=Z3 -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis-heaparray -setprop solver.solver=Z3 -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis -setprop solver.solver=Z3 -setprop cpa.predicate.handleArrays=true -heap 12000M -stack 10M -noout -disable-java-assertions -setprop cpa.predicate.memoryAllocationsAlwaysSucceed=true -predicateAnalysis -setprop solver.solver=Z3
test/programs/benchmarks/ status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage
heap-manipulation/bubble_sort_linux_false-unreach-call.i 7.95 4.56 zeus22 375611392 7.07 3.95 362213376 zeus07 7.59 4.29 zeus21 381906944 34.3  17.8  713846784 zeus06 37.5  19.4  zeus15 732241920 12.0  6.56 428412928 zeus04 36.1  18.7  zeus06 698179584 6.16 3.49 zeus21 326889472 7.74 4.32 zeus03 367304704 10.2  5.64 zeus06 406188032 7.79 4.42 364552192 zeus24 7.81 4.40 zeus06 373788672 7.22 4.09 zeus11 358600704 8.07 4.57 zeus20 382087168
heap-manipulation/dll_of_dll_false-unreach-call.i 4.41 2.61 zeus04 218910720 4.48 2.62 217989120 zeus15 4.47 2.62 zeus12 220499968 6.54 3.74 326709248 zeus22 7.23 4.11 zeus06 334950400 5.75 3.33 312242176 zeus04 6.16 3.47 zeus16 316624896 4.83 2.90 zeus11 222261248 4.52 2.67 zeus11 224096256 4.87 2.86 zeus12 221904896 4.63 2.66 223514624 zeus11 4.64 2.76 zeus13 217157632 4.65 2.72 zeus01 212492288 4.49 2.58 zeus11 219701248
heap-manipulation/merge_sort_false-unreach-call.i 7.48 4.27 zeus08 365989888 6.32 3.64 347815936 zeus17 7.40 4.22 zeus13 349450240 25.9  13.6  588115968 zeus08 26.7  14.0  zeus08 602071040 13.4  7.16 421126144 zeus20 19.1  10.2  zeus23 466251776 8.20 4.70 zeus20 370110464 7.00 3.94 zeus09 356192256 8.60 4.77 zeus12 377184256 7.75 4.39 345563136 zeus16 7.57 4.29 zeus17 360841216 6.99 3.99 zeus24 346099712 7.59 4.29 zeus20 366526464
heap-manipulation/sll_to_dll_rev_false-unreach-call.i 4.75 2.76 zeus10 232583168 6.43 3.67 358469632 zeus10 8.35 4.68 zeus10 371478528 48.5  24.9  881430528 zeus22 47.5  24.4  zeus13 886751232 11.8  6.50 430333952 zeus13 43.9  22.6  zeus03 868364288 5.68 3.31 zeus17 234328064 7.20 4.08 zeus02 343556096 9.10 5.11 zeus02 386293760 7.32 4.18 366219264 zeus13 7.16 4.09 zeus08 370122752 6.64 3.75 zeus19 341581824 7.74 4.44 zeus22 374648832
heap-manipulation/bubble_sort_linux_true-unreach-call.i 6.98 4.12 zeus13 253448192 7.15 4.05 365174784 zeus07 902    890    zeus20 788525056 902    842    4537204736 zeus16 902    840    zeus07 3620978688 13.4  7.38 437989376 zeus03 901    841    zeus13 4551901184 6.45 3.66 zeus16 324706304 7.07 4.09 zeus04 367861760 902    847    zeus21 4553515008 903    897    3854630912 zeus10 904    898    zeus24 2202288128 6.87 3.91 zeus02 358494208 911    895    zeus04 802131968
heap-manipulation/dancing_true-unreach-call.i 4.48 2.61 zeus07 223641600 4.57 2.62 222920704 zeus10 4.56 2.71 zeus24 220180480 6.73 3.87 326541312 zeus11 6.16 3.59 zeus16 308727808 6.07 3.51 307232768 zeus01 5.91 3.42 zeus12 335130624 4.83 2.78 zeus20 223653888 4.58 2.69 zeus18 216838144 4.60 2.68 zeus05 222896128 4.57 2.68 218804224 zeus16 4.80 2.75 zeus16 217812992 4.30 2.48 zeus08 214102016 4.08 2.37 zeus21 216596480
heap-manipulation/dll_of_dll_true-unreach-call.i 4.70 2.68 zeus19 223772672 4.75 2.78 215404544 zeus06 4.80 2.80 zeus01 221405184 6.36 3.72 316227584 zeus12 6.63 3.84 zeus16 316248064 5.84 3.33 320946176 zeus17 6.25 3.60 zeus03 324833280 4.85 2.81 zeus16 218927104 4.56 2.68 zeus09 220024832 4.66 2.76 zeus15 224673792 4.96 2.82 219783168 zeus07 5.04 2.91 zeus09 217665536 4.56 2.60 zeus08 210464768 4.38 2.54 zeus22 211111936
heap-manipulation/merge_sort_true-unreach-call.i 6.44 3.71 zeus13 244928512 5.71 3.30 264753152 zeus11 901    890    zeus12 748019712 901    835    4534906880 zeus17 901    835    zeus04 4533600256 13.1  7.15 433549312 zeus15 901    840    zeus01 4529471488 5.39 3.08 zeus19 238477312 6.82 3.84 zeus10 352706560 901    836    zeus06 6005506048 903    894    1573863424 zeus17 904    896    zeus13 2264973312 7.18 4.11 zeus16 342020096 902    890    zeus06 820363264
heap-manipulation/sll_to_dll_rev_true-unreach-call.i 4.97 2.89 zeus03 227012608 6.47 3.69 354144256 zeus19 902    889    zeus11 789143552 901    828    4578418688 zeus22 901    832    zeus19 4545458176 12.0  6.50 429719552 zeus22 901    833    zeus13 4563787776 5.35 3.14 zeus22 232898560 6.67 3.86 zeus24 355209216 902    846    zeus04 4907855872 906    898    3904221184 zeus09 904    896    zeus19 1562370048 5.76 3.26 zeus13 255930368 901    888    zeus17 786653184
list-properties/alternating_list_false-unreach-call.i 6.70 3.87 zeus08 362749952 4.44 2.60 220966912 zeus17 6.87 3.92 zeus19 355311616 26.2  13.8  535879680 zeus22 25.6  13.5  zeus24 550674432 9.71 5.46 416354304 zeus15 23.7  12.5  zeus02 554831872 7.78 4.36 zeus09 370212864 4.78 2.78 zeus18 229683200 7.72 4.37 zeus19 358846464 7.31 4.18 341143552 zeus18 7.18 4.11 zeus07 343601152 4.50 2.64 zeus07 217694208 7.28 4.22 zeus15 356057088
list-properties/list_false-unreach-call.i 6.15 3.55 zeus08 236744704 4.36 2.56 214085632 zeus15 902    892    zeus05 1305735168 71.9  37.9  1192853504 zeus14 68.0  35.8  zeus06 1176276992 8.58 4.78 390397952 zeus14 121    74.7  zeus22 1885831168 5.15 3.02 zeus15 230699008 4.39 2.61 zeus14 222367744 904    797    zeus12 8453152768 9.79 5.65 388239360 zeus24 9.97 5.74 zeus01 371056640 4.60 2.69 zeus02 218480640 13.1  7.68 zeus07 437137408
list-properties/list_flag_false-unreach-call.i 6.48 3.71 zeus08 358842368 4.39 2.62 216862720 zeus15 7.10 4.04 zeus12 354205696 22.6  11.9  511709184 zeus21 21.1  11.4  zeus10 512196608 8.67 4.85 392683520 zeus19 17.9  9.55 zeus19 455786496 6.77 3.88 zeus09 346394624 4.75 2.80 zeus16 219410432 7.43 4.28 zeus23 364232704 6.77 3.86 343203840 zeus10 6.35 3.67 zeus11 351776768 4.45 2.66 zeus13 223707136 6.83 3.88 zeus08 350294016
list-properties/list_search_false-unreach-call.i 7.68 4.41 zeus20 370462720 6.09 3.44 262324224 zeus13 8.37 4.72 zeus14 379904000 62.9  32.9  1120112640 zeus14 61.4  32.3  zeus13 1107828736 12.2  6.66 406867968 zeus16 64.1  33.4  zeus08 1212813312 5.65 3.25 zeus03 237649920 6.52 3.70 zeus04 348475392 12.8  6.93 zeus05 438722560 8.16 4.79 372006912 zeus03 8.00 4.66 zeus09 369803264 6.76 3.86 zeus05 338927616 8.34 4.75 zeus01 374140928
list-properties/simple_false-unreach-call.i 6.87 3.91 zeus06 353914880 4.41 2.57 215379968 zeus23 7.13 4.11 zeus16 347385856 22.0  11.6  503209984 zeus16 23.1  12.3  zeus07 507043840 8.04 4.64 375169024 zeus11 20.2  10.8  zeus13 489537536 6.54 3.73 zeus05 345735168 4.07 2.37 zeus24 223621120 6.84 3.88 zeus09 351784960 6.83 3.92 352686080 zeus19 6.66 3.84 zeus19 343773184 4.34 2.53 zeus22 218451968 6.75 3.83 zeus23 347803648
list-properties/splice_false-unreach-call.i 8.56 4.76 zeus06 371982336 4.65 2.77 222269440 zeus18 8.91 5.11 zeus16 360001536 42.0  21.6  804106240 zeus04 40.5  20.8  zeus21 837746688 12.0  6.62 423059456 zeus15 34.2  17.7  zeus19 691580928 8.31 4.73 zeus10 373256192 5.17 3.03 zeus18 231452672 8.28 4.70 zeus22 375611392 7.59 4.30 351531008 zeus24 7.30 4.25 zeus09 370503680 4.87 2.92 zeus13 222781440 8.24 4.71 zeus17 368902144
list-properties/alternating_list_true-unreach-call.i 6.18 3.52 zeus03 249991168 4.46 2.60 218890240 zeus23 901    891    zeus22 1202655232 901    811    5273243648 zeus06 901    806    zeus10 5541285888 8.93 5.03 416972800 zeus02 901    830    zeus17 4641484800 5.91 3.40 zeus01 235929600 4.79 2.79 zeus02 224243712 901    867    zeus18 4630482944 902    893    798756864 zeus08 902    893    zeus19 836706304 4.77 2.80 zeus05 218591232 902    892    zeus24 819290112
list-properties/list_flag_true-unreach-call.i 5.74 3.31 zeus05 232734720 4.39 2.58 222588928 zeus09 901    891    zeus12 1252859904 901    833    4530049024 zeus09 901    831    zeus21 4582268928 8.00 4.54 358563840 zeus18 902    821    zeus07 4845961216 5.22 3.04 zeus02 234635264 4.86 2.87 zeus01 218042368 902    802    zeus04 8446812160 903    896    1400578048 zeus14 903    895    zeus04 1347780608 4.73 2.76 zeus17 216604672 902    893    zeus12 783753216
list-properties/list_search_true-unreach-call.i 8.72 4.97 zeus18 295313408 7.19 4.01 355102720 zeus24 10.7  6.27 zeus15 308891648 81.0  43.1  1211817984 zeus04 77.4  41.5  zeus21 1288794112 12.8  6.99 430051328 zeus08 120    72.6  zeus21 2132365312 7.74 4.35 zeus18 349696000 7.50 4.20 zeus15 367353856 20.5  10.8  zeus16 554876928 19.0  14.3  359256064 zeus07 18.9  14.4  zeus12 347107328 6.74 3.81 zeus04 350732288 8.83 5.26 zeus06 273383424
list-properties/list_true-unreach-call.i 5.79 3.36 zeus11 240365568 4.64 2.70 224264192 zeus12 901    891    zeus04 763707392 902    825    4653203456 zeus21 901    830    zeus13 4620689408 9.20 5.27 400699392 zeus04 901    797    zeus23 5506453504 5.01 2.97 zeus07 229494784 4.67 2.74 zeus22 229085184 902    856    zeus22 5404745728 902    894    919625728 zeus11 902    894    zeus05 1455493120 4.49 2.67 zeus09 218681344 902    893    zeus06 840847360
list-properties/simple_built_from_end_true-unreach-call.i 4.88 2.91 zeus16 228192256 5.18 3.00 245272576 zeus04 901    893    zeus12 754331648 901    837    4621217792 zeus07 901    836    zeus11 4635529216 12.4  6.83 411586560 zeus06 901    844    zeus13 4551757824 5.70 3.33 zeus23 234463232 5.54 3.18 zeus21 285540352 901    850    zeus17 5044453376 901    894    539488256 zeus14 901    894    zeus14 464105472 5.39 3.17 zeus22 244428800 902    893    zeus24 824856576
list-properties/simple_true-unreach-call.i 5.00 2.91 zeus06 228663296 4.43 2.61 215781376 zeus03 902    893    zeus12 2311974912 901    830    4573945856 zeus02 901    833    zeus07 4556455936 8.02 4.52 387391488 zeus15 902    826    zeus17 4884467712 5.06 2.95 zeus18 227966976 4.68 2.78 zeus07 227946496 902    807    zeus20 6802165760 902    895    593862656 zeus14 901    895    zeus21 524455936 4.33 2.56 zeus09 220491776 902    893    zeus22 829464576
list-properties/splice_true-unreach-call.i 7.09 4.16 zeus12 255266816 5.00 2.86 223825920 zeus16 902    892    zeus18 1211334656 901    819    4831645696 zeus11 901    818    zeus04 4866654208 12.9  7.06 448217088 zeus07 901    828    zeus21 4654374912 6.90 3.91 zeus10 330018816 5.18 3.08 zeus10 230690816 901    868    zeus01 5069176832 902    894    781508608 zeus17 902    893    zeus21 819867648 4.75 2.75 zeus09 217800704 902    890    zeus13 875855872
ldv-regression/1_3.c_false-unreach-call.i 4.47 2.67 zeus08 242843648 4.43 2.55 240652288 zeus21 4.99 2.89 zeus08 245432320 11.0  6.14 432922624 zeus08 11.4  6.26 zeus12 416763904 8.83 4.98 421875712 zeus20 11.6  6.44 zeus15 427528192 4.78 2.83 zeus15 235999232 4.88 2.86 zeus17 226082816 4.86 2.87 zeus06 243437568 4.64 2.75 230051840 zeus15 4.44 2.66 zeus19 241041408 4.33 2.54 zeus13 228130816 4.62 2.74 zeus06 243859456
ldv-regression/alt_test.c_false-unreach-call.i 6.48 3.70 zeus09 263204864 6.44 3.61 257327104 zeus01 6.16 3.47 zeus13 258646016 11.7  6.53 432812032 zeus17 12.2  6.62 zeus19 430653440 11.4  6.25 434184192 zeus06 12.0  6.55 zeus02 426983424 6.70 3.82 zeus20 341024768 6.68 3.80 zeus02 335679488 6.90 3.94 zeus11 353492992 6.76 3.79 350363648 zeus19 7.13 4.04 zeus14 354897920 5.80 3.34 zeus22 248975360 6.61 3.75 zeus19 344924160
ldv-regression/callfpointer.c_false-unreach-call.i 4.37 2.56 zeus19 229650432 4.34 2.55 224919552 zeus06 4.56 2.60 zeus02 229437440 9.48 5.25 423419904 zeus08 9.75 5.54 zeus14 411754496 8.64 4.86 437506048 zeus14 8.96 4.97 zeus13 390209536 4.25 2.50 zeus04 222343168 4.06 2.40 zeus10 223657984 4.27 2.52 zeus24 222322688 4.15 2.45 221134848 zeus20 4.24 2.52 zeus01 220483584 4.35 2.54 zeus02 224440320 4.47 2.61 zeus01 221724672
ldv-regression/fo_test.c_false-unreach-call.i 5.87 3.32 zeus02 251662336 5.18 2.98 241303552 zeus05 5.06 2.96 zeus17 245751808 11.3  6.21 435216384 zeus04 11.8  6.38 zeus11 423604224 11.1  6.11 439484416 zeus17 10.7  5.90 zeus22 416579584 6.21 3.55 zeus22 335249408 5.79 3.33 zeus07 328159232 6.34 3.60 zeus09 319385600 5.13 2.98 247394304 zeus11 5.16 2.98 zeus03 242565120 5.48 3.14 zeus05 234549248 5.55 3.19 zeus22 244125696
ldv-regression/mutex_lock_int.c_false-unreach-call.i 4.80 2.77 zeus05 231194624 3.98 2.38 227848192 zeus22 4.28 2.51 zeus09 234254336 10.3  5.82 406851584 zeus05 10.1  5.59 zeus24 409038848 8.79 4.91 402239488 zeus19 10.2  5.66 zeus06 430231552 4.51 2.61 zeus21 240025600 4.25 2.52 zeus15 221392896 4.61 2.68 zeus15 224718848 4.74 2.78 229892096 zeus04 4.52 2.66 zeus03 234573824 4.25 2.47 zeus06 224116736 4.34 2.57 zeus14 235294720
ldv-regression/mutex_lock_struct.c_false-unreach-call.i 4.62 2.67 zeus23 234024960 4.08 2.40 224468992 zeus13 4.66 2.71 zeus03 233181184 10.4  5.74 434348032 zeus18 9.78 5.39 zeus17 416841728 8.95 5.09 419115008 zeus02 10.2  5.58 zeus04 409878528 4.60 2.66 zeus03 237780992 4.31 2.48 zeus21 227532800 4.39 2.64 zeus20 232361984 4.76 2.80 229801984 zeus04 4.57 2.67 zeus23 237490176 4.38 2.54 zeus21 230068224 4.59 2.74 zeus11 234274816
ldv-regression/recursive_list.c_false-unreach-call.i 4.60 2.72 zeus10 240332800 4.24 2.47 232808448 zeus22 4.71 2.79 zeus23 243326976 13.4  7.38 432128000 zeus18 14.8  8.13 zeus04 431988736 9.79 5.46 415084544 zeus12 12.6  6.85 zeus24 438956032 4.63 2.75 zeus08 233963520 4.30 2.52 zeus21 238018560 5.10 2.99 zeus14 243822592 4.80 2.83 237625344 zeus10 4.46 2.69 zeus18 232112128 4.57 2.70 zeus18 231403520 5.22 3.05 zeus17 238555136
ldv-regression/rule57_ebda_blast.c_false-unreach-call.i 4.76 2.81 zeus16 250343424 4.72 2.79 246071296 zeus19 4.79 2.82 zeus23 255229952 12.7  6.87 390574080 zeus01 12.6  6.83 zeus17 408940544 11.0  6.11 447586304 zeus11 12.6  6.90 zeus14 424603648 5.87 3.41 zeus23 324554752 5.01 2.97 zeus18 240480256 5.63 3.26 zeus18 324939776 5.60 3.32 235442176 zeus18 5.23 2.98 zeus16 242860032 4.96 2.89 zeus06 241360896 4.85 2.87 zeus20 246767616
ldv-regression/rule60_list2.c_false-unreach-call_1.i 6.63 3.77 zeus07 352882688 5.71 3.30 265613312 zeus21 6.84 3.91 zeus09 354619392 12.8  7.01 435441664 zeus13 13.6  7.35 zeus07 432664576 13.3  7.28 434831360 zeus02 14.5  7.83 zeus09 439394304 7.35 4.15 zeus17 367673344 7.28 4.13 zeus09 349786112 7.16 4.09 zeus16 366542848 7.24 4.13 350056448 zeus22 6.72 3.79 zeus23 346013696 6.12 3.52 zeus19 267649024 7.06 4.08 zeus18 346562560
ldv-regression/stateful_check_false-unreach-call.i 7.10 4.06 zeus14 366632960 6.16 3.55 270397440 zeus19 6.27 3.62 zeus06 277405696 23.1  12.1  525225984 zeus21 24.1  12.7  zeus20 543596544 23.7  12.4  547971072 zeus21 25.2  13.3  zeus12 552800256 8.28 4.65 zeus17 368730112 7.35 4.13 zeus21 375398400 7.80 4.39 zeus17 368128000 7.43 4.26 362885120 zeus08 7.11 4.02 zeus09 350744576 7.23 4.16 zeus12 358727680 7.08 4.04 zeus13 355549184
ldv-regression/test_while_int.c_false-unreach-call.i 5.14 3.00 zeus04 244510720 4.89 2.88 250458112 zeus10 4.82 2.80 zeus04 241602560 11.8  6.47 466751488 zeus12 11.4  6.25 zeus10 419491840 10.8  5.95 416182272 zeus14 10.4  5.79 zeus11 416710656 5.10 2.99 zeus08 241876992 4.97 2.89 zeus10 244989952 5.11 3.02 zeus22 244711424 4.72 2.78 242216960 zeus22 4.99 2.98 zeus10 240070656 4.76 2.82 zeus24 241020928 4.86 2.81 zeus21 244166656
ldv-regression/test_while_int.c_false-unreach-call_1.i 4.55 2.70 zeus06 236519424 4.47 2.69 233299968 zeus11 4.21 2.51 zeus16 237944832 10.4  5.70 418562048 zeus05 10.7  5.85 zeus10 426430464 10.1  5.70 435134464 zeus20 11.1  6.16 zeus01 430354432 4.64 2.74 zeus01 229453824 4.39 2.55 zeus21 238370816 4.66 2.78 zeus13 237338624 4.46 2.62 237264896 zeus08 4.64 2.71 zeus19 228769792 4.60 2.72 zeus14 233111552 4.46 2.66 zeus20 235089920
ldv-regression/alias_of_return.c_true-unreach-call.i 3.56 2.13 zeus04 205688832 4.12 2.43 228175872 zeus19 3.69 2.19 zeus17 203530240 6.33 3.66 355897344 zeus08 6.61 3.87 zeus07 339492864 8.68 4.87 410951680 zeus20 6.03 3.50 zeus22 332234752 4.07 2.43 zeus20 206925824 4.23 2.50 zeus14 224182272 3.94 2.37 zeus01 211697664 3.73 2.23 208113664 zeus14 3.76 2.22 zeus03 204492800 4.26 2.50 zeus17 219148288 3.97 2.30 zeus01 205209600
ldv-regression/alias_of_return.c_true-unreach-call_1.i 3.76 2.24 zeus13 208711680 4.02 2.44 223588352 zeus19 3.71 2.18 zeus04 209772544 6.56 3.82 356683776 zeus19 6.82 3.89 zeus01 359718912 9.39 5.27 426102784 zeus13 5.56 3.26 zeus17 323944448 3.80 2.28 zeus15 211267584 4.31 2.55 zeus08 218570752 4.05 2.37 zeus17 210784256 3.57 2.13 207663104 zeus24 4.18 2.45 zeus16 209428480 4.26 2.52 zeus23 224006144 3.97 2.34 zeus16 203436032
ldv-regression/alias_of_return_2.c_true-unreach-call.i 3.82 2.23 zeus03 206008320 4.07 2.41 226959360 zeus24 4.08 2.44 zeus09 208404480 6.67 3.87 345739264 zeus08 6.66 3.85 zeus23 352559104 9.61 5.28 410288128 zeus18 6.35 3.74 zeus05 319946752 4.05 2.44 zeus12 216121344 4.46 2.65 zeus01 224231424 3.90 2.32 zeus06 215961600 3.74 2.22 209915904 zeus02 3.69 2.18 zeus21 207720448 4.19 2.46 zeus07 225067008 3.96 2.35 zeus13 212434944
ldv-regression/alias_of_return_2.c_true-unreach-call_1.i 3.73 2.21 zeus10 207646720 4.26 2.53 229318656 zeus21 3.45 2.02 zeus21 203603968 6.15 3.60 333127680 zeus02 6.68 3.83 zeus11 362041344 8.39 4.70 405069824 zeus19 6.34 3.61 zeus02 327122944 4.21 2.52 zeus11 211296256 4.27 2.50 zeus06 219693056 4.09 2.43 zeus15 206966784 3.68 2.19 206045184 zeus22 3.85 2.29 zeus13 205467648 3.88 2.34 zeus19 220008448 3.73 2.20 zeus07 206848000
ldv-regression/ex3_forlist.c_true-unreach-call.i 9.75 5.57 zeus18 310779904 3.56 2.11 210776064 zeus09 6.66 3.83 zeus15 252895232 12.0  6.58 433139712 zeus16 56.3  28.9  zeus14 895414272 5.13 3.06 303644672 zeus14 53.8  27.7  zeus24 900497408 6.61 3.73 zeus05 326701056 3.58 2.13 zeus21 208941056 12.8  7.10 zeus08 483135488 8.94 5.88 253046784 zeus14 12.7  8.58 zeus01 285540352 3.44 2.01 zeus21 212549632 10.1  6.82 zeus07 275881984
ldv-regression/just_assert.c_true-unreach-call.i 3.53 2.11 zeus07 206098432 3.65 2.17 200122368 zeus17 3.30 1.96 zeus21 205389824 5.06 2.97 295600128 zeus02 4.93 2.92 zeus15 289222656 4.71 2.81 291999744 zeus18 4.84 2.85 zeus22 296226816 3.83 2.27 zeus19 208756736 3.94 2.35 zeus09 208326656 3.81 2.26 zeus01 206798848 4.10 2.42 202399744 zeus18 3.47 2.09 zeus19 204849152 3.66 2.15 zeus02 205197312 3.56 2.13 zeus17 204972032
ldv-regression/mutex_lock_int.c_true-unreach-call_1.i 3.75 2.21 zeus06 205070336 4.35 2.56 222400512 zeus05 3.81 2.23 zeus12 207872000 7.18 4.08 366354432 zeus07 7.02 4.05 zeus22 383234048 8.46 4.81 394346496 zeus06 5.84 3.37 zeus06 317411328 3.83 2.31 zeus24 206471168 4.32 2.55 zeus03 220594176 3.89 2.29 zeus19 210223104 4.02 2.41 216633344 zeus11 3.81 2.26 zeus02 209141760 4.27 2.51 zeus04 220631040 3.63 2.16 zeus22 206790656
ldv-regression/mutex_lock_struct.c_true-unreach-call_1.i 3.79 2.28 zeus18 203759616 4.20 2.51 227651584 zeus09 3.72 2.20 zeus08 203620352 6.57 3.77 353447936 zeus23 7.24 4.13 zeus15 364929024 9.26 5.22 397549568 zeus13 5.96 3.54 zeus11 314753024 3.90 2.35 zeus11 213766144 4.68 2.75 zeus04 226983936 4.14 2.47 zeus02 212475904 3.72 2.19 201949184 zeus24 3.88 2.29 zeus22 208384000 4.23 2.46 zeus03 217030656 3.63 2.15 zeus03 203243520
ldv-regression/nested_structure.c_true-unreach-call.i 3.75 2.26 zeus22 203870208 3.81 2.27 204181504 zeus01 3.63 2.12 zeus20 207732736 6.48 3.74 342339584 zeus16 7.37 4.13 zeus16 367095808 6.15 3.55 317206528 zeus16 5.75 3.33 zeus13 326672384 3.97 2.41 zeus04 211628032 3.94 2.33 zeus05 202280960 3.85 2.36 zeus09 209829888 3.61 2.15 204533760 zeus17 3.94 2.34 zeus11 210612224 3.67 2.18 zeus03 210219008 4.03 2.40 zeus23 207106048
ldv-regression/nested_structure_noptr.c_true-unreach-call.i 3.95 2.34 zeus19 208674816 3.52 2.09 204103680 zeus08 3.76 2.21 zeus19 205164544 6.24 3.60 338657280 zeus22 5.66 3.27 zeus04 318115840 5.30 3.03 307810304 zeus21 5.79 3.34 zeus17 335769600 3.85 2.31 zeus04 210817024 3.83 2.31 zeus10 206958592 3.86 2.33 zeus13 212541440 3.62 2.15 204804096 zeus09 3.77 2.25 zeus07 211566592 3.71 2.18 zeus23 205541376 3.74 2.19 zeus17 202104832
ldv-regression/nested_structure_noptr_true-unreach-call.i 3.82 2.25 zeus17 203255808 3.92 2.38 204124160 zeus03 3.50 2.10 zeus20 212733952 5.99 3.42 322912256 zeus06 5.48 3.23 zeus24 316846080 6.10 3.54 334573568 zeus15 5.64 3.29 zeus20 321540096 4.49 2.69 zeus11 215662592 4.03 2.41 zeus03 207474688 3.72 2.19 zeus21 214200320 3.76 2.24 202510336 zeus22 4.28 2.46 zeus16 206430208 3.84 2.29 zeus16 208449536 3.61 2.16 zeus02 204378112
ldv-regression/nested_structure_ptr.c_true-unreach-call.i 3.53 2.10 zeus21 208007168 3.82 2.23 203526144 zeus15 3.70 2.17 zeus03 206266368 7.50 4.18 369528832 zeus21 6.27 3.69 zeus07 346562560 5.65 3.29 301314048 zeus22 5.92 3.50 zeus01 313196544 4.06 2.38 zeus01 212176896 3.93 2.39 zeus06 209874944 3.97 2.35 zeus05 214929408 4.03 2.38 201007104 zeus15 3.63 2.16 zeus11 212443136 4.17 2.44 zeus03 202768384 3.63 2.12 zeus21 210325504
ldv-regression/nested_structure_ptr_true-unreach-call.i 3.71 2.23 zeus14 210141184 3.51 2.07 207564800 zeus10 3.52 2.11 zeus14 204652544 7.89 4.46 393142272 zeus22 6.59 3.80 zeus19 353148928 5.78 3.35 326336512 zeus13 6.00 3.46 zeus13 338632704 4.01 2.38 zeus22 212058112 3.92 2.34 zeus06 212209664 3.81 2.27 zeus17 211955712 3.81 2.29 206942208 zeus10 3.86 2.28 zeus17 201613312 3.82 2.29 zeus13 210571264 3.70 2.20 zeus14 205029376
ldv-regression/nested_structure_true-unreach-call.i 3.69 2.21 zeus12 210755584 3.72 2.26 209149952 zeus18 3.79 2.27 zeus19 206913536 6.39 3.73 353406976 zeus24 6.34 3.76 zeus12 362655744 5.74 3.41 328978432 zeus22 5.95 3.43 zeus20 320155648 3.97 2.36 zeus02 209907712 3.88 2.33 zeus13 215744512 3.99 2.38 zeus17 213884928 3.64 2.13 206147584 zeus20 3.66 2.16 zeus24 206442496 3.67 2.20 zeus14 205012992 3.87 2.27 zeus22 204984320
ldv-regression/oomInt.c_true-unreach-call.i 3.81 2.26 zeus10 214233088 4.11 2.37 206966784 zeus13 3.64 2.14 zeus20 211660800 6.10 3.49 344870912 zeus03 5.90 3.41 zeus16 316157952 5.57 3.25 321155072 zeus23 5.65 3.28 zeus11 328007680 3.82 2.33 zeus07 214298624 3.81 2.27 zeus22 210677760 4.06 2.44 zeus11 216563712 3.80 2.25 202915840 zeus24 3.71 2.23 zeus12 205996032 4.00 2.34 zeus04 203190272 3.94 2.26 zeus16 207376384
ldv-regression/oomInt.c_true-unreach-call_1.i 4.07 2.43 zeus17 209141760 3.63 2.17 212303872 zeus07 3.75 2.26 zeus18 207192064 5.52 3.13 319545344 zeus21 5.57 3.28 zeus18 328409088 5.66 3.31 331472896 zeus22 5.71 3.35 zeus18 319676416 3.90 2.36 zeus14 221831168 3.86 2.29 zeus17 211288064 3.93 2.37 zeus09 213639168 4.03 2.36 212795392 zeus07 3.78 2.25 zeus06 204701696 3.73 2.20 zeus24 208965632 3.57 2.16 zeus04 205787136
ldv-regression/rule57_ebda_blast.c_true-unreach-call_1.i 3.85 2.26 zeus19 215457792 4.11 2.42 206454784 zeus24 4.19 2.45 zeus14 213336064 7.30 4.19 344526848 zeus07 7.22 4.17 zeus12 347361280 8.06 4.67 348602368 zeus09 6.94 3.89 zeus21 352776192 4.42 2.66 zeus06 219574272 4.36 2.60 zeus06 216997888 4.11 2.43 zeus21 222236672 4.17 2.46 210784256 zeus17 4.03 2.34 zeus08 208621568 4.00 2.39 zeus05 211329024 4.10 2.40 zeus07 215642112
ldv-regression/rule60_list.c_true-unreach-call.i 4.29 2.48 zeus17 212930560 5.23 3.06 240541696 zeus10 4.07 2.42 zeus12 217149440 8.62 4.92 380157952 zeus20 8.71 4.94 zeus06 380788736 10.2  5.62 414457856 zeus11 6.62 3.82 zeus19 327991296 4.81 2.82 zeus17 217853952 4.92 2.87 zeus02 240390144 4.61 2.73 zeus11 224890880 4.19 2.46 214601728 zeus19 4.28 2.50 zeus17 215191552 5.20 3.05 zeus04 240119808 4.31 2.49 zeus05 212676608
ldv-regression/rule60_list2.c_true-unreach-call.i 4.45 2.57 zeus21 220143616 4.76 2.83 214482944 zeus06 4.51 2.64 zeus05 217260032 7.58 4.36 341176320 zeus01 6.99 4.07 zeus20 335011840 6.95 4.03 324489216 zeus11 7.14 4.09 zeus20 336232448 5.08 2.96 zeus23 225255424 4.67 2.73 zeus18 226848768 4.83 2.80 zeus21 220004352 4.64 2.69 219942912 zeus07 4.29 2.53 zeus01 213893120 4.32 2.46 zeus21 214773760 4.25 2.52 zeus15 220975104
ldv-regression/sizeofparameters_test.c_true-unreach-call.i 4.14 2.41 zeus20 212877312 4.58 2.74 205950976 zeus24 4.15 2.43 zeus14 212717568 6.13 3.52 333926400 zeus22 6.51 3.75 zeus17 349863936 6.24 3.57 325439488 zeus13 6.21 3.54 zeus05 309690368 4.55 2.69 zeus13 218644480 4.10 2.43 zeus23 210120704 4.57 2.71 zeus19 223870976 3.82 2.29 212234240 zeus03 3.95 2.31 zeus23 210636800 3.89 2.29 zeus24 207638528 4.12 2.39 zeus06 208080896
ldv-regression/structure_assignment.c_true-unreach-call.i 3.54 2.12 zeus22 210616320 4.17 2.45 222224384 zeus20 3.59 2.16 zeus14 208314368 6.03 3.50 313044992 zeus12 5.53 3.22 zeus03 327200768 8.86 4.96 414711808 zeus02 5.86 3.38 zeus07 317288448 3.78 2.30 zeus11 211943424 4.08 2.44 zeus20 220303360 3.92 2.34 zeus03 210980864 3.88 2.28 212250624 zeus10 3.75 2.21 zeus24 200699904 4.20 2.47 zeus23 223055872 3.78 2.24 zeus24 204414976
ldv-regression/test_address.c_true-unreach-call.i 4.18 2.45 zeus17 210300928 5.19 2.99 241291264 zeus05 4.15 2.44 zeus22 210014208 6.76 3.91 323121152 zeus08 6.51 3.75 zeus22 327860224 10.1  5.59 419717120 zeus16 5.71 3.36 zeus03 324587520 4.25 2.56 zeus18 215482368 5.16 3.04 zeus04 239558656 4.30 2.59 zeus07 222138368 4.07 2.39 211607552 zeus20 4.16 2.44 zeus14 211259392 4.94 2.88 zeus09 235700224 4.13 2.44 zeus17 210329600
ldv-regression/test_cut_trace.c_true-unreach-call.i 3.69 2.17 zeus02 204533760 3.66 2.15 201756672 zeus08 3.84 2.28 zeus22 204554240 5.83 3.38 319582208 zeus24 5.73 3.35 zeus12 321363968 6.04 3.50 305012736 zeus15 5.85 3.38 zeus18 316170240 3.63 2.18 zeus17 200847360 3.97 2.31 zeus16 210903040 3.68 2.21 zeus23 211496960 3.86 2.31 209145856 zeus03 3.84 2.27 zeus01 202858496 3.79 2.23 zeus11 207388672 3.45 2.09 zeus04 206757888
ldv-regression/test_malloc-1_true-unreach-call.i 4.25 2.51 zeus17 216547328 5.04 2.89 243793920 zeus08 4.19 2.45 zeus04 217427968 6.27 3.64 331571200 zeus08 6.45 3.70 zeus04 342319104 9.66 5.36 428605440 zeus20 6.38 3.60 zeus08 335646720 4.50 2.62 zeus02 215552000 5.24 3.05 zeus04 237580288 4.38 2.63 zeus22 219648000 4.30 2.54 214216704 zeus08 4.28 2.51 zeus01 212111360 5.17 3.03 zeus14 240349184 4.27 2.50 zeus01 211763200
ldv-regression/test_malloc-2_true-unreach-call.i 4.05 2.39 zeus19 210808832 5.10 2.99 244883456 zeus16 4.33 2.54 zeus16 216932352 6.79 3.93 312619008 zeus18 6.65 3.78 zeus14 359280640 10.2  5.69 414785536 zeus02 6.03 3.47 zeus24 318328832 4.60 2.71 zeus05 220315648 4.94 2.87 zeus12 236068864 4.37 2.58 zeus08 218693632 3.98 2.37 214900736 zeus11 4.12 2.39 zeus22 210055168 4.97 2.88 zeus07 236511232 4.45 2.62 zeus02 215138304
ldv-regression/test_overflow.c_true-unreach-call.i 4.92 2.77 zeus01 220889088 4.73 2.73 223014912 zeus06 4.59 2.66 zeus04 221724672 7.15 4.04 334995456 zeus07 6.72 3.86 zeus11 334503936 6.82 3.91 329236480 zeus02 6.99 4.02 zeus04 316428288 4.65 2.75 zeus12 223633408 4.68 2.74 zeus14 222265344 4.97 2.86 zeus09 224043008 4.67 2.70 218267648 zeus06 4.93 2.78 zeus20 220504064 4.62 2.67 zeus23 215367680 4.65 2.70 zeus10 220917760
ldv-regression/test_union.c_true-unreach-call.i 3.64 2.16 zeus22 206331904 3.79 2.28 204783616 zeus03 3.58 2.17 zeus17 197824512 5.49 3.18 328011776 zeus22 7.00 4.13 zeus19 327438336 5.83 3.28 322125824 zeus02 6.01 3.45 zeus06 328511488 3.85 2.27 zeus17 209494016 3.62 2.19 zeus14 209428480 3.89 2.33 zeus13 207536128 3.85 2.26 208093184 zeus11 4.05 2.37 zeus24 202571776 3.68 2.21 zeus24 200650752 3.64 2.15 zeus23 202776576
ldv-regression/test_union.c_true-unreach-call_1.i 4.10 2.48 zeus13 230408192 4.10 2.43 225071104 zeus15 4.00 2.42 zeus04 230195200 8.41 4.77 427143168 zeus14 7.21 4.14 zeus10 369565696 9.09 5.07 398839808 zeus04 8.45 4.71 zeus12 418566144 4.37 2.59 zeus09 222347264 4.24 2.58 zeus19 216125440 4.36 2.59 zeus01 214863872 3.99 2.37 222367744 zeus02 4.07 2.43 zeus16 224501760 4.05 2.39 zeus11 229122048 3.86 2.30 zeus22 216903680
ldv-regression/test_union_cast-1_true-unreach-call.i 3.98 2.39 zeus23 209592320 3.67 2.19 204308480 zeus19 4.04 2.35 zeus23 207675392 6.36 3.64 340889600 zeus13 5.86 3.42 zeus09 322613248 5.66 3.31 303427584 zeus15 5.27 3.11 zeus24 319324160 3.71 2.23 zeus14 210165760 3.81 2.24 zeus23 211865600 3.89 2.30 zeus03 209948672 3.73 2.22 211611648 zeus12 3.50 2.03 zeus21 208818176 3.74 2.22 zeus04 205230080 3.72 2.20 zeus22 205955072
ldv-regression/test_union_cast-2_true-unreach-call.i 3.82 2.26 zeus19 207560704 3.62 2.15 211177472 zeus08 4.01 2.41 zeus22 205836288 7.19 4.14 366510080 zeus10 6.42 3.72 zeus09 348430336 6.64 3.77 334135296 zeus02 5.97 3.53 zeus13 317915136 4.02 2.39 zeus01 209928192 3.92 2.30 zeus20 205414400 3.92 2.36 zeus09 215773184 3.64 2.15 203735040 zeus23 3.78 2.27 zeus11 212193280 3.79 2.26 zeus10 203919360 3.79 2.27 zeus04 211161088
ldv-regression/test_union_cast.c_true-unreach-call.i 3.79 2.26 zeus05 205586432 3.67 2.18 206921728 zeus12 3.77 2.24 zeus12 209203200 7.12 4.00 381566976 zeus05 7.17 4.14 zeus08 361717760 5.93 3.46 330850304 zeus11 6.03 3.48 zeus02 313679872 3.76 2.25 zeus20 209932288 3.95 2.33 zeus05 204525568 3.97 2.35 zeus07 223784960 4.27 2.51 205185024 zeus04 3.78 2.25 zeus10 207708160 3.47 2.09 zeus19 204673024 3.55 2.12 zeus11 206860288
ldv-regression/test_union_cast.c_true-unreach-call_1.i 3.64 2.16 zeus24 203149312 3.37 1.98 206856192 zeus21 3.65 2.17 zeus13 204181504 6.12 3.52 359526400 zeus12 5.73 3.36 zeus16 299896832 6.21 3.50 325214208 zeus21 5.41 3.17 zeus15 320294912 3.80 2.24 zeus20 210829312 3.95 2.38 zeus09 213811200 3.75 2.28 zeus12 216551424 3.75 2.19 206548992 zeus02 3.90 2.28 zeus02 205131776 3.81 2.24 zeus03 203812864 3.73 2.22 zeus10 211513344
ldv-regression/volatile_alias.c_true-unreach-call.i 3.64 2.20 zeus07 206548992 4.21 2.52 221970432 zeus22 3.74 2.20 zeus02 207622144 6.25 3.62 348413952 zeus03 7.12 4.09 zeus22 378949632 8.92 4.93 406745088 zeus23 5.66 3.32 zeus04 323112960 3.76 2.26 zeus24 208048128 3.90 2.35 zeus19 218353664 3.96 2.34 zeus13 211202048 4.25 2.52 203292672 zeus12 3.52 2.14 zeus14 207278080 4.18 2.51 zeus09 225251328 4.37 2.60 zeus05 202788864
ldv-regression/volatile_alias.c_true-unreach-call_1.i 3.56 2.14 zeus24 202428416 4.15 2.46 224321536 zeus01 3.73 2.18 zeus23 203538432 6.31 3.65 353566720 zeus04 6.65 3.79 zeus01 347578368 8.73 4.88 407400448 zeus01 5.97 3.45 zeus24 321318912 3.93 2.37 zeus09 211333120 4.11 2.49 zeus11 225251328 3.80 2.25 zeus02 209342464 3.68 2.20 209715200 zeus24 3.81 2.26 zeus04 206610432 3.83 2.29 zeus17 219430912 4.74 2.91 zeus23 201281536
ddv-machzwd/ddv_machzwd_all_false-unreach-call.i 32.9  25.2  zeus22 572096512 6.69 3.84 260603904 zeus14 18.9  10.2  zeus20 568197120 24.0  12.6  481390592 zeus05 902    733    zeus06 9221447680 8.27 4.60 355901440 zeus14 68.1  34.8  zeus20 1057914880 26.8  14.1  zeus18 606957568 6.57 3.64 zeus03 263135232 30.4  15.8  zeus24 613515264 26.4  22.3  312119296 zeus23 19.3  11.3  zeus05 533753856 6.72 3.73 zeus06 261582848 19.0  10.7  zeus03 537767936
ddv-machzwd/ddv_machzwd_inw_false-unreach-call.i 33.0  25.2  zeus16 553742336 6.67 3.75 264577024 zeus04 17.6  9.55 zeus14 542810112 24.6  13.1  541270016 zeus18 902    731    zeus10 9083924480 8.23 4.54 354742272 zeus05 62.8  32.2  zeus08 1018183680 28.8  15.0  zeus04 626798592 6.89 3.87 zeus04 267587584 30.3  16.0  zeus17 631066624 28.0  23.5  323846144 zeus08 18.1  10.6  zeus11 532692992 5.91 3.27 zeus21 266076160 18.3  10.3  zeus16 536936448
ddv-machzwd/ddv_machzwd_outb_false-unreach-call.i 35.7  26.5  zeus09 584327168 6.81 3.78 265842688 zeus05 17.2  9.42 zeus09 540475392 25.0  13.1  515043328 zeus09 902    731    zeus07 9609015296 8.17 4.58 357801984 zeus01 65.4  33.4  zeus23 979296256 27.9  14.5  zeus11 597614592 7.04 3.90 zeus23 265850880 29.6  15.4  zeus08 623075328 28.1  23.7  314277888 zeus12 20.2  12.0  zeus02 542760960 6.60 3.73 zeus04 267251712 19.0  10.8  zeus17 549732352
ddv-machzwd/ddv_machzwd_inb_p_true-unreach-call.i 9.45 5.15 zeus09 310341632 6.88 3.86 269512704 zeus04 9.78 5.37 zeus15 314544128 14.5  7.87 433647616 zeus12 11.8  6.43 zeus14 410394624 7.72 4.34 361771008 zeus08 11.3  6.15 zeus11 392691712 11.2  6.08 zeus18 420458496 6.61 3.70 zeus20 267358208 11.8  6.42 zeus22 439582720 9.68 5.20 319889408 zeus20 9.84 5.39 zeus02 312877056 6.80 3.74 zeus01 256000000 10.8  5.82 zeus04 332574720
ddv-machzwd/ddv_machzwd_inb_true-unreach-call.i 10.6  5.77 zeus16 331157504 6.69 3.71 259862528 zeus06 9.90 5.49 zeus04 321564672 13.8  7.46 414756864 zeus08 12.1  6.53 zeus08 381505536 7.97 4.48 366731264 zeus02 12.6  6.85 zeus24 413847552 11.7  6.38 zeus23 433102848 6.91 3.83 zeus13 265482240 11.8  6.43 zeus09 443916288 10.2  5.57 331300864 zeus22 9.62 5.28 zeus24 317276160 6.61 3.66 zeus11 262164480 10.5  5.68 zeus02 330346496
ddv-machzwd/ddv_machzwd_inl_p_true-unreach-call.i 9.84 5.40 zeus22 313774080 6.61 3.59 267251712 zeus21 10.3  5.57 zeus06 315047936 13.3  7.21 409042944 zeus18 12.3  6.70 zeus17 426004480 7.77 4.41 361598976 zeus04 12.9  7.01 zeus06 408690688 11.4  6.16 zeus15 426496000 6.81 3.78 zeus14 276619264 10.9  5.86 zeus21 434913280 11.1  6.09 320999424 zeus10 10.4  5.56 zeus17 326750208 6.82 3.87 zeus16 264429568 10.1  5.53 zeus19 320987136
ddv-machzwd/ddv_machzwd_inl_true-unreach-call.i 10.5  5.72 zeus23 327774208 6.56 3.66 265252864 zeus09 10.5  5.75 zeus01 333533184 12.3  6.68 408158208 zeus21 12.2  6.64 zeus24 413294592 7.45 4.18 349859840 zeus22 14.8  7.94 zeus18 422735872 11.5  6.23 zeus12 416653312 6.68 3.81 zeus18 265875456 12.4  6.68 zeus22 427745280 10.5  5.62 310910976 zeus01 9.94 5.42 zeus05 312172544 6.74 3.79 zeus18 266588160 9.92 5.41 zeus14 323313664
ddv-machzwd/ddv_machzwd_inw_p_true-unreach-call.i 10.6  5.82 zeus17 328433664 6.52 3.62 264798208 zeus03 10.6  5.79 zeus06 321392640 12.0  6.49 390762496 zeus16 13.8  7.39 zeus23 460709888 8.39 4.65 366170112 zeus20 12.0  6.49 zeus07 412209152 11.2  6.07 zeus14 426946560 6.78 3.79 zeus06 266014720 12.2  6.59 zeus18 436568064 11.9  6.43 334114816 zeus15 9.96 5.44 zeus15 315125760 6.92 3.81 zeus04 261947392 10.2  5.55 zeus01 315715584
ddv-machzwd/ddv_machzwd_outb_p_true-unreach-call.i 9.56 5.23 zeus02 314908672 6.43 3.66 264286208 zeus22 9.82 5.38 zeus13 314417152 13.7  7.32 446857216 zeus24 12.8  6.99 zeus01 419557376 8.46 4.70 351313920 zeus02 11.8  6.50 zeus20 395563008 11.1  6.03 zeus03 432783360 6.75 3.78 zeus06 267571200 12.5  6.75 zeus17 434343936 9.49 5.28 318320640 zeus10 10.2  5.59 zeus07 327630848 6.61 3.74 zeus07 265052160 11.5  6.24 zeus15 333975552
ddv-machzwd/ddv_machzwd_outl_p_true-unreach-call.i 10.3  5.61 zeus16 309940224 6.44 3.51 262131712 zeus21 9.96 5.42 zeus08 317100032 11.8  6.48 410230784 zeus04 14.3  7.80 zeus17 457216000 8.06 4.48 366964736 zeus11 13.5  7.35 zeus08 410853376 11.9  6.42 zeus04 445874176 6.94 3.87 zeus24 267730944 13.6  7.36 zeus20 448348160 11.4  6.18 330063872 zeus15 9.58 5.19 zeus22 316354560 6.87 3.82 zeus06 265719808 11.0  5.95 zeus14 327856128
ddv-machzwd/ddv_machzwd_outl_true-unreach-call.i 10.4  5.69 zeus11 321515520 6.34 3.48 265764864 zeus21 10.2  5.57 zeus02 325480448 12.6  6.80 416202752 zeus04 12.8  7.05 zeus18 398151680 8.37 4.61 357646336 zeus15 11.7  6.41 zeus19 408518656 11.8  6.40 zeus20 429162496 6.85 3.79 zeus01 260513792 11.4  6.15 zeus14 428711936 9.32 5.15 313106432 zeus22 10.3  5.61 zeus13 326889472 6.66 3.76 zeus12 261443584 9.97 5.38 zeus19 315498496
ddv-machzwd/ddv_machzwd_outw_p_true-unreach-call.i 9.68 5.32 zeus11 316932096 6.99 3.85 265977856 zeus20 10.4  5.64 zeus22 321884160 11.3  6.18 404787200 zeus21 12.8  6.95 zeus17 440233984 7.89 4.44 359624704 zeus09 12.0  6.51 zeus16 411181056 11.1  5.98 zeus21 433405952 6.65 3.78 zeus15 261763072 10.9  5.91 zeus21 431796224 10.0  5.45 311341056 zeus01 10.3  5.58 zeus17 316895232 6.34 3.54 zeus21 261218304 10.1  5.47 zeus16 321945600
ddv-machzwd/ddv_machzwd_pthread_mutex_unlock_true-unreach-call.i 9.90 5.40 zeus18 323432448 6.14 3.45 262369280 zeus21 9.93 5.46 zeus07 316837888 12.5  6.69 419737600 zeus17 12.8  6.97 zeus09 421208064 8.04 4.54 353734656 zeus06 11.4  6.17 zeus21 406364160 11.6  6.21 zeus01 424607744 6.84 3.79 zeus14 266190848 11.7  6.34 zeus24 433991680 10.4  5.63 330907648 zeus14 9.89 5.41 zeus09 316719104 6.64 3.66 zeus10 264880128 11.2  6.11 zeus22 339329024
test/programs/benchmarks/ status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage
total tasks 81 541 330 21431857152 81 400   232   19490619392 81 9450 9160   30071939072 81 9150 8020 73957281792 81 11800 10200 100216254464 81 716   400   30857220096 81 9350 8150 77157724160 81 540 305 23008808960 81 417   242   20166791168 81 9550 8670 80782454784 81 8620   8360   33114292224 81 8590 8330 30878048256 81 404   234   19477749760 81 8580 8290 26890326016
    correct results 66 460 282 17905192960 40 181   106   9289093120 67 419 238   18051371008 64 923 500 28455981056 65 973 527 29469454336 40 348   195   15059161088 68 1220 671 33032908800 62 433 244 18127065088 40 192   112   9812103168 67 511 285 20580249600 65 391   228   16913043456 68 446 261 18522869760 40 185   108   9375633408 68 444 255 18642796544
        correct true 44 243 139 10491670528 24 96.6 57.0 5043101696 44 242 138   10443411456 43 419 233 16370462720 44 469 260 17384853504 24 162   92.9 8121225216 44 489 279 17450106880 42 245 140 11111309312 24 100   59.5 5147025408 44 282 160 12272525312 44 258   151   10513768448 44 257 151 10486771712 24 96.5 56.9 5026869248 44 250 143 10469867520
        correct false 22 217 143 7413522432 16 84.6 48.9 4245991424 23 177 99.9 7607959552 21 505 267 12085518336 21 504 267 12084600832 16 186   102   6937935872 24 726 392 15582801920 20 188 104 7015755776 16 91.8 52.6 4665077760 23 228 126 8307724288 21 134   77.2 6399275008 24 189 110 8036098048 16 88.4 51.1 4348764160 24 194 111 8172929024
    incorrect results 0 23 112   65.4 5671133184 0 0 0 23 231   128   9491292160 0 0 23 115   67.4 5806968832 0 3 82.5 69.4 950243328 0 23 112   65.6 5599031296 0
        incorrect true 0 5 22.3 13.1 1089564672 0 0 0 5 47.0 26.4 1997664256 0 0 5 23.1 13.6 1126535168 0 3 82.5 69.4 950243328 0 5 22.8 13.4 1101115392 0
        incorrect false 0 18 89.8 52.3 4581568512 0 0 0 18 184   102   7493627904 0 0 18 92.2 53.8 4680433664 0 0 0 18 89.5 52.2 4497915904 0
score (81 tasks, max score: 137) 110 -384 111 107 109 -384 112 104 -384 111 13 112 -384 112
Run set MathSAT5-heaparray.HeapReach MathSAT5-oldarray.HeapReach MathSAT5-uf.HeapReach PRINCESS-heaparray-quantifiers.HeapReach PRINCESS-heaparray.HeapReach PRINCESS-oldarray.HeapReach PRINCESS-uf.HeapReach SMTInterpol-heaparray.HeapReach SMTInterpol-oldarray.HeapReach SMTInterpol-uf.HeapReach Z3-heaparray-quantifiers.HeapReach Z3-heaparray.HeapReach Z3-oldarray.HeapReach Z3-uf.HeapReach