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.ArraysReach125 MathSAT5-oldarray.ArraysReach125 MathSAT5-uf.ArraysReach125 PRINCESS-heaparray-quantifiers.ArraysReach125 PRINCESS-heaparray.ArraysReach125 PRINCESS-oldarray.ArraysReach125 PRINCESS-uf.ArraysReach125 SMTInterpol-heaparray.ArraysReach125 SMTInterpol-oldarray.ArraysReach125 SMTInterpol-uf.ArraysReach125 Z3-heaparray-quantifiers.ArraysReach125 Z3-heaparray.ArraysReach125 Z3-oldarray.ArraysReach125 Z3-uf.ArraysReach125
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-125/ status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) 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
125_data_structures_set_multi_proc_false-unreach-call_ground.i 902    897    zeus17 9286127616 902    881    2402770944 zeus01 901    891    zeus10 759205888 901    800    7563460608 zeus09 901    788    zeus12 8160301056 901    817    zeus02 4586409984 1000    812    zeus08 8525205504 909    852    zeus10 4685324288 902    856    zeus22 4677586944 902    850    zeus11 4777713664 902    897    598523904 zeus01 902    897    zeus08 604303360 901    885    zeus18 780386304 901    886    zeus09 810266624
125_sorting_bubblesort_false-unreach-call2_ground.i 901    882    zeus02 1362964480 902    882    1579372544 zeus07 902    886    zeus12 940687360 486    409    4784480256 zeus08 462    391    zeus18 4795359232 523    440    zeus13 4799401984 902    799    zeus08 5377503232 867    795    zeus22 4872085504 689    629    zeus21 4909752320 901    855    zeus22 4597264384 902    885    843083776 zeus03 902    882    zeus04 850468864 901    886    zeus04 834654208 902    892    zeus12 776990720
125_sorting_bubblesort_false-unreach-call_ground.i 902    882    zeus19 1609641984 902    882    1350836224 zeus11 902    886    zeus23 933326848 465    394    4784328704 zeus03 483    407    zeus10 4823207936 457    387    zeus11 4793663488 902    801    zeus02 5372657664 902    841    zeus09 4844572672 902    846    zeus05 4772139008 901    850    zeus24 4661587968 901    885    838848512 zeus02 901    881    zeus16 863735808 902    885    zeus13 845266944 902    892    zeus13 769499136
125_sorting_selectionsort_false-unreach-call2_ground.i 417    394    zeus09 1644978176 403    384    1622401024 zeus04 776    749    zeus07 2414129152 901    821    4583346176 zeus24 902    819    zeus05 4576849920 902    819    zeus05 4578586624 901    819    zeus12 4581191680 645    592    zeus08 4722126848 579    531    zeus01 4715884544 713    664    zeus04 4739526656 902    883    845713408 zeus08 901    883    zeus06 826654720 902    884    zeus09 825339904 902    883    zeus04 1411973120
125_sorting_selectionsort_false-unreach-call_ground.i 902    883    zeus09 1529675776 901    882    1362812928 zeus21 902    879    zeus09 3289694208 902    816    4563992576 zeus14 901    817    zeus04 4578275328 902    820    zeus04 4590223360 902    820    zeus08 4620181504 904    777    zeus21 7428300800 902    805    zeus20 6607794176 902    844    zeus24 4817559552 902    883    818294784 zeus17 902    884    zeus23 804720640 902    883    zeus20 811728896 902    881    zeus07 1446920192
125_standard_allDiff2_false-unreach-call_ground.i 901    881    zeus17 4639649792 902    881    2769133568 zeus11 902    876    zeus15 4633505792 901    817    4574081024 zeus09 901    821    zeus23 4589273088 901    820    zeus07 4589379584 902    821    zeus17 4564307968 902    854    zeus08 4662923264 902    859    zeus20 4649689088 902    854    zeus12 4663255040 902    880    982560768 zeus24 902    880    zeus03 1074745344 902    879    zeus16 1103536128 901    879    zeus19 1067798528
125_standard_copy1_false-unreach-call_ground.i 313    293    zeus04 4609241088 299    281    4601319424 zeus24 902    886    zeus06 888184832 902    819    4609449984 zeus23 901    816    zeus20 4596961280 901    818    zeus21 4596662272 901    815    zeus23 5213945856 770    713    zeus15 4634615808 538    494    zeus05 4750852096 902    852    zeus11 4935835648 901    885    829210624 zeus20 901    885    zeus24 839090176 901    885    zeus06 845234176 901    893    zeus08 769093632
125_standard_copy2_false-unreach-call_ground.i 902    876    zeus21 2426650624 902    878    2889428992 zeus10 902    889    zeus02 891908096 901    807    4721119232 zeus22 902    810    zeus08 4724842496 902    810    zeus03 4722130944 901    718    zeus22 11189108736 902    846    zeus13 4851265536 902    853    zeus13 4819193856 901    835    zeus21 5232910336 902    885    910237696 zeus20 902    885    zeus20 910516224 902    885    zeus03 831836160 902    893    zeus23 724930560
125_standard_copy3_false-unreach-call_ground.i 902    880    zeus11 2417688576 902    878    2428153856 zeus02 902    892    zeus13 889720832 901    816    4811292672 zeus21 901    814    zeus16 4808527872 902    818    zeus05 4796018688 1000    702    zeus15 11512672256 902    845    zeus22 4834168832 902    849    zeus03 4852510720 902    847    zeus10 4828635136 901    884    900071424 zeus04 902    885    zeus06 890601472 902    885    zeus17 830021632 902    893    zeus05 778092544
125_standard_copy4_false-unreach-call_ground.i 902    878    zeus10 2422161408 902    878    2432458752 zeus03 902    894    zeus08 872615936 902    813    4822646784 zeus01 901    815    zeus22 4777299968 902    815    zeus06 4846657536 609    1030    zeus23 4515368960 902    847    zeus17 4836356096 902    853    zeus11 4888383488 902    849    zeus12 4778729472 901    885    893816832 zeus07 902    885    zeus02 900751360 902    885    zeus01 826523648 901    893    zeus09 794800128
125_standard_copy5_false-unreach-call_ground.i 901    878    zeus12 2768101376 901    879    2764713984 zeus07 902    895    zeus16 815661056 902    827    4822003712 zeus15 902    824    zeus07 4789690368 902    828    zeus13 4825415680 902    857    zeus16 4656975872 902    853    zeus08 4731973632 901    857    zeus13 4926210048 902    848    zeus14 4828459008 902    885    896294912 zeus18 902    885    zeus17 889126912 902    885    zeus01 827838464 902    893    zeus15 808919040
125_standard_copy6_false-unreach-call_ground.i 902    879    zeus24 2415403008 902    878    2298937344 zeus02 903    896    zeus12 820543488 902    827    4801781760 zeus10 902    826    zeus14 4824395776 902    827    zeus05 4872028160 901    861    zeus13 4719079424 902    846    zeus16 4821299200 901    856    zeus05 4927262720 901    849    zeus18 4783828992 902    885    891744256 zeus19 902    885    zeus13 902393856 901    885    zeus01 823189504 902    893    zeus18 810586112
125_standard_copy7_false-unreach-call_ground.i 901    879    zeus15 2426900480 902    879    2744377344 zeus24 903    897    zeus13 846811136 902    823    4829061120 zeus16 902    824    zeus13 4857294848 902    820    zeus15 4864868352 901    854    zeus10 4861440000 902    852    zeus07 4770213888 902    833    zeus21 5196152832 902    849    zeus17 4841398272 902    884    912936960 zeus11 901    885    zeus12 898031616 901    884    zeus14 829964288 902    894    zeus10 821960704
125_standard_copy8_false-unreach-call_ground.i 901    877    zeus19 2397655040 902    876    1379336192 zeus20 903    897    zeus12 2816299008 902    826    4810788864 zeus10 902    824    zeus06 4828434432 902    817    zeus20 4776030208 901    855    zeus02 4931686400 902    845    zeus04 4864876544 902    851    zeus22 4830842880 901    849    zeus15 4846886912 901    885    899735552 zeus23 901    885    zeus18 899018752 902    885    zeus23 830619648 902    894    zeus16 835649536
125_standard_copy9_false-unreach-call_ground.i 901    879    zeus19 2457161728 901    879    2431217664 zeus09 903    897    zeus17 3073671168 901    822    4803432448 zeus02 902    825    zeus19 4808036352 901    823    zeus14 4876505088 901    854    zeus19 5037617152 901    848    zeus14 4827856896 902    845    zeus13 4854636544 901    852    zeus08 4891197440 901    884    911441920 zeus06 902    882    zeus06 906031104 902    881    zeus12 849018880 902    894    zeus03 832434176
125_standard_copyInitSum2_false-unreach-call_ground.i 902    879    zeus02 2422394880 902    877    2393317376 zeus02 901    887    zeus14 918888448 902    810    4787515392 zeus07 902    809    zeus14 4782493696 902    811    zeus23 4782448640 901    818    zeus18 5267345408 902    846    zeus01 4880580608 902    849    zeus09 4805955584 901    847    zeus02 4843634688 901    882    834768896 zeus11 902    885    zeus13 837677056 902    885    zeus11 832651264 902    893    zeus24 720769024
125_standard_init1_false-unreach-call_ground.i 909    893    zeus07 6874845184 912    896    6867337216 zeus01 902    882    zeus15 1367105536 902    820    4618657792 zeus12 901    822    zeus21 4602445824 901    818    zeus06 4612349952 901    821    zeus21 4756115456 548    502    zeus24 4687372288 522    476    zeus02 4652838912 785    734    zeus09 4897124352 902    885    847036416 zeus24 902    885    zeus21 830574592 901    885    zeus22 836046848 901    892    zeus15 783593472
125_standard_init2_false-unreach-call_ground.i 901    880    zeus21 4453416960 902    878    2423373824 zeus05 902    881    zeus14 867278848 902    812    4746227712 zeus09 902    810    zeus01 4736618496 901    817    zeus21 4736057344 903    813    zeus11 5173473280 902    851    zeus15 4798844928 901    856    zeus14 4909334528 901    847    zeus11 4916092928 901    885    842260480 zeus18 901    884    zeus05 826929152 902    885    zeus08 822153216 901    892    zeus02 774246400
125_standard_init3_false-unreach-call_ground.i 902    878    zeus20 2423357440 902    880    2413805568 zeus24 902    883    zeus11 878718976 902    811    4786008064 zeus18 902    810    zeus23 4793708544 901    813    zeus21 4791971840 902    813    zeus15 5245038592 902    851    zeus17 4789829632 902    855    zeus20 4874317824 902    847    zeus05 5021466624 902    885    822001664 zeus23 902    885    zeus24 828559360 902    885    zeus02 818282496 902    892    zeus24 783421440
125_standard_init4_false-unreach-call_ground.i 902    880    zeus08 2416324608 902    881    2393018368 zeus17 902    884    zeus05 863010816 902    824    4782710784 zeus17 902    827    zeus10 4798656512 902    814    zeus10 4800249856 902    812    zeus09 5247688704 902    846    zeus08 4853792768 902    854    zeus15 4855922688 902    844    zeus03 4985442304 902    884    833683456 zeus09 901    885    zeus22 828325888 901    884    zeus04 824975360 902    893    zeus15 779046912
125_standard_init5_false-unreach-call_ground.i 901    878    zeus02 2751574016 902    880    2425344000 zeus01 901    885    zeus20 875945984 902    825    4833644544 zeus16 902    825    zeus06 4801150976 901    826    zeus15 4794974208 904    818    zeus09 5173841920 903    837    zeus21 5142609920 902    856    zeus01 4844359680 901    844    zeus24 5023281152 901    882    831168512 zeus04 901    885    zeus02 834969600 902    882    zeus02 831639552 901    892    zeus18 782897152
125_standard_init6_false-unreach-call_ground.i 901    878    zeus09 2742779904 902    881    2392432640 zeus06 901    884    zeus21 902488064 902    824    4810862592 zeus22 902    824    zeus02 4832395264 902    826    zeus04 4817215488 903    816    zeus19 5244588032 902    848    zeus01 4843737088 902    855    zeus07 4897685504 902    843    zeus06 5050609664 902    884    823595008 zeus09 901    884    zeus01 836763648 902    885    zeus01 839421952 901    891    zeus08 760152064
125_standard_init7_false-unreach-call_ground.i 901    878    zeus06 2385448960 902    879    2377502720 zeus15 901    884    zeus16 914714624 902    826    4815564800 zeus02 902    825    zeus11 4828835840 902    824    zeus01 4841926656 902    814    zeus03 5295079424 902    849    zeus03 4834140160 902    850    zeus20 4866027520 901    846    zeus13 4979347456 901    884    840032256 zeus14 901    885    zeus11 814907392 902    884    zeus04 820637696 902    892    zeus20 734244864
125_standard_init8_false-unreach-call_ground.i 902    878    zeus24 2375327744 902    879    2403176448 zeus13 901    884    zeus19 905945088 902    824    4856008704 zeus02 902    818    zeus04 4850786304 902    824    zeus24 4826763264 901    815    zeus10 5276753920 901    847    zeus11 4844044288 902    853    zeus23 4887539712 902    848    zeus02 4936409088 901    885    822226944 zeus10 901    883    zeus03 889933824 901    886    zeus12 821944320 901    891    zeus14 746115072
125_standard_init9_false-unreach-call_ground.i 901    880    zeus22 2411765760 901    878    2427359232 zeus23 903    886    zeus04 883781632 902    824    4853268480 zeus06 902    821    zeus13 4883779584 902    824    zeus16 4859404288 902    822    zeus14 4829257728 901    828    zeus21 5152923648 902    853    zeus10 4951851008 901    847    zeus07 4961947648 902    885    841756672 zeus04 902    885    zeus12 826032128 901    886    zeus08 823578624 901    891    zeus18 741326848
125_standard_minInArray_false-unreach-call_ground.i 902    883    zeus21 1597538304 902    883    1573588992 zeus11 738    721    zeus09 14999998464 901    816    4612550656 zeus24 902    815    zeus07 4627714048 902    817    zeus02 4602810368 902    814    zeus17 4617687040 902    745    zeus04 7903182848 904    760    zeus02 8711798784 902    748    zeus19 8154562560 901    886    839168000 zeus20 901    885    zeus16 833351680 902    886    zeus19 834035712 901    886    zeus16 837615616
125_standard_partition_false-unreach-call_ground.i 902    879    zeus07 1377198080 901    880    1559195648 zeus16 902    894    zeus01 782180352 902    806    4722200576 zeus22 902    809    zeus20 4728025088 902    815    zeus13 4715487232 901    666    zeus15 9517744128 902    848    zeus19 4830126080 901    852    zeus09 4813705216 902    845    zeus07 4750766080 902    885    832688128 zeus08 902    885    zeus01 823926784 901    884    zeus21 831737856 902    892    zeus11 821346304
125_standard_running_false-unreach-call.i 901    876    zeus07 854466560 901    876    814366720 zeus10 901    876    zeus15 916402176 902    804    4720287744 zeus06 902    799    zeus05 4699217920 902    811    zeus06 4682997760 901    820    zeus02 5271597056 902    840    zeus05 4786896896 902    847    zeus04 4901425152 901    847    zeus05 4904042496 901    885    834244608 zeus20 902    886    zeus03 833126400 901    885    zeus21 850427904 902    892    zeus02 744353792
125_data_structures_set_multi_proc_trivial_true-unreach-call_ground.i 902    897    zeus03 9254686720 7.89 4.48 285184000 zeus13 127    121    zeus24 511954944 902    801    7476260864 zeus23 902    789    zeus02 8055599104 902    818    zeus13 4571107328 901    773    zeus11 9088196608 904    848    zeus20 4758491136 902    854    zeus23 4685295616 901    850    zeus06 4763369472 902    897    614645760 zeus18 903    899    zeus03 610881536 902    883    zeus16 779968512 902    883    zeus02 816381952
125_data_structures_set_multi_proc_true-unreach-call_ground.i 902    897    zeus08 9281138688 902    882    2364657664 zeus16 902    892    zeus06 754462720 901    791    8031154176 zeus12 903    795    zeus13 7673954304 902    820    zeus14 4560863232 908    752    zeus04 9195372544 906    855    zeus04 4700012544 902    852    zeus02 4688809984 902    854    zeus04 4758843392 902    897    593391616 zeus17 902    898    zeus18 575303680 901    885    zeus02 810225664 901    884    zeus09 824168448
125_relax_true-unreach-call.i 4.73 2.70 zeus22 217493504 4.77 2.78 219242496 zeus01 4.23 2.46 zeus12 218103808 6.02 3.48 304312320 zeus02 5.52 3.16 zeus03 311848960 10.2  5.57 zeus01 403570688 5.62 3.25 zeus24 304254976 4.78 2.78 zeus06 221929472 4.92 2.84 zeus14 230006784 4.39 2.54 zeus21 226181120 4.34 2.52 224989184 zeus12 4.43 2.55 zeus15 214470656 5.00 2.91 zeus18 227536896 4.33 2.47 zeus04 214781952
125_sanfoundry_02_true-unreach-call_ground.i 901    883    zeus20 1578123264 901    882    1264095232 zeus13 795    779    zeus19 14999998464 902    818    4602421248 zeus16 902    815    zeus23 4580532224 902    818    zeus08 4588875776 902    823    zeus02 4616523776 905    850    zeus14 4719161344 902    850    zeus08 5252730880 902    848    zeus07 4706045952 901    887    840593408 zeus14 901    886    zeus12 812130304 902    887    zeus03 829546496 901    887    zeus23 836538368
125_sanfoundry_10_true-unreach-call_ground.i 906    885    zeus12 6876106752 902    881    5147918336 zeus01 901    887    zeus24 848642048 911    779    6577905664 zeus06 914    790    zeus15 6284681216 902    774    zeus02 6370004992 901    800    zeus10 5529862144 902    850    zeus14 4734038016 902    852    zeus12 4858658816 901    849    zeus11 4953456640 902    884    945192960 zeus12 902    884    zeus03 941555712 902    884    zeus09 943546368 902    889    zeus13 817295360
125_sanfoundry_24_true-unreach-call.i 3.85 2.29 zeus23 211087360 3.66 2.18 208748544 zeus24 3.86 2.32 zeus08 212152320 11.2  6.22 399220736 zeus20 11.3  6.25 zeus13 429498368 10.4  5.86 zeus12 386363392 12.2  6.71 zeus13 419827712 4.08 2.44 zeus08 220246016 4.08 2.40 zeus10 212393984 4.51 2.67 zeus08 216285184 4.09 2.39 211738624 zeus16 4.00 2.37 zeus05 213229568 3.79 2.23 zeus20 206299136 3.89 2.28 zeus13 211865600
125_sanfoundry_27_true-unreach-call_ground.i 902    881    zeus18 1306419200 902    883    1353560064 zeus17 906    888    zeus10 9771556864 901    818    4585873408 zeus02 902    816    zeus18 4568846336 901    817    zeus12 4596858880 902    820    zeus15 4595671040 902    771    zeus14 8594784256 902    780    zeus04 9051262976 902    732    zeus12 10166501376 902    885    845238272 zeus12 901    885    zeus18 829927424 901    886    zeus18 831279104 902    884    zeus06 834322432
125_sanfoundry_43_true-unreach-call_ground.i 4.07 2.38 zeus20 208502784 3.64 2.19 213942272 zeus11 5.04 2.95 zeus03 215887872 6.13 3.53 304631808 zeus02 5.81 3.33 zeus04 315604992 5.80 3.40 zeus02 315387904 5.50 3.19 zeus23 309731328 4.12 2.48 zeus17 213184512 3.95 2.41 zeus09 212119552 4.15 2.46 zeus15 215678976 3.91 2.30 212365312 zeus21 4.13 2.43 zeus17 204836864 3.72 2.19 zeus09 202035200 4.15 2.46 zeus01 212520960
125_sorting_bubblesort_true-unreach-call_ground.i 902    881    zeus12 1602818048 902    883    1598803968 zeus19 901    886    zeus01 925945856 902    785    4790677504 zeus14 902    786    zeus16 4783710208 902    790    zeus04 4732604416 910    812    zeus08 5485006848 902    828    zeus14 4844220416 901    839    zeus21 4962656256 902    850    zeus03 4740972544 901    885    827699200 zeus19 902    885    zeus24 850079744 901    886    zeus18 845737984 902    893    zeus24 771055616
125_sorting_selectionsort_true-unreach-call_ground.i 902    882    zeus06 1351106560 902    883    1344278528 zeus16 902    879    zeus10 3649478656 901    820    4601102336 zeus24 901    820    zeus15 4577988608 902    820    zeus06 4591833088 902    819    zeus16 4602339328 928    848    zeus02 5426454528 903    850    zeus17 4669902848 901    851    zeus01 4652142592 902    883    809136128 zeus12 902    883    zeus24 817680384 902    884    zeus14 818778112 902    880    zeus22 1566707712
125_standard_compareModified_true-unreach-call_ground.i 902    883    zeus01 1321897984 901    884    1333374976 zeus14 901    889    zeus09 857690112 902    820    4566798336 zeus17 902    816    zeus07 4566183936 901    821    zeus19 4568391680 901    709    zeus11 11873284096 793    742    zeus05 4720676864 901    849    zeus03 4903342080 902    851    zeus08 4940550144 901    886    900616192 zeus17 902    885    zeus14 915972096 901    886    zeus13 847306752 902    891    zeus14 793575424
125_standard_compare_true-unreach-call_ground.i 902    881    zeus22 1270902784 902    883    1601617920 zeus04 902    880    zeus18 4705972224 901    817    4592734208 zeus11 902    814    zeus19 4576378880 901    820    zeus09 4612296704 901    819    zeus24 4588732416 902    840    zeus13 4935544832 901    846    zeus10 4868104192 902    843    zeus20 4834705408 901    884    848961536 zeus10 902    884    zeus19 831705088 902    885    zeus16 826847232 902    885    zeus09 829214720
125_standard_copy1_true-unreach-call_ground.i 902    885    zeus01 13519376384 573    552    6931365888 zeus08 902    886    zeus20 893726720 901    816    4607717376 zeus02 902    819    zeus24 4604510208 902    817    zeus15 4592951296 902    818    zeus07 5357371392 519    474    zeus16 4645273600 512    469    zeus02 4647395328 902    832    zeus09 5251784704 902    884    893079552 zeus20 902    885    zeus11 890331136 901    885    zeus14 848891904 902    893    zeus08 730103808
125_standard_copy2_true-unreach-call_ground.i 901    881    zeus12 4409659392 902    875    2884202496 zeus19 901    889    zeus14 894414848 902    808    4726579200 zeus02 901    804    zeus20 4727963648 901    808    zeus09 4717711360 901    710    zeus09 11399520256 902    849    zeus22 4815126528 902    846    zeus02 4874416128 902    836    zeus21 5195808768 902    885    895815680 zeus01 902    885    zeus03 898101248 902    884    zeus15 831582208 902    893    zeus12 769982464
125_standard_copy3_true-unreach-call_ground.i 902    878    zeus13 2775658496 902    877    2819993600 zeus07 902    891    zeus21 908783616 902    816    4787077120 zeus21 902    815    zeus09 4797878272 902    819    zeus08 4812476416 1000    712    zeus04 13061775360 902    848    zeus04 4827963392 902    853    zeus24 4860665856 901    845    zeus19 4951842816 902    885    902811648 zeus11 902    885    zeus23 891265024 901    885    zeus08 829366272 902    894    zeus06 734158848
125_standard_copy4_true-unreach-call_ground.i 902    880    zeus04 2775134208 902    878    2763087872 zeus09 902    894    zeus17 874110976 902    815    4777132032 zeus03 902    815    zeus16 4795793408 901    815    zeus11 4784832512 597    1030    zeus10 4600819712 902    847    zeus11 4815671296 901    854    zeus05 4879736832 902    850    zeus17 4861800448 901    885    886427648 zeus23 902    885    zeus02 892026880 902    885    zeus24 828497920 902    893    zeus16 792907776
125_standard_copy5_true-unreach-call_ground.i 902    881    zeus22 2680532992 902    878    2744754176 zeus10 903    895    zeus01 825741312 902    825    4822011904 zeus07 902    824    zeus23 4805541888 902    827    zeus15 4810268672 902    864    zeus24 4581253120 902    847    zeus09 4827631616 902    845    zeus22 4853411840 902    851    zeus03 4838596608 902    885    899702784 zeus08 902    882    zeus15 900878336 902    883    zeus02 833306624 902    893    zeus08 801603584
125_standard_copy6_true-unreach-call_ground.i 901    877    zeus12 2738348032 901    879    2787336192 zeus12 902    895    zeus14 817471488 902    823    4795387904 zeus22 902    826    zeus03 4801175552 902    824    zeus21 4821446656 901    860    zeus11 4738813952 902    848    zeus16 4800118784 901    858    zeus15 4962201600 902    849    zeus15 4891406336 902    885    902053888 zeus06 902    884    zeus19 886554624 901    884    zeus20 819027968 902    893    zeus20 810078208
125_standard_copy7_true-unreach-call_ground.i 902    879    zeus21 2372567040 902    878    2416848896 zeus03 904    897    zeus16 831356928 902    824    4832788480 zeus03 901    826    zeus17 4810301440 902    818    zeus18 4783337472 901    854    zeus24 4837904384 902    847    zeus22 4860645376 901    856    zeus14 4966592512 902    847    zeus14 4948893696 901    884    924217344 zeus04 901    885    zeus24 907575296 901    884    zeus19 829816832 902    893    zeus01 812617728
125_standard_copy8_true-unreach-call_ground.i 901    879    zeus18 2733182976 902    878    1733308416 zeus03 901    895    zeus18 861487104 902    824    4810719232 zeus23 902    826    zeus15 4846018560 902    826    zeus06 4875714560 901    853    zeus11 4943454208 902    853    zeus22 4776595456 902    856    zeus10 4904493056 901    848    zeus04 4807659520 901    885    896286720 zeus14 902    884    zeus01 894623744 902    884    zeus02 837820416 902    893    zeus01 818917376
125_standard_copy9_true-unreach-call_ground.i 901    879    zeus07 2406506496 902    875    1670950912 zeus08 904    897    zeus13 864796672 902    822    4784861184 zeus15 902    825    zeus17 4846424064 902    827    zeus01 4857606144 901    850    zeus16 5066407936 901    843    zeus12 4850675712 902    856    zeus10 4875841536 901    850    zeus05 4820729856 902    884    920629248 zeus09 902    884    zeus06 906743808 901    885    zeus13 852135936 902    894    zeus06 835215360
125_standard_copyInitSum2_true-unreach-call_ground.i 902    878    zeus11 2889277440 902    879    4551602176 zeus05 901    887    zeus02 938708992 902    810    4779606016 zeus13 902    811    zeus04 4806823936 901    811    zeus14 4792692736 901    818    zeus19 5576699904 902    851    zeus06 4770615296 902    851    zeus19 4916490240 910    846    zeus11 5086834688 901    885    834560000 zeus21 901    885    zeus08 830271488 901    885    zeus06 835985408 901    893    zeus04 758812672
125_standard_copyInitSum3_true-unreach-call_ground.i 902    879    zeus04 2791161856 901    877    2428678144 zeus23 901    887    zeus13 948920320 902    826    4796637184 zeus18 902    824    zeus05 4803883008 902    816    zeus03 4805931008 901    819    zeus14 5343084544 902    844    zeus12 4851666944 902    851    zeus23 4927365120 901    849    zeus04 4983582720 901    885    828882944 zeus05 902    885    zeus04 826753024 902    885    zeus16 830930944 902    893    zeus01 726495232
125_standard_copyInitSum_true-unreach-call_ground.i 902    878    zeus15 2756050944 902    878    2804609024 zeus20 902    888    zeus23 944517120 901    811    4822704128 zeus23 902    811    zeus20 4790697984 902    813    zeus15 4787728384 901    816    zeus11 5335818240 902    850    zeus05 4762181632 902    824    zeus21 5310885888 902    830    zeus21 5163089920 902    885    834273280 zeus02 901    885    zeus13 846327808 902    885    zeus18 823197696 902    893    zeus17 770166784
125_standard_copyInit_true-unreach-call_ground.i 901    881    zeus10 4410232832 902    879    4432080896 zeus13 901    886    zeus21 915775488 902    806    4732788736 zeus05 902    808    zeus16 4732293120 902    812    zeus17 4747644928 901    817    zeus13 5303472128 902    850    zeus20 4860198912 902    848    zeus09 4794134528 902    850    zeus08 4969889792 902    881    840364032 zeus05 901    884    zeus22 831594496 902    885    zeus01 827715584 901    893    zeus15 771526656
125_standard_find_true-unreach-call_ground.i 901    886    zeus24 2418868224 4.39 2.57 218312704 zeus16 901    885    zeus23 2440638464 902    828    4800720896 zeus06 901    822    zeus12 4758900736 902    821    zeus20 4681048064 902    821    zeus14 4751122432 902    829    zeus06 5691904000 902    809    zeus22 6196830208 902    828    zeus09 6545108992 901    888    823791616 zeus21 901    888    zeus17 883605504 902    887    zeus19 889098240 901    888    zeus05 857858048
125_standard_init1_true-unreach-call_ground.i 533    517    zeus06 6817423360 559    542    6909849600 zeus10 902    883    zeus10 1983762432 901    816    4614610944 zeus12 901    817    zeus08 4615335936 901    821    zeus18 4598706176 901    820    zeus10 4772089856 496    454    zeus13 4731768832 547    504    zeus24 4730462208 901    827    zeus11 5169668096 902    885    836157440 zeus18 901    885    zeus08 834043904 902    885    zeus18 835653632 902    892    zeus12 777699328
125_standard_init2_true-unreach-call_ground.i 901    880    zeus05 3008413696 902    877    2937339904 zeus02 902    880    zeus13 857993216 902    814    4730994688 zeus15 901    805    zeus17 4738146304 902    813    zeus01 4740603904 902    816    zeus02 5004419072 902    844    zeus15 4873662464 902    857    zeus18 4732190720 901    850    zeus18 5073756160 901    881    848617472 zeus14 901    881    zeus16 848105472 902    885    zeus13 828182528 901    892    zeus10 742887424
125_standard_init3_true-unreach-call_ground.i 902    881    zeus22 4431273984 902    881    2791743488 zeus05 902    884    zeus10 866381824 902    814    4796592128 zeus05 902    813    zeus03 4784234496 902    814    zeus06 4793532416 902    819    zeus16 5093765120 902    847    zeus10 4837892096 901    853    zeus19 4789604352 902    847    zeus24 5006663680 902    885    835579904 zeus03 902    885    zeus05 824336384 902    885    zeus14 813326336 902    892    zeus20 772968448
125_standard_init4_true-unreach-call_ground.i 901    879    zeus05 2747883520 902    881    2769424384 zeus22 902    884    zeus04 879947776 901    828    4786163712 zeus10 901    828    zeus21 4797964288 902    813    zeus16 4780003328 901    815    zeus22 5092909056 902    848    zeus06 4843069440 902    829    zeus21 5229543424 901    845    zeus16 5012152320 902    885    826097664 zeus15 901    885    zeus21 830676992 902    885    zeus20 823975936 901    892    zeus01 782577664
125_standard_init5_true-unreach-call_ground.i 902    880    zeus03 2382643200 902    881    2370891776 zeus14 901    883    zeus14 900083712 902    825    4797845504 zeus14 902    823    zeus06 4823277568 902    828    zeus08 4827742208 901    810    zeus20 5238435840 902    833    zeus21 5206949888 902    854    zeus06 4930121728 902    847    zeus13 5007245312 902    886    826814464 zeus19 901    885    zeus23 816992256 902    885    zeus16 823173120 902    892    zeus12 741072896
125_standard_init6_true-unreach-call_ground.i 901    878    zeus24 2430410752 902    881    2360729600 zeus24 902    885    zeus09 896684032 902    825    4846772224 zeus08 901    826    zeus06 4843524096 902    822    zeus04 4804972544 901    815    zeus12 5115383808 902    847    zeus09 4876967936 902    854    zeus04 4869558272 902    844    zeus11 5044224000 901    884    836632576 zeus01 901    884    zeus04 832323584 902    885    zeus06 818249728 901    891    zeus04 756305920
125_standard_init7_true-unreach-call_ground.i 901    878    zeus21 2382221312 902    879    2708017152 zeus14 901    885    zeus10 891408384 902    827    4835803136 zeus04 902    825    zeus01 4820754432 901    826    zeus04 4837863424 902    817    zeus18 5056598016 901    848    zeus18 4836630528 902    853    zeus12 4875902976 901    824    zeus21 5354835968 901    885    848478208 zeus09 901    885    zeus01 821796864 901    885    zeus18 824340480 901    892    zeus24 755978240
125_standard_init8_true-unreach-call_ground.i 902    879    zeus18 2433585152 902    880    2367787008 zeus12 902    885    zeus04 910360576 902    822    4868861952 zeus06 902    823    zeus16 4899004416 902    825    zeus21 4819169280 902    818    zeus21 5015715840 902    849    zeus22 4819349504 902    852    zeus08 4891402240 901    847    zeus01 5001846784 902    884    832163840 zeus10 901    885    zeus10 822554624 901    884    zeus13 826171392 902    892    zeus20 739700736
125_standard_init9_true-unreach-call_ground.i 901    879    zeus05 2353565696 901    879    2399330304 zeus05 901    883    zeus13 885813248 902    822    4865785856 zeus05 902    821    zeus16 4846071808 902    824    zeus08 4869177344 901    814    zeus21 5333409792 902    847    zeus09 4873506816 902    853    zeus12 4915269632 901    845    zeus13 5067309056 902    884    846974976 zeus16 902    885    zeus07 862097408 901    885    zeus20 818388992 901    891    zeus13 744357888
125_standard_maxInArray_true-unreach-call_ground.i 902    881    zeus02 1554739200 902    883    1368190976 zeus13 905    889    zeus09 9523695616 901    815    4580696064 zeus20 901    814    zeus21 4585472000 902    817    zeus04 4617936896 902    820    zeus19 4621795328 972    818    zeus24 8897024000 902    749    zeus01 9642315776 902    769    zeus01 7418216448 902    884    832348160 zeus15 901    885    zeus14 841162752 902    886    zeus22 841629696 902    884    zeus17 848822272
125_standard_minInArray_true-unreach-call_ground.i 902    882    zeus09 1625096192 902    883    1589137408 zeus09 898    881    zeus04 14999998464 901    813    4588482560 zeus06 901    816    zeus06 4609564672 901    815    zeus12 4602257408 902    822    zeus04 4610334720 904    741    zeus10 8380518400 903    678    zeus21 9884651520 910    791    zeus14 7311548416 902    885    837165056 zeus08 901    885    zeus01 838590464 901    885    zeus07 838709248 902    885    zeus10 838316032
125_standard_palindrome_true-unreach-call_ground.i 150    136    zeus22 2426249216 111    101    2454396928 zeus11 901    886    zeus16 971165696 901    792    4856774656 zeus01 902    794    zeus13 4996673536 901    802    zeus01 4721475584 902    824    zeus10 4583694336 77.5  49.4  zeus24 2210164736 86.3  55.0  zeus19 3280494592 902    782    zeus19 7178452992 901    888    836075520 zeus17 902    889    zeus02 835510272 901    887    zeus07 846381056 902    892    zeus09 775139328
125_standard_partial_init_true-unreach-call_ground.i 901    883    zeus04 1365745664 901    883    1353850880 zeus24 902    893    zeus15 736088064 901    820    4600164352 zeus03 902    818    zeus13 4570972160 902    819    zeus09 4560007168 901    733    zeus21 10704236544 902    774    zeus24 7819653120 1000    781    zeus24 8059117568 901    853    zeus02 4794974208 902    885    845217792 zeus07 901    885    zeus24 844095488 901    886    zeus09 834592768 902    892    zeus24 809132032
125_standard_partition_original_true-unreach-call_ground.i 901    881    zeus01 811196416 902    883    1373990912 zeus14 902    894    zeus11 758419456 902    823    4547411968 zeus05 901    822    zeus15 4538347520 901    824    zeus11 4521758720 901    695    zeus03 9935802368 901    793    zeus10 7770624000 910    744    zeus13 7711752192 901    844    zeus21 4997304320 902    887    827772928 zeus12 902    886    zeus09 838209536 902    886    zeus03 814886912 902    893    zeus15 786874368
125_standard_partition_true-unreach-call_ground.i 902    874    zeus16 990203904 902    880    1377832960 zeus14 901    887    zeus17 836120576 902    804    4715188224 zeus06 902    807    zeus14 4722515968 901    810    zeus22 4737585152 901    812    zeus07 5325336576 902    847    zeus03 4763271168 902    854    zeus18 4936880128 901    850    zeus14 4814659584 902    885    826527744 zeus24 902    885    zeus03 842199040 901    885    zeus04 831877120 902    892    zeus20 746610688
125_standard_password_true-unreach-call_ground.i 901    883    zeus01 1583112192 902    885    2468212736 zeus16 902    880    zeus01 4691243008 902    805    4582465536 zeus03 902    809    zeus20 4608413696 901    818    zeus12 4599349248 901    817    zeus14 4592955392 902    840    zeus17 4686753792 902    846    zeus12 4773400576 902    846    zeus08 4785598464 901    885    839065600 zeus16 901    885    zeus04 831422464 901    885    zeus24 837935104 901    885    zeus14 835559424
125_standard_reverse_true-unreach-call_ground.i 309    294    zeus01 4564574208 301    286    4589957120 zeus10 901    886    zeus09 897007616 901    815    4598501376 zeus01 901    814    zeus24 4605288448 902    812    zeus13 4631945216 901    807    zeus04 5283463168 678    628    zeus02 4678230016 555    504    zeus20 4662173696 901    852    zeus02 5056462848 901    886    918990848 zeus12 902    886    zeus04 909942784 901    885    zeus14 836481024 902    894    zeus11 719519744
125_standard_running_true-unreach-call.i 901    874    zeus12 860991488 902    878    833740800 zeus11 902    877    zeus13 985165824 901    806    4742995968 zeus08 902    810    zeus05 4715974656 902    810    zeus11 4719456256 901    816    zeus01 5244010496 902    840    zeus04 4788703232 902    844    zeus18 4860280832 901    849    zeus11 4857126912 901    885    839503872 zeus16 901    885    zeus05 839127040 901    884    zeus20 847577088 902    892    zeus11 761405440
125_standard_sentinel_true-unreach-call.i 4.21 2.47 zeus02 216223744 4.01 2.42 210132992 zeus02 5.22 3.17 zeus02 247128064 901    819    4825448448 zeus18 902    819    zeus21 5028560896 902    820    zeus13 4914782208 902    830    zeus03 4647403520 4.55 2.70 zeus23 219992064 4.35 2.61 zeus18 221585408 930    758    zeus02 7293571072 4.35 2.59 217616384 zeus09 4.19 2.53 zeus20 219807744 4.13 2.49 zeus07 216641536 4.69 2.81 zeus14 223502336
125_standard_seq_init_true-unreach-call_ground.i 902    886    zeus04 8361394176 902    886    10203869184 zeus16 902    883    zeus01 1689288704 901    817    4617527296 zeus20 901    817    zeus20 4604067840 901    817    zeus13 4590739456 901    815    zeus04 4711632896 524    477    zeus06 4710805504 540    493    zeus13 4675297280 719    670    zeus12 4928663552 902    884    843649024 zeus23 902    885    zeus08 837636096 901    886    zeus02 829235200 902    893    zeus23 777003008
125_standard_strcmp_true-unreach-call_ground.i 141    139    zeus07 14999998464 901    885    2474192896 zeus16 426    400    zeus12 2850332672 901    805    6740033536 zeus17 901    788    zeus21 5080809472 901    816    zeus12 4609396736 901    781    zeus23 6844223488 649    602    zeus23 4687835136 544    501    zeus08 4706799616 516    477    zeus03 4669882368 905    897    1125552128 zeus11 910    903    zeus11 1150705664 901    886    zeus21 941666304 901    885    zeus24 829407232
125_standard_strcpy_original_true-unreach-call.i 902    893    zeus15 724959232 901    893    711385088 zeus02 901    890    zeus16 786497536 901    828    4800196608 zeus07 901    825    zeus03 4799836160 901    826    zeus18 4881371136 901    813    zeus12 5473980416 4.38 2.63 zeus07 223199232 902    832    zeus19 6358265856 902    773    zeus12 7164391424 902    892    830754816 zeus06 902    892    zeus23 829808640 901    893    zeus24 834469888 901    891    zeus14 848441344
125_standard_strcpy_true-unreach-call_ground.i 4.21 2.50 zeus10 222609408 4.30 2.53 217096192 zeus04 901    887    zeus10 794001408 902    823    4678180864 zeus20 902    822    zeus13 4705751040 901    826    zeus21 4614283264 901    808    zeus14 5562109952 4.32 2.54 zeus16 222806016 902    828    zeus14 6069284864 901    850    zeus14 5436243968 901    888    818331648 zeus16 901    888    zeus20 823865344 901    887    zeus02 966909952 902    891    zeus18 859320320
125_standard_two_index_01_true-unreach-call.i 902    885    zeus23 13516353536 427    411    4639997952 zeus16 902    894    zeus15 735424512 451    381    4787798016 zeus02 434    366    zeus16 4758605824 901    787    zeus03 4996124672 902    817    zeus01 5429522432 561    511    zeus02 4707266560 488    442    zeus15 4653236224 902    850    zeus11 4987043840 902    885    877740032 zeus13 901    885    zeus10 880410624 901    885    zeus23 856391680 902    894    zeus16 775122944
125_standard_two_index_02_true-unreach-call.i 131    121    zeus06 2439442432 61.5  51.2  1421115392 zeus14 902    892    zeus23 824221696 902    788    4796964864 zeus22 901    797    zeus10 4840280064 901    796    zeus14 4748898304 902    772    zeus02 5431418880 90.5  58.3  zeus01 2816974848 90.6  62.4  zeus05 2606473216 902    817    zeus15 6666240000 902    889    843431936 zeus18 901    890    zeus22 832708608 901    888    zeus08 823418880 902    893    zeus14 776179712
125_standard_two_index_03_true-unreach-call.i 39.6  31.1  zeus14 991195136 29.0  20.0  744988672 zeus08 901    893    zeus16 816390144 902    797    4707360768 zeus19 901    806    zeus16 4743806976 901    803    zeus12 4668665856 902    783    zeus10 7316467712 49.7  27.0  zeus24 1085808640 44.4  23.3  zeus21 1434210304 901    835    zeus11 5893349376 901    889    839659520 zeus10 901    889    zeus21 827834368 902    887    zeus16 865853440 901    893    zeus19 731672576
125_standard_two_index_04_true-unreach-call.i 18.5  13.5  zeus10 591474688 16.5  10.8  647389184 zeus22 902    893    zeus16 735776768 902    813    4692955136 zeus05 902    807    zeus20 4704997376 902    810    zeus13 4711882752 901    780    zeus17 7189229568 49.8  26.9  zeus24 859443200 39.7  20.7  zeus11 893161472 901    813    zeus10 6633152512 902    890    804139008 zeus14 901    889    zeus15 811831296 901    889    zeus04 857686016 901    893    zeus18 736854016
125_standard_two_index_05_true-unreach-call.i 13.1  8.66 zeus15 427773952 11.7  7.33 449155072 zeus11 902    893    zeus03 787685376 902    810    4727881728 zeus15 901    820    zeus17 4633448448 901    815    zeus01 4686942208 901    776    zeus15 6706839552 38.4  19.8  zeus23 878317568 32.1  16.7  zeus06 844455936 901    807    zeus02 6996807680 901    889    825249792 zeus15 901    890    zeus03 824340480 902    892    zeus19 768393216 902    893    zeus15 717193216
125_standard_two_index_06_true-unreach-call.i 10.5  6.40 zeus17 346685440 11.5  6.81 379400192 zeus09 902    893    zeus08 760311808 902    819    4664020992 zeus08 902    818    zeus15 4641697792 902    817    zeus15 4751794176 902    796    zeus12 6788284416 27.7  14.6  zeus16 809402368 25.6  13.4  zeus16 785010688 901    805    zeus07 7122227200 902    891    823332864 zeus11 901    891    zeus07 808755200 902    892    zeus10 775188480 902    892    zeus17 776667136
125_standard_two_index_07_true-unreach-call.i 8.75 5.15 zeus22 312414208 10.3  5.91 335101952 zeus24 901    892    zeus24 786669568 901    822    4645728256 zeus07 901    824    zeus20 4661907456 901    818    zeus05 4730101760 902    780    zeus16 6895235072 23.2  12.3  zeus05 688885760 18.0  9.63 zeus02 565690368 892    810    zeus04 7364837376 901    890    814546944 zeus14 901    890    zeus21 821116928 901    890    zeus21 813174784 901    892    zeus19 785547264
125_standard_two_index_08_true-unreach-call.i 8.46 4.89 zeus07 300199936 9.93 5.73 313782272 zeus05 902    892    zeus07 763146240 902    826    4663562240 zeus16 901    824    zeus24 4659777536 901    820    zeus01 4757352448 901    780    zeus19 7085342720 16.1  8.72 zeus03 628482048 14.4  7.77 zeus20 497848320 240    200    zeus17 5197602816 901    891    843223040 zeus23 901    891    zeus11 831164416 902    893    zeus17 770187264 902    892    zeus22 801607680
125_standard_two_index_09_true-unreach-call.i 8.19 4.71 zeus23 281292800 8.67 4.97 310603776 zeus17 902    892    zeus14 764067840 901    824    4638769152 zeus01 901    827    zeus18 4656062464 882    808    zeus11 4600098816 902    782    zeus01 6880751616 13.2  7.14 zeus03 562405376 12.2  6.78 zeus15 434716672 108    73.0  zeus13 4582367232 901    892    798597120 zeus22 901    891    zeus06 794226688 902    893    zeus14 760147968 901    892    zeus16 804724736
125_standard_vararg_true-unreach-call_ground.i 902    888    zeus07 2466566144 4.09 2.44 215760896 zeus22 902    886    zeus15 2590699520 901    828    4704317440 zeus08 901    830    zeus05 4740587520 901    832    zeus01 4550930432 901    825    zeus21 4649943040 901    795    zeus16 7559254016 914    797    zeus21 8899149824 901    783    zeus20 8501293056 901    888    870223872 zeus24 911    898    zeus16 872484864 902    889    zeus09 886046720 901    888    zeus15 866422784
125_standard_vector_difference_true-unreach-call_ground.i 912    896    zeus20 13502087168 618    601    7045300224 zeus03 902    888    zeus04 889671680 901    814    4601511936 zeus11 902    815    zeus21 4590415872 902    821    zeus22 4615114752 903    668    zeus08 11163672576 679    628    zeus07 4811055104 589    545    zeus07 4776914944 901    848    zeus03 4940148736 902    884    982970368 zeus07 902    885    zeus10 990326784 902    885    zeus06 836104192 902    893    zeus24 760594432
test/programs/array-simplified-benchmarks/arrays-size-125/ status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage
total tasks 88 64400    62800    270127280128 88 61200   59600    200987340800 88 74100 72900 162887372800 88 75400   68100    415788965888 88 75300   68000    415129759744 88 75800 68600 404360208384 88 76400   68800    509501886464 88 63300   58400    390347726848 88 64300   59500    410114621440 88 74400 68900 455471144960 88 75700   74400    72273813504 88 75800   74400    72279904256 88 75700   74400    71112220672 88 75700   74800    69193105408
    correct results 4 738    692    6673809408 5 717   674    6931595264 5 917 878 3601252352 4 968   813    10272661504 4 962   808    10363670528 5 1880 1640 14894915584 2 17.7 9.90 729559040 7 2840   2610    19569623040 7 2340   2140    19675426816 7 2750 2490 27213422592 3 12.3 7.27 641720320 3 12.3 7.33 637874176 3 11.6 6.90 624975872 3 12.7 7.55 647888896
        correct true 2 7.92 4.67 419590144 3 15.2 8.86 707874816 4 141 129 1187123200 2 17.3 9.75 703852544 2 17.1 9.58 745103360 3 899 817 5301850112 2 17.7 9.90 729559040 3 12.8 7.62 653422592 3 12.4 7.43 646098944 5 1250 1090 17576771584 3 12.3 7.27 641720320 3 12.3 7.33 637874176 3 11.6 6.90 624975872 3 12.7 7.55 647888896
        correct false 2 730    687    6254219264 2 702   665    6223720448 1 776 749 2414129152 2 951   803    9568808960 2 945   798    9618567168 2 981 827 9593065472 0 4 2830   2600    18916200448 4 2330   2130    19029327872 2 1500 1400 9636651008 0 0 0 0
    incorrect results 0 0 1 426 400 2850332672 0 0 0 0 1 524   477    4710805504 2 1080   993    9382096896 2 1240 1150 9598545920 0 0 0 0
        incorrect true 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect false 0 0 1 426 400 2850332672 0 0 0 0 1 524   477    4710805504 2 1080   993    9382096896 2 1240 1150 9598545920 0 0 0 0
score (88 tasks, max score: 148) 6 8 -7 6 6 8 4 -6 -22 -20 6 6 6 6
Run set MathSAT5-heaparray.ArraysReach125 MathSAT5-oldarray.ArraysReach125 MathSAT5-uf.ArraysReach125 PRINCESS-heaparray-quantifiers.ArraysReach125 PRINCESS-heaparray.ArraysReach125 PRINCESS-oldarray.ArraysReach125 PRINCESS-uf.ArraysReach125 SMTInterpol-heaparray.ArraysReach125 SMTInterpol-oldarray.ArraysReach125 SMTInterpol-uf.ArraysReach125 Z3-heaparray-quantifiers.ArraysReach125 Z3-heaparray.ArraysReach125 Z3-oldarray.ArraysReach125 Z3-uf.ArraysReach125