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.ArraysReach150 MathSAT5-oldarray.ArraysReach150 MathSAT5-uf.ArraysReach150 PRINCESS-heaparray-quantifiers.ArraysReach150 PRINCESS-heaparray.ArraysReach150 PRINCESS-oldarray.ArraysReach150 PRINCESS-uf.ArraysReach150 SMTInterpol-heaparray.ArraysReach150 SMTInterpol-oldarray.ArraysReach150 SMTInterpol-uf.ArraysReach150 Z3-heaparray-quantifiers.ArraysReach150 Z3-heaparray.ArraysReach150 Z3-oldarray.ArraysReach150 Z3-uf.ArraysReach150
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-150/ 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) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) 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
150_data_structures_set_multi_proc_false-unreach-call_ground.i 57.5  55.7  zeus18 14999998464 902    883    zeus04 2398781440 902    892    zeus24 759136256 901    768    9177911296 zeus23 901    776    8901210112 zeus03 902    820    zeus05 4565200896 902    746    8514301952 zeus22 908    851    4560056320 zeus24 901    857    zeus01 4686553088 902    853    zeus07 4735954944 903    898    673656832 zeus03 904    899    zeus04 676749312 902    884    zeus03 821846016 902    885    zeus02 841981952
150_sorting_bubblesort_false-unreach-call2_ground.i 901    880    zeus16 972845056 902    882    zeus24 1585856512 901    884    zeus10 974106624 742    657    4977463296 zeus11 741    655    4953903104 zeus14 747    660    zeus14 4983697408 904    800    5415600128 zeus14 902    847    4792156160 zeus16 901    855    zeus03 4854243328 902    856    zeus05 4610510848 901    885    836091904 zeus23 902    885    zeus14 863113216 902    885    zeus17 815861760 901    892    zeus11 781979648
150_sorting_bubblesort_false-unreach-call_ground.i 902    882    zeus07 1583063040 902    883    zeus18 1348247552 901    887    zeus21 941981696 728    642    4979716096 zeus23 774    682    4971597824 zeus22 819    722    zeus10 4939644928 901    800    5314850816 zeus12 901    848    4819976192 zeus08 901    854    zeus18 4831563776 901    855    zeus02 4617334784 901    885    832356352 zeus17 901    881    zeus08 857608192 902    885    zeus09 824152064 901    893    zeus02 781946880
150_sorting_selectionsort_false-unreach-call2_ground.i 902    882    zeus09 1601380352 901    884    zeus06 2477146112 747    721    zeus22 2439512064 901    821    4588724224 zeus12 901    821    4584263680 zeus11 902    823    zeus03 4599324672 901    819    4604776448 zeus21 901    850    4788944896 zeus17 901    856    zeus01 4933554176 901    852    zeus04 4831309824 902    883    851664896 zeus07 901    883    zeus18 842227712 902    884    zeus12 826089472 902    882    zeus24 841453568
150_sorting_selectionsort_false-unreach-call_ground.i 902    883    zeus03 1355214848 902    882    zeus02 1290424320 902    876    zeus24 2381377536 902    821    4590329856 zeus04 901    821    4591874048 zeus01 902    820    zeus17 4592418816 902    821    4623179776 zeus03 901    853    4752404480 zeus01 901    854    zeus22 4692975616 901    853    zeus16 4839800832 902    884    818229248 zeus19 902    883    zeus13 810659840 902    884    zeus12 814993408 901    882    zeus12 1973460992
150_standard_allDiff2_false-unreach-call_ground.i 901    879    zeus11 2894213120 902    881    zeus11 2507464704 902    876    zeus14 4596555776 901    819    4573233152 zeus08 901    821    4596367360 zeus10 901    821    zeus10 4598796288 901    821    4578152448 zeus14 901    851    4690104320 zeus02 902    859    zeus04 4648488960 902    856    zeus16 4684398592 902    879    927354880 zeus10 902    879    zeus24 954867712 902    879    zeus18 1105248256 902    880    zeus06 1105264640
150_standard_copy1_false-unreach-call_ground.i 717    692    zeus02 4549435392 762    738    zeus05 4590047232 901    887    zeus03 913481728 902    813    4600459264 zeus14 902    813    4614643712 zeus24 901    818    zeus16 4608544768 901    799    6286012416 zeus15 901    849    4801757184 zeus11 902    855    zeus18 4944064512 902    848    zeus11 5059313664 901    885    836648960 zeus23 902    885    zeus10 837238784 901    885    zeus05 840204288 902    893    zeus20 769851392
150_standard_copy2_false-unreach-call_ground.i 902    879    zeus21 2995261440 902    881    zeus24 4413304832 901    891    zeus18 889335808 902    804    4827066368 zeus20 902    805    4827324416 zeus04 902    809    zeus11 4799201280 901    628    11880955904 zeus03 902    851    4802162688 zeus17 901    852    zeus01 4815069184 902    846    zeus24 4972589056 902    882    903352320 zeus02 902    882    zeus20 918962176 902    885    zeus08 830795776 902    893    zeus07 776646656
150_standard_copy3_false-unreach-call_ground.i 902    876    zeus07 1742192640 902    878    zeus07 2800111616 901    893    zeus23 883310592 902    818    4864774144 zeus17 902    823    4876349440 zeus03 902    828    zeus10 4903505920 968    726    8928583680 zeus10 902    850    4818857984 zeus14 901    856    zeus08 4776427520 901    849    zeus09 5003780096 901    885    907382784 zeus21 902    885    zeus24 893980672 902    885    zeus07 833409024 902    893    zeus13 791691264
150_standard_copy4_false-unreach-call_ground.i 901    879    zeus12 2741424128 901    878    zeus06 2776330240 903    895    zeus08 871235584 902    823    4873740288 zeus04 901    822    4863021056 zeus05 902    825    zeus15 4854530048 902    865    4640378880 zeus19 901    851    4814008320 zeus10 901    858    zeus05 4913348608 901    848    zeus24 4765339648 902    885    882266112 zeus22 902    885    zeus01 903262208 901    885    zeus21 828952576 902    894    zeus13 797143040
150_standard_copy5_false-unreach-call_ground.i 902    880    zeus08 2422390784 901    878    zeus14 2405183488 903    896    zeus11 827359232 902    822    4886728704 zeus21 901    825    4879036416 zeus21 902    822    zeus06 4914479104 901    864    4632117248 zeus20 902    853    4767776768 zeus18 902    856    zeus19 4877225984 902    848    zeus01 4762783744 902    885    897249280 zeus10 902    885    zeus20 897224704 902    885    zeus01 833040384 902    893    zeus03 816312320
150_standard_copy6_false-unreach-call_ground.i 902    877    zeus22 2440462336 901    878    zeus01 2365861888 903    896    zeus10 825479168 902    820    4854517760 zeus24 902    819    4855005184 zeus05 902    822    zeus07 4852531200 901    857    4868255744 zeus01 901    851    4793380864 zeus13 902    857    zeus06 4905676800 901    849    zeus15 4917395456 902    882    912551936 zeus14 902    882    zeus14 905494528 901    884    zeus18 818384896 902    894    zeus03 822161408
150_standard_copy7_false-unreach-call_ground.i 901    878    zeus19 2405310464 901    878    zeus10 2403106816 902    895    zeus14 855539712 901    822    4875661312 zeus03 901    823    4893192192 zeus09 902    819    zeus20 4886560768 901    849    5002080256 zeus07 901    854    4738617344 zeus09 902    854    zeus08 4808159232 901    852    zeus10 4978614272 901    885    879284224 zeus14 901    885    zeus01 912736256 902    884    zeus05 838676480 902    894    zeus04 828514304
150_standard_copy8_false-unreach-call_ground.i 901    878    zeus20 2395799552 902    879    zeus12 2726498304 902    896    zeus14 861659136 902    818    4866289664 zeus03 901    821    4908183552 zeus05 902    820    zeus02 4935348224 901    848    5148151808 zeus24 901    852    4822863872 zeus05 902    858    zeus17 4941590528 902    848    zeus12 5139406848 901    885    899432448 zeus20 902    885    zeus07 887066624 902    882    zeus09 845430784 902    894    zeus06 836575232
150_standard_copy9_false-unreach-call_ground.i 902    879    zeus08 2418130944 901    879    zeus05 2421825536 905    899    zeus01 6526844928 902    816    4886253568 zeus16 902    822    4869267456 zeus09 902    820    zeus09 4883935232 901    841    5329432576 zeus07 902    837    5086375936 zeus21 902    856    zeus05 4894900224 901    850    zeus16 5065670656 902    883    913678336 zeus14 902    882    zeus03 958251008 901    882    zeus08 825061376 902    894    zeus21 842264576
150_standard_copyInitSum2_false-unreach-call_ground.i 902    878    zeus24 2783428608 902    877    zeus12 2871341056 902    888    zeus01 929173504 902    821    4879900672 zeus21 902    823    4881616896 zeus04 901    819    zeus23 4858028032 901    810    5994315776 zeus23 902    855    4710002688 zeus17 902    858    zeus13 4913004544 902    847    zeus02 5024903168 901    885    820408320 zeus08 901    885    zeus10 825815040 902    885    zeus13 814137344 902    894    zeus17 724353024
150_standard_init1_false-unreach-call_ground.i 906    887    zeus02 6850375680 907    888    zeus06 6845964288 901    880    zeus10 1550790656 902    814    4606111744 zeus08 902    820    4596559872 zeus01 902    823    zeus13 4610441216 901    820    4675391488 zeus10 902    856    4842450944 zeus08 902    843    zeus06 4805021696 902    850    zeus04 4884930560 901    885    826945536 zeus09 902    885    zeus08 834084864 902    885    zeus10 831311872 901    893    zeus23 744955904
150_standard_init2_false-unreach-call_ground.i 902    880    zeus08 4421976064 902    879    zeus14 2416107520 901    879    zeus09 883429376 902    809    4845658112 zeus14 902    808    4831367168 zeus20 901    807    zeus16 4799242240 902    816    5182672896 zeus17 902    851    4818354176 zeus01 902    850    zeus16 4831559680 901    853    zeus15 4897447936 901    885    835297280 zeus03 901    885    zeus08 834306048 902    885    zeus12 831860736 902    894    zeus10 727126016
150_standard_init3_false-unreach-call_ground.i 902    879    zeus22 2420404224 901    880    zeus01 2777989120 901    885    zeus15 888119296 902    821    4882989056 zeus22 902    822    4878045184 zeus19 902    824    zeus07 4885258240 902    815    5265989632 zeus13 901    849    4804214784 zeus18 902    852    zeus01 4799164416 902    851    zeus05 4949495808 901    885    830742528 zeus20 901    885    zeus10 828538880 901    885    zeus11 821526528 902    893    zeus08 719138816
150_standard_init4_false-unreach-call_ground.i 901    878    zeus06 2760060928 902    882    zeus12 4483842048 901    885    zeus23 893341696 902    819    4880347136 zeus24 902    824    4867391488 zeus24 902    825    zeus24 4912312320 902    816    5041102848 zeus08 902    851    4838207488 zeus24 902    858    zeus12 4954451968 901    849    zeus14 4852224000 901    886    826925056 zeus17 902    885    zeus13 817426432 902    885    zeus20 820613120 902    893    zeus08 732831744
150_standard_init5_false-unreach-call_ground.i 901    880    zeus14 2413531136 901    880    zeus18 2708930560 901    885    zeus22 901570560 902    821    4879056896 zeus06 902    822    4934361088 zeus11 902    824    zeus15 4951105536 903    815    5219561472 zeus07 902    849    4832669696 zeus07 901    858    zeus03 4927184896 902    849    zeus15 4824064000 901    885    828850176 zeus04 902    885    zeus04 825024512 902    885    zeus04 814833664 902    894    zeus06 738942976
150_standard_init6_false-unreach-call_ground.i 901    879    zeus20 2435760128 902    880    zeus05 2421157888 902    884    zeus16 930033664 902    820    4907061248 zeus08 902    822    4917256192 zeus03 902    820    zeus02 4867485696 901    815    5373648896 zeus06 901    852    4826099712 zeus09 902    857    zeus19 4897730560 901    846    zeus11 4914601984 902    884    836816896 zeus07 902    880    zeus09 834330624 901    884    zeus06 833277952 902    893    zeus16 741474304
150_standard_init7_false-unreach-call_ground.i 901    877    zeus16 2745626624 902    879    zeus14 2690674688 901    885    zeus16 916930560 902    821    4903366656 zeus09 902    819    4905918464 zeus15 902    821    zeus20 4888420352 902    819    5133901824 zeus20 901    856    4647604224 zeus08 901    857    zeus10 4947185664 901    848    zeus16 4834967552 901    884    823541760 zeus21 901    885    zeus11 822775808 902    885    zeus08 823881728 902    893    zeus20 725372928
150_standard_init8_false-unreach-call_ground.i 901    878    zeus13 2389364736 902    879    zeus04 2377662464 901    885    zeus19 951996416 902    819    4910542848 zeus15 901    821    4910563328 zeus07 902    821    zeus21 4885606400 902    815    5245812736 zeus04 902    854    4730757120 zeus03 902    857    zeus09 4936822784 901    846    zeus02 4781088768 901    884    835866624 zeus02 901    882    zeus10 845557760 901    885    zeus11 830779392 901    893    zeus05 746954752
150_standard_init9_false-unreach-call_ground.i 902    877    zeus24 2412814336 901    879    zeus08 2369581056 901    886    zeus05 914501632 902    818    4876251136 zeus19 902    821    4888158208 zeus09 902    824    zeus07 4916822016 902    816    5393862656 zeus08 901    847    4841164800 zeus12 901    858    zeus09 4828798976 901    847    zeus05 5002850304 902    883    838508544 zeus23 902    883    zeus19 848302080 901    885    zeus19 827547648 901    893    zeus06 733138944
150_standard_minInArray_false-unreach-call_ground.i 902    882    zeus07 1592508416 902    883    zeus07 1563017216 905    885    zeus19 7693262848 901    817    4593922048 zeus03 902    814    4628828160 zeus16 901    815    zeus16 4602900480 902    819    4626505728 zeus22 902    857    4828356608 zeus09 902    855    zeus19 4793548800 902    857    zeus15 4877742080 902    885    831373312 zeus22 901    885    zeus10 845611008 901    886    zeus13 837804032 901    885    zeus11 829079552
150_standard_partition_false-unreach-call_ground.i 901    879    zeus20 807956480 902    881    zeus11 2482208768 902    894    zeus05 754692096 902    805    4834062336 zeus09 902    807    4833755136 zeus10 902    808    zeus22 4813688832 941    722    11364851712 zeus18 901    851    4829167616 zeus14 901    855    zeus01 4693975040 902    847    zeus03 4848476160 902    885    832958464 zeus04 901    885    zeus20 829378560 902    885    zeus02 827248640 902    893    zeus12 814104576
150_standard_running_false-unreach-call.i 902    874    zeus12 835842048 902    878    zeus14 1405284352 901    879    zeus15 1005420544 902    795    4847599616 zeus18 902    802    4834217984 zeus09 902    804    zeus21 4822253568 901    802    5956284416 zeus09 902    850    4806197248 zeus12 901    854    zeus06 4892332032 902    850    zeus10 4816396288 901    886    840364032 zeus20 902    885    zeus24 842928128 901    885    zeus22 840224768 901    892    zeus14 816902144
150_data_structures_set_multi_proc_trivial_true-unreach-call_ground.i 62.4  60.1  zeus01 14999998464 7.75 4.36 zeus10 285863936 94.1  89.4  zeus16 445734912 902    769    8914575360 zeus21 901    780    8735277056 zeus02 901    818    zeus20 4580765696 255    1030    4450283520 zeus01 904    854    4669980672 zeus11 902    857    zeus23 4612648960 901    851    zeus04 4787732480 902    897    745164800 zeus06 902    898    zeus04 739471360 902    883    zeus13 792883200 901    884    zeus22 820318208
150_data_structures_set_multi_proc_true-unreach-call_ground.i 60.7  58.7  zeus11 14999998464 902    883    zeus04 2399080448 902    893    zeus15 739840000 901    784    8529199104 zeus21 901    774    8662925312 zeus01 901    820    zeus16 4578992128 901    795    8643964928 zeus20 903    848    4666568704 zeus04 902    856    zeus22 4691959808 902    854    zeus13 4695138304 902    898    757760000 zeus07 903    898    zeus03 767614976 901    886    zeus17 806395904 902    884    zeus16 825176064
150_relax_true-unreach-call.i 4.27 2.48 zeus19 218365952 4.75 2.77 zeus20 218492928 4.32 2.47 zeus21 220295168 5.51 3.15 308572160 zeus20 5.70 3.27 305221632 zeus19 10.1  5.55 zeus06 411791360 5.59 3.26 311586816 zeus05 4.46 2.56 224509952 zeus21 4.92 2.86 zeus12 236339200 4.45 2.59 zeus09 221634560 4.33 2.51 212516864 zeus11 4.40 2.51 zeus09 212549632 5.07 2.91 zeus06 231161856 4.50 2.56 zeus06 218189824
150_sanfoundry_02_true-unreach-call_ground.i 902    882    zeus17 1580900352 902    883    zeus12 1561198592 903    881    zeus19 6397857792 901    815    4615421952 zeus01 902    818    4586868736 zeus08 902    817    zeus11 4593303552 902    821    4617535488 zeus11 902    849    4811169792 zeus23 902    857    zeus20 4895768576 902    855    zeus14 4698042368 901    886    852738048 zeus12 901    887    zeus14 825892864 901    886    zeus20 816582656 901    887    zeus14 835715072
150_sanfoundry_10_true-unreach-call_ground.i 902    879    zeus17 4667842560 901    878    zeus21 4692353024 901    886    zeus11 878542848 902    805    5139263488 zeus03 902    806    5138776064 zeus24 903    808    zeus14 5116792832 902    804    5387145216 zeus05 902    841    4914835456 zeus02 902    853    zeus07 4925423616 902    849    zeus05 5042892800 902    885    923947008 zeus17 902    884    zeus07 934486016 902    884    zeus08 931360768 901    891    zeus17 799293440
150_sanfoundry_24_true-unreach-call.i 4.02 2.38 zeus03 204881920 3.84 2.25 zeus22 210309120 3.85 2.30 zeus14 213725184 11.6  6.45 412700672 zeus11 11.4  6.26 400142336 zeus18 11.0  6.11 zeus16 374620160 9.66 5.46 379686912 zeus14 4.31 2.54 214003712 zeus07 4.07 2.45 zeus14 217493504 4.24 2.54 zeus04 217714688 3.74 2.22 208683008 zeus20 3.87 2.31 zeus07 211763200 3.74 2.24 zeus09 210030592 3.77 2.25 zeus11 214192128
150_sanfoundry_27_true-unreach-call_ground.i 901    882    zeus09 2486345728 902    883    zeus16 1586327552 902    884    zeus23 5701033984 901    818    4587974656 zeus19 901    818    4591550464 zeus09 902    816    zeus03 4599410688 902    818    4638310400 zeus03 901    857    4771389440 zeus01 906    784    zeus21 6824685568 902    854    zeus05 4859023360 902    884    828116992 zeus04 901    885    zeus02 833187840 901    885    zeus02 837189632 901    885    zeus19 828162048
150_sanfoundry_43_true-unreach-call_ground.i 3.90 2.30 zeus16 211951616 3.85 2.27 zeus07 209244160 4.72 2.74 zeus19 226533376 6.31 3.64 309833728 zeus15 5.78 3.35 298242048 zeus18 5.56 3.22 zeus18 312627200 5.45 3.17 319029248 zeus10 4.15 2.48 219590656 zeus09 3.93 2.35 zeus15 206225408 4.49 2.62 zeus12 229683200 4.16 2.45 206753792 zeus23 4.08 2.43 zeus18 211152896 3.77 2.26 zeus22 203112448 3.99 2.36 zeus12 214863872
150_sorting_bubblesort_true-unreach-call_ground.i 902    881    zeus11 1355415552 902    883    zeus16 1366446080 901    887    zeus11 955871232 901    791    4843479040 zeus23 902    791    4822384640 zeus11 902    788    zeus09 4824653824 902    795    5378404352 zeus05 902    853    4759535616 zeus23 901    847    zeus14 4849508352 902    857    zeus14 4679065600 901    886    836022272 zeus08 901    885    zeus15 854786048 901    885    zeus08 856412160 901    893    zeus17 783089664
150_sorting_selectionsort_true-unreach-call_ground.i 901    879    zeus09 812437504 902    884    zeus20 1347309568 902    877    zeus01 2083979264 902    815    4588531712 zeus02 902    819    4577726464 zeus05 901    820    zeus21 4597178368 902    820    4606304256 zeus08 902    852    4755877888 zeus11 902    855    zeus23 4752441344 902    850    zeus10 4665421824 902    883    817422336 zeus03 901    883    zeus10 808501248 902    884    zeus05 814632960 902    882    zeus17 1541521408
150_standard_compareModified_true-unreach-call_ground.i 902    883    zeus04 1332420608 901    880    zeus03 886702080 902    889    zeus23 856596480 901    815    4550901760 zeus23 901    819    4561039360 zeus21 901    820    zeus11 4574515200 950    664    12020342784 zeus01 902    857    4690939904 zeus16 902    857    zeus03 4710998016 901    850    zeus10 4929695744 902    885    894709760 zeus04 902    885    zeus12 911511552 901    885    zeus16 836390912 902    892    zeus06 790130688
150_standard_compare_true-unreach-call_ground.i 901    884    zeus10 2482900992 902    884    zeus20 1587834880 902    878    zeus13 4806393856 901    815    4592558080 zeus15 902    819    4598095872 zeus01 902    815    zeus17 4586754048 902    818    4596342784 zeus21 902    855    4811259904 zeus16 902    858    zeus01 4818444288 901    856    zeus11 4721303552 902    885    828207104 zeus02 902    884    zeus04 825868288 902    884    zeus06 830410752 902    884    zeus16 844689408
150_standard_copy1_true-unreach-call_ground.i 902    882    zeus18 6873014272 907    888    zeus13 6922182656 901    887    zeus06 905736192 901    815    4602523648 zeus11 902    812    4598050816 zeus22 902    820    zeus21 4612247552 901    813    6005256192 zeus02 902    850    4815962112 zeus06 902    854    zeus11 4884779008 901    847    zeus04 5066035200 902    884    891047936 zeus21 902    885    zeus19 884273152 902    885    zeus16 830693376 902    893    zeus16 733298688
150_standard_copy2_true-unreach-call_ground.i 902    880    zeus19 4437938176 901    878    zeus11 4464754688 902    890    zeus07 917561344 902    805    4809768960 zeus07 902    803    4809113600 zeus22 901    808    zeus07 4826222592 917    640    11438661632 zeus09 902    848    4793335808 zeus22 902    855    zeus17 4771586048 901    847    zeus06 5064617984 902    885    901894144 zeus17 903    884    zeus05 946044928 902    885    zeus03 832634880 902    893    zeus03 747278336
150_standard_copy3_true-unreach-call_ground.i 902    879    zeus20 2811908096 902    877    zeus05 2776461312 902    893    zeus23 888094720 902    823    4868083712 zeus07 902    821    4875001856 zeus11 902    824    zeus09 4887101440 903    702    8764461056 zeus12 901    852    4787896320 zeus08 901    859    zeus06 4923625472 902    848    zeus11 4865306624 902    885    904093696 zeus04 902    885    zeus01 887181312 901    885    zeus04 838201344 902    893    zeus01 787423232
150_standard_copy4_true-unreach-call_ground.i 902    880    zeus04 2758983680 902    881    zeus02 4379672576 902    894    zeus21 867196928 902    823    4877406208 zeus08 902    823    4873646080 zeus19 901    823    zeus16 4881637376 901    862    4660338688 zeus11 902    851    4835614720 zeus12 902    858    zeus13 4904697856 901    848    zeus21 4924518400 901    885    890966016 zeus23 901    885    zeus06 888578048 902    885    zeus22 825802752 902    893    zeus21 799133696
150_standard_copy5_true-unreach-call_ground.i 902    879    zeus01 2413293568 902    878    zeus07 2412171264 902    895    zeus09 823484416 902    821    4878147584 zeus11 902    818    4854972416 zeus03 902    823    zeus02 4906033152 902    862    4767727616 zeus23 902    855    4725612544 zeus22 902    859    zeus17 4915404800 902    849    zeus21 4827648000 902    885    891101184 zeus16 902    882    zeus03 907124736 901    884    zeus05 837832704 902    893    zeus21 818769920
150_standard_copy6_true-unreach-call_ground.i 901    879    zeus09 2417295360 902    878    zeus01 2412834816 902    895    zeus10 832757760 901    823    4879757312 zeus24 902    821    4901244928 zeus08 902    822    zeus01 4911824896 901    853    4876230656 zeus18 902    852    4817379328 zeus15 902    859    zeus13 4890746880 901    849    zeus17 4834594816 902    881    895811584 zeus13 902    886    zeus03 894181376 902    884    zeus07 829005824 902    893    zeus01 819798016
150_standard_copy7_true-unreach-call_ground.i 901    877    zeus08 2419650560 901    879    zeus18 2407972864 905    898    zeus04 856788992 902    817    4861546496 zeus15 902    818    4923928576 zeus11 902    820    zeus05 4924350464 901    853    4998467584 zeus21 901    850    4836761600 zeus12 902    861    zeus24 4862169088 901    849    zeus20 4715347968 902    885    907386880 zeus19 902    885    zeus09 894382080 901    884    zeus24 828231680 902    894    zeus07 823984128
150_standard_copy8_true-unreach-call_ground.i 901    877    zeus06 2759626752 901    879    zeus08 2750402560 902    896    zeus13 848371712 902    821    4882706432 zeus04 902    821    4888375296 zeus19 902    816    zeus13 4912238592 901    851    5113049088 zeus15 901    857    4735664128 zeus23 902    860    zeus19 4917301248 902    854    zeus04 5051842560 902    881    968572928 zeus22 901    885    zeus20 899379200 901    885    zeus20 835424256 902    894    zeus19 831172608
150_standard_copy9_true-unreach-call_ground.i 902    877    zeus03 2727706624 901    879    zeus10 2379616256 906    900    zeus12 865660928 902    816    4867473408 zeus24 901    820    4911022080 zeus01 902    819    zeus02 4898013184 902    845    5289816064 zeus16 901    853    4800028672 zeus24 901    853    zeus15 4842151936 901    852    zeus18 4961009664 902    884    918970368 zeus11 902    885    zeus02 890691584 902    885    zeus18 817356800 901    893    zeus06 853655552
150_standard_copyInitSum2_true-unreach-call_ground.i 902    878    zeus19 2793336832 902    878    zeus19 2418479104 902    888    zeus23 943087616 902    818    4869607424 zeus05 901    818    4867731456 zeus13 902    819    zeus09 4861980672 902    803    5903527936 zeus20 902    852    4826566656 zeus15 902    855    zeus02 4731482112 902    847    zeus22 4990431232 901    885    832929792 zeus12 901    885    zeus12 823549952 902    885    zeus12 819232768 902    894    zeus10 740327424
150_standard_copyInitSum3_true-unreach-call_ground.i 901    879    zeus08 2422345728 901    877    zeus05 2735874048 902    886    zeus08 943525888 902    819    4913541120 zeus05 901    820    4876333056 zeus24 902    821    zeus16 4857057280 902    813    5793947648 zeus05 902    851    4778885120 zeus01 902    854    zeus03 4875640832 902    845    zeus08 4984029184 901    885    827260928 zeus07 901    885    zeus15 828510208 902    884    zeus15 818130944 902    893    zeus15 732749824
150_standard_copyInitSum_true-unreach-call_ground.i 902    878    zeus04 2315022336 902    876    zeus08 2866884608 901    890    zeus22 1002590208 902    822    4856467456 zeus14 902    822    4846501888 zeus09 902    820    zeus20 4856754176 902    806    6406340608 zeus19 902    855    4681809920 zeus12 902    857    zeus10 4903817216 901    846    zeus12 5127155712 902    884    822648832 zeus16 901    885    zeus06 833404928 902    885    zeus04 817303552 902    893    zeus14 738148352
150_standard_copyInit_true-unreach-call_ground.i 901    880    zeus07 4405600256 902    874    zeus10 2457690112 901    887    zeus02 937967616 902    804    4807954432 zeus06 902    805    4818612224 zeus13 901    809    zeus04 4828209152 901    809    6417678336 zeus14 901    852    4811702272 zeus16 902    853    zeus14 4760801280 902    837    zeus21 5273460736 901    882    831254528 zeus23 901    885    zeus22 828882944 902    885    zeus04 830664704 901    893    zeus22 773271552
150_standard_find_true-unreach-call_ground.i 901    885    zeus06 4221005824 4.39 2.61 zeus05 213291008 901    886    zeus23 4228534272 902    817    4758450176 zeus17 901    824    4717674496 zeus06 901    822    zeus20 4698206208 901    819    4760735744 zeus19 902    825    5896114176 zeus19 901    826    zeus22 6238347264 901    827    zeus11 6570438656 901    889    860647424 zeus14 902    888    zeus22 886251520 901    887    zeus23 900747264 902    889    zeus19 828915712
150_standard_init1_true-unreach-call_ground.i 903    884    zeus06 6867935232 905    885    zeus06 5646049280 901    880    zeus05 1316540416 901    818    4588736512 zeus20 902    814    4608311296 zeus07 902    821    zeus09 4588048384 901    817    4764758016 zeus03 902    854    4777439232 zeus02 901    848    zeus16 4733845504 901    849    zeus13 4985249792 902    885    835768320 zeus04 902    885    zeus11 838311936 901    884    zeus21 830431232 902    893    zeus19 740048896
150_standard_init2_true-unreach-call_ground.i 901    880    zeus02 4532215808 902    878    zeus11 2907979776 902    883    zeus13 879734784 902    807    4850110464 zeus05 902    808    4824928256 zeus09 902    809    zeus13 4825714688 903    814    5358239744 zeus12 901    855    4789981184 zeus02 901    852    zeus07 4768378880 901    849    zeus09 4791562240 902    885    839163904 zeus11 902    885    zeus21 841883648 902    885    zeus05 831016960 901    893    zeus06 745787392
150_standard_init3_true-unreach-call_ground.i 902    877    zeus01 2798133248 902    880    zeus06 2782842880 903    886    zeus12 878559232 902    822    4890628096 zeus08 902    823    4887461888 zeus16 902    824    zeus10 4895580160 901    810    5250367488 zeus14 902    850    4822798336 zeus22 902    858    zeus04 4742238208 901    849    zeus20 4841734144 902    885    829296640 zeus13 902    885    zeus02 838680576 901    884    zeus23 838651904 902    893    zeus10 725827584
150_standard_init4_true-unreach-call_ground.i 902    880    zeus16 2404843520 902    883    zeus02 4358504448 901    885    zeus13 890490880 902    820    4874051584 zeus15 901    822    4894445568 zeus06 902    826    zeus16 4870221824 902    814    5078384640 zeus07 902    856    4761128960 zeus06 902    854    zeus12 4939509760 902    848    zeus07 4816666624 901    885    816410624 zeus09 901    885    zeus24 825614336 902    885    zeus16 821096448 902    893    zeus08 720314368
150_standard_init5_true-unreach-call_ground.i 901    879    zeus19 2404487168 901    880    zeus01 2379091968 901    884    zeus02 929533952 902    818    4880756736 zeus15 901    823    4889399296 zeus14 901    823    zeus11 4875280384 902    812    5246406656 zeus10 902    847    4838268928 zeus22 902    855    zeus15 4809900032 902    847    zeus23 5018259456 901    886    835751936 zeus04 902    885    zeus22 818495488 901    885    zeus23 826667008 901    893    zeus20 746917888
150_standard_init6_true-unreach-call_ground.i 902    880    zeus10 2365628416 902    880    zeus10 2676510720 901    883    zeus01 962355200 902    820    4918444032 zeus03 902    822    4893204480 zeus18 902    822    zeus11 4881780736 901    817    5033422848 zeus19 901    849    4831952896 zeus02 902    858    zeus11 4807274496 901    849    zeus16 4908974080 902    884    827551744 zeus05 902    884    zeus13 835334144 902    885    zeus19 824823808 902    893    zeus01 732393472
150_standard_init7_true-unreach-call_ground.i 902    878    zeus23 2399965184 902    878    zeus23 2415697920 901    885    zeus09 910471168 902    817    4882239488 zeus08 902    823    4865757184 zeus21 902    823    zeus20 4893769728 902    816    5077118976 zeus06 902    854    4784693248 zeus12 902    857    zeus03 4834291712 902    844    zeus19 4908060672 901    885    824475648 zeus02 902    884    zeus13 837533696 902    885    zeus24 824041472 902    893    zeus01 734363648
150_standard_init8_true-unreach-call_ground.i 902    877    zeus24 1673035776 901    878    zeus20 2367401984 903    885    zeus07 938758144 902    819    4894523392 zeus18 901    818    4905091072 zeus06 901    824    zeus06 4895481856 902    820    4927012864 zeus04 901    852    4811862016 zeus01 901    851    zeus20 4774121472 902    849    zeus13 5019951104 902    883    842485760 zeus03 902    884    zeus24 841523200 902    886    zeus10 822546432 902    893    zeus22 725839872
150_standard_init9_true-unreach-call_ground.i 901    878    zeus17 2698407936 902    880    zeus11 2382680064 903    887    zeus04 937312256 902    816    4853190656 zeus04 902    818    4878864384 zeus04 902    822    zeus03 4901228544 901    823    5084110848 zeus15 901    851    4831875072 zeus15 901    858    zeus11 4808163328 901    844    zeus24 4940251136 902    884    850444288 zeus24 902    884    zeus01 838041600 901    884    zeus12 839962624 902    894    zeus11 728002560
150_standard_maxInArray_true-unreach-call_ground.i 902    883    zeus01 1586216960 902    883    zeus06 1351872512 903    883    zeus22 5837946880 901    815    4598276096 zeus10 902    812    4597264384 zeus17 902    819    zeus19 4613980160 902    820    4628447232 zeus11 902    858    4705542144 zeus06 902    852    zeus23 4800417792 902    854    zeus14 4828913664 902    884    832258048 zeus21 901    885    zeus08 841367552 901    886    zeus10 829112320 902    885    zeus13 837701632
150_standard_minInArray_true-unreach-call_ground.i 902    882    zeus19 1598873600 902    883    zeus14 2479013888 903    883    zeus02 8094056448 901    816    4613476352 zeus20 902    816    4606705664 zeus12 902    819    zeus20 4613324800 901    817    4621205504 zeus14 901    855    4789510144 zeus19 902    854    zeus24 4866039808 902    860    zeus12 4877516800 901    885    831799296 zeus22 901    885    zeus17 832479232 901    885    zeus13 850907136 901    885    zeus19 842874880
150_standard_palindrome_true-unreach-call_ground.i 258    245    zeus11 3962036224 237    224    zeus21 4028936192 902    888    zeus03 981708800 901    790    4975341568 zeus11 902    793    4881747968 zeus23 902    797    zeus03 4727939072 902    818    4743757824 zeus20 122    87.9  3903930368 zeus06 108    78.4  zeus17 4460990464 901    788    zeus07 6584385536 902    889    839999488 zeus14 902    889    zeus12 853794816 902    889    zeus02 880504832 902    894    zeus23 727347200
150_standard_partial_init_true-unreach-call_ground.i 901    879    zeus06 799207424 901    881    zeus09 978018304 901    893    zeus05 747704320 901    817    4585635840 zeus05 901    814    4582825984 zeus12 902    821    zeus24 4562481152 978    762    11518730240 zeus19 901    851    4805165056 zeus03 901    858    zeus10 4695814144 901    850    zeus11 4768452608 902    885    835846144 zeus06 902    885    zeus10 831160320 901    885    zeus24 836878336 902    893    zeus19 826331136
150_standard_partition_original_true-unreach-call_ground.i 901    880    zeus08 797126656 902    884    zeus08 1356689408 902    894    zeus01 750333952 902    818    4542795776 zeus09 902    823    4552933376 zeus23 902    823    zeus15 4547436544 901    665    9045569536 zeus14 902    851    4751654912 zeus20 902    856    zeus23 4848144384 902    849    zeus18 4770082816 901    886    830537728 zeus22 901    886    zeus01 838066176 902    886    zeus21 833044480 902    893    zeus21 819400704
150_standard_partition_true-unreach-call_ground.i 902    879    zeus24 1378058240 902    882    zeus16 1347284992 902    888    zeus07 814362624 901    800    4825972736 zeus13 902    803    4825264128 zeus12 902    806    zeus17 4835897344 901    780    5506015232 zeus11 902    851    4775329792 zeus07 902    857    zeus15 4890263552 902    848    zeus05 4843433984 901    885    848203776 zeus03 901    884    zeus18 837152768 902    882    zeus15 867463168 901    892    zeus02 772300800
150_standard_password_true-unreach-call_ground.i 902    883    zeus11 1320439808 902    883    zeus23 1351258112 902    877    zeus19 4777811968 901    818    4583735296 zeus01 902    819    4577394688 zeus12 902    821    zeus10 4580769792 902    821    4605317120 zeus02 901    851    4836671488 zeus11 902    852    zeus16 4840402944 902    857    zeus10 4906541056 902    884    824545280 zeus23 902    885    zeus09 819752960 901    884    zeus20 835751936 902    885    zeus06 846147584
150_standard_reverse_true-unreach-call_ground.i 704    686    zeus21 4672708608 707    686    zeus24 4622020608 902    888    zeus03 909336576 901    816    4587524096 zeus16 901    815    4596961280 zeus06 901    815    zeus04 4626497536 901    811    5744623616 zeus06 902    851    4848640000 zeus20 902    850    zeus08 4822134784 901    850    zeus06 5068705792 902    886    921350144 zeus14 901    885    zeus09 919674880 901    886    zeus07 828948480 902    893    zeus22 737153024
150_standard_running_true-unreach-call.i 902    875    zeus23 856363008 901    880    zeus17 1366425600 902    878    zeus20 974663680 902    805    4841951232 zeus11 902    803    4875612160 zeus08 902    807    zeus23 4813385728 902    787    5451939840 zeus13 902    850    4744818688 zeus08 902    838    zeus21 5299986432 902    846    zeus09 4819521536 901    886    844648448 zeus08 901    885    zeus10 833601536 901    885    zeus21 838942720 902    893    zeus07 767475712
150_standard_sentinel_true-unreach-call.i 3.88 2.31 zeus10 223367168 3.90 2.35 zeus23 218095616 6.02 3.59 zeus01 244817920 901    821    4918054912 zeus24 901    819    4740087808 zeus23 902    820    zeus05 4859535360 901    831    4595175424 zeus22 4.36 2.56 220286976 zeus24 4.25 2.50 zeus08 213864448 1000    827    zeus23 7490064384 4.53 2.67 218095616 zeus07 4.22 2.53 zeus17 210771968 4.12 2.47 zeus03 209993728 4.62 2.78 zeus11 230109184
150_standard_seq_init_true-unreach-call_ground.i 904    884    zeus20 6502973440 902    882    zeus22 7034740736 901    879    zeus02 1280815104 901    817    4622524416 zeus14 901    814    4606636032 zeus06 901    817    zeus23 4604944384 902    820    4682137600 zeus13 901    852    4775612416 zeus16 901    857    zeus06 4860731392 902    851    zeus18 4982824960 902    883    850538496 zeus17 901    886    zeus15 844845056 902    885    zeus14 831369216 902    893    zeus07 736714752
150_standard_strcmp_true-unreach-call_ground.i 258    255    zeus10 14999998464 901    883    zeus21 1358794752 885    855    zeus17 3094740992 901    778    7517708288 zeus07 901    773    6698471424 zeus06 901    816    zeus09 4619878400 901    771    5180964864 zeus07 902    851    4750495744 zeus09 902    857    zeus19 4871950336 902    857    zeus14 4747231232 911    905    1335017472 zeus22 906    900    zeus19 1342861312 902    886    zeus16 952344576 901    885    zeus21 824516608
150_standard_strcpy_original_true-unreach-call.i 901    893    zeus20 716922880 901    893    zeus09 727494656 901    891    zeus14 786452480 901    825    4722331648 zeus17 902    824    4746797056 zeus06 901    825    zeus13 4865982464 901    808    5912600576 zeus01 4.37 2.64 219168768 zeus01 901    829    zeus11 5797634048 902    764    zeus16 7210754048 902    892    828039168 zeus21 902    892    zeus04 824979456 902    893    zeus18 826060800 910    900    zeus11 846311424
150_standard_strcpy_true-unreach-call_ground.i 4.29 2.53 zeus11 225341440 3.95 2.31 zeus21 214192128 901    888    zeus22 820736000 901    822    4723232768 zeus07 902    823    4719652864 zeus02 901    827    zeus17 4641648640 901    803    6100459520 zeus05 4.57 2.70 219222016 zeus02 902    844    zeus14 6003126272 901    850    zeus21 5391630336 901    887    818503680 zeus16 901    888    zeus14 813588480 901    887    zeus23 916365312 902    891    zeus11 883245056
150_standard_two_index_01_true-unreach-call.i 907    889    zeus18 9158959104 913    892    zeus21 4658003968 902    893    zeus12 735199232 692    611    4986052608 zeus10 661    579    5035921408 zeus21 598    525    zeus15 4744437760 901    794    6113562624 zeus14 901    853    4807593984 zeus16 902    848    zeus08 4799578112 902    850    zeus22 5045846016 902    885    894464000 zeus11 901    885    zeus05 886030336 901    885    zeus16 839462912 902    894    zeus04 727859200
150_standard_two_index_02_true-unreach-call.i 296    284    zeus12 3924963328 107    94.1  zeus03 2229981184 902    893    zeus23 724553728 902    783    4960538624 zeus21 901    786    4895506432 zeus16 901    795    zeus15 4709498880 903    781    6280871936 zeus16 126    93.5  4463181824 zeus04 121    85.7  zeus07 4475121664 930    840    zeus16 6021595136 902    889    839233536 zeus01 902    889    zeus24 824299520 901    888    zeus13 788488192 901    893    zeus06 764821504
150_standard_two_index_03_true-unreach-call.i 65.6  56.1  zeus16 1326260224 38.3  28.8  zeus04 816316416 902    893    zeus09 725069824 901    802    4793790464 zeus01 902    798    4763963392 zeus13 901    801    zeus04 4814389248 902    778    6790287360 zeus18 66.3  38.8  1894813696 zeus07 62.2  34.2  zeus17 2521485312 901    816    zeus04 6684712960 901    888    842444800 zeus09 901    888    zeus06 855236608 901    887    zeus04 823734272 901    893    zeus03 777506816
150_standard_two_index_04_true-unreach-call.i 28.4  22.1  zeus09 841359360 23.8  16.7  zeus18 701931520 902    893    zeus05 722317312 902    809    4693118976 zeus21 902    804    4685062144 zeus05 902    810    zeus08 4690063360 902    781    6859055104 zeus15 48.9  26.2  1359384576 zeus16 45.9  24.4  zeus17 1420238848 901    824    zeus06 6386061312 901    889    800071680 zeus10 901    889    zeus21 796774400 902    889    zeus16 762994688 902    894    zeus07 729976832
150_standard_two_index_05_true-unreach-call.i 16.1  11.5  zeus12 573214720 15.8  10.5  zeus20 621846528 902    893    zeus22 737906688 901    817    4664074240 zeus21 902    814    4637814784 zeus18 902    812    zeus19 4760743936 901    779    7121817600 zeus08 41.1  21.6  1023909888 zeus14 38.1  19.7  zeus04 889827328 902    811    zeus06 6664261632 901    888    816275456 zeus24 901    889    zeus06 823046144 901    890    zeus09 803667968 902    893    zeus15 734904320
150_standard_two_index_06_true-unreach-call.i 12.7  8.32 zeus22 422260736 13.1  8.22 zeus01 445693952 902    893    zeus24 781697024 901    819    4638760960 zeus12 902    814    4680925184 zeus23 901    815    zeus24 4727808000 901    772    6890909696 zeus20 36.2  18.8  870170624 zeus03 31.2  16.3  zeus15 850837504 901    817    zeus05 6729355264 901    891    810512384 zeus18 901    890    zeus02 801214464 902    890    zeus05 834760704 901    893    zeus06 737341440
150_standard_two_index_07_true-unreach-call.i 10.6  6.55 zeus15 367849472 11.1  6.71 zeus07 398802944 902    894    zeus09 808714240 902    822    4674670592 zeus03 901    821    4677197824 zeus24 901    816    zeus19 4691345408 901    784    6465544192 zeus22 32.7  17.0  845651968 zeus05 25.7  13.4  zeus21 822304768 943    834    zeus16 6952271872 901    890    836304896 zeus23 901    889    zeus06 814325760 912    902    zeus23 774180864 901    892    zeus20 770359296
150_standard_two_index_08_true-unreach-call.i 10.1  5.99 zeus17 321404928 10.6  6.15 zeus10 352616448 902    893    zeus15 774930432 901    823    4615581696 zeus14 901    824    4650631168 zeus04 901    815    zeus21 4757700608 903    778    7043760128 zeus24 22.3  11.9  736464896 zeus02 20.4  10.8  zeus17 589885440 901    822    zeus16 6800478208 901    890    835231744 zeus22 902    891    zeus05 822145024 901    890    zeus24 810110976 902    892    zeus16 788484096
150_standard_two_index_09_true-unreach-call.i 9.47 5.56 zeus03 285077504 10.3  5.94 zeus06 334340096 902    893    zeus16 745119744 901    824    4622950400 zeus16 902    823    4674744320 zeus19 901    822    zeus10 4725719040 901    772    7016824832 zeus12 17.3  9.29 669122560 zeus07 17.6  9.36 zeus13 525840384 456    406    zeus24 5523210240 901    891    836632576 zeus21 901    890    zeus14 841310208 901    891    zeus19 783175680 902    892    zeus03 794161152
150_standard_vararg_true-unreach-call_ground.i 902    888    zeus08 2332860416 3.96 2.35 zeus08 209080320 901    886    zeus22 2567340032 901    824    4711063552 zeus18 901    825    4680601600 zeus02 901    834    zeus07 4573679616 902    824    4702236672 zeus18 901    786    8129904640 zeus09 902    806    zeus06 8125796352 905    748    zeus10 7545233408 902    888    869072896 zeus05 901    887    zeus02 817430528 901    888    zeus04 888950784 901    888    zeus06 873066496
150_standard_vector_difference_true-unreach-call_ground.i 906    887    zeus09 9098645504 902    882    zeus21 5817131008 901    889    zeus20 891318272 901    818    4602220544 zeus02 902    818    4586668032 zeus05 902    816    zeus06 4578480128 901    649    11519086592 zeus11 902    856    4711137280 zeus23 902    849    zeus17 4811939840 901    850    zeus02 4987625472 902    885    989704192 zeus03 902    885    zeus03 986570752 902    885    zeus13 832708608 902    893    zeus17 772358144
test/programs/array-simplified-benchmarks/arrays-size-150/ 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) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) 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 63900    62300    269954101248 88 64200   62600    206810742784 88 74800 73600   133121351680 88 76100   68600   422650249216 88 76100   68700    421358592000 88 76100   69000    406659239936 88 76300   68200    509746630656 88 66400   62400    370965069824 88 68100   64200    389231190016 88 76400 71300 440358596608 88 75800   74400    72767107072 88 75800   74400    72810643456 88 75800   74400    71024181248 88 75800   74900    68912857088
    correct results 3 725    697    4966268928 4 777   747    5295464448 5 856 819   3570323456 4 1490   1310   10679713792 4 1530   1350    10623885312 4 1580   1390    10610589696 2 15.1 8.63 698716160 3 12.8 7.59 653881344 3 12.2 7.30 637583360 3 465 411 5970608128 3 12.4 7.35 633532416 3 12.2 7.26 633688064 3 11.6 6.97 623136768 3 12.4 7.39 659165184
        correct true 2 7.92 4.68 416833536 3 15.4 8.88 705417216 4 109 98.0 1130811392 2 17.9 10.1 722534400 2 17.2 9.61 698384384 2 16.5 9.32 687247360 2 15.1 8.63 698716160 3 12.8 7.59 653881344 3 12.2 7.30 637583360 3 465 411 5970608128 3 12.4 7.35 633532416 3 12.2 7.26 633688064 3 11.6 6.97 623136768 3 12.4 7.39 659165184
        correct false 1 717    692    4549435392 1 762   738    4590047232 1 747 721   2439512064 2 1470   1300   9957179392 2 1520   1340    9925500928 2 1570   1380    9923342336 0 0 0 0 0 0 0 0
    incorrect results 0 0 1 885 855   3094740992 0 0 0 0 0 0 0 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 885 855   3094740992 0 0 0 0 0 0 0 0 0 0 0
score (88 tasks, max score: 148) 5 7 -7 6 6 6 4 6 6 6 6 6 6 6
Run set MathSAT5-heaparray.ArraysReach150 MathSAT5-oldarray.ArraysReach150 MathSAT5-uf.ArraysReach150 PRINCESS-heaparray-quantifiers.ArraysReach150 PRINCESS-heaparray.ArraysReach150 PRINCESS-oldarray.ArraysReach150 PRINCESS-uf.ArraysReach150 SMTInterpol-heaparray.ArraysReach150 SMTInterpol-oldarray.ArraysReach150 SMTInterpol-uf.ArraysReach150 Z3-heaparray-quantifiers.ArraysReach150 Z3-heaparray.ArraysReach150 Z3-oldarray.ArraysReach150 Z3-uf.ArraysReach150