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.ArraysReach100 MathSAT5-oldarray.ArraysReach100 MathSAT5-uf.ArraysReach100 PRINCESS-heaparray-quantifiers.ArraysReach100 PRINCESS-heaparray.ArraysReach100 PRINCESS-oldarray.ArraysReach100 PRINCESS-uf.ArraysReach100 SMTInterpol-heaparray.ArraysReach100 SMTInterpol-oldarray.ArraysReach100 SMTInterpol-uf.ArraysReach100 Z3-heaparray-quantifiers.ArraysReach100 Z3-heaparray.ArraysReach100 Z3-oldarray.ArraysReach100 Z3-uf.ArraysReach100
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-100/ status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host 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) memUsage host
100_data_structures_set_multi_proc_false-unreach-call_ground.i 909    904    zeus17 4878491648 907    885    2685902848 zeus09 901    888    801624064 zeus04 903    818    5534580736 zeus03 902    818    zeus14 6214172672 902    813    4572098560 zeus14 1000    770    zeus17 10691866624 902    845    zeus12 4554784768 902    745    zeus02 9990053888 902    849    zeus07 4748431360 902    896    475918336 zeus14 902    897    zeus10 480956416 901    884    zeus18 804012032 902    884    831672320 zeus05
100_sorting_bubblesort_false-unreach-call2_ground.i 903    884    zeus08 8555565056 912    896    7515807744 zeus17 901    884    921108480 zeus20 294    229    4672151552 zeus14 284    221    zeus22 4673867776 281    218    4678131712 zeus16 902    798    zeus23 5385039872 568    512    zeus16 4645359616 415    366    zeus16 4713213952 855    805    zeus09 4718014464 901    885    818663424 zeus11 878    858    zeus12 926367744 856    836    zeus07 862420992 902    893    760897536 zeus02
100_sorting_bubblesort_false-unreach-call_ground.i 903    885    zeus16 8376786944 903    887    10037776384 zeus17 901    885    915804160 zeus09 291    226    4659367936 zeus19 308    240    zeus02 4682276864 276    216    4665712640 zeus24 901    805    zeus19 5477531648 466    411    zeus07 4633411584 392    344    zeus22 4703551488 808    757    zeus09 4672782336 904    885    894631936 zeus09 881    860    zeus21 910651392 834    814    zeus03 884219904 901    892    762236928 zeus05
100_sorting_selectionsort_false-unreach-call2_ground.i 177    160    zeus08 1509040128 177    159    2533642240 zeus23 189    167    2527461376 zeus21 901    821    4577525760 zeus18 901    820    zeus13 4580503552 902    818    4599156736 zeus03 901    816    zeus09 4618575872 267    225    zeus09 4523266048 378    333    zeus16 4697088000 312    266    zeus17 4655357952 902    884    831664128 zeus09 902    884    zeus22 844775424 902    884    zeus20 839364608 901    883    1405083648 zeus18
100_sorting_selectionsort_false-unreach-call_ground.i 903    886    zeus11 3104845824 902    885    2670391296 zeus04 903    884    4206071808 zeus23 902    818    4582400000 zeus12 902    820    zeus23 4597420032 901    814    4593500160 zeus11 902    819    zeus15 4595736576 904    802    zeus17 7035297792 840    670    zeus15 8563306496 907    791    zeus22 6615064576 902    883    802484224 zeus10 902    884    zeus09 813551616 902    883    zeus02 812011520 902    881    1884020736 zeus05
100_standard_allDiff2_false-unreach-call_ground.i 901    879    zeus12 2522017792 901    883    4558036992 zeus10 902    877    4620918784 zeus14 902    822    4592205824 zeus17 901    820    zeus22 4586651648 901    819    4605071360 zeus20 901    820    zeus13 4588498944 902    851    zeus22 4670607360 902    859    zeus07 4688912384 902    852    zeus06 4691300352 902    878    1166053376 zeus18 902    879    zeus24 1031565312 902    881    zeus09 1166131200 902    879    1123168256 zeus14
100_standard_copy1_false-unreach-call_ground.i 141    124    zeus04 4552646656 144    128    3133759488 zeus08 902    885    982687744 zeus18 902    803    4603523072 zeus17 902    816    zeus15 4622487552 902    812    4620308480 zeus20 901    829    zeus05 5182042112 267    223    zeus11 4519456768 239    201    zeus19 4547571712 424    377    zeus17 4751458304 464    446    855982080 zeus12 466    448    zeus09 845799424 444    426    zeus23 840011776 902    893    766877696 zeus15
100_standard_copy2_false-unreach-call_ground.i 902    882    zeus01 7167791104 910    894    6744711168 zeus15 901    888    911835136 zeus03 902    811    4659154944 zeus24 901    811    zeus04 4651995136 902    812    4647538688 zeus17 901    736    zeus24 8255533056 613    563    zeus16 4638437376 459    416    zeus23 4617752576 902    839    zeus09 5199593472 901    885    952336384 zeus19 901    886    zeus04 950071296 901    886    zeus02 832999424 902    893    774299648 zeus14
100_standard_copy3_false-unreach-call_ground.i 902    878    zeus09 2817531904 902    874    1576624128 zeus15 902    890    886169600 zeus02 902    811    4716859392 zeus24 902    811    zeus21 4690608128 901    815    4683968512 zeus17 1000    671    zeus04 12955951104 903    839    zeus17 4949872640 772    719    zeus15 4875845632 902    851    zeus19 4910964736 901    886    976691200 zeus16 902    884    zeus04 977588224 901    886    zeus21 881033216 902    893    772206592 zeus20
100_standard_copy4_false-unreach-call_ground.i 902    879    zeus17 2389729280 901    878    2784051200 zeus09 901    892    886603776 zeus21 902    806    4683427840 zeus22 902    812    zeus16 4676243456 902    813    4680175616 zeus17 939    680    zeus18 13027106816 903    838    zeus08 4979810304 902    853    zeus24 4861272064 902    851    zeus22 4780994560 901    885    973049856 zeus21 902    884    zeus09 979472384 902    886    zeus23 875012096 902    893    782950400 zeus17
100_standard_copy5_false-unreach-call_ground.i 901    879    zeus21 2751418368 901    879    2418171904 zeus08 902    895    846303232 zeus24 902    818    4794720256 zeus18 902    815    zeus16 4766642176 902    815    4795166720 zeus08 524    1030    zeus17 4607483904 902    842    zeus22 4820652032 902    853    zeus22 4854067200 901    853    zeus09 4823564288 901    885    969760768 zeus24 902    886    zeus10 966017024 901    885    zeus05 877408256 902    893    783941632 zeus01
100_standard_copy6_false-unreach-call_ground.i 902    880    zeus19 4390182912 901    879    2749689856 zeus17 902    895    809201664 zeus05 901    817    4800339968 zeus20 902    813    zeus02 4777869312 901    816    4738879488 zeus21 847    1030    zeus20 4523225088 901    847    zeus11 4806672384 902    850    zeus20 4952842240 901    851    zeus12 4745191424 902    885    986521600 zeus21 902    885    zeus16 969805824 901    885    zeus13 868339712 902    893    777031680 zeus19
100_standard_copy7_false-unreach-call_ground.i 901    879    zeus06 2431004672 902    879    2728964096 zeus23 902    895    821956608 zeus06 902    820    4790669312 zeus03 902    819    zeus14 4797538304 902    813    4821504000 zeus20 901    858    zeus11 4717395968 902    848    zeus17 4819701760 901    856    zeus05 4872114176 902    848    zeus13 4827332608 901    885    1001418752 zeus18 902    885    zeus10 978231296 902    885    zeus04 877371392 902    893    778862592 zeus17
100_standard_copy8_false-unreach-call_ground.i 901    879    zeus03 2394394624 902    880    2426601472 zeus21 902    895    834367488 zeus22 902    816    4757626880 zeus02 902    817    zeus24 4742479872 902    816    4767289344 zeus05 901    856    zeus06 4798775296 902    848    zeus22 4793540608 901    854    zeus18 4920061952 901    846    zeus23 4771872768 901    885    975953920 zeus21 901    885    zeus02 983552000 901    886    zeus22 881328128 902    894    794669056 zeus08
100_standard_copy9_false-unreach-call_ground.i 901    879    zeus20 2429677568 902    877    1663401984 zeus14 903    897    820854784 zeus24 902    823    4748091392 zeus12 902    824    zeus01 4762832896 902    812    4858249216 zeus24 901    852    zeus11 4864290816 901    845    zeus23 4835049472 902    857    zeus16 4878053376 901    850    zeus17 4820520960 902    884    998707200 zeus23 901    885    zeus09 991526912 901    885    zeus24 898269184 902    894    814125056 zeus20
100_standard_copyInitSum2_false-unreach-call_ground.i 902    879    zeus03 2854211584 902    877    2868056064 zeus12 901    886    905748480 zeus02 902    809    4733960192 zeus24 902    811    zeus24 4692713472 902    812    4692275200 zeus14 902    834    zeus21 5198442496 903    838    zeus20 4870811648 703    654    zeus10 4824166400 902    840    zeus02 5159960576 902    885    914345984 zeus11 901    886    zeus12 904294400 901    886    zeus09 877662208 902    893    776753152 zeus08
100_standard_init1_false-unreach-call_ground.i 460    441    zeus06 5435555840 456    439    5474701312 zeus12 811    791    1438904320 zeus24 901    814    4583219200 zeus21 902    819    zeus01 4593307648 902    821    4603875328 zeus09 901    817    zeus01 4672999424 264    226    zeus04 4592054272 254    212    zeus10 4567789568 330    287    zeus24 4677165056 471    451    951431168 zeus20 451    433    zeus02 938176512 420    402    zeus07 957579264 901    890    784175104 zeus20
100_standard_init2_false-unreach-call_ground.i 912    895    zeus09 8937865216 912    895    9065746432 zeus23 902    881    1133871104 zeus17 902    816    4678520832 zeus11 902    816    zeus05 4650696704 902    814    4663889920 zeus11 902    811    zeus01 5151252480 537    484    zeus14 4630118400 439    393    zeus12 4621873152 619    568    zeus11 4908675072 902    885    845107200 zeus04 901    886    zeus24 823992320 902    886    zeus12 823160832 902    892    769208320 zeus12
100_standard_init3_false-unreach-call_ground.i 902    879    zeus06 2783154176 902    882    4402503680 zeus20 902    883    861528064 zeus19 902    815    4683157504 zeus14 902    812    zeus04 4699459584 902    816    4701351936 zeus13 901    814    zeus06 5283106816 686    629    zeus11 4740702208 771    718    zeus18 4736086016 901    847    zeus06 5027713024 901    885    825815040 zeus22 901    886    zeus23 825036800 902    886    zeus15 822296576 902    890    795484160 zeus07
100_standard_init4_false-unreach-call_ground.i 901    879    zeus19 2729816064 902    880    2735312896 zeus17 902    883    858296320 zeus04 902    814    4723916800 zeus02 902    811    zeus05 4714962944 902    811    4715663360 zeus22 902    815    zeus05 5049597952 902    849    zeus23 4704616448 902    849    zeus23 4878315520 901    844    zeus24 5002498048 901    886    821563392 zeus07 901    885    zeus22 831664128 901    886    zeus19 823848960 901    890    795799552 zeus18
100_standard_init5_false-unreach-call_ground.i 902    880    zeus17 2425716736 901    878    2419974144 zeus17 902    883    850894848 zeus10 902    810    4729958400 zeus24 902    812    zeus18 4713422848 902    814    4733173760 zeus03 902    812    zeus05 5171449856 902    843    zeus11 4836278272 902    852    zeus17 4951379968 902    844    zeus23 5103112192 901    886    838856704 zeus20 901    885    zeus10 828715008 901    885    zeus19 827686912 901    890    797908992 zeus02
100_standard_init6_false-unreach-call_ground.i 901    878    zeus10 1359540224 902    878    2694610944 zeus05 902    884    884482048 zeus03 902    827    4751953920 zeus17 902    826    zeus04 4778344448 902    812    4717289472 zeus14 902    813    zeus16 5190131712 902    844    zeus19 4866732032 902    844    zeus17 4963930112 902    840    zeus03 5057028096 901    886    833392640 zeus17 901    886    zeus18 825999360 901    886    zeus24 827330560 901    889    785465344 zeus16
100_standard_init7_false-unreach-call_ground.i 902    880    zeus17 2397544448 902    879    2370781184 zeus22 902    883    873279488 zeus03 902    824    4745490432 zeus10 902    826    zeus10 4748615680 902    813    4733992960 zeus15 901    807    zeus19 5367451648 902    842    zeus05 4845600768 902    855    zeus18 4910399488 901    843    zeus07 5055881216 902    884    849223680 zeus17 901    885    zeus01 830017536 901    885    zeus13 816590848 901    892    775057408 zeus20
100_standard_init8_false-unreach-call_ground.i 901    879    zeus16 2720903168 901    879    2421882880 zeus11 902    884    863813632 zeus16 902    827    4766642176 zeus22 902    829    zeus05 4801077248 902    813    4739694592 zeus23 902    819    zeus01 5681602560 902    845    zeus09 4818812928 902    851    zeus17 4904235008 901    844    zeus19 4990611456 901    885    832327680 zeus22 901    886    zeus18 832303104 901    882    zeus09 841854976 901    892    781590528 zeus07
100_standard_init9_false-unreach-call_ground.i 901    878    zeus13 1668534272 902    879    2428276736 zeus18 902    883    906477568 zeus06 902    824    4760215552 zeus03 902    822    zeus01 4775301120 901    812    4748218368 zeus11 901    814    zeus08 5137268736 902    845    zeus13 4871479296 902    841    zeus15 4902637568 902    844    zeus11 5063663616 901    885    843370496 zeus08 901    885    zeus23 830287872 901    885    zeus24 835104768 901    892    775852032 zeus16
100_standard_minInArray_false-unreach-call_ground.i 903    887    zeus16 8763273216 424    401    1590083584 zeus24 906    890    11353317376 zeus11 902    814    4602540032 zeus07 901    818    zeus21 4612165632 902    820    4566663168 zeus17 902    821    zeus22 4631265280 909    709    zeus12 10066010112 902    683    zeus24 9792983040 902    677    zeus24 12539744256 715    694    843051008 zeus08 694    674    zeus15 841117696 659    639    zeus22 844025856 683    662    863088640 zeus15
100_standard_partition_false-unreach-call_ground.i 902    879    zeus04 1360207872 902    879    829104128 zeus16 901    892    793583616 zeus17 902    808    4667682816 zeus08 902    810    zeus07 4661985280 901    815    4639322112 zeus19 901    733    zeus05 9034428416 939    764    zeus22 8288006144 902    729    zeus11 7841095680 902    849    zeus24 4660514816 902    885    840908800 zeus10 902    885    zeus16 851124224 902    885    zeus10 837509120 901    892    786919424 zeus07
100_standard_running_false-unreach-call.i 902    876    zeus20 895877120 901    880    1365446656 zeus10 901    874    967118848 zeus13 902    806    4642578432 zeus20 902    808    zeus05 4644036608 901    814    4654415872 zeus21 902    835    zeus19 4960333824 902    836    zeus14 4834603008 902    840    zeus16 4789080064 902    842    zeus18 4934836224 902    884    846635008 zeus24 901    884    zeus16 843337728 902    882    zeus01 842272768 901    889    810942464 zeus05
100_data_structures_set_multi_proc_trivial_true-unreach-call_ground.i 912    906    zeus14 4897816576 7.59 4.33 270020608 zeus06 90.0  84.3  467927040 zeus20 903    820    5384196096 zeus01 902    821    zeus13 6375538688 902    816    4583890944 zeus12 923    702    zeus14 10618015744 904    847    zeus19 4589400064 902    853    zeus23 4646154240 902    853    zeus16 4685660160 902    896    601915392 zeus11 902    896    zeus12 551559168 902    882    zeus20 806387712 902    882    820756480 zeus06
100_data_structures_set_multi_proc_true-unreach-call_ground.i 902    897    zeus21 4801908736 901    880    2343219200 zeus23 902    890    787079168 zeus08 901    817    5739909120 zeus24 902    818    zeus13 5723127808 902    822    4569559040 zeus19 927    704    zeus02 10574970880 903    843    zeus23 4577550336 699    632    zeus08 4632477696 901    849    zeus20 4752015360 902    897    522567680 zeus13 902    897    zeus08 517636096 901    885    zeus05 803237888 902    884    821252096 zeus12
100_relax_true-unreach-call.i 4.26 2.45 zeus14 221454336 4.58 2.71 220327936 zeus23 4.44 2.53 217853952 zeus04 5.64 3.29 302006272 zeus19 5.54 3.22 zeus05 314089472 9.55 5.33 414691328 zeus04 5.94 3.39 zeus13 309751808 4.55 2.63 zeus08 216223744 4.90 2.85 zeus06 230592512 4.43 2.61 zeus16 216883200 4.30 2.52 209985536 zeus15 4.40 2.49 zeus23 212652032 4.89 2.78 zeus21 224022528 4.36 2.53 219447296 zeus19
100_sanfoundry_02_true-unreach-call_ground.i 908    892    zeus07 9249284096 904    888    11992358912 zeus07 912    897    12739112960 zeus14 902    818    4599709696 zeus24 901    815    zeus06 4591702016 902    815    4593532928 zeus20 902    820    zeus09 4616323072 902    861    zeus14 4494385152 903    856    zeus20 5328314368 902    849    zeus18 4492660736 901    887    835194880 zeus17 901    887    zeus20 859488256 901    886    zeus04 824791040 901    887    830943232 zeus03
100_sanfoundry_10_true-unreach-call_ground.i 608    589    zeus22 6807695360 829    810    9197928448 zeus08 901    885    851562496 zeus23 901    787    5680889856 zeus21 902    790    zeus20 5566341120 902    781    5566992384 zeus12 902    810    zeus11 5161484288 902    847    zeus12 4813877248 902    850    zeus17 4825403392 902    835    zeus21 5507252224 902    881    1040117760 zeus03 902    881    zeus15 1097326592 902    880    zeus02 1226240000 901    889    799756288 zeus08
100_sanfoundry_24_true-unreach-call.i 4.02 2.38 zeus18 218791936 4.23 2.51 210870272 zeus07 4.07 2.38 210518016 zeus01 10.6  5.87 380047360 zeus21 11.0  6.17 zeus09 400478208 12.5  6.73 423444480 zeus06 10.0  5.59 zeus03 386641920 4.28 2.53 zeus20 213159936 4.28 2.50 zeus16 215105536 4.15 2.46 zeus12 215007232 3.83 2.27 210264064 zeus20 3.86 2.28 zeus14 212287488 3.68 2.18 zeus24 210579456 3.79 2.25 208863232 zeus19
100_sanfoundry_27_true-unreach-call_ground.i 910    895    zeus06 10200502272 906    890    7883943936 zeus05 904    889    13052837888 zeus04 902    812    4606345216 zeus09 901    817    zeus09 4595277824 901    818    4612026368 zeus20 902    820    zeus21 4613738496 728    532    zeus17 10368749568 955    640    zeus11 12536713216 593    465    zeus08 8327118848 902    886    826519552 zeus17 902    886    zeus16 829165568 657    643    zeus16 835366912 901    886    838303744 zeus23
100_sanfoundry_43_true-unreach-call_ground.i 3.90 2.32 zeus04 212135936 3.86 2.27 208654336 zeus13 4.27 2.49 217104384 zeus05 5.76 3.35 324255744 zeus07 5.96 3.42 zeus02 327168000 5.67 3.30 324911104 zeus09 6.29 3.65 zeus07 299380736 4.13 2.45 zeus23 206229504 3.77 2.28 zeus02 208977920 4.13 2.47 zeus14 221196288 4.00 2.38 204226560 zeus01 3.96 2.39 zeus09 209674240 4.03 2.50 zeus24 204193792 4.03 2.32 213549056 zeus21
100_sorting_bubblesort_true-unreach-call_ground.i 385    369    zeus19 1548242944 436    419    1354186752 zeus06 901    884    924102656 zeus09 901    790    4681682944 zeus09 902    783    zeus20 4662956032 901    790    4649766912 zeus02 902    805    zeus10 5756764160 901    841    zeus06 4680826880 901    843    zeus09 4736135168 902    855    zeus04 4662996992 902    886    906321920 zeus17 901    881    zeus22 852623360 837    817    zeus04 854147072 901    892    769777664 zeus01
100_sorting_selectionsort_true-unreach-call_ground.i 903    881    zeus24 2662735872 902    885    2439327744 zeus13 902    883    4073635840 zeus22 902    821    4567154688 zeus02 901    821    zeus11 4593287168 901    821    4580532224 zeus05 902    813    zeus20 4585238528 902    797    zeus06 6443798528 904    718    zeus09 8754700288 902    801    zeus18 6281482240 902    883    832954368 zeus10 902    882    zeus17 829108224 902    884    zeus20 821710848 903    882    1304367104 zeus11
100_standard_compareModified_true-unreach-call_ground.i 912    895    zeus23 5567524864 901    881    1576161280 zeus20 901    889    872480768 zeus10 901    819    4568399872 zeus18 901    818    zeus05 4575834112 901    819    4559429632 zeus09 901    731    zeus06 8093630464 328    287    zeus01 4538454016 901    834    zeus18 6073614336 902    849    zeus15 4766945280 756    742    972222464 zeus15 822    807    zeus02 952725504 694    680    zeus15 840478720 901    891    780681216 zeus21
100_standard_compare_true-unreach-call_ground.i 901    881    zeus17 1251393536 901    882    1505067008 zeus13 901    882    4474068992 zeus08 902    809    4599570432 zeus17 902    819    zeus22 4588847104 901    818    4575424512 zeus08 902    820    zeus03 4608520192 901    821    zeus15 5380583424 902    791    zeus15 6584619008 908    812    zeus01 6263496704 676    661    850890752 zeus05 681    666    zeus03 843354112 652    637    zeus05 841089024 722    707    843759616 zeus03
100_standard_copy1_true-unreach-call_ground.i 821    806    zeus12 14999998464 241    227    4847411200 zeus06 902    885    987656192 zeus09 901    813    4605779968 zeus08 902    817    zeus05 4601352192 902    814    4586725376 zeus09 902    831    zeus03 5060579328 247    205    zeus01 4595335168 248    213    zeus18 4541145088 901    772    zeus08 6144909312 901    887    893054976 zeus14 901    886    zeus19 892555264 901    886    zeus09 817041408 902    893    778833920 zeus15
100_standard_copy2_true-unreach-call_ground.i 902    884    zeus10 8933105664 902    878    7067660288 zeus18 901    887    931246080 zeus13 902    807    4664217600 zeus10 901    799    zeus12 4645199872 901    812    4652716032 zeus23 902    683    zeus20 8259596288 903    842    zeus12 4855320576 426    386    zeus19 4710137856 902    845    zeus19 5073813504 901    886    981495808 zeus14 902    886    zeus13 987308032 901    886    zeus23 884613120 902    893    776663040 zeus16
100_standard_copy3_true-unreach-call_ground.i 902    882    zeus20 4397973504 902    877    2882310144 zeus24 902    890    927072256 zeus10 902    804    4677373952 zeus18 902    802    zeus14 4692721664 902    815    4704677888 zeus02 904    614    zeus13 11819982848 903    838    zeus23 5049217024 802    751    zeus22 4953706496 901    848    zeus14 4890697728 902    886    970309632 zeus08 902    885    zeus16 970928128 901    886    zeus19 878751744 902    893    774103040 zeus18
100_standard_copy4_true-unreach-call_ground.i 902    882    zeus04 4384038912 901    878    2814816256 zeus08 902    893    893370368 zeus09 902    807    4685856768 zeus06 901    811    zeus14 4674236416 902    813    4702564352 zeus12 902    666    zeus06 11522084864 902    845    zeus15 4832886784 853    800    zeus06 5031337984 901    851    zeus18 4784406528 901    886    964141056 zeus15 901    886    zeus05 979660800 901    886    zeus24 876204032 902    893    776077312 zeus17
100_standard_copy5_true-unreach-call_ground.i 901    879    zeus20 2727141376 902    879    2763235328 zeus15 902    895    848986112 zeus08 902    818    4732739584 zeus02 902    820    zeus02 4740616192 902    816    4762083328 zeus18 525    1030    zeus19 4511965184 903    844    zeus19 4870758400 901    853    zeus12 4916543488 901    850    zeus07 4779864064 901    886    977604608 zeus24 901    886    zeus20 977489920 901    886    zeus01 884236288 902    894    773906432 zeus22
100_standard_copy6_true-unreach-call_ground.i 901    877    zeus21 2789416960 901    879    2756481024 zeus13 902    895    806547456 zeus12 902    815    4742746112 zeus07 902    814    zeus06 4764639232 902    816    4758941696 zeus18 808    1030    zeus11 4642959360 902    841    zeus14 4902502400 902    856    zeus08 4870049792 901    850    zeus16 5003472896 902    885    972582912 zeus21 902    885    zeus05 972746752 902    885    zeus13 884965376 902    893    783568896 zeus04
100_standard_copy7_true-unreach-call_ground.i 902    878    zeus15 2387382272 902    877    1685794816 zeus14 902    895    819335168 zeus21 902    816    4790296576 zeus20 901    815    zeus21 4824621056 901    812    4791537664 zeus13 901    859    zeus09 4710805504 902    845    zeus01 4886294528 902    848    zeus03 4832911360 902    849    zeus10 4897550336 902    885    985747456 zeus17 902    885    zeus12 984461312 901    885    zeus17 888287232 902    893    794583040 zeus22
100_standard_copy8_true-unreach-call_ground.i 902    878    zeus04 2436665344 901    878    2411454464 zeus16 902    895    827744256 zeus06 902    817    4768698368 zeus10 902    814    zeus24 4841189376 902    816    4778692608 zeus11 901    856    zeus21 4790161408 902    847    zeus11 4807745536 902    851    zeus16 4964610048 902    847    zeus02 4798103552 901    885    984588288 zeus17 902    886    zeus05 984424448 901    885    zeus18 891940864 902    894    797880320 zeus11
100_standard_copy9_true-unreach-call_ground.i 902    879    zeus03 2383962112 901    878    2761707520 zeus01 904    897    805937152 zeus16 902    824    4701302784 zeus14 902    823    zeus08 4755619840 902    821    4830285824 zeus20 902    854    zeus05 4857135104 902    847    zeus17 4817559552 902    853    zeus01 4940926976 901    850    zeus02 4837740544 901    885    985829376 zeus04 901    885    zeus03 979251200 901    885    zeus19 883560448 902    893    815095808 zeus08
100_standard_copyInitSum2_true-unreach-call_ground.i 902    879    zeus13 2796269568 902    877    2840260608 zeus10 902    886    905003008 zeus10 902    812    4708581376 zeus10 902    809    zeus13 4697526272 901    808    4685074432 zeus14 901    829    zeus10 5087522816 666    612    zeus24 4745506816 719    674    zeus17 4780597248 902    840    zeus10 5201416192 902    885    918437888 zeus02 902    886    zeus23 908861440 901    886    zeus15 880742400 901    892    778190848 zeus21
100_standard_copyInitSum3_true-unreach-call_ground.i 901    876    zeus05 2721300480 901    878    2819760128 zeus24 901    885    925528064 zeus09 902    814    4754321408 zeus17 902    811    zeus02 4756897792 902    811    4700401664 zeus11 901    831    zeus13 5090664448 903    837    zeus15 4933738496 931    859    zeus20 5313343488 902    831    zeus06 5323001856 902    885    904876032 zeus20 901    885    zeus01 893341696 902    885    zeus18 877551616 901    892    776290304 zeus05
100_standard_copyInitSum_true-unreach-call_ground.i 902    877    zeus05 1931759616 902    880    4409282560 zeus22 902    886    940969984 zeus20 902    809    4695134208 zeus02 902    812    zeus06 4708659200 902    809    4682354688 zeus07 901    829    zeus02 5111349248 902    851    zeus16 4704141312 902    850    zeus20 4914585600 902    840    zeus11 5083410432 902    886    908173312 zeus03 901    885    zeus24 904757248 901    885    zeus15 874176512 901    892    773804032 zeus19
100_standard_copyInit_true-unreach-call_ground.i 902    884    zeus01 9008230400 905    881    7417135104 zeus06 902    885    907091968 zeus05 902    808    4654002176 zeus21 902    813    zeus02 4667277312 902    812    4667977728 zeus08 901    830    zeus17 5138980864 903    844    zeus08 4810141696 430    381    zeus19 4634284032 902    822    zeus23 5413658624 902    886    911982592 zeus22 901    886    zeus18 917647360 901    886    zeus04 891502592 902    893    775880704 zeus24
100_standard_find_true-unreach-call_ground.i 902    887    zeus07 2303332352 3.95 2.39 220381184 zeus12 901    886    4214599680 zeus07 901    824    4639944704 zeus12 902    823    zeus23 4694335488 902    821    4657496064 zeus14 901    822    zeus06 4714020864 902    830    zeus09 5705203712 901    790    zeus03 6598922240 902    790    zeus08 6119555072 901    888    817631232 zeus10 901    888    zeus10 862130176 902    888    zeus14 877228032 901    888    868593664 zeus09
100_standard_init1_true-unreach-call_ground.i 216    202    zeus19 5117198336 232    214    5058981888 zeus22 902    885    1289273344 zeus19 902    820    4583866368 zeus02 901    819    zeus08 4601184256 902    819    4602228736 zeus06 902    823    zeus04 4551831552 255    220    zeus22 4584189952 252    213    zeus24 4568694784 902    775    zeus01 6462185472 901    887    832954368 zeus02 901    887    zeus04 829652992 901    887    zeus23 822640640 901    890    794628096 zeus08
100_standard_init2_true-unreach-call_ground.i 904    884    zeus10 7180619776 902    883    7224832000 zeus08 902    880    1084084224 zeus22 902    815    4677599232 zeus16 902    815    zeus16 4654206976 902    819    4663148544 zeus01 902    812    zeus03 5292097536 472    430    zeus14 4677177344 516    477    zeus03 4630056960 902    823    zeus15 5330399232 901    885    838172672 zeus20 901    883    zeus19 858198016 902    886    zeus03 823697408 901    890    794894336 zeus15
100_standard_init3_true-unreach-call_ground.i 902    879    zeus18 2819330048 901    880    2751885312 zeus15 901    883    844238848 zeus17 902    811    4703678464 zeus14 902    814    zeus18 4694429696 902    808    4689752064 zeus04 902    815    zeus16 5033947136 704    657    zeus08 4720386048 719    668    zeus20 4787499008 902    849    zeus10 5089333248 901    886    830210048 zeus10 901    885    zeus11 826781696 902    886    zeus24 828788736 901    890    790982656 zeus05
100_standard_init4_true-unreach-call_ground.i 901    879    zeus03 2775162880 902    880    2408939520 zeus20 902    883    874479616 zeus15 902    811    4753317888 zeus05 902    815    zeus13 4725477376 902    817    4701696000 zeus16 901    813    zeus21 5033914368 902    851    zeus16 4755591168 818    763    zeus07 4827279360 902    840    zeus06 4967931904 902    885    829702144 zeus22 901    885    zeus10 840126464 901    886    zeus21 827441152 902    890    784920576 zeus17
100_standard_init5_true-unreach-call_ground.i 902    879    zeus11 1345937408 901    880    2693398528 zeus01 902    881    897400832 zeus04 902    812    4733345792 zeus18 902    814    zeus22 4739178496 902    811    4736135168 zeus24 902    812    zeus06 5075763200 902    843    zeus03 4867784704 902    853    zeus16 4846297088 902    846    zeus06 4784205824 902    885    826314752 zeus10 901    885    zeus17 836206592 901    886    zeus07 826122240 901    890    788893696 zeus08
100_standard_init6_true-unreach-call_ground.i 902    878    zeus06 2423197696 902    881    4438745088 zeus24 902    883    875831296 zeus16 902    826    4740182016 zeus04 902    826    zeus24 4751884288 902    814    4723318784 zeus16 901    813    zeus22 5336403968 902    843    zeus16 4881719296 902    847    zeus19 4825542656 902    842    zeus13 4938633216 902    884    834781184 zeus12 901    886    zeus13 831086592 901    886    zeus22 813953024 901    890    790470656 zeus15
100_standard_init7_true-unreach-call_ground.i 901    878    zeus12 2391830528 902    879    2370887680 zeus08 902    884    888459264 zeus15 902    826    4756594688 zeus03 902    827    zeus14 4749529088 902    812    4745076736 zeus05 902    817    zeus16 5265911808 902    848    zeus13 4821430272 902    849    zeus14 4944539648 902    843    zeus22 5120196608 902    885    820678656 zeus17 901    885    zeus11 832643072 902    886    zeus11 821649408 901    891    782614528 zeus12
100_standard_init8_true-unreach-call_ground.i 902    878    zeus04 1629270016 901    879    2386685952 zeus20 901    883    865144832 zeus07 902    824    4774264832 zeus04 902    824    zeus09 4765143040 902    812    4748500992 zeus03 902    814    zeus04 5045121024 902    845    zeus23 4840091648 902    849    zeus19 4901179392 901    837    zeus16 4928876544 901    886    814055424 zeus17 901    886    zeus15 828207104 901    885    zeus15 833269760 901    891    778911744 zeus06
100_standard_init9_true-unreach-call_ground.i 901    878    zeus03 1326899200 901    879    1630023680 zeus16 901    883    873066496 zeus06 902    823    4771774464 zeus18 902    830    zeus16 4788539392 902    811    4775403520 zeus14 902    814    zeus03 5159063552 901    842    zeus16 4831109120 902    851    zeus04 4856307712 902    845    zeus14 4981035008 901    884    851550208 zeus05 901    886    zeus12 825159680 901    885    zeus12 834445312 901    892    777977856 zeus09
100_standard_maxInArray_true-unreach-call_ground.i 911    895    zeus22 11057147904 915    898    12652535808 zeus23 908    892    13728104448 zeus11 902    813    4575350784 zeus01 901    818    zeus19 4580798464 901    819    4616249344 zeus13 901    818    zeus01 4617715712 902    678    zeus12 11110027264 902    665    zeus11 9538273280 1000    709    zeus24 11396579328 901    884    845414400 zeus17 901    884    zeus01 846819328 902    884    zeus22 854188032 901    884    840646656 zeus13
100_standard_minInArray_true-unreach-call_ground.i 903    886    zeus08 7981699072 904    889    8705552384 zeus15 906    890    11368321024 zeus11 901    814    4624003072 zeus06 901    817    zeus22 4604280832 902    823    4596465664 zeus21 902    821    zeus02 4632043520 902    687    zeus15 11624890368 903    671    zeus20 10736046080 902    695    zeus09 10366545920 902    884    835018752 zeus10 901    885    zeus18 833527808 902    884    zeus11 845488128 901    884    843554816 zeus15
100_standard_palindrome_true-unreach-call_ground.i 66.4  53.7  zeus02 1331724288 53.5  44.6  1348124672 zeus19 901    887    905621504 zeus05 901    799    4919300096 zeus08 902    807    zeus06 4885819392 902    798    4747526144 zeus18 901    780    zeus08 6266716160 63.1  36.5  zeus12 1375150080 64.5  35.1  zeus14 2130894848 901    717    zeus18 8461873152 901    888    837439488 zeus04 901    888    zeus17 838451200 901    887    zeus02 1000050688 901    891    806281216 zeus15
100_standard_partial_init_true-unreach-call_ground.i 902    887    zeus16 6812250112 902    886    2874638336 zeus19 902    893    741941248 zeus13 902    820    4575444992 zeus11 902    817    zeus11 4596879360 902    818    4552843264 zeus22 902    724    zeus22 9045868544 1000    694    zeus06 8355459072 931    649    zeus14 8299044864 902    851    zeus05 4831121408 902    885    1034964992 zeus04 901    886    zeus24 1029218304 901    885    zeus21 858419200 902    892    804659200 zeus09
100_standard_partition_original_true-unreach-call_ground.i 905    888    zeus08 4347949056 902    887    5246746624 zeus20 901    893    745316352 zeus08 901    822    4540170240 zeus10 901    822    zeus07 4535148544 902    825    4538621952 zeus19 901    748    zeus13 8417091584 902    681    zeus22 8779497472 902    648    zeus24 9297743872 902    849    zeus18 4835762176 902    885    866009088 zeus10 901    884    zeus20 847519744 901    886    zeus05 838307840 902    892    783966208 zeus20
100_standard_partition_true-unreach-call_ground.i 902    879    zeus15 1545297920 901    881    1316229120 zeus03 901    885    858288128 zeus12 901    813    4667797504 zeus10 901    808    zeus19 4650745856 902    815    4680380416 zeus01 902    826    zeus07 4839337984 1000    780    zeus04 7961300992 955    780    zeus01 7872241664 902    845    zeus06 5019430912 902    886    834441216 zeus08 902    885    zeus24 841064448 902    885    zeus06 834174976 902    892    754393088 zeus16
100_standard_password_true-unreach-call_ground.i 902    882    zeus13 1547014144 901    881    1521487872 zeus14 901    882    4467417088 zeus11 901    817    4597149696 zeus24 901    816    zeus07 4603498496 901    817    4587606016 zeus17 902    822    zeus22 4602195968 902    826    zeus21 5643919360 901    801    zeus03 6618025984 901    804    zeus22 6267641856 756    739    842760192 zeus18 691    676    zeus10 833695744 735    718    zeus12 840028160 784    769    823009280 zeus24
100_standard_reverse_true-unreach-call_ground.i 135    122    zeus16 4362375168 133    121    4388909056 zeus23 902    885    982671360 zeus14 902    808    4594020352 zeus24 901    815    zeus09 4613263360 901    820    4599828480 zeus22 901    829    zeus24 5035282432 277    241    zeus10 4495228928 297    252    zeus14 4566908928 902    837    zeus13 5259067392 901    887    900636672 zeus02 901    887    zeus01 912814080 901    887    zeus03 839786496 902    892    779726848 zeus08
100_standard_running_true-unreach-call.i 902    877    zeus23 1589395456 902    879    1360429056 zeus21 901    874    941133824 zeus12 902    808    4645990400 zeus07 902    808    zeus06 4643540992 901    812    4621258752 zeus12 901    835    zeus07 4938842112 902    830    zeus19 4862464000 902    841    zeus04 4830867456 902    844    zeus04 4833443840 902    884    849571840 zeus13 902    883    zeus16 847360000 902    884    zeus17 838475776 902    890    811118592 zeus01
100_standard_sentinel_true-unreach-call.i 4.17 2.54 zeus14 218226688 4.13 2.46 220721152 zeus10 4.88 2.95 233938944 zeus18 901    820    4933324800 zeus06 902    822    zeus23 4870066176 901    819    4902998016 zeus20 901    830    zeus15 4672319488 4.51 2.64 zeus22 227840000 4.35 2.58 zeus20 214896640 992    843    zeus14 6482792448 3.98 2.45 216641536 zeus24 4.36 2.60 zeus06 213340160 4.02 2.44 zeus08 209965056 4.81 2.87 226422784 zeus09
100_standard_seq_init_true-unreach-call_ground.i 902    887    zeus08 8121020416 903    888    10022395904 zeus24 808    786    1380204544 zeus19 902    816    4619317248 zeus14 901    818    zeus12 4600487936 901    818    4590534656 zeus20 901    818    zeus11 4663287808 268    226    zeus19 4567896064 286    241    zeus20 4562288640 321    276    zeus11 4675620864 533    515    959565824 zeus05 526    508    zeus06 962318336 479    461    zeus11 957902848 901    890    799215616 zeus18
100_standard_strcmp_true-unreach-call_ground.i 100    97.9  zeus15 14999998464 387    365    2503024640 zeus17 194    174    3931430912 zeus12 901    811    4627263488 zeus17 902    809    zeus15 4625731584 901    818    4596088832 zeus01 901    789    zeus06 4565790720 277    243    zeus05 4559077376 277    244    zeus01 4577435648 433    397    zeus13 4484833280 904    890    1290149888 zeus24 905    891    zeus23 1250181120 686    667    zeus22 883044352 902    884    822616064 zeus19
100_standard_strcpy_original_true-unreach-call.i 901    893    zeus21 715448320 901    893    722915328 zeus14 902    891    763768832 zeus21 902    828    4866359296 zeus02 902    828    zeus02 4876251136 901    823    4950966272 zeus24 901    826    zeus09 5025947648 4.69 2.75 zeus06 220856320 902    824    zeus16 6079385600 906    790    zeus17 6734438400 902    892    828518400 zeus12 902    892    zeus24 829145088 901    892    zeus20 825675776 901    891    861167616 zeus04
100_standard_strcpy_true-unreach-call_ground.i 4.70 2.84 zeus12 227553280 3.97 2.35 218136576 zeus18 901    887    796622848 zeus20 902    817    4690931712 zeus11 902    818    zeus03 4718510080 902    826    4646170624 zeus23 901    822    zeus18 5009981440 4.31 2.56 zeus20 220651520 902    843    zeus16 5735632896 901    847    zeus15 5391892480 901    888    829530112 zeus12 901    888    zeus20 825028608 901    887    zeus01 923688960 902    891    866824192 zeus02
100_standard_two_index_01_true-unreach-call.i 903    888    zeus24 9146884096 912    896    4738588672 zeus17 901    893    724824064 zeus12 288    225    4658184192 zeus16 275    215    zeus09 4641378304 901    789    5002502144 zeus06 902    829    zeus13 4981026816 319    283    zeus04 4523970560 301    264    zeus16 4523102208 901    826    zeus03 5288284160 901    885    883122176 zeus22 901    887    zeus12 878379008 901    887    zeus06 832167936 902    892    780365824 zeus20
100_standard_two_index_02_true-unreach-call.i 62.6  53.5  zeus18 1336332288 38.8  29.3  820076544 zeus04 901    892    724426752 zeus22 901    802    4774866944 zeus24 902    797    zeus07 4790317056 901    805    4820676608 zeus09 901    812    zeus08 5337792512 65.0  37.1  zeus08 1852030976 69.2  41.6  zeus13 1467813888 901    814    zeus02 6826934272 901    889    835403776 zeus05 901    888    zeus21 837980160 901    886    zeus22 870895616 902    893    774774784 zeus03
100_standard_two_index_03_true-unreach-call.i 21.3  16.0  zeus20 697171968 20.3  13.5  697040896 zeus18 902    893    772108288 zeus14 901    814    4685455360 zeus21 901    812    zeus21 4682919936 902    807    4694401024 zeus01 902    811    zeus10 5125865472 45.4  23.6  zeus19 1387360256 37.6  19.4  zeus21 901439488 901    801    zeus07 6736416768 901    889    821092352 zeus20 901    888    zeus09 823185408 902    890    zeus09 866881536 902    892    718258176 zeus17
100_standard_two_index_04_true-unreach-call.i 12.4  8.24 zeus09 434102272 13.6  8.68 452718592 zeus01 902    893    766238720 zeus11 902    810    4632113152 zeus06 902    813    zeus13 4689825792 901    814    4724686848 zeus05 902    805    zeus13 5252583424 37.4  19.4  zeus08 874201088 34.4  17.9  zeus20 859820032 901    807    zeus15 6548008960 902    890    816635904 zeus20 901    890    zeus16 803377152 902    891    zeus01 770502656 902    893    762576896 zeus16
100_standard_two_index_05_true-unreach-call.i 10.4  6.23 zeus09 331796480 10.4  6.19 352055296 zeus08 901    892    769626112 zeus03 901    822    4648853504 zeus23 901    819    zeus12 4664750080 901    817    4788178944 zeus17 902    808    zeus03 5239676928 27.7  14.6  zeus01 776454144 25.1  13.2  zeus18 706105344 902    818    zeus02 6905241600 902    890    818847744 zeus09 901    891    zeus22 805859328 902    892    zeus12 777867264 901    892    799137792 zeus08
100_standard_two_index_06_true-unreach-call.i 9.57 5.53 zeus22 299941888 8.41 4.77 289857536 zeus01 902    892    754831360 zeus01 901    823    4680409088 zeus17 902    824    zeus05 4664238080 901    821    4656664576 zeus14 903    812    zeus09 5213179904 16.3  8.74 zeus20 656113664 15.4  8.34 zeus03 540590080 447    396    zeus20 5508259840 901    891    849731584 zeus23 901    891    zeus24 831860736 902    892    zeus03 767025152 902    892    794525696 zeus15
100_standard_two_index_07_true-unreach-call.i 7.83 4.57 zeus10 291745792 8.62 5.01 312954880 zeus24 901    892    761516032 zeus06 901    822    4648591360 zeus13 902    830    zeus03 4627599360 902    823    4730880000 zeus24 901    810    zeus03 5380624384 15.4  8.27 zeus19 614526976 12.0  6.63 zeus05 465403904 148    111    zeus18 4696510464 901    892    774320128 zeus04 901    891    zeus05 790011904 901    893    zeus13 750964736 901    892    790474752 zeus08
100_standard_two_index_08_true-unreach-call.i 6.62 3.80 zeus03 261341184 8.27 4.74 288694272 zeus01 902    892    737837056 zeus20 901    827    4617711616 zeus13 901    829    zeus20 4615331840 451    389    4572237824 zeus11 901    811    zeus07 5219659776 13.2  7.25 zeus03 527925248 11.0  6.11 zeus14 407572480 73.8  43.9  zeus21 3164454912 901    892    789381120 zeus18 901    892    zeus21 781008896 902    891    zeus15 779272192 902    892    822194176 zeus22
100_standard_two_index_09_true-unreach-call.i 5.69 3.42 zeus09 246759424 13.0  7.86 449388544 zeus01 646    638    721219584 zeus16 901    830    4574130176 zeus17 901    827    zeus12 4591976448 175    121    3356000256 zeus18 902    812    zeus05 5137821696 10.3  5.65 zeus03 360321024 10.9  5.99 zeus05 333008896 56.1  29.8  zeus05 1393274880 901    892    804597760 zeus04 902    893    zeus08 785391616 901    892    zeus05 758030336 307    299    747417600 zeus01
100_standard_vararg_true-unreach-call_ground.i 902    887    zeus01 2467577856 4.47 2.62 216457216 zeus06 901    887    4232531968 zeus13 901    823    4679864320 zeus05 902    826    zeus23 4678373376 902    824    4530077696 zeus23 901    828    zeus22 4652736512 901    804    zeus19 8360660992 913    808    zeus13 8202231808 901    795    zeus12 8433455104 901    889    872255488 zeus11 902    888    zeus16 859508736 902    889    zeus08 883326976 901    888    866254848 zeus05
100_standard_vector_difference_true-unreach-call_ground.i 913    897    zeus20 13192859648 277    261    5245120512 zeus19 901    888    904396800 zeus23 902    818    4600791040 zeus08 901    816    zeus10 4611117056 901    821    4600094720 zeus08 901    714    zeus19 8524980224 277    233    zeus22 4565692416 229    195    zeus09 4567834624 902    815    zeus18 5164900352 901    886    955506688 zeus02 901    887    zeus08 968941568 901    887    zeus09 836218880 901    893    772349952 zeus12
test/programs/array-simplified-benchmarks/arrays-size-100/ status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host 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) memUsage host
total tasks 88 62000    60500    337016446976 88 58100   56600    281722949632 88 73100 71900 161319972864 88 74800   67600    402669662208 88 74800   67600    404421640192 88 74200 66900 398741508096 88 76000   69000    495953076224 88 56900   51300    404714332160 88 57300   51300    431417593856 88 70600 64400 464967745536 88 73800   72500    74625478656 88 73700   72400    74423214080 88 72900   71500    72834260992 88 74600 73700 70141444096
    correct results 5 786    730    11928170496 7 1220   1140    13421731840 7 1750 1690 5817073664 4 602   464    10035822592 4 609   471    10083790848 6 1200 954 18020438016 2 16.3 9.23 686022656 11 3680   3280    37570035712 12 4130   3710    42719752192 12 4080 3650 43582156800 6 1660   1600    3281596416 8 3380   3280    5097414656 8 3220   3120    5012996096 5 1000 969 2259341312
        correct true 2 7.92 4.70 430927872 3 15.7 9.10 689545216 5 749 730 1850707968 2 16.4 9.22 704303104 2 17.0 9.59 727646208 4 644 520 8676593664 2 16.3 9.23 686022656 3 12.9 7.61 647229440 3 12.4 7.36 638980096 6 733 585 15198703616 3 11.8 7.10 631132160 3 12.2 7.26 635301888 3 11.7 7.12 624738304 4 319 307 1396252672
        correct false 3 778    725    11497242624 4 1200   1130    12732186624 2 1000 958 3966365696 2 586   455    9331519488 2 592   461    9356144640 2 557 434 9343844352 0 8 3670   3270    36922806272 9 4120   3700    42080772096 6 3350 3060 28383453184 3 1650   1590    2650464256 5 3370   3270    4462112768 5 3210   3120    4388257792 1 683 662 863088640
    incorrect results 0 1 387   365    2503024640 2 1000 960 5311635456 0 0 0 0 1 268   226    4567896064 3 1260   1120    13772201984 2 754 673 9160454144 1 533   515    959565824 1 526   508    962318336 2 1160   1130    1840947200 0
        incorrect true 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect false 0 1 387   365    2503024640 2 1000 960 5311635456 0 0 0 0 1 268   226    4567896064 3 1260   1120    13772201984 2 754 673 9160454144 1 533   515    959565824 1 526   508    962318336 2 1160   1130    1840947200 0
score (88 tasks, max score: 148) 7 -6 -20 6 6 10 4 -2 -33 -14 -7 -5 -21 9
Run set MathSAT5-heaparray.ArraysReach100 MathSAT5-oldarray.ArraysReach100 MathSAT5-uf.ArraysReach100 PRINCESS-heaparray-quantifiers.ArraysReach100 PRINCESS-heaparray.ArraysReach100 PRINCESS-oldarray.ArraysReach100 PRINCESS-uf.ArraysReach100 SMTInterpol-heaparray.ArraysReach100 SMTInterpol-oldarray.ArraysReach100 SMTInterpol-uf.ArraysReach100 Z3-heaparray-quantifiers.ArraysReach100 Z3-heaparray.ArraysReach100 Z3-oldarray.ArraysReach100 Z3-uf.ArraysReach100