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.ArraysReach75 MathSAT5-oldarray.ArraysReach75 MathSAT5-uf.ArraysReach75 PRINCESS-heaparray-quantifiers.ArraysReach75 PRINCESS-heaparray.ArraysReach75 PRINCESS-oldarray.ArraysReach75 PRINCESS-uf.ArraysReach75 SMTInterpol-heaparray.ArraysReach75 SMTInterpol-oldarray.ArraysReach75 SMTInterpol-uf.ArraysReach75 Z3-heaparray-quantifiers.ArraysReach75 Z3-heaparray.ArraysReach75 Z3-oldarray.ArraysReach75 Z3-uf.ArraysReach75
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-75/ status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage
75_data_structures_set_multi_proc_false-unreach-call_ground.i 902    897    zeus12 1600184320 686    664    zeus13 5187694592 901    888    zeus02 812244992 901    819    5395009536 zeus15 901    830    zeus16 5381947392 902    814    zeus02 4568711168 901    730    zeus04 10643296256 904    850    zeus18 4949676032 313    264    zeus13 5025349632 525    472    zeus07 4630061056 902    895    533123072 zeus08 902    895    zeus04 537317376 901    884    zeus09 803368960 902    884    zeus16 823361536
75_sorting_bubblesort_false-unreach-call2_ground.i 473    456    zeus03 4829208576 360    343    zeus01 4580954112 795    775    zeus03 1259790336 176    119    3475283968 zeus24 188    127    zeus09 3413737472 175    118    zeus01 3907915776 682    581    zeus20 5170606080 204    161    zeus13 4491517952 177    135    zeus15 4525150208 317    273    zeus09 4525555712 300    286    820400128 zeus17 316    301    zeus13 818909184 288    274    zeus11 797212672 902    892    zeus11 744484864
75_sorting_bubblesort_false-unreach-call_ground.i 512    495    zeus11 5943644160 434    417    zeus09 4562489344 792    772    zeus11 1351299072 175    118    3554119680 zeus10 180    122    zeus03 3501015040 184    124    zeus15 3297665024 673    571    zeus16 5168119808 198    152    zeus16 4495581184 177    135    zeus07 4535906304 323    281    zeus15 4504276992 311    293    830287872 zeus13 310    296    zeus01 818200576 294    279    zeus08 809897984 902    892    zeus02 741134336
75_sorting_selectionsort_false-unreach-call2_ground.i 70.2  56.2  zeus24 956297216 67.3  54.3  zeus13 1424941056 88.4  74.1  zeus17 2340818944 571    490    4632539136 zeus05 563    486    zeus23 4614971392 560    482    zeus17 4619108352 643    562    zeus15 4627181568 145    111    zeus06 3654778880 134    96.4  zeus20 4503584768 143    109    zeus13 4456873984 582    562    833908736 zeus14 666    644    zeus10 856748032 545    526    zeus13 827863040 902    883    zeus15 1403080704
75_sorting_selectionsort_false-unreach-call_ground.i 905    889    zeus02 6023364608 906    890    zeus10 4894162944 902    884    zeus14 4065357824 926    802    5411495936 zeus19 902    783    zeus04 6105542656 902    779    zeus17 5602938880 901    797    zeus13 5214220288 904    784    zeus20 6656311296 693    528    zeus20 7955963904 904    772    zeus19 6569373696 902    885    1168916480 zeus17 902    885    zeus06 1365327872 794    777    zeus08 809668608 902    881    zeus11 1238568960
75_standard_allDiff2_false-unreach-call_ground.i 902    881    zeus05 2864967680 901    881    zeus11 2832953344 902    875    zeus23 3499380736 902    821    4587069440 zeus06 901    815    zeus20 4585304064 901    819    zeus07 4577193984 902    821    zeus06 4575371264 902    852    zeus16 4661387264 902    859    zeus14 4621037568 902    852    zeus01 4666028032 902    880    1225310208 zeus02 902    880    zeus01 1084227584 902    880    zeus03 1042944000 901    880    zeus21 1033854976
75_standard_copy1_false-unreach-call_ground.i 66.2  53.1  zeus22 1807384576 71.0  57.1  zeus05 1803919360 674    653    zeus03 1054691328 902    728    8777064448 zeus20 901    708    zeus15 6821322752 901    710    zeus24 7305859072 902    838    zeus16 4739588096 122    86.4  zeus12 3852013568 151    112    zeus13 4464222208 173    135    zeus18 4587696128 160    149    797024256 zeus22 161    149    zeus15 779694080 159    146    zeus09 835719168 902    890    zeus08 795373568
75_standard_copy2_false-unreach-call_ground.i 908    888    zeus13 13336813568 890    869    zeus05 9240227840 902    886    zeus09 913215488 902    778    5320536064 zeus07 902    780    zeus08 5371015168 902    752    zeus20 7492542464 901    787    zeus16 7620206592 188    149    zeus16 4474880000 183    146    zeus13 4519493632 523    469    zeus01 4833357824 902    887    1445588992 zeus19 902    888    zeus19 1463832576 534    515    zeus04 1023692800 902    892    zeus18 767827968
75_standard_copy3_false-unreach-call_ground.i 902    884    zeus14 7136825344 911    891    zeus03 7372910592 901    888    zeus24 917790720 902    792    5077307392 zeus08 901    797    zeus18 5126471680 902    777    zeus13 5679161344 919    735    zeus11 8982847488 426    375    zeus16 4683776000 328    283    zeus23 4570775552 906    845    zeus22 5203689472 902    886    1198526464 zeus20 902    885    zeus17 1173966848 902    886    zeus14 1073909760 901    892    zeus04 779173888
75_standard_copy4_false-unreach-call_ground.i 902    881    zeus16 3979767808 902    878    zeus24 5096873984 902    890    zeus13 902762496 902    807    4634628096 zeus17 902    809    zeus07 4652892160 902    811    zeus17 4635402240 967    660    zeus03 13071351808 538    483    zeus01 4777611264 478    430    zeus11 4684701696 902    847    zeus23 4909121536 912    897    1222180864 zeus22 902    886    zeus14 1114796032 902    885    zeus03 967360512 902    893    zeus13 768311296
75_standard_copy5_false-unreach-call_ground.i 901    879    zeus22 2722914304 902    879    zeus03 2766995456 902    894    zeus06 852189184 901    807    4660477952 zeus03 902    811    zeus18 4653477888 902    811    zeus10 4681252864 1000    694    zeus04 12796743680 903    836    zeus16 4938268672 427    374    zeus21 4753358848 901    843    zeus08 5013422080 902    886    1095155712 zeus18 902    886    zeus13 1105313792 902    884    zeus12 999809024 902    893    zeus19 751656960
75_standard_copy6_false-unreach-call_ground.i 902    878    zeus13 2428329984 901    879    zeus15 2792439808 902    894    zeus01 851546112 902    810    4668248064 zeus02 902    811    zeus14 4676341760 902    813    zeus19 4689969152 903    659    zeus10 9372917760 902    835    zeus07 5027397632 903    840    zeus14 4830420992 901    845    zeus14 4710989824 902    882    1090637824 zeus17 902    883    zeus21 1086402560 904    888    zeus16 992120832 902    893    zeus12 774639616
75_standard_copy7_false-unreach-call_ground.i 902    879    zeus09 2677514240 902    879    zeus22 2742501376 902    895    zeus05 859803648 902    807    4722548736 zeus08 902    811    zeus01 4673437696 902    808    zeus15 4708298752 542    1030    zeus08 4497805312 903    839    zeus11 5014679552 902    847    zeus14 4891176960 902    848    zeus22 4799340544 902    883    1084153856 zeus08 902    885    zeus16 1068535808 902    885    zeus03 1009348608 902    893    zeus18 779079680
75_standard_copy8_false-unreach-call_ground.i 902    879    zeus14 1363939328 901    879    zeus06 2433081344 902    894    zeus01 811646976 902    812    4661862400 zeus08 902    813    zeus01 4700078080 901    811    zeus22 4688818176 764    1030    zeus03 4763123712 903    844    zeus14 4927881216 902    840    zeus20 4908179456 902    848    zeus16 4730064896 902    885    1080627200 zeus06 902    884    zeus19 1085161472 902    884    zeus08 977457152 902    893    zeus12 790183936
75_standard_copy9_false-unreach-call_ground.i 901    878    zeus12 2390851584 901    879    zeus05 2391425024 902    894    zeus05 835608576 902    810    4672868352 zeus08 901    812    zeus05 4670885888 901    810    zeus01 4657819648 901    863    zeus14 4642148352 902    845    zeus19 4815368192 902    849    zeus14 4967800832 901    846    zeus14 4737105920 902    885    1079050240 zeus18 901    885    zeus14 1075519488 902    885    zeus16 998301696 902    893    zeus13 784564224
75_standard_copyInitSum2_false-unreach-call_ground.i 902    881    zeus11 6316949504 902    883    zeus01 4568715264 902    885    zeus22 889683968 824    731    4820090880 zeus10 857    762    zeus01 4875563008 733    644    zeus08 4702842880 901    839    zeus22 4835889152 903    841    zeus19 4710842368 658    602    zeus23 4691906560 502    445    zeus20 4882952192 901    885    1051942912 zeus10 901    887    zeus21 1041068032 902    886    zeus09 978751488 902    891    zeus04 783106048
75_standard_init1_false-unreach-call_ground.i 147    133    zeus23 2015248384 148    134    zeus05 1970212864 307    290    zeus07 1016418304 542    451    5432696832 zeus22 547    459    zeus21 5469245440 508    428    zeus07 5230698496 902    826    zeus21 4583079936 118    84.4  zeus11 4484820992 127    91.2  zeus14 4476686336 170    134    zeus06 4510162944 162    150    845701120 zeus22 157    145    zeus24 840134656 148    135    zeus04 882982912 901    890    zeus16 784285696
75_standard_init2_false-unreach-call_ground.i 739    718    zeus20 9004171264 755    735    zeus23 9054982144 902    884    zeus07 1058947072 797    1030    7676813312 zeus09 766    1030    zeus03 6903087104 820    1030    zeus21 7448383488 902    806    zeus16 5059342336 188    146    zeus17 4558159872 198    155    zeus22 4490141696 281    236    zeus04 4610371584 539    519    1042190336 zeus19 535    516    zeus16 1033072640 559    539    zeus04 1029275648 901    890    zeus10 788946944
75_standard_init3_false-unreach-call_ground.i 902    884    zeus12 8954019840 912    896    zeus05 8924979200 902    883    zeus11 836739072 811    1030    6499127296 zeus07 902    746    zeus13 7233110016 782    1030    zeus01 6136778752 901    812    zeus18 5314854912 274    232    zeus18 4545884160 302    257    zeus20 4530876416 419    372    zeus02 4741156864 901    886    1130512384 zeus21 901    886    zeus19 1142042624 901    886    zeus11 1104789504 902    889    zeus17 772235264
75_standard_init4_false-unreach-call_ground.i 902    879    zeus07 4372889600 902    881    zeus03 4947894272 902    883    zeus21 848781312 915    798    5370388480 zeus05 903    788    zeus05 5570199552 902    814    zeus17 4659593216 902    816    zeus04 5104623616 337    291    zeus19 4574396416 328    280    zeus10 4641415168 609    554    zeus14 4746293248 901    885    824778752 zeus05 902    884    zeus24 823390208 901    886    zeus18 819990528 901    890    zeus15 789622784
75_standard_init5_false-unreach-call_ground.i 902    880    zeus15 2415124480 902    881    zeus20 2387742720 901    879    zeus02 886394880 902    810    4659351552 zeus12 902    813    zeus21 4647915520 902    813    zeus15 4665532416 901    813    zeus17 5356675072 428    378    zeus12 4638789632 419    373    zeus08 4659699712 720    660    zeus05 4973940736 901    885    831406080 zeus16 902    883    zeus19 839716864 901    886    zeus14 820375552 902    886    zeus02 804978688
75_standard_init6_false-unreach-call_ground.i 901    879    zeus11 2441863168 901    880    zeus04 2398851072 902    880    zeus01 863715328 902    813    4672974848 zeus10 902    812    zeus21 4691058688 902    815    zeus03 4652810240 902    818    zeus09 5177950208 519    463    zeus20 4696772608 559    506    zeus05 4717051904 901    841    zeus15 4913410048 901    885    828940288 zeus09 901    885    zeus08 829693952 902    884    zeus16 835198976 901    889    zeus07 778022912
75_standard_init7_false-unreach-call_ground.i 901    878    zeus07 2736123904 901    879    zeus02 2693705728 902    880    zeus18 916004864 902    808    4697739264 zeus01 901    811    zeus10 4694478848 902    810    zeus19 4683202560 902    815    zeus21 5288472576 715    655    zeus05 4745584640 627    572    zeus13 4785487872 902    838    zeus05 4902092800 902    884    839094272 zeus24 901    885    zeus08 824238080 902    885    zeus03 820482048 902    890    zeus10 786800640
75_standard_init8_false-unreach-call_ground.i 902    879    zeus10 2429927424 901    879    zeus16 2422386688 902    883    zeus17 855404544 902    810    4700516352 zeus08 902    811    zeus11 4704161792 902    813    zeus03 4710137856 902    811    zeus13 5317623808 767    698    zeus11 4816171008 902    851    zeus19 4775575552 902    843    zeus19 4942909440 902    884    832307200 zeus12 902    885    zeus20 836706304 902    885    zeus17 823812096 902    890    zeus06 783896576
75_standard_init9_false-unreach-call_ground.i 901    879    zeus08 2419482624 901    878    zeus09 1305419776 902    879    zeus20 873820160 902    809    4698923008 zeus04 902    812    zeus19 4716855296 902    811    zeus19 4679581696 902    813    zeus11 5397323776 893    825    zeus01 4829028352 794    736    zeus12 4879802368 902    840    zeus15 4985241600 902    884    824815616 zeus03 901    884    zeus11 837431296 901    885    zeus23 838242304 901    889    zeus11 783101952
75_standard_minInArray_false-unreach-call_ground.i 126    111    zeus12 1570099200 524    510    zeus13 14999998464 76.6  61.1  zeus10 1837907968 958    747    8530333696 zeus17 901    738    zeus12 8652640256 987    761    zeus12 8862629888 903    743    zeus04 7935823872 1000    689    zeus08 12076937216 902    652    zeus02 12313399296 901    642    zeus18 12419026944 237    223    810676224 zeus20 247    232    zeus01 805789696 222    209    zeus08 810434560 230    217    zeus15 802484224
75_standard_partition_false-unreach-call_ground.i 903    882    zeus04 3088781312 903    883    zeus15 3084779520 901    891    zeus03 805920768 902    804    4627918848 zeus20 901    813    zeus10 4617244672 901    810    zeus18 4591890432 901    771    zeus04 7504736256 903    639    zeus17 9839493120 904    616    zeus20 8375582720 902    844    zeus17 5175181312 696    680    844189696 zeus11 709    693    zeus18 859967488 901    886    zeus15 816574464 902    892    zeus09 735035392
75_standard_running_false-unreach-call.i 903    879    zeus11 3488854016 902    878    zeus23 2214592512 767    730    zeus18 1493774336 902    805    4629864448 zeus13 901    808    zeus16 4616462336 902    812    zeus24 4599713792 902    835    zeus03 4734926848 902    838    zeus01 4650975232 658    601    zeus03 4640702464 252    200    zeus21 4695666688 901    885    834703360 zeus01 901    885    zeus17 836259840 902    884    zeus08 843317248 902    889    zeus23 797552640
75_data_structures_set_multi_proc_trivial_true-unreach-call_ground.i 902    896    zeus06 1576300544 7.53 4.31 zeus24 285720576 49.9  44.6  zeus08 431816704 902    832    5498605568 zeus24 901    833    zeus04 5373509632 901    822    zeus12 4580372480 901    726    zeus18 10636836864 903    848    zeus18 4947415040 617    559    zeus16 4605698048 902    832    zeus01 4709085184 902    895    535154688 zeus05 902    895    zeus22 542851072 902    880    zeus10 805179392 902    883    zeus20 835424256
75_data_structures_set_multi_proc_true-unreach-call_ground.i 902    896    zeus21 1547436032 902    877    zeus24 2372042752 901    888    zeus02 814637056 901    834    5185589248 zeus08 902    831    zeus13 5434458112 901    820    zeus10 4587954176 901    685    zeus19 10976006144 904    850    zeus22 4928872448 573    512    zeus24 4575428608 743    672    zeus22 4688642048 902    895    527298560 zeus20 902    895    zeus04 546451456 902    884    zeus22 804880384 902    885    zeus08 821895168
75_relax_true-unreach-call.i 4.76 2.71 zeus10 223846400 4.64 2.70 zeus24 215699456 4.20 2.42 zeus19 219414528 5.95 3.44 301813760 zeus02 5.53 3.17 zeus20 320278528 10.5  5.81 zeus08 417755136 5.50 3.21 zeus24 304680960 4.45 2.56 zeus19 220061696 4.97 2.84 zeus14 231931904 4.41 2.63 zeus19 219336704 4.41 2.54 220229632 zeus02 4.31 2.48 zeus10 219041792 4.77 2.83 zeus20 229834752 4.25 2.47 zeus22 209125376
75_sanfoundry_02_true-unreach-call_ground.i 563    549    zeus20 14999998464 917    901    zeus06 12431638528 567    552    zeus20 14999998464 902    739    7650234368 zeus22 901    748    zeus04 8319377408 902    742    zeus11 8119103488 1000    796    zeus06 8701009920 903    845    zeus03 5666848768 903    863    zeus15 4538945536 902    854    zeus18 4820639744 901    886    813387776 zeus03 901    887    zeus06 816754688 901    886    zeus23 815075328 901    885    zeus18 831193088
75_sanfoundry_10_true-unreach-call_ground.i 214    198    zeus09 3573391360 224    208    zeus12 3763490816 901    883    zeus01 867799040 902    786    5403402240 zeus09 902    779    zeus15 5275140096 902    781    zeus17 5356023808 910    760    zeus22 6742683648 632    583    zeus14 4558270464 659    611    zeus12 4913876992 902    821    zeus01 6044864512 902    879    2190245888 zeus02 902    880    zeus09 2811551744 902    879    zeus01 2372972544 901    888    zeus07 793370624
75_sanfoundry_24_true-unreach-call.i 3.63 2.21 zeus11 212922368 3.89 2.28 zeus24 208703488 4.10 2.40 zeus16 215527424 11.7  6.43 380264448 zeus01 12.1  6.54 zeus14 399962112 10.2  5.68 zeus24 397869056 11.7  6.37 zeus06 401772544 4.24 2.44 zeus21 225705984 3.97 2.38 zeus08 220798976 4.28 2.52 zeus17 218116096 4.14 2.48 211980288 zeus20 4.15 2.45 zeus16 208838656 3.77 2.25 zeus10 213327872 3.85 2.35 zeus18 208105472
75_sanfoundry_27_true-unreach-call_ground.i 907    892    zeus17 8519766016 916    902    zeus10 13398634496 903    888    zeus10 8564183040 1000    785    8906088448 zeus12 977    749    zeus24 8645857280 957    739    zeus04 8773107712 1000    761    zeus05 8688128000 972    610    zeus17 12973748224 912    830    zeus16 6922928128 902    818    zeus20 6837641216 901    886    809512960 zeus10 901    885    zeus05 812986368 901    887    zeus08 812474368 902    888    zeus11 818339840
75_sanfoundry_43_true-unreach-call_ground.i 3.86 2.27 zeus23 211734528 3.61 2.14 zeus02 210477056 4.19 2.47 zeus05 218230784 5.96 3.48 329547776 zeus11 5.88 3.40 zeus09 329318400 5.85 3.36 zeus19 333492224 5.03 3.00 zeus03 310808576 4.01 2.36 zeus24 212115456 3.85 2.29 zeus17 209027072 4.07 2.45 zeus11 215838720 4.27 2.51 207900672 zeus01 3.95 2.37 zeus06 204230656 3.66 2.15 zeus20 202715136 4.12 2.45 zeus06 218439680
75_sorting_bubblesort_true-unreach-call_ground.i 127    114    zeus23 1331642368 133    119    zeus01 1303699456 902    886    zeus06 1173315584 902    788    4620894208 zeus18 902    790    zeus07 4603097088 902    791    zeus13 4636532736 902    786    zeus03 5343232000 902    841    zeus08 4717977600 902    847    zeus05 4646993920 902    831    zeus01 4872454144 901    886    830173184 zeus24 901    886    zeus11 838504448 901    886    zeus10 847482880 902    893    zeus16 735563776
75_sorting_selectionsort_true-unreach-call_ground.i 902    886    zeus01 6141132800 902    887    zeus07 6408462336 902    884    zeus19 4431175680 905    780    5453049856 zeus20 902    785    zeus23 5849112576 902    788    zeus07 6156005376 907    786    zeus15 5400322048 902    780    zeus22 6631903232 549    434    zeus13 7466434560 902    781    zeus05 6890979328 902    884    1179566080 zeus19 902    885    zeus10 1303281664 669    653    zeus19 809209856 902    882    zeus17 1562562560
75_standard_compareModified_true-unreach-call_ground.i 688    674    zeus18 5837832192 901    883    zeus05 1486503936 901    887    zeus06 891305984 902    812    5030694912 zeus08 902    813    zeus24 4916789248 901    804    zeus07 4589318144 902    792    zeus03 7608160256 200    158    zeus07 4443979776 922    691    zeus09 6346211328 902    840    zeus03 4874027008 902    889    883265536 zeus21 902    889    zeus15 866668544 902    887    zeus14 942063616 901    889    zeus03 779120640
75_standard_compare_true-unreach-call_ground.i 901    884    zeus23 1475633152 901    882    zeus22 1453862912 901    883    zeus05 2565201920 902    791    4588576768 zeus12 901    801    zeus14 4589506560 901    801    zeus21 4607025152 902    804    zeus20 4615270400 902    821    zeus18 6450663424 1000    807    zeus20 6252175360 901    814    zeus23 6566293504 901    886    864559104 zeus14 901    886    zeus17 869228544 901    886    zeus07 918605824 901    885    zeus19 912752640
75_standard_copy1_true-unreach-call_ground.i 254    241    zeus24 3965825024 100    84.9  zeus03 2026221568 901    887    zeus20 974356480 901    785    4927381504 zeus24 902    778    zeus09 4946993152 901    797    zeus21 4834369536 902    839    zeus03 4809842688 128    92.4  zeus19 4473884672 120    87.0  zeus04 4491190272 902    775    zeus23 6565462016 902    890    793600000 zeus01 902    889    zeus06 812032000 902    887    zeus04 802660352 901    892    zeus08 760782848
75_standard_copy2_true-unreach-call_ground.i 911    895    zeus17 13393821696 410    391    zeus14 4115456000 902    886    zeus14 922927104 702    605    4864122880 zeus23 714    618    zeus19 4902649856 594    508    zeus14 4665909248 901    783    zeus23 7765790720 515    466    zeus03 4711735296 245    210    zeus06 4518170624 902    811    zeus22 5972307968 901    886    964931584 zeus10 901    887    zeus23 967544832 901    884    zeus17 882835456 902    892    zeus20 770060288
75_standard_copy3_true-unreach-call_ground.i 902    884    zeus20 7122898944 902    881    zeus09 7070306304 902    888    zeus11 917065728 901    799    4957863936 zeus05 902    793    zeus02 4964384768 762    673    zeus22 4723331072 902    691    zeus14 8938815488 902    845    zeus04 4723777536 289    252    zeus11 4601561088 902    844    zeus11 5032804352 902    886    1075732480 zeus20 902    886    zeus15 1082978304 901    886    zeus23 988418048 902    892    zeus12 770879488
75_standard_copy4_true-unreach-call_ground.i 902    882    zeus19 5720395776 904    881    zeus15 3189944320 902    890    zeus02 914710528 902    804    4664639488 zeus09 902    810    zeus22 4670341120 902    805    zeus17 4696162304 1000    650    zeus05 11440148480 903    845    zeus22 4827783168 602    551    zeus16 4704620544 902    845    zeus24 5017780224 902    886    1086943232 zeus11 902    885    zeus03 1069006848 901    886    zeus05 982884352 902    893    zeus14 715780096
75_standard_copy5_true-unreach-call_ground.i 902    880    zeus01 2758963200 902    878    zeus02 2412867584 902    893    zeus19 870150144 902    807    4651552768 zeus10 902    812    zeus05 4668055552 902    812    zeus21 4663664640 1000    677    zeus08 13227511808 903    841    zeus02 4934225920 767    717    zeus16 4796211200 902    847    zeus24 4877639680 903    888    1085206528 zeus23 902    886    zeus10 1095438336 902    886    zeus24 992546816 902    893    zeus11 773267456
75_standard_copy6_true-unreach-call_ground.i 902    880    zeus24 1340526592 901    879    zeus06 2773663744 902    894    zeus22 840036352 902    810    4686090240 zeus02 902    806    zeus15 4658741248 901    811    zeus06 4680933376 929    697    zeus16 11469357056 903    839    zeus16 5082685440 700    649    zeus11 4872208384 902    848    zeus16 4722024448 902    884    1063043072 zeus14 912    894    zeus10 1193263104 902    885    zeus05 987049984 902    893    zeus10 780304384
75_standard_copy7_true-unreach-call_ground.i 902    879    zeus10 2359197696 901    879    zeus11 2417360896 902    894    zeus20 802861056 902    810    4684754944 zeus05 902    811    zeus22 4684804096 902    812    zeus20 4678721536 535    1030    zeus05 4613971968 903    841    zeus06 4981669888 902    849    zeus11 4877078528 901    851    zeus01 4809375744 913    897    1105215488 zeus24 912    897    zeus15 1076912128 901    885    zeus20 1010880512 902    893    zeus02 785821696
75_standard_copy8_true-unreach-call_ground.i 901    880    zeus23 2712203264 901    880    zeus08 2413178880 902    897    zeus23 1439526912 902    809    4670775296 zeus21 901    810    zeus24 4711944192 902    809    zeus11 4707753984 754    1030    zeus14 4657246208 903    840    zeus09 5096263680 902    851    zeus02 4904464384 901    851    zeus13 4780392448 902    882    1081749504 zeus03 901    885    zeus14 1061568512 902    885    zeus10 1001742336 902    893    zeus04 787705856
75_standard_copy9_true-unreach-call_ground.i 902    879    zeus02 2404364288 902    880    zeus11 2768916480 902    895    zeus10 834379776 901    808    4669992960 zeus08 901    812    zeus21 4684120064 902    813    zeus14 4707717120 901    857    zeus08 4702154752 902    848    zeus12 4788269056 902    848    zeus23 4962328576 902    845    zeus06 4835336192 902    884    1078661120 zeus01 902    884    zeus17 1084702720 901    886    zeus21 993239040 902    893    zeus07 794353664
75_standard_copyInitSum2_true-unreach-call_ground.i 905    886    zeus17 7313326080 902    881    zeus03 7516889088 902    885    zeus18 872755200 794    701    4814049280 zeus14 825    728    zeus23 4824817664 738    648    zeus15 4728291328 901    838    zeus17 4835893248 902    845    zeus07 4800827392 269    228    zeus07 4592046080 902    812    zeus06 5667078144 902    886    1038790656 zeus24 902    886    zeus18 1030922240 901    886    zeus02 1039314944 901    892    zeus09 768114688
75_standard_copyInitSum3_true-unreach-call_ground.i 903    881    zeus10 3325431808 902    878    zeus22 3799822336 901    885    zeus05 881176576 902    812    4651651072 zeus12 902    813    zeus21 4648468480 902    811    zeus08 4651487232 901    838    zeus12 4885893120 907    835    zeus07 5336735744 368    317    zeus22 4902322176 902    810    zeus22 5317836800 903    887    1110822912 zeus17 902    886    zeus04 1131765760 902    886    zeus02 991154176 902    890    zeus22 787210240
75_standard_copyInitSum_true-unreach-call_ground.i 902    883    zeus18 6893854720 912    891    zeus20 7353561088 901    885    zeus11 911908864 800    708    4835000320 zeus03 840    744    zeus05 4840026112 741    653    zeus13 4723081216 901    838    zeus21 4850458624 902    843    zeus24 4719702016 902    837    zeus21 4806529024 901    813    zeus06 5443014656 902    885    1047052288 zeus18 901    886    zeus13 1047810048 902    882    zeus01 1037737984 901    890    zeus05 782950400
75_standard_copyInit_true-unreach-call_ground.i 706    689    zeus03 8997003264 351    330    zeus09 3784491008 902    883    zeus18 894013440 902    781    5065940992 zeus08 902    784    zeus24 5074309120 590    504    zeus01 4690366464 901    841    zeus02 4816662528 218    175    zeus02 4490264576 186    147    zeus11 4494823424 901    815    zeus11 6226657280 901    887    919789568 zeus13 901    886    zeus07 919478272 901    886    zeus18 879955968 902    890    zeus20 794767360
75_standard_find_true-unreach-call_ground.i 901    887    zeus18 2427416576 4.15 2.42 zeus08 213069824 901    886    zeus09 4220174336 901    826    4719300608 zeus03 902    824    zeus06 4731932672 901    822    zeus21 4769542144 901    821    zeus12 4748017664 901    838    zeus01 6181048320 903    812    zeus23 6333292544 902    831    zeus09 6049853440 902    888    854171648 zeus24 901    888    zeus22 820637696 901    887    zeus08 879550464 901    887    zeus01 813826048
75_standard_init1_true-unreach-call_ground.i 88.1  76.4  zeus04 1904742400 92.4  79.4  zeus22 2013442048 901    886    zeus08 971624448 901    790    4958167040 zeus14 901    795    zeus11 4852871168 901    799    zeus13 4910944256 902    824    zeus21 4602101760 124    90.7  zeus01 4472786944 120    83.8  zeus02 4462878720 1000    828    zeus10 7125581824 902    889    800768000 zeus24 901    888    zeus17 797286400 901    888    zeus22 805355520 901    890    zeus03 781094912
75_standard_init2_true-unreach-call_ground.i 288    273    zeus08 5579415552 296    280    zeus08 5603098624 902    885    zeus04 923848704 901    795    4748791808 zeus19 901    794    zeus20 4745441280 901    799    zeus02 4809154560 902    800    zeus13 5139419136 188    154    zeus13 4476157952 230    195    zeus18 4498083840 902    770    zeus07 6315982848 901    885    820527104 zeus21 901    886    zeus12 812634112 901    886    zeus15 819503104 902    887    zeus04 796766208
75_standard_init3_true-unreach-call_ground.i 751    733    zeus05 7164436480 738    720    zeus24 6838865920 902    882    zeus01 852918272 901    788    4637863936 zeus17 901    795    zeus21 4682452992 902    799    zeus24 4747866112 901    811    zeus21 5321252864 240    202    zeus17 4539027456 333    298    zeus04 4469370880 902    811    zeus05 5732089856 901    886    825741312 zeus14 901    886    zeus13 835362816 901    886    zeus04 815955968 901    890    zeus07 777379840
75_standard_init4_true-unreach-call_ground.i 908    887    zeus03 5011259392 902    880    zeus08 4953264128 902    882    zeus19 848060416 902    791    4692840448 zeus24 902    796    zeus24 4672819200 902    816    zeus19 4648382464 902    814    zeus23 5250539520 384    341    zeus03 4545052672 337    299    zeus24 4586319872 902    819    zeus15 5255200768 902    885    826445824 zeus19 902    885    zeus08 834019328 902    885    zeus19 822812672 901    889    zeus03 798998528
75_standard_init5_true-unreach-call_ground.i 902    881    zeus04 4509130752 901    879    zeus21 2752528384 903    883    zeus23 848461824 902    814    4661911552 zeus10 902    811    zeus15 4667068416 902    811    zeus04 4670386176 903    812    zeus16 5038055424 729    683    zeus18 4583944192 440    397    zeus02 4660641792 902    817    zeus02 5220106240 902    884    839487488 zeus12 901    885    zeus08 834138112 901    886    zeus14 816087040 902    890    zeus22 773074944
75_standard_init6_true-unreach-call_ground.i 902    879    zeus10 2704986112 902    880    zeus14 2697867264 902    881    zeus19 863145984 901    810    4679450624 zeus01 902    810    zeus13 4688334848 902    807    zeus24 4672913408 902    818    zeus02 5106892800 615    563    zeus07 4667428864 627    580    zeus09 4690845696 902    840    zeus09 4963913728 901    885    828260352 zeus06 902    885    zeus03 830828544 902    885    zeus01 813858816 901    889    zeus06 781692928
75_standard_init7_true-unreach-call_ground.i 901    878    zeus18 2407251968 902    877    zeus20 1616560128 902    881    zeus05 852676608 902    806    4656693248 zeus04 902    815    zeus20 4685242368 902    813    zeus16 4654784512 902    816    zeus15 5268275200 615    564    zeus18 4747522048 641    596    zeus09 4761812992 902    840    zeus10 4916977664 902    885    840683520 zeus12 901    885    zeus17 845520896 901    885    zeus17 825053184 902    889    zeus23 791773184
75_standard_init8_true-unreach-call_ground.i 902    879    zeus11 2398961664 901    879    zeus01 2717925376 902    880    zeus11 867594240 902    811    4708966400 zeus23 902    813    zeus14 4691972096 902    814    zeus17 4654370816 902    814    zeus04 5205487616 818    761    zeus20 4782735360 717    666    zeus23 4797104128 902    838    zeus20 4887711744 902    884    823324672 zeus20 902    885    zeus24 821555200 901    885    zeus11 818909184 902    889    zeus22 777207808
75_standard_init9_true-unreach-call_ground.i 901    879    zeus15 2410577920 902    880    zeus07 2373767168 902    881    zeus08 858714112 902    812    4730851328 zeus05 902    810    zeus13 4705779712 902    812    zeus14 4672016384 902    818    zeus17 5003128832 823    766    zeus10 4834512896 820    767    zeus23 4854759424 902    837    zeus08 4925267968 902    884    829042688 zeus02 901    881    zeus03 853762048 902    884    zeus21 835104768 902    890    zeus20 780214272
75_standard_maxInArray_true-unreach-call_ground.i 813    799    zeus16 14999998464 908    894    zeus10 12142153728 757    743    zeus06 14999998464 950    743    8740892672 zeus19 972    754    zeus16 8712839168 902    735    zeus16 8749645824 901    743    zeus14 8241864704 901    674    zeus19 12936830976 903    670    zeus18 12452724736 903    664    zeus02 13136175104 901    886    812208128 zeus15 901    886    zeus09 818114560 901    886    zeus21 894541824 901    885    zeus02 834125824
75_standard_minInArray_true-unreach-call_ground.i 682    668    zeus22 14999998464 539    525    zeus24 14999998464 652    637    zeus04 14999998464 902    731    8252694528 zeus05 1000    768    zeus02 8288305152 993    767    zeus08 8897540096 1000    798    zeus03 8507310080 925    676    zeus20 12211974144 902    660    zeus20 12509540352 909    658    zeus13 13136224256 901    886    828334080 zeus03 901    886    zeus01 820846592 901    886    zeus21 911892480 901    886    zeus06 824573952
75_standard_palindrome_true-unreach-call_ground.i 25.0  19.0  zeus23 846675968 24.8  18.6  zeus07 844410880 901    885    zeus13 850440192 902    800    4881793024 zeus13 901    799    zeus21 4910989312 901    808    zeus03 4811603968 902    794    zeus05 5138153472 45.0  23.8  zeus01 966057984 44.6  23.8  zeus13 1195454464 903    679    zeus14 8532545536 901    890    815931392 zeus10 901    889    zeus20 840511488 901    888    zeus02 938921984 901    893    zeus02 670117888
75_standard_partial_init_true-unreach-call_ground.i 902    888    zeus05 6135836672 903    889    zeus10 4183150592 902    891    zeus05 738283520 901    805    4915171328 zeus13 901    804    zeus09 4895506432 901    819    zeus11 4563111936 901    775    zeus15 7666323456 902    673    zeus19 10040102912 902    596    zeus23 8286904320 902    857    zeus11 4869517312 902    889    960278528 zeus11 902    889    zeus11 955613184 902    889    zeus06 1201160192 901    891    zeus11 774569984
75_standard_partition_original_true-unreach-call_ground.i 908    893    zeus23 6562779136 906    893    zeus12 5687398400 902    892    zeus24 732200960 901    818    4542808064 zeus06 902    822    zeus22 4534263808 901    822    zeus05 4539609088 901    773    zeus23 7748964352 1000    723    zeus09 10675040256 1000    641    zeus12 9592545280 901    847    zeus13 4971200512 902    888    791138304 zeus24 901    887    zeus17 808218624 902    888    zeus02 786694144 902    892    zeus20 765919232
75_standard_partition_true-unreach-call_ground.i 902    881    zeus01 3015122944 902    883    zeus15 1870872576 902    886    zeus09 841089024 902    798    4862291968 zeus17 901    796    zeus05 4913065984 901    807    zeus12 4713852928 901    838    zeus18 4632023040 1000    717    zeus10 8623644672 942    635    zeus24 7417974784 902    844    zeus22 5108834304 901    886    952631296 zeus08 901    885    zeus05 951058432 906    889    zeus10 3525685248 901    891    zeus02 785563648
75_standard_password_true-unreach-call_ground.i 901    883    zeus18 1488330752 901    884    zeus23 1362731008 901    884    zeus08 2536202240 901    805    4615143424 zeus12 901    803    zeus14 4588208128 901    800    zeus05 4630441984 902    805    zeus03 4596494336 901    823    zeus20 6282829824 902    768    zeus04 6702755840 902    822    zeus05 6556250112 901    886    870846464 zeus02 901    887    zeus14 856674304 902    886    zeus07 870174720 901    885    zeus22 891297792
75_standard_reverse_true-unreach-call_ground.i 66.1  53.7  zeus24 1661493248 62.5  51.3  zeus16 1612324864 901    887    zeus08 958660608 901    796    4609691648 zeus02 901    780    zeus10 4595986432 902    806    zeus01 4617302016 902    840    zeus17 4886536192 115    84.2  zeus08 3917840384 132    93.7  zeus15 4446093312 902    831    zeus15 6086750208 902    889    813244416 zeus08 901    890    zeus10 821309440 902    889    zeus22 782110720 902    892    zeus08 774107136
75_standard_running_true-unreach-call.i 905    883    zeus08 3473379328 903    880    zeus09 2488823808 903    877    zeus17 1207644160 901    811    4613009408 zeus23 901    809    zeus18 4619042816 901    814    zeus16 4588605440 902    835    zeus13 4700454912 902    837    zeus22 4643459072 902    848    zeus15 4639334400 902    835    zeus12 4761952256 901    885    837390336 zeus14 901    885    zeus22 829120512 901    885    zeus12 845606912 901    889    zeus15 809521152
75_standard_sentinel_true-unreach-call.i 3.99 2.41 zeus12 222416896 4.00 2.41 zeus16 216936448 4.96 2.98 zeus06 232800256 901    820    4835340288 zeus04 901    826    zeus21 4803133440 901    817    zeus06 4995096576 901    828    zeus09 4702842880 4.14 2.47 zeus18 221343744 4.26 2.53 zeus14 219938816 901    798    zeus22 7487283200 4.47 2.69 218308608 zeus13 4.26 2.53 zeus02 217849856 4.10 2.45 zeus08 208953344 4.32 2.60 zeus09 220147712
75_standard_seq_init_true-unreach-call_ground.i 583    567    zeus03 5069066240 494    479    zeus17 4320956416 303    285    zeus02 1000349696 536    452    5281046528 zeus18 590    481    zeus23 5444980736 529    446    zeus20 5225472000 901    824    zeus23 4618567680 135    99.1  zeus20 4478971904 128    94.5  zeus15 4461776896 162    124    zeus04 4531040256 188    176    853921792 zeus02 183    171    zeus12 842620928 169    157    zeus01 854900736 901    889    zeus11 782589952
75_standard_strcmp_true-unreach-call_ground.i 62.2  60.3  zeus04 14999998464 132    117    zeus23 1487560704 112    92.8  zeus24 1523089408 902    813    4483411968 zeus02 901    817    zeus07 4525412352 458    383    zeus12 4585558016 901    806    zeus24 4733251584 131    103    zeus07 4432408576 120    87.6  zeus24 3818991616 142    113    zeus08 3461480448 902    884    1417580544 zeus23 907    889    zeus21 1362599936 257    243    zeus19 851431424 622    602    zeus14 819609600
75_standard_strcpy_original_true-unreach-call.i 901    893    zeus19 724979712 901    893    zeus01 720859136 902    890    zeus15 774758400 901    827    4819218432 zeus10 902    828    zeus19 4776763392 901    827    zeus16 4904345600 901    833    zeus01 4991524864 4.36 2.54 zeus23 216981504 901    835    zeus03 5875994624 901    791    zeus16 7999344640 902    892    836968448 zeus15 901    892    zeus05 827256832 901    892    zeus20 822448128 901    890    zeus02 884301824
75_standard_strcpy_true-unreach-call_ground.i 4.40 2.61 zeus15 217923584 4.34 2.58 zeus09 217182208 901    887    zeus11 784916480 901    819    4682252288 zeus23 901    821    zeus10 4707819520 901    827    zeus05 4636639232 902    834    zeus14 4826230784 4.23 2.53 zeus13 223199232 902    837    zeus11 6033444864 901    835    zeus09 6253867008 901    888    820600832 zeus19 901    888    zeus02 818827264 902    888    zeus24 918179840 902    892    zeus12 853016576
75_standard_two_index_01_true-unreach-call.i 302    290    zeus23 3941076992 105    91.1  zeus11 1821945856 901    890    zeus19 793849856 902    793    4922064896 zeus03 901    792    zeus13 4829110272 901    787    zeus12 4858011648 901    842    zeus24 4812812288 118    85.4  zeus10 4488343552 118    89.0  zeus24 4458811392 901    815    zeus14 5894057984 902    890    817635328 zeus03 902    890    zeus21 823009280 902    890    zeus17 769482752 902    890    zeus12 794824704
75_standard_two_index_02_true-unreach-call.i 28.0  21.5  zeus02 835203072 22.7  15.7  zeus09 699863040 902    891    zeus24 841469952 901    806    4675457024 zeus18 902    807    zeus19 4692447232 902    795    zeus10 4713484288 901    837    zeus19 4890611712 49.0  26.3  zeus01 1356607488 45.4  24.1  zeus08 893235200 902    807    zeus06 6934646784 901    889    795213824 zeus03 901    889    zeus24 802054144 902    890    zeus04 848670720 902    893    zeus24 710787072
75_standard_two_index_03_true-unreach-call.i 13.2  8.71 zeus04 424247296 13.2  8.20 zeus01 449208320 901    890    zeus23 833069056 902    816    4663140352 zeus04 901    818    zeus17 4687663104 901    814    zeus05 4759830528 901    837    zeus14 4715974656 36.8  19.0  zeus05 855191552 31.8  16.5  zeus21 877961216 901    801    zeus06 7228928000 901    889    815022080 zeus04 901    889    zeus09 807571456 911    900    zeus02 811597824 901    892    zeus17 720437248
75_standard_two_index_04_true-unreach-call.i 10.0  5.96 zeus06 324730880 11.5  6.71 zeus04 356130816 901    890    zeus07 805576704 901    821    4631625728 zeus08 901    821    zeus10 4657397760 902    815    zeus08 4848177152 902    833    zeus19 4802162688 23.6  12.4  zeus02 749928448 21.1  11.2  zeus20 603320320 902    787    zeus05 6976114688 901    890    837877760 zeus12 901    890    zeus13 829591552 902    891    zeus23 831614976 902    892    zeus19 765616128
75_standard_two_index_05_true-unreach-call.i 7.73 4.49 zeus17 291090432 9.37 5.42 zeus11 309268480 902    892    zeus12 774668288 901    822    4637556736 zeus19 901    827    zeus21 4616675328 901    822    zeus12 4795953152 901    836    zeus17 4886204416 14.4  7.92 zeus04 593367040 12.3  6.71 zeus21 462356480 125    91.6  zeus22 4756414464 901    892    793059328 zeus13 901    892    zeus06 771747840 901    890    zeus07 796213248 901    891    zeus15 821645312
75_standard_two_index_06_true-unreach-call.i 8.00 4.52 zeus18 267427840 8.51 4.82 zeus15 305037312 902    891    zeus07 777748480 901    833    4642398208 zeus17 901    834    zeus19 4626059264 483    416    zeus19 4602048512 901    835    zeus02 4893696000 15.4  8.47 zeus19 550801408 11.9  6.61 zeus09 414539776 77.8  45.6  zeus17 2906222592 902    892    788033536 zeus13 901    892    zeus08 787460096 901    890    zeus17 798965760 902    892    zeus13 823726080
75_standard_two_index_07_true-unreach-call.i 5.80 3.38 zeus03 247496704 9.97 5.64 zeus06 317104128 330    323    zeus20 697724928 901    830    4601712640 zeus12 901    831    zeus01 4595744768 174    120    zeus09 3109806080 902    834    zeus17 4941783040 10.9  5.98 zeus06 458788864 9.59 5.30 zeus10 332005376 55.1  29.3  zeus11 1391669248 902    892    787316736 zeus21 902    892    zeus13 799358976 901    893    zeus16 703774720 284    276    zeus16 733491200
75_standard_two_index_08_true-unreach-call.i 5.94 3.49 zeus14 246808576 5.81 3.40 zeus17 242864128 205    199    zeus02 642744320 901    831    4626026496 zeus16 902    824    zeus17 4599132160 125    76.5  zeus09 2138869760 902    837    zeus06 4754006016 9.75 5.49 zeus11 340242432 7.77 4.34 zeus23 292827136 48.5  25.1  zeus21 1418821632 911    901    804872192 zeus04 902    893    zeus15 776773632 901    893    zeus22 734314496 177    170    zeus01 684359680
75_standard_two_index_09_true-unreach-call.i 5.98 3.51 zeus04 234635264 6.70 3.83 zeus06 259354624 129    123    zeus18 536952832 901    832    4633726976 zeus19 901    832    zeus24 4611256320 99.3  55.6  zeus13 1576194048 901    831    zeus11 4959961088 7.71 4.37 zeus07 290136064 7.30 4.15 zeus15 262721536 50.4  25.9  zeus22 917864448 413    406    747397120 zeus04 413    406    zeus12 728064000 129    123    zeus06 682201088 112    106    zeus23 613752832
75_standard_vararg_true-unreach-call_ground.i 901    886    zeus15 2485694464 3.75 2.21 zeus21 214540288 901    887    zeus24 4232282112 902    827    4690669568 zeus13 901    826    zeus17 4713127936 901    833    zeus20 4578529280 902    824    zeus02 4632510464 902    774    zeus16 7725916160 902    794    zeus22 7780900864 901    797    zeus11 8288075776 901    888    870846464 zeus03 901    888    zeus14 863887360 901    888    zeus20 904622080 901    888    zeus06 854577152
75_standard_vector_difference_true-unreach-call_ground.i 538    525    zeus12 6176309248 102    88.9  zeus22 2021138432 901    887    zeus08 1001238528 609    525    4952981504 zeus01 592    509    zeus06 4973469696 901    804    zeus21 4641906688 901    783    zeus20 7421046784 146    108    zeus04 4484907008 114    82.1  zeus11 4462170112 902    813    zeus05 5180719104 902    888    865370112 zeus09 902    889    zeus08 858599424 901    888    zeus08 799596544 902    893    zeus14 763944960
test/programs/array-simplified-benchmarks/arrays-size-75/ status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage
total tasks 88 55000    53700    351685890048 88 51200   49800    307211649024 88 67900 66700 148205109248 88 73400   65600    433767337984 88 73600   65500    433718841344 88 69700 62100 424734797824 88 75700   68000    524623990784 88 47900   41900    413129502720 88 44300 38300 414798888960 88 64200 57700 467779678208 88 70400 69100 78811443200 88 70500 69200 79501762560 88 68800 67500 79103090688 88 72700 71700 68811911168
    correct results 9 2140    2030    26550710272 11 3430   3280    38530322432 14 4230 4050 13330497536 6 1480   1190    17804451840 6 1500   1200    17728249856 10 2320 1830 29213667328 5 2010   1720    15678488576 19 6070   5300    72978931712 22 7010 6110 88659869696 20 5320 4560 72523313152 11 2720 2590 7365775360 11 2820 2700 7311532032 12 2890 2750 8324276224 7 816 776 3480780800
        correct true 2 7.48 4.48 424656896 3 15.0 8.73 704901120 7 727 697 2975797248 2 17.7 9.92 709812224 2 17.9 9.94 729280512 6 896 677 12158279680 2 16.7 9.37 712581120 3 12.4 7.27 659165184 4 629 566 5255462912 7 365 222 11824947200 4 426 414 1385586688 4 425 413 1358983168 4 140 129 1307197440 6 585 560 2678296576
        correct false 7 2130    2020    26126053376 8 3410   3270    37825421312 7 3500 3360 10354700288 4 1460   1180    17094639616 4 1480   1190    16998969344 4 1430 1150 17055387648 3 2000   1710    14965907456 16 6060   5290    72319766528 18 6380 5550 83404406784 13 4960 4340 60698365952 7 2290 2180 5980188672 7 2390 2280 5952548864 8 2750 2620 7017078784 1 230 217 802484224
    incorrect results 1 583    567    5069066240 2 627   596    5808517120 2 414 378 2523439104 1 536   452    5281046528 1 590   481    5444980736 2 987 829 9811030016 0 1 135   99.1  4478971904 3 821 694 12856197120 3 1050 909 12681162752 1 188 176 853921792 1 183 171 842620928 2 426 399 1706332160 1 622 602 819609600
        incorrect true 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect false 1 583    567    5069066240 2 627   596    5808517120 2 414 378 2523439104 1 536   452    5281046528 1 590   481    5444980736 2 987 829 9811030016 0 1 135   99.1  4478971904 3 821 694 12856197120 3 1050 909 12681162752 1 188 176 853921792 1 183 171 842620928 2 426 399 1706332160 1 622 602 819609600
score (88 tasks, max score: 148) -5 -18 -11 -8 -8 -16 7 6 -22 -21 -1 -1 -16 -3
Run set MathSAT5-heaparray.ArraysReach75 MathSAT5-oldarray.ArraysReach75 MathSAT5-uf.ArraysReach75 PRINCESS-heaparray-quantifiers.ArraysReach75 PRINCESS-heaparray.ArraysReach75 PRINCESS-oldarray.ArraysReach75 PRINCESS-uf.ArraysReach75 SMTInterpol-heaparray.ArraysReach75 SMTInterpol-oldarray.ArraysReach75 SMTInterpol-uf.ArraysReach75 Z3-heaparray-quantifiers.ArraysReach75 Z3-heaparray.ArraysReach75 Z3-oldarray.ArraysReach75 Z3-uf.ArraysReach75