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.ArraysReach10 MathSAT5-oldarray.ArraysReach10 MathSAT5-uf.ArraysReach10 PRINCESS-heaparray-quantifiers.ArraysReach10 PRINCESS-heaparray.ArraysReach10 PRINCESS-oldarray.ArraysReach10 PRINCESS-uf.ArraysReach10 SMTInterpol-heaparray.ArraysReach10 SMTInterpol-oldarray.ArraysReach10 SMTInterpol-uf.ArraysReach10 Z3-heaparray-quantifiers.ArraysReach10 Z3-heaparray.ArraysReach10 Z3-oldarray.ArraysReach10 Z3-uf.ArraysReach10
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/array-simplified-benchmarks/arrays-size-10/ 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 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) memUsage host status cputime (s) walltime (s) host memUsage
10_data_structures_set_multi_proc_false-unreach-call_ground.i 23.4  18.5  zeus18 483495936 10.4  5.74 zeus24 419946496 12.8  7.56 zeus23 478048256 362    281    5387468800 zeus09 378    295    zeus15 5332271104 72.2  36.9  zeus04 1061752832 901    791    zeus05 7067553792 30.6  15.9  zeus20 908378112 20.0  10.5  zeus05 585895936 29.5  15.3  zeus13 707174400 16.5  11.5  429133824 zeus13 16.1  11.2  zeus11 435916800 11.1  6.68 419950592 zeus07 13.3  7.96 zeus22 465575936
10_sorting_bubblesort_false-unreach-call2_ground.i 7.84 4.53 zeus11 364306432 7.12 4.19 zeus19 360271872 8.28 4.94 zeus11 375570432 40.2  20.8  858484736 zeus16 38.3  19.8  zeus17 844529664 38.2  19.6  zeus01 873869312 44.8  23.2  zeus20 855732224 14.2  7.69 zeus05 488828928 14.0  7.72 zeus22 510451712 18.2  9.64 zeus09 582406144 7.43 4.33 352735232 zeus24 7.13 4.18 zeus07 349839360 6.38 3.79 253980672 zeus02 7.69 4.56 zeus21 355635200
10_sorting_bubblesort_false-unreach-call_ground.i 7.84 4.43 zeus03 363433984 7.54 4.32 zeus17 358912000 8.11 4.77 zeus07 375484416 40.8  21.0  849371136 zeus12 39.1  20.3  zeus06 860004352 36.6  18.8  zeus21 841408512 41.7  21.6  zeus11 861110272 14.7  7.89 zeus11 498167808 12.1  6.62 zeus21 475086848 17.7  9.38 zeus01 549294080 7.73 4.42 357736448 zeus15 7.06 4.20 zeus12 354373632 6.99 4.15 251678720 zeus20 8.20 4.85 zeus20 349839360
10_sorting_selectionsort_false-unreach-call2_ground.i 7.41 4.26 zeus15 369291264 7.68 4.33 zeus22 355520512 7.86 4.47 zeus18 368205824 46.1  23.8  881516544 zeus09 47.1  24.3  zeus24 876113920 47.5  24.5  zeus13 909389824 51.8  26.6  zeus08 897089536 14.9  8.02 zeus17 527876096 14.1  7.64 zeus19 476262400 17.1  9.14 zeus15 536494080 10.5  6.11 390868992 zeus01 9.89 5.73 zeus01 381927424 9.79 5.68 379875328 zeus04 10.6  6.23 zeus06 402395136
10_sorting_selectionsort_false-unreach-call_ground.i 6.28 3.61 zeus11 265601024 6.15 3.68 zeus14 261943296 901    891    zeus07 2349506560 901    773    5395603456 zeus16 901    781    zeus19 5633650688 901    777    zeus18 5362552832 901    797    zeus05 5093470208 24.0  12.6  zeus03 757456896 18.5  9.74 zeus03 685907968 34.1  19.8  zeus09 964501504 901    896    314179584 zeus18 901    896    zeus02 314564608 902    893    905453568 zeus08 901    895    zeus21 377982976
10_standard_allDiff2_false-unreach-call_ground.i 14.7  8.24 zeus14 548659200 14.4  8.28 zeus04 544669696 14.2  7.92 zeus12 538472448 85.1  44.1  1425281024 zeus07 81.6  42.4  zeus09 1327558656 86.4  44.7  zeus23 1324605440 77.4  40.0  zeus02 1400602624 46.9  24.4  zeus06 889745408 41.6  21.6  zeus06 839958528 45.8  24.0  zeus05 871477248 24.1  16.0  736337920 zeus15 23.5  15.6  zeus21 723005440 24.9  16.9  722763776 zeus12 23.8  16.0  zeus10 725884928
10_standard_copy1_false-unreach-call_ground.i 6.68 3.82 zeus01 263512064 6.82 4.03 zeus08 264491008 8.16 4.71 zeus13 378183680 45.8  23.5  872665088 zeus15 45.4  23.4  zeus05 887046144 44.0  22.6  zeus23 903004160 64.3  34.4  zeus13 1391038464 11.9  6.45 zeus10 439533568 10.1  5.56 zeus05 419016704 14.4  7.81 zeus11 485015552 6.67 3.95 255782912 zeus13 6.31 3.74 zeus03 254914560 6.48 3.77 249659392 zeus05 7.25 4.33 zeus05 272367616
10_standard_copy2_false-unreach-call_ground.i 11.3  7.09 zeus15 406425600 8.90 5.04 zeus12 297299968 12.4  7.56 zeus08 456691712 74.7  38.9  1189978112 zeus07 68.7  35.8  zeus09 1151590400 57.6  29.7  zeus03 1140416512 901    773    zeus21 8342138880 17.6  9.46 zeus12 581079040 15.2  8.21 zeus20 519663616 25.7  13.5  zeus15 762970112 8.64 5.25 374444032 zeus08 9.02 5.45 zeus14 374267904 7.35 4.48 268451840 zeus20 10.5  6.60 zeus22 401575936
10_standard_copy3_false-unreach-call_ground.i 18.2  13.4  zeus07 471011328 11.3  6.45 zeus13 432324608 17.2  11.4  zeus12 591618048 615    437    11032576000 zeus14 611    428    zeus13 10919972864 70.1  37.3  zeus19 1341657088 902    775    zeus18 7641153536 27.2  14.2  zeus11 674377728 19.4  10.3  zeus17 612872192 42.7  22.0  zeus01 936366080 12.0  7.14 428138496 zeus22 12.2  7.32 zeus22 424611840 10.8  6.58 396754944 zeus22 14.2  9.17 zeus05 479481856
10_standard_copy4_false-unreach-call_ground.i 32.2  26.9  zeus04 517390336 13.0  7.61 zeus12 482639872 27.3  19.6  zeus05 781148160 1000    669    12020342784 zeus11 1000    679    zeus20 11874877440 87.2  48.6  zeus17 1585627136 901    791    zeus11 6165086208 33.8  17.5  zeus06 686018560 25.3  13.3  zeus04 734994432 46.5  23.9  zeus14 889995264 13.8  8.48 457191424 zeus12 15.0  8.99 zeus16 451117056 12.2  7.51 408379392 zeus22 19.9  13.4  zeus04 592064512
10_standard_copy5_false-unreach-call_ground.i 67.7  61.3  zeus15 757989376 17.0  10.1  zeus07 559718400 49.6  40.9  zeus10 845213696 902    638    10884358144 zeus08 901    645    zeus12 11308531712 109    65.3  zeus10 2457645056 901    832    zeus16 4523327488 39.5  20.4  zeus07 854360064 33.2  17.2  zeus11 823701504 42.7  22.3  zeus04 1347510272 15.7  9.84 496852992 zeus12 15.8  9.99 zeus10 498180096 14.0  8.81 434520064 zeus05 24.6  17.6  zeus23 729022464
10_standard_copy6_false-unreach-call_ground.i 133    125    zeus22 1208758272 18.2  11.0  zeus22 622108672 94.1  83.6  zeus20 886419456 992    646    9081450496 zeus09 901    623    zeus02 9669664768 139    88.5  zeus13 3680825344 901    837    zeus03 4572852224 42.7  22.0  zeus10 859549696 37.4  19.4  zeus07 859942912 55.5  29.7  zeus07 1373470720 17.7  11.6  530857984 zeus01 17.1  11.0  zeus16 530722816 14.9  9.55 453787648 zeus17 31.8  23.9  zeus05 792240128
10_standard_copy7_false-unreach-call_ground.i 246    236    zeus14 1503191040 21.8  13.3  zeus07 715501568 152    140    zeus11 927076352 903    626    9376710656 zeus04 902    628    zeus09 9356099584 159    106    zeus10 4454043648 901    825    zeus13 4590641152 47.0  24.1  zeus03 886419456 40.0  20.7  zeus17 871948288 53.8  29.1  zeus23 1735266304 19.5  13.0  565207040 zeus03 20.0  13.3  zeus11 559673344 17.2  11.3  474574848 zeus17 39.7  31.6  zeus09 788471808
10_standard_copy8_false-unreach-call_ground.i 389    377    zeus12 2237628416 27.8  17.0  zeus07 781144064 209    194    zeus03 1013276672 901    638    9813319680 zeus05 902    632    zeus12 9251041280 231    165    zeus08 5573890048 901    821    zeus06 4685717504 52.4  27.5  zeus04 1221857280 42.0  21.7  zeus08 862654464 57.5  31.8  zeus06 1518469120 23.6  16.3  605962240 zeus17 21.3  14.5  zeus21 617795584 18.8  12.7  501948416 zeus23 48.3  39.7  zeus18 803139584
10_standard_copy9_false-unreach-call_ground.i 609    595    zeus23 3665969152 30.4  19.0  zeus20 796672000 236    219    zeus07 1040715776 902    653    9429958656 zeus07 902    654    zeus22 9487093760 297    220    zeus05 6184513536 901    803    zeus20 4810653696 56.9  30.0  zeus12 1299668992 46.8  24.2  zeus06 877473792 66.5  38.3  zeus02 2184110080 24.5  17.0  671457280 zeus14 23.7  16.5  zeus03 654589952 21.7  14.7  529563648 zeus04 61.4  51.7  zeus11 812437504
10_standard_copyInitSum2_false-unreach-call_ground.i 9.48 5.72 zeus11 322232320 12.0  7.01 zeus06 449249280 22.6  14.1  zeus21 633171968 88.6  46.0  1323089920 zeus10 84.8  43.9  zeus07 1293135872 88.8  45.6  zeus15 1352474624 106    60.1  zeus16 1917091840 31.0  16.1  zeus06 815202304 19.2  10.3  zeus06 663552000 35.8  18.4  zeus12 682119168 901    895    321515520 zeus20 901    895    zeus07 328208384 33.3  27.9  439975936 zeus04 33.4  26.6  zeus06 490610688
10_standard_init1_false-unreach-call_ground.i 6.51 3.72 zeus03 274071552 6.39 3.68 zeus23 261324800 7.30 4.19 zeus01 363323392 43.2  22.4  827817984 zeus18 38.9  20.2  zeus04 834314240 39.3  20.4  zeus04 832868352 51.3  26.4  zeus09 903729152 9.43 5.31 zeus08 404963328 9.10 5.09 zeus22 394166272 12.7  6.90 zeus13 469053440 7.65 4.48 339009536 zeus22 6.64 4.02 zeus19 260739072 6.05 3.68 249409536 zeus18 7.29 4.39 zeus06 351449088
10_standard_init2_false-unreach-call_ground.i 10.0  5.53 zeus22 416624640 8.93 5.00 zeus01 306110464 9.57 5.64 zeus11 404467712 52.7  27.1  897650688 zeus14 54.2  27.8  zeus15 921690112 54.2  27.8  zeus14 943755264 57.9  29.7  zeus21 1015271424 15.5  8.38 zeus24 533233664 15.5  8.30 zeus22 511041536 22.7  12.0  zeus10 634920960 8.51 5.20 367267840 zeus14 8.80 5.33 zeus14 361881600 7.94 4.80 267952128 zeus02 9.23 5.72 zeus14 377401344
10_standard_init3_false-unreach-call_ground.i 13.3  7.48 zeus20 443699200 11.4  6.50 zeus11 426975232 12.6  7.69 zeus19 466587648 65.5  33.6  1032712192 zeus18 66.5  34.2  zeus16 1002070016 64.7  33.2  zeus08 1139470336 74.7  39.0  zeus14 1509957632 21.1  11.1  zeus21 642584576 21.1  11.1  zeus08 632242176 28.7  14.9  zeus22 731410432 11.7  6.90 413368320 zeus10 11.1  6.66 zeus08 412094464 11.1  6.59 397766656 zeus03 12.4  7.81 zeus04 416362496
10_standard_init4_false-unreach-call_ground.i 13.1  7.74 zeus13 481976320 12.1  7.18 zeus11 466173952 14.5  9.20 zeus24 543080448 71.4  37.5  1242722304 zeus23 72.1  37.7  zeus13 1246900224 74.7  38.6  zeus15 1236582400 75.5  40.5  zeus06 1442398208 23.5  12.4  zeus15 617914368 24.5  12.9  zeus01 707354624 33.9  17.5  zeus18 694288384 13.0  7.92 416657408 zeus12 12.2  7.48 zeus24 412995584 11.3  6.86 403697664 zeus21 14.3  9.25 zeus06 437157888
10_standard_init5_false-unreach-call_ground.i 16.2  9.51 zeus03 542724096 14.6  8.78 zeus05 522936320 20.6  13.0  zeus19 612089856 83.8  44.9  1473294336 zeus05 83.9  45.1  zeus03 1403719680 79.3  42.3  zeus21 1420460032 83.5  46.2  zeus06 1687879680 29.7  15.5  zeus06 719138816 33.0  17.1  zeus16 809455616 36.1  18.7  zeus10 806187008 15.7  9.74 442605568 zeus12 13.6  8.52 zeus18 440696832 14.1  8.68 440381440 zeus01 17.4  11.7  zeus20 461262848
10_standard_init6_false-unreach-call_ground.i 19.2  12.0  zeus14 617025536 18.2  11.3  zeus19 600666112 23.6  15.6  zeus19 737464320 96.1  53.1  1601736704 zeus01 101    55.3  zeus09 1647382528 95.0  52.2  zeus01 1637056512 94.2  53.6  zeus01 2199429120 35.4  18.4  zeus14 757919744 33.8  17.5  zeus23 867508224 40.7  21.1  zeus13 846626816 16.2  10.3  465383424 zeus01 16.0  10.1  zeus04 460431360 15.0  9.54 465526784 zeus21 20.6  14.3  zeus08 501608448
10_standard_init7_false-unreach-call_ground.i 26.0  15.7  zeus04 775774208 21.8  13.5  zeus15 683220992 29.4  19.4  zeus18 796950528 109    64.0  2053767168 zeus06 108    63.2  zeus13 1980608512 102    58.9  zeus13 1875550208 113    66.1  zeus01 2553532416 37.7  19.4  zeus18 886800384 37.8  19.6  zeus07 860139520 41.2  21.3  zeus10 849416192 17.2  11.2  492920832 zeus12 17.6  11.5  zeus17 488546304 17.0  11.1  488972288 zeus08 22.5  16.3  zeus11 520531968
10_standard_init8_false-unreach-call_ground.i 28.4  17.9  zeus06 819597312 26.2  16.4  zeus08 800575488 38.1  24.8  zeus01 853590016 122    75.6  2549612544 zeus14 127    78.6  zeus07 2849099776 125    76.4  zeus09 2463420416 126    77.3  zeus14 2877161472 41.2  21.2  zeus20 874803200 42.4  21.8  zeus03 875835392 43.2  22.5  zeus19 872235008 19.4  12.8  521732096 zeus11 19.5  12.9  zeus07 506707968 18.9  12.6  506949632 zeus21 26.1  19.4  zeus03 555630592
10_standard_init9_false-unreach-call_ground.i 32.5  20.4  zeus16 845467648 29.0  18.7  zeus10 794542080 40.8  28.2  zeus20 877043712 152    99.3  3091001344 zeus23 148    97.6  zeus01 3178127360 140    90.8  zeus06 2610257920 141    90.3  zeus22 3301072896 44.5  22.9  zeus21 884490240 42.0  21.7  zeus09 887799808 48.9  25.5  zeus10 1009745920 22.5  15.1  544698368 zeus03 21.5  14.4  zeus24 539291648 20.7  14.1  544043008 zeus21 30.3  23.0  zeus09 603635712
10_standard_minInArray_false-unreach-call_ground.i 8.02 4.49 zeus15 358137856 6.60 3.79 zeus16 269729792 7.37 4.20 zeus06 354668544 51.6  26.5  874582016 zeus23 53.2  27.4  zeus18 886743040 47.6  24.5  zeus04 863973376 59.6  30.6  zeus20 1064722432 11.1  6.11 zeus14 436867072 9.88 5.44 zeus07 415404032 11.7  6.47 zeus10 467603456 6.91 4.08 341479424 zeus17 7.53 4.40 zeus02 345374720 6.23 3.76 263114752 zeus23 7.23 4.31 zeus22 347246592
10_standard_partition_false-unreach-call_ground.i 901    888    zeus08 733655040 902    886    zeus20 724684800 123    115    zeus02 779694080 902    820    4606742528 zeus10 902    819    zeus13 4603625472 634    549    zeus16 4602118144 901    822    zeus07 4620800000 31.6  16.6  zeus09 885997568 255    219    zeus03 4684791808 235    193    zeus13 4486582272 902    893    792543232 zeus14 902    894    zeus09 819044352 902    894    835457024 zeus13 902    893    zeus15 790315008
10_standard_running_false-unreach-call.i 12.5  7.28 zeus04 436080640 11.8  6.62 zeus03 420687872 12.7  7.15 zeus02 459550720 77.1  39.3  1130885120 zeus21 71.5  36.6  zeus02 1148321792 73.6  37.6  zeus15 1090859008 72.9  38.4  zeus03 1353752576 32.0  16.6  zeus15 713068544 23.1  12.2  zeus03 696946688 29.2  15.3  zeus24 638926848 9.29 5.69 382074880 zeus22 9.79 5.96 zeus16 386314240 8.71 5.33 365752320 zeus08 10.7  6.50 zeus02 403304448
10_data_structures_set_multi_proc_trivial_true-unreach-call_ground.i 9.51 5.94 zeus09 298967040 7.88 4.51 zeus02 286945280 8.55 5.01 zeus19 302424064 167    106    2324893696 zeus14 171    107    zeus07 2197401600 112    60.4  zeus20 1664118784 590    516    zeus15 4558540800 68.9  35.1  zeus17 1295675392 54.2  27.7  zeus10 856997888 62.6  32.0  zeus12 943882240 25.8  18.3  459288576 zeus22 29.0  20.6  zeus04 450625536 18.6  11.4  445399040 zeus10 18.9  11.9  zeus18 475267072
10_data_structures_set_multi_proc_true-unreach-call_ground.i 29.4  23.3  zeus09 531542016 11.7  6.58 zeus24 454492160 17.7  10.6  zeus03 502886400 411    329    5652631552 zeus21 426    332    zeus16 5575950336 78.9  40.6  zeus17 1169448960 900    724    zeus02 6959935488 48.0  24.6  zeus12 899534848 39.9  20.5  zeus18 723484672 54.6  27.9  zeus12 881405952 22.8  16.4  486117376 zeus24 24.0  17.5  zeus01 493223936 17.1  10.8  473608192 zeus17 17.8  11.3  zeus21 526856192
10_relax_true-unreach-call.i 4.49 2.66 zeus03 217849856 4.65 2.68 zeus08 221044736 4.47 2.57 zeus16 215179264 6.06 3.47 308121600 zeus11 5.55 3.20 zeus08 308105216 10.3  5.73 zeus05 439459840 5.91 3.35 zeus17 309080064 4.64 2.68 zeus13 223371264 4.70 2.78 zeus06 225730560 4.49 2.63 zeus04 220311552 4.36 2.60 217980928 zeus07 4.56 2.67 zeus08 211812352 4.97 2.89 232034304 zeus09 4.45 2.55 zeus12 219938816
10_sanfoundry_02_true-unreach-call_ground.i 902    892    zeus21 735027200 902    891    zeus20 743415808 902    892    zeus16 2310266880 902    780    5154414592 zeus11 901    779    zeus07 5143842816 902    774    zeus07 4968169472 902    789    zeus14 4786524160 907    894    zeus02 795451392 901    810    zeus20 7527256064 902    795    zeus02 6811234304 902    892    864038912 zeus23 902    893    zeus13 871587840 18.2  13.2  414294016 zeus05 902    894    zeus15 840818688
10_sanfoundry_10_true-unreach-call_ground.i 8.02 4.67 zeus19 288722944 9.67 5.60 zeus04 341184512 86.8  72.8  zeus01 1335259136 497    426    4448403456 zeus21 506    432    zeus14 4640378880 396    329    zeus03 4553232384 521    445    zeus19 4625694720 17.2  9.25 zeus17 609980416 15.2  8.23 zeus01 596267008 116    82.2  zeus04 3624701952 901    884    821870592 zeus04 901    886    zeus01 842366976 303    288    858140672 zeus09 901    887    zeus03 812994560
10_sanfoundry_24_true-unreach-call.i 3.79 2.25 zeus08 209838080 4.17 2.46 zeus09 210702336 3.89 2.29 zeus24 211890176 11.5  6.45 402792448 zeus22 10.1  5.54 zeus21 385110016 11.7  6.38 zeus13 402608128 9.89 5.47 zeus24 389115904 4.26 2.52 zeus10 215846912 4.11 2.46 zeus09 217042944 4.45 2.65 zeus10 220164096 3.91 2.29 209186816 zeus17 4.04 2.44 zeus12 213995520 3.93 2.34 204709888 zeus01 3.84 2.27 zeus08 207425536
10_sanfoundry_27_true-unreach-call_ground.i 902    893    zeus06 737169408 901    891    zeus20 753377280 901    892    zeus23 2319495168 106    57.0  1548804096 zeus10 112    60.1  zeus05 1575288832 107    57.2  zeus23 1540464640 109    58.9  zeus12 1483096064 902    773    zeus12 8172748800 901    768    zeus23 8620449792 901    742    zeus02 9363902464 902    893    797073408 zeus12 902    893    zeus01 808214528 902    894    791572480 zeus22 902    893    zeus01 828293120
10_sanfoundry_43_true-unreach-call_ground.i 3.76 2.30 zeus04 213573632 3.74 2.22 zeus16 200806400 3.75 2.21 zeus21 213942272 5.86 3.37 312504320 zeus14 6.04 3.42 zeus09 321335296 5.28 3.08 zeus23 314535936 5.16 3.04 zeus19 300699648 3.87 2.29 zeus20 214097920 3.68 2.20 zeus19 208457728 4.23 2.55 zeus13 215904256 3.79 2.24 213618688 zeus20 3.69 2.23 zeus14 208719872 3.67 2.23 209121280 zeus18 3.73 2.21 zeus20 206757888
10_sorting_bubblesort_true-unreach-call_ground.i 6.34 3.65 zeus16 242925568 12.1  7.51 zeus16 340299776 52.2  39.1  zeus14 776458240 901    819    4668608512 zeus11 901    816    zeus14 4658331648 902    816    zeus15 4689584128 901    821    zeus12 4608983040 901    787    zeus12 8470372352 48.5  27.1  zeus07 1835790336 55.0  28.6  zeus01 1218605056 902    893    805199872 zeus06 901    893    zeus07 799035392 902    893    844398592 zeus19 902    893    zeus24 844599296
10_sorting_selectionsort_true-unreach-call_ground.i 7.02 4.09 zeus22 288067584 5.67 3.37 zeus23 249081856 901    890    zeus19 4478672896 901    778    5421883392 zeus14 901    781    zeus17 5252415488 901    779    zeus21 5356580864 902    798    zeus23 5100236800 25.1  13.2  zeus06 646950912 15.6  8.49 zeus17 674709504 902    851    zeus07 4815097856 901    895    315789312 zeus24 901    896    zeus10 320360448 11.8  8.69 270045184 zeus04 902    894    zeus05 754053120
10_standard_compareModified_true-unreach-call_ground.i 7.22 4.10 zeus02 250277888 901    883    zeus06 4221452288 901    889    zeus23 754069504 901    828    4144775168 zeus03 901    831    zeus05 4528881664 902    823    zeus03 4695240704 901    835    zeus10 4532609024 13.4  7.32 zeus07 496582656 60.9  33.5  zeus11 1959571456 901    762    zeus06 6882283520 901    892    774623232 zeus24 902    892    zeus18 785965056 902    889    881143808 zeus14 902    893    zeus11 838946816
10_standard_compare_true-unreach-call_ground.i 902    883    zeus09 2356793344 901    884    zeus03 4211621888 902    882    zeus02 2326511616 511    450    4490825728 zeus09 481    425    zeus20 4038266880 165    117    zeus23 2685980672 466    408    zeus06 3590950912 62.3  35.1  zeus05 1736888320 51.7  27.7  zeus19 1394270208 901    863    zeus18 5220503552 287    281    686505984 zeus11 296    290    zeus07 695074816 45.3  39.3  670183424 zeus18 902    893    zeus06 832884736
10_standard_copy1_true-unreach-call_ground.i 5.70 3.36 zeus11 246640640 6.05 3.49 zeus14 238526464 13.4  8.80 zeus03 365047808 902    824    4671025152 zeus12 902    822    zeus18 4689993728 97.4  54.5  zeus14 1628635136 161    111    zeus13 2708480000 7.95 4.41 zeus21 300257280 7.27 4.06 zeus19 277495808 33.1  17.1  zeus20 759988224 673    664    785379328 zeus20 668    660    zeus12 767782912 275    269    679575552 zeus14 901    894    zeus13 823943168
10_standard_copy2_true-unreach-call_ground.i 8.53 5.03 zeus16 295624704 8.04 4.61 zeus20 285200384 25.4  19.8  zeus01 608546816 901    816    4648431616 zeus22 902    819    zeus18 4624543744 150    94.1  zeus02 2208518144 703    635    zeus06 4576456704 17.9  9.62 zeus18 704786432 12.5  6.90 zeus09 431796224 52.1  26.6  zeus24 898314240 902    893    811577344 zeus17 902    893    zeus09 838209536 902    892    859557888 zeus13 902    892    zeus22 820609024
10_standard_copy3_true-unreach-call_ground.i 11.6  7.72 zeus13 339857408 9.26 5.59 zeus06 314593280 56.0  48.2  zeus04 706609152 901    817    4594249728 zeus15 902    820    zeus12 4570521600 197    134    zeus02 2446970880 902    820    zeus16 4968505344 29.9  15.6  zeus07 852074496 19.6  10.4  zeus11 656482304 58.2  30.2  zeus01 1423908864 902    894    746438656 zeus18 902    893    zeus10 808869888 902    891    824627200 zeus06 902    892    zeus17 829493248
10_standard_copy4_true-unreach-call_ground.i 17.5  13.2  zeus13 417996800 12.5  7.72 zeus15 363253760 90.7  81.0  zeus18 757956608 901    818    4620169216 zeus18 901    817    zeus10 4567953408 239    175    zeus17 3085926400 901    806    zeus20 5375283200 36.0  19.2  zeus22 980111360 23.3  12.1  zeus08 681197568 69.9  37.9  zeus16 1911791616 902    893    786333696 zeus03 902    893    zeus08 772390912 902    892    793780224 zeus18 901    890    zeus21 823279616
10_standard_copy5_true-unreach-call_ground.i 28.8  23.8  zeus05 548847616 14.8  9.25 zeus12 435822592 163    152    zeus20 779722752 901    812    4562599936 zeus18 902    811    zeus09 4584275968 276    208    zeus10 3898257408 902    831    zeus02 4528369664 44.9  24.6  zeus02 1333149696 27.3  14.3  zeus14 790839296 83.0  46.3  zeus16 1914433536 902    893    793665536 zeus19 902    892    zeus24 795877376 901    892    707321856 zeus05 901    890    zeus16 783851520
10_standard_copy6_true-unreach-call_ground.i 47.9  42.4  zeus18 758054912 17.8  11.2  zeus08 519180288 288    273    zeus12 892370944 901    810    4649820160 zeus11 901    811    zeus17 4710273024 331    256    zeus24 3919908864 901    838    zeus05 4563431424 51.7  29.4  zeus02 1623277568 33.0  17.0  zeus10 860012544 95.7  57.2  zeus13 3028004864 902    890    835149824 zeus21 902    892    zeus12 792895488 901    892    662372352 zeus19 901    890    zeus14 728670208
10_standard_copy7_true-unreach-call_ground.i 84.5  76.2  zeus13 946003968 21.7  14.2  zeus03 646057984 433    419    zeus12 882311168 901    802    4731912192 zeus24 901    806    zeus07 4679208960 384    301    zeus13 3798581248 902    827    zeus12 4631932928 63.4  38.2  zeus14 2290061312 33.1  17.2  zeus24 832040960 109    68.4  zeus03 3713830912 902    891    858136576 zeus11 904    892    zeus04 845307904 902    893    427597824 zeus24 902    892    zeus21 695267328
10_standard_copy8_true-unreach-call_ground.i 132    122    zeus21 1281617920 24.5  15.6  zeus04 730345472 625    607    zeus16 953204736 902    803    4756496384 zeus23 901    805    zeus09 4761595904 426    347    zeus19 4407574528 901    820    zeus03 4642471936 69.9  45.6  zeus11 2950307840 40.2  20.8  zeus14 858681344 136    95.5  zeus13 3742597120 902    890    805490688 zeus16 902    890    zeus01 809594880 901    892    457404416 zeus01 901    891    zeus20 692555776
10_standard_copy9_true-unreach-call_ground.i 189    180    zeus03 1424257024 29.7  19.4  zeus21 752992256 842    824    zeus05 964206592 901    796    4825952256 zeus17 902    802    zeus10 4784201728 479    395    zeus19 4500721664 901    799    zeus14 4842446848 85.9  59.7  zeus12 3661729792 38.7  20.0  zeus21 853012480 156    106    zeus02 4527009792 901    888    867684352 zeus21 901    888    zeus17 835080192 901    894    359964672 zeus04 902    892    zeus19 663896064
10_standard_copyInitSum2_true-unreach-call_ground.i 9.63 5.63 zeus15 319737856 11.0  6.58 zeus16 318849024 85.7  77.2  zeus21 739704832 182    117    2454216704 zeus17 180    116    zeus13 2388529152 165    110    zeus10 2107531264 255    194    zeus02 3410665472 20.0  10.7  zeus05 613625856 21.1  11.1  zeus22 603262976 76.5  40.2  zeus14 1321889792 21.1  16.6  357253120 zeus18 21.1  16.7  zeus08 346091520 901    892    763953152 zeus09 491    482    zeus16 720789504
10_standard_copyInitSum3_true-unreach-call_ground.i 13.8  9.55 zeus04 403169280 11.6  7.31 zeus09 375169024 902    889    zeus14 767598592 203    134    3135873024 zeus21 203    135    zeus19 3425304576 168    106    zeus02 2407399424 871    793    zeus14 4583063552 36.2  18.8  zeus22 884621312 30.1  15.7  zeus23 883458048 87.8  46.0  zeus08 1341128704 53.8  48.6  493293568 zeus09 58.1  52.8  zeus03 491216896 901    891    869609472 zeus20 901    890    zeus07 743481344
10_standard_copyInitSum_true-unreach-call_ground.i 8.98 5.42 zeus14 308224000 10.2  6.07 zeus01 322375680 76.3  67.4  zeus16 741142528 169    109    2739208192 zeus01 160    103    zeus03 2211819520 166    110    zeus22 2296160256 256    194    zeus16 2959052800 31.6  16.5  zeus23 882688000 22.2  11.7  zeus20 747511808 69.6  36.4  zeus19 1180856320 902    891    846909440 zeus13 902    891    zeus07 851230720 902    891    769310720 zeus07 478    468    zeus11 716800000
10_standard_copyInit_true-unreach-call_ground.i 9.14 5.15 zeus16 290177024 8.97 5.04 zeus15 293183488 20.5  14.6  zeus12 580030464 166    106    2515296256 zeus11 174    113    zeus20 2253381632 124    74.1  zeus10 1874886656 219    163    zeus04 3111063552 13.5  7.38 zeus06 540688384 11.4  6.30 zeus06 402247680 54.0  27.5  zeus15 903983104 714    705    781807616 zeus14 902    893    zeus18 808591360 351    342    765931520 zeus14 252    245    zeus19 686215168
10_standard_find_true-unreach-call_ground.i 901    886    zeus01 4220043264 4.05 2.44 zeus12 218161152 901    886    zeus01 4215877632 257    210    3510079488 zeus18 280    231    zeus21 4101079040 231    186    zeus22 4287946752 260    211    zeus02 4400697344 50.7  27.3  zeus03 1239461888 48.4  26.3  zeus13 926220288 42.8  23.5  zeus08 1237372928 383    371    803143680 zeus17 479    467    zeus16 792895488 129    118    773545984 zeus21 422    409    zeus22 797999104
10_standard_init1_true-unreach-call_ground.i 5.65 3.31 zeus05 234749952 5.78 3.33 zeus02 232116224 11.3  6.94 zeus01 359907328 103    61.0  1861480448 zeus12 101    60.1  zeus05 1663827968 96.8  55.0  zeus18 1787469824 92.3  50.4  zeus06 1560039424 7.39 4.16 zeus11 285970432 7.58 4.26 zeus05 272240640 29.1  15.2  zeus15 671985664 460    453    699228160 zeus18 412    406    zeus07 701480960 135    129    690597888 zeus10 121    116    zeus04 483135488
10_standard_init2_true-unreach-call_ground.i 8.15 4.54 zeus24 282656768 7.98 4.54 zeus12 285171712 14.6  9.68 zeus15 448659456 115    64.8  1618477056 zeus22 103    58.0  zeus18 1575636992 103    57.2  zeus13 1667891200 103    55.0  zeus02 1451843584 12.7  6.87 zeus19 511885312 10.9  6.08 zeus03 407072768 36.9  19.0  zeus13 712794112 901    893    721010688 zeus16 901    893    zeus05 710311936 178    171    684126208 zeus05 206    199    zeus01 506732544
10_standard_init3_true-unreach-call_ground.i 9.47 5.45 zeus10 313163776 9.39 5.52 zeus05 304181248 19.3  13.3  zeus24 497184768 111    62.6  1892442112 zeus09 115    64.3  zeus21 1578422272 109    61.3  zeus04 1548058624 102    56.4  zeus05 1662844928 18.0  9.70 zeus12 613376000 16.7  8.85 zeus01 579948544 43.3  22.2  zeus13 868937728 901    893    734007296 zeus05 901    893    zeus04 718393344 211    201    714145792 zeus18 265    259    zeus15 548233216
10_standard_init4_true-unreach-call_ground.i 10.3  6.19 zeus12 347480064 10.3  6.16 zeus07 339013632 29.4  21.2  zeus04 608870400 112    63.3  2214535168 zeus17 111    63.6  zeus15 1810583552 118    66.1  zeus06 1700376576 109    62.7  zeus11 1936629760 19.2  10.3  zeus15 638357504 19.9  10.6  zeus11 684466176 50.3  25.7  zeus13 876380160 901    893    667639808 zeus04 901    892    zeus11 726568960 229    220    692203520 zeus19 375    366    zeus13 630730752
10_standard_init5_true-unreach-call_ground.i 14.1  8.37 zeus20 422682624 12.1  7.37 zeus06 393277440 33.0  24.1  zeus09 679088128 123    70.2  1784307712 zeus19 126    72.0  zeus24 1717923840 122    68.4  zeus14 1886703616 128    75.4  zeus16 2311798784 25.2  13.2  zeus21 649318400 26.2  13.8  zeus13 758710272 57.6  29.4  zeus12 889212928 901    893    679968768 zeus14 901    893    zeus02 676139008 236    227    701984768 zeus10 434    425    zeus07 668119040
10_standard_init6_true-unreach-call_ground.i 15.0  9.17 zeus06 489275392 17.5  11.3  zeus09 462307328 41.5  30.6  zeus13 776146944 127    72.4  1979023360 zeus22 123    70.6  zeus21 1923776512 125    71.0  zeus08 1676156928 141    87.7  zeus07 2487660544 32.9  17.1  zeus10 737083392 32.2  16.8  zeus06 852725760 54.8  28.1  zeus04 898826240 901    891    705568768 zeus11 901    891    zeus10 710062080 258    248    706957312 zeus05 526    516    zeus08 698933248
10_standard_init7_true-unreach-call_ground.i 21.4  12.7  zeus09 681078784 19.1  11.7  zeus13 592343040 59.9  47.4  zeus08 719884288 138    78.7  1806508032 zeus13 134    77.0  zeus18 1977724928 134    77.1  zeus03 1876844544 180    117    zeus09 3187728384 36.8  19.0  zeus06 875270144 35.9  18.5  zeus01 838909952 56.8  29.2  zeus02 958869504 901    891    728686592 zeus21 901    891    zeus18 733425664 265    255    752275456 zeus19 619    609    zeus20 713101312
10_standard_init8_true-unreach-call_ground.i 24.5  15.0  zeus08 689209344 23.1  14.2  zeus02 681299968 65.3  52.9  zeus22 740470784 141    82.0  1843728384 zeus08 136    78.6  zeus04 1907601408 129    74.7  zeus23 1915039744 188    125    zeus07 3436711936 38.0  19.8  zeus02 906272768 42.8  22.1  zeus19 905650176 58.3  30.1  zeus22 963219456 901    891    695005184 zeus08 901    891    zeus22 701411328 333    322    767029248 zeus01 706    696    zeus22 735395840
10_standard_init9_true-unreach-call_ground.i 25.3  16.1  zeus05 707440640 24.5  15.6  zeus21 737460224 76.2  62.7  zeus03 821944320 143    82.3  2151550976 zeus01 143    83.0  zeus21 1991561216 137    79.3  zeus03 2304311296 200    138    zeus01 4257341440 39.5  20.5  zeus21 894488576 38.6  20.0  zeus09 875425792 59.9  31.3  zeus05 1085935616 901    891    726048768 zeus13 901    891    zeus09 703782912 320    309    764690432 zeus03 792    779    zeus10 803196928
10_standard_maxInArray_true-unreach-call_ground.i 902    893    zeus17 761364480 902    893    zeus02 746135552 902    892    zeus03 2364669952 163    102    2662871040 zeus14 175    110    zeus06 2738544640 140    85.0  zeus11 2392203264 112    61.1  zeus20 1997975552 901    789    zeus20 8147628032 901    790    zeus14 7672659968 901    779    zeus22 9164451840 902    893    832364544 zeus14 902    894    zeus13 836313088 902    893    822509568 zeus22 902    893    zeus02 827396096
10_standard_minInArray_true-unreach-call_ground.i 902    892    zeus03 751357952 901    893    zeus04 1266192384 902    892    zeus22 2368876544 171    108    2192666624 zeus09 168    105    zeus20 2683469824 147    88.9  zeus11 2107244544 101    56.1  zeus19 1791164416 901    774    zeus05 8375373824 901    819    zeus13 6442168320 901    775    zeus03 9047998464 902    894    812101632 zeus11 902    894    zeus17 806404096 902    893    822902784 zeus20 902    894    zeus02 817876992
10_standard_palindrome_true-unreach-call_ground.i 4.01 2.39 zeus17 221257728 4.15 2.46 zeus08 210104320 6.76 3.85 zeus06 252801024 69.3  36.4  1222414336 zeus09 68.6  36.3  zeus21 1174765568 65.3  34.1  zeus24 1166344192 52.4  26.7  zeus20 896512000 4.95 2.88 zeus11 231407616 4.90 2.87 zeus10 234000384 11.5  6.46 zeus12 460251136 33.6  30.0  318754816 zeus09 34.5  31.1  zeus09 311730176 12.1  8.97 286240768 zeus21 19.7  15.8  zeus08 284643328
10_standard_partial_init_true-unreach-call_ground.i 7.32 4.60 zeus01 296263680 26.3  21.7  zeus18 565641216 901    889    zeus09 2599067648 902    778    5459288064 zeus13 902    781    zeus09 5259730944 902    767    zeus09 5799571456 901    845    zeus10 4560801792 22.6  11.9  zeus09 868417536 28.1  14.6  zeus19 841179136 951    842    zeus07 7092506624 241    236    536969216 zeus04 253    248    zeus15 536571904 179    174    460414976 zeus08 912    900    zeus03 884744192
10_standard_partition_original_true-unreach-call_ground.i 6.77 4.21 zeus17 246849536 10.9  7.38 zeus06 332230656 913    903    zeus22 2724364288 901    804    4597866496 zeus05 901    806    zeus07 4626231296 901    812    zeus05 4738859008 901    817    zeus22 4557836288 13.4  7.27 zeus04 552497152 14.8  8.01 zeus17 466423808 902    805    zeus22 6830735360 902    892    865894400 zeus19 901    892    zeus02 864845824 902    893    880705536 zeus15 902    893    zeus15 874688512
10_standard_partition_true-unreach-call_ground.i 9.18 5.72 zeus07 301834240 21.2  17.2  zeus20 322793472 732    723    zeus01 14999998464 901    797    4646879232 zeus20 901    797    zeus24 4658741248 902    802    zeus01 4592005120 901    798    zeus02 5101891584 28.8  15.1  zeus09 750256128 31.3  16.2  zeus24 930607104 902    848    zeus04 4679094272 902    895    463814656 zeus04 913    907    zeus07 490950656 134    130    335503360 zeus22 902    892    zeus17 877604864
10_standard_password_true-unreach-call_ground.i 901    884    zeus17 4213866496 901    884    zeus16 4190404608 901    883    zeus21 4275625984 481    424    4512542720 zeus21 508    450    zeus11 4519333888 167    119    zeus19 3597488128 464    405    zeus19 3324219392 62.3  34.4  zeus08 1610956800 47.9  26.1  zeus02 1501655040 901    856    zeus11 5204987904 287    281    693096448 zeus22 293    286    zeus21 695558144 46.2  40.0  698171392 zeus03 902    893    zeus05 828559360
10_standard_reverse_true-unreach-call_ground.i 5.39 3.15 zeus05 234336256 5.10 2.97 zeus17 227786752 17.4  12.5  zeus16 441802752 732    665    4538974208 zeus04 759    687    zeus08 4551270400 126    77.5  zeus01 2531786752 211    162    zeus01 3061317632 8.30 4.66 zeus06 304873472 9.04 5.10 zeus18 327553024 45.5  23.6  zeus14 957943808 574    566    786956288 zeus04 602    594    zeus12 793456640 200    193    737431552 zeus16 902    894    zeus07 805056512
10_standard_running_true-unreach-call.i 30.5  26.5  zeus21 4366819328 17.0  13.0  zeus02 1746878464 901    892    zeus09 747819008 901    844    4755759104 zeus03 902    845    zeus22 4753268736 901    804    zeus14 5347655680 901    751    zeus14 6901030912 39.1  20.4  zeus17 1102331904 33.0  17.1  zeus24 927764480 902    784    zeus17 6622883840 902    897    421801984 zeus18 902    897    zeus03 432611328 908    904    366579712 zeus10 902    895    zeus17 778162176
10_standard_sentinel_true-unreach-call.i 4.47 2.67 zeus12 220418048 3.87 2.35 zeus03 214056960 4.33 2.57 zeus08 220041216 154    112    3087413248 zeus14 144    106    zeus22 2823512064 160    114    zeus17 2679611392 137    94.3  zeus01 2807476224 4.38 2.60 zeus03 219398144 4.26 2.54 zeus23 218017792 40.2  21.4  zeus22 1317761024 4.62 2.76 217595904 zeus20 4.08 2.40 zeus16 212389888 4.18 2.51 215621632 zeus13 4.00 2.37 zeus21 217518080
10_standard_seq_init_true-unreach-call_ground.i 6.69 3.89 zeus02 260816896 5.99 3.50 zeus24 263798784 7.00 4.00 zeus02 268554240 41.8  21.6  879874048 zeus14 44.1  22.8  zeus06 869928960 43.8  22.7  zeus04 881815552 51.0  26.2  zeus06 907186176 8.35 4.71 zeus14 388714496 8.82 4.87 zeus08 379858944 11.1  6.16 zeus03 443469824 5.50 3.30 259248128 zeus17 6.39 3.71 zeus19 257814528 5.99 3.53 253386752 zeus11 6.46 3.89 zeus09 259158016
10_standard_strcmp_true-unreach-call_ground.i 8.07 5.55 zeus07 264720384 6.64 3.89 zeus12 273219584 7.95 4.54 zeus03 379019264 901    822    4556050432 zeus02 901    819    zeus06 4599181312 42.1  21.7  zeus20 889499648 63.9  33.8  zeus08 1218330624 12.0  6.55 zeus22 476725248 11.9  6.47 zeus05 447700992 14.9  8.03 zeus24 518463488 902    894    783020032 zeus07 901    893    zeus15 757485568 7.03 4.21 262856704 zeus24 9.73 5.66 zeus23 377532416
10_standard_strcpy_original_true-unreach-call.i 901    892    zeus17 727154688 901    893    zeus01 724459520 902    890    zeus05 789823488 901    827    4845400064 zeus21 901    826    zeus11 4741857280 901    823    zeus05 4715982848 902    842    zeus13 4543381504 4.31 2.55 zeus22 219054080 902    804    zeus03 6573654016 986    796    zeus21 7076438016 902    892    834658304 zeus14 901    892    zeus23 830566400 901    892    818589696 zeus14 902    891    zeus09 870322176
10_standard_strcpy_true-unreach-call_ground.i 4.53 2.68 zeus01 225357824 3.81 2.30 zeus24 213348352 55.8  45.2  zeus18 749830144 901    818    4727054336 zeus04 901    823    zeus18 4688068608 902    826    zeus06 4617502720 481    422    zeus04 4230557696 4.23 2.49 zeus14 218468352 902    840    zeus22 6107086848 50.0  25.9  zeus16 938897408 901    888    815726592 zeus05 901    888    zeus15 830476288 902    888    915263488 zeus21 902    892    zeus17 858587136
10_standard_two_index_01_true-unreach-call.i 5.79 3.30 zeus16 241278976 6.35 3.68 zeus10 244592640 16.7  11.7  zeus05 475934720 901    829    4611514368 zeus09 902    833    zeus06 4646887424 99.0  56.2  zeus14 1688948736 902    829    zeus24 4994338816 8.55 4.76 zeus02 315469824 7.65 4.32 zeus23 295907328 43.6  22.5  zeus07 874827776 608    600    768069632 zeus03 625    617    zeus17 767979520 246    239    677232640 zeus16 136    130    zeus04 686600192
10_standard_two_index_02_true-unreach-call.i 5.25 3.18 zeus24 215818240 5.44 3.17 zeus19 251412480 7.10 4.28 zeus23 266518528 80.9  44.2  1324716032 zeus20 75.9  41.9  zeus21 1331073024 47.2  24.2  zeus21 880238592 90.4  51.0  zeus05 1395654656 5.22 3.05 zeus12 229330944 4.99 2.94 zeus18 225067008 15.8  8.58 zeus23 557088768 22.1  18.3  332795904 zeus10 21.6  18.0  zeus10 332718080 9.19 6.21 271319040 zeus10 14.2  10.9  zeus17 273842176
10_standard_two_index_03_true-unreach-call.i 3.90 2.31 zeus20 213331968 901    886    zeus23 2339667968 6.65 3.91 zeus02 244711424 41.9  21.6  867811328 zeus04 42.9  22.1  zeus13 864264192 30.6  15.9  zeus21 685842432 53.6  27.8  zeus09 938156032 5.00 2.93 zeus20 221732864 4.74 2.78 zeus16 221327360 7.82 4.41 zeus17 313192448 7.04 4.73 234508288 zeus05 7.81 5.28 zeus04 238997504 5.62 3.40 224514048 zeus23 6.31 4.14 zeus11 236134400
10_standard_two_index_04_true-unreach-call.i 4.04 2.38 zeus13 212602880 5.09 3.01 zeus20 230014976 5.37 3.14 zeus18 237371392 40.4  20.8  800399360 zeus22 40.0  20.7  zeus18 823975936 26.1  13.7  zeus08 581545984 48.4  24.9  zeus07 833445888 4.66 2.71 zeus09 226164736 4.48 2.64 zeus06 221663232 7.66 4.27 zeus21 310247424 7.32 5.01 233746432 zeus20 6.93 4.65 zeus20 240332800 5.53 3.34 231043072 zeus24 5.94 3.85 zeus20 229625856
10_standard_two_index_05_true-unreach-call.i 4.69 2.75 zeus03 230182912 4.20 2.53 zeus10 220041216 4.50 2.72 zeus11 236412928 24.8  13.1  556138496 zeus22 26.4  13.8  zeus16 571293696 20.3  10.7  zeus23 486793216 45.8  23.5  zeus24 900198400 4.52 2.70 zeus09 224059392 4.57 2.68 zeus16 224563200 6.19 3.57 zeus20 243343360 5.30 3.23 218124288 zeus17 5.00 3.06 zeus06 219000832 4.68 2.81 217100288 zeus18 5.05 3.04 zeus18 221302784
10_standard_two_index_06_true-unreach-call.i 4.73 2.77 zeus04 223879168 4.56 2.68 zeus17 220536832 5.30 3.09 zeus02 226246656 27.3  14.2  569225216 zeus21 27.6  14.5  zeus16 594026496 20.1  10.7  zeus12 498393088 42.4  21.8  zeus04 846602240 4.26 2.56 zeus23 220717056 4.20 2.50 zeus11 218480640 5.99 3.45 zeus01 244322304 5.10 3.17 226742272 zeus11 5.16 3.16 zeus08 218566656 5.00 2.97 219480064 zeus18 4.78 2.93 zeus12 221806592
10_standard_two_index_07_true-unreach-call.i 4.85 2.86 zeus13 231571456 4.48 2.61 zeus05 218529792 4.39 2.59 zeus02 225095680 26.8  14.3  578936832 zeus03 26.3  13.9  zeus14 574857216 20.2  10.7  zeus24 475402240 43.6  22.5  zeus01 847319040 5.01 2.93 zeus02 222179328 4.32 2.56 zeus12 220995584 5.63 3.28 zeus05 243290112 5.06 3.12 222351360 zeus08 5.25 3.20 zeus03 223887360 5.34 3.13 223096832 zeus04 5.76 3.47 zeus14 225341440
10_standard_two_index_08_true-unreach-call.i 4.64 2.77 zeus18 233299968 4.56 2.68 zeus05 217886720 4.53 2.70 zeus06 224100352 22.1  11.7  524840960 zeus01 21.3  11.3  zeus10 503848960 17.4  9.34 zeus01 449740800 41.3  21.4  zeus24 806055936 4.22 2.47 zeus21 219754496 4.48 2.67 zeus01 212877312 5.53 3.21 zeus04 240967680 5.32 3.29 223645696 zeus07 5.19 3.20 zeus20 222277632 4.51 2.74 219029504 zeus13 5.01 3.04 zeus20 220098560
10_standard_two_index_09_true-unreach-call.i 4.52 2.64 zeus07 225996800 3.96 2.37 zeus06 217464832 4.71 2.76 zeus06 219815936 16.2  8.72 428711936 zeus23 16.8  9.06 zeus02 445112320 14.4  7.82 zeus09 440229888 28.7  15.0  zeus12 623755264 4.30 2.56 zeus05 215633920 4.69 2.74 zeus23 223928320 4.97 2.89 zeus03 228036608 4.16 2.51 214056960 zeus09 4.28 2.55 zeus18 216752128 4.12 2.45 213487616 zeus23 4.51 2.68 zeus14 221917184
10_standard_vararg_true-unreach-call_ground.i 902    888    zeus14 2482778112 3.97 2.36 zeus14 216653824 901    887    zeus08 4219072512 902    825    4694564864 zeus18 902    826    zeus02 4666675200 902    831    zeus06 4556275712 902    822    zeus02 4706856960 903    804    zeus05 7375945728 901    809    zeus09 8064737280 901    776    zeus16 8298475520 901    888    851079168 zeus04 901    888    zeus22 849891328 901    887    884068352 zeus11 902    888    zeus12 881385472
10_standard_vector_difference_true-unreach-call_ground.i 5.87 3.41 zeus07 252878848 5.98 3.37 zeus21 252497920 278    271    zeus20 699187200 902    827    4542148608 zeus05 902    834    zeus13 4523589632 124    76.6  zeus13 1973633024 404    344    zeus16 4085669888 10.9  6.03 zeus06 380387328 9.03 5.08 zeus16 303648768 52.9  27.6  zeus11 980578304 901    893    768524288 zeus04 901    893    zeus23 841666560 901    892    823762944 zeus17 902    893    zeus01 811634688
test/programs/array-simplified-benchmarks/arrays-size-10/ 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 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) memUsage host status cputime (s) walltime (s) host memUsage
total tasks 88 11700   11200   60688510976 88 9930   9460   51981697024 88 20100   19400   95097618432 88 36400 29900 295834804224 88 36300 30000 295134343168 88 20600 16200   210249957376 88 36500 31400 279062687744 88 7560   5990   102810144768 88 8410   6840   107485032448 88 16100 13200   177773158400 88 37300   36700   49324511232 88 37600   37000   49355665408 88 26200   25700   46883868672 88 34500   33800   52099436544
    correct results 33 1800   1620   21039550464 35 424   254   15016341504 65 4790   4310   37737660416 54 7760 5420 109498826752 54 7790 5460 108475502592 72 9620 6510   147429752832 54 8880 6610 115377270784 32 1010   532   24819970048 33 882   465   22674407424 68 3220 1850   76695515136 48 4550   4310   21559054336 47 3940   3710   20587540480 56 4200   3900   26093817856 52 6420   6130   25583386624
        correct true 8 40.5 24.3 1867309056 9 42.6 25.1 2022928384 39 3590   3310   21433024512 34 5440 3960 68902612992 34 5470 4000 67884302336 45 6530 4490   93028257792 37 7550 5860 88145698816 7 257   139   6532325376 8 219   118   5546590208 41 2070 1170   49026379776 23 4190   4090   10179149824 22 3590   3490   9361530880 30 3850   3670   15514386432 27 5920   5770   12637663232
        correct false 25 1760   1600   19172241408 26 381   229   12993413120 26 1200   1000   16304635904 20 2320 1460 40596213760 20 2320 1460 40591200256 27 3090 2030   54401495040 17 1340 744 27231571968 25 752   393   18287644672 25 663   347   17127817216 27 1150 679   27669135360 25 356   228   11379904512 25 348   223   11226009600 26 353   231   10579431424 25 499   360   12945723392
    incorrect results 2 36.0 27.2 792358912 3 24.4 14.0 991510528 3 32.6 19.2 1150459904 2 453 350 6532505600 2 470 355 6445879296 3 165 85.0 2940764160 3 596 482 6356074496 2 56.3 29.3 1288249344 3 60.6 31.8 1551044608 4 131 68.0 2782236672 2 28.3 19.7 745365504 2 30.4 21.2 751038464 3 30.1 18.6 989851648 3 34.0 20.9 1163546624
        incorrect true 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect false 2 36.0 27.2 792358912 3 24.4 14.0 991510528 3 32.6 19.2 1150459904 2 453 350 6532505600 2 470 355 6445879296 3 165 85.0 2940764160 3 596 482 6356074496 2 56.3 29.3 1288249344 3 60.6 31.8 1551044608 4 131 68.0 2782236672 2 28.3 19.7 745365504 2 30.4 21.2 751038464 3 30.1 18.6 989851648 3 34.0 20.9 1163546624
score (88 tasks, max score: 148) 9 -4 56 56 56 69 43 7 -7 45 39 37 38 31
Run set MathSAT5-heaparray.ArraysReach10 MathSAT5-oldarray.ArraysReach10 MathSAT5-uf.ArraysReach10 PRINCESS-heaparray-quantifiers.ArraysReach10 PRINCESS-heaparray.ArraysReach10 PRINCESS-oldarray.ArraysReach10 PRINCESS-uf.ArraysReach10 SMTInterpol-heaparray.ArraysReach10 SMTInterpol-oldarray.ArraysReach10 SMTInterpol-uf.ArraysReach10 Z3-heaparray-quantifiers.ArraysReach10 Z3-heaparray.ArraysReach10 Z3-oldarray.ArraysReach10 Z3-uf.ArraysReach10