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.ArraysReach250 MathSAT5-oldarray.ArraysReach250 MathSAT5-uf.ArraysReach250 PRINCESS-heaparray-quantifiers.ArraysReach250 PRINCESS-heaparray.ArraysReach250 PRINCESS-oldarray.ArraysReach250 PRINCESS-uf.ArraysReach250 SMTInterpol-heaparray.ArraysReach250 SMTInterpol-oldarray.ArraysReach250 SMTInterpol-uf.ArraysReach250 Z3-heaparray-quantifiers.ArraysReach250 Z3-heaparray.ArraysReach250 Z3-oldarray.ArraysReach250 Z3-uf.ArraysReach250
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-250/ 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 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
250_data_structures_set_multi_proc_false-unreach-call_ground.i 127    125    14999998464 zeus07 901    882    zeus03 2407292928 903    895    zeus06 756600832 901    861    4622225408 zeus14 901    863    zeus11 4644270080 901    819    zeus21 4578824192 901    852    zeus12 4714188800 911    875    zeus16 4562657280 902    859    zeus20 4710985728 902    852    zeus20 4653662208 902    898    1202880512 zeus22 903    898    zeus19 1185443840 901    885    zeus07 817356800 902    885    zeus15 858083328
250_sorting_bubblesort_false-unreach-call2_ground.i 902    882    1369579520 zeus24 901    882    zeus11 1581002752 902    890    zeus22 909283328 902    822    4813737984 zeus20 902    814    zeus06 4783702016 901    825    zeus23 4871696384 902    803    zeus24 5373603840 901    850    zeus24 4803137536 901    854    zeus17 4907581440 901    853    zeus17 4790943744 901    885    830660608 zeus05 902    886    zeus17 843096064 902    885    zeus19 854286336 902    894    zeus07 817176576
250_sorting_bubblesort_false-unreach-call_ground.i 901    882    1600221184 zeus05 902    882    zeus07 1352839168 901    889    zeus23 914104320 902    821    4817883136 zeus24 902    819    zeus17 4827627520 901    823    zeus04 4827963392 902    800    zeus08 5366489088 901    849    zeus24 4808318976 902    855    zeus10 4884795392 902    857    zeus22 4619354112 902    885    836100096 zeus10 901    886    zeus09 844247040 901    885    zeus04 838488064 902    894    zeus06 828813312
250_sorting_selectionsort_false-unreach-call2_ground.i 901    882    1584070656 zeus03 902    883    zeus11 1592954880 902    877    zeus13 2123145216 901    817    4584009728 zeus10 902    822    zeus18 4560031744 902    821    zeus01 4579749888 902    817    zeus20 4623065088 901    855    zeus07 4746440704 902    855    zeus14 4859142144 901    848    zeus02 4843823104 902    883    843395072 zeus21 901    883    zeus21 833159168 901    885    zeus14 836370432 902    885    zeus18 1428901888
250_sorting_selectionsort_false-unreach-call_ground.i 902    880    946606080 zeus10 901    883    zeus08 1504862208 902    877    zeus16 1896927232 901    817    4603240448 zeus23 902    819    zeus03 4606337024 901    817    zeus19 4614815744 901    821    zeus19 4613890048 902    853    zeus22 4740550656 902    856    zeus05 4745142272 901    846    zeus19 4768907264 902    882    826695680 zeus22 902    883    zeus23 818855936 902    884    zeus17 810627072 901    885    zeus15 1251491840
250_standard_allDiff2_false-unreach-call_ground.i 902    880    2857799680 zeus18 902    881    zeus14 2482393088 902    878    zeus08 4678594560 901    817    4583718912 zeus11 902    820    zeus10 4596830208 901    822    zeus06 4585721856 901    817    zeus15 4600672256 902    850    zeus17 4652720128 902    858    zeus02 4665552896 902    851    zeus23 4694736896 902    879    1113960448 zeus19 901    879    zeus01 975589376 901    882    zeus19 1420337152 902    880    zeus16 988434432
250_standard_copy1_false-unreach-call_ground.i 902    881    4606107648 zeus18 902    882    zeus01 4626350080 902    889    zeus19 895406080 901    817    4622901248 zeus14 902    820    zeus22 4595146752 901    817    zeus09 4593131520 901    750    zeus09 11130052608 902    849    zeus10 4822409216 902    860    zeus08 4777623552 901    850    zeus22 5063094272 901    885    826388480 zeus14 901    885    zeus05 820891648 901    885    zeus11 830713856 902    893    zeus11 757702656
250_standard_copy2_false-unreach-call_ground.i 901    881    4452610048 zeus17 902    881    zeus01 4423360512 902    894    zeus07 886448128 902    816    4901109760 zeus18 902    821    zeus03 4937056256 901    819    zeus23 4893986816 797    1030    zeus08 4575555584 901    853    zeus11 4830937088 901    855    zeus14 4751118336 901    841    zeus20 5165273088 902    885    897675264 zeus16 902    885    zeus04 905904128 902    885    zeus21 822628352 902    894    zeus10 822132736
250_standard_copy3_false-unreach-call_ground.i 901    879    2798215168 zeus03 902    879    zeus04 4497715200 903    896    zeus02 885092352 901    819    4954198016 zeus02 902    817    zeus20 4946194432 902    814    zeus11 4871286784 901    864    zeus05 4616519680 902    849    zeus02 4739670016 901    859    zeus10 4718321664 901    850    zeus09 4980695040 901    885    890867712 zeus05 902    885    zeus19 886550528 902    884    zeus08 829816832 902    894    zeus18 833236992
250_standard_copy4_false-unreach-call_ground.i 902    880    2772013056 zeus13 902    878    zeus01 2819145728 903    896    zeus15 874995712 901    817    4868759552 zeus05 902    819    zeus14 4903768064 901    820    zeus08 4902768640 901    853    zeus01 4989116416 902    852    zeus12 4828680192 902    851    zeus09 4803735552 901    849    zeus07 4785688576 902    885    903442432 zeus03 902    885    zeus16 887595008 902    885    zeus22 817180672 902    894    zeus18 853053440
250_standard_copy5_false-unreach-call_ground.i 902    879    2724048896 zeus14 901    878    zeus11 2738368512 904    897    zeus06 854306816 902    818    4936998912 zeus04 902    818    zeus14 4911005696 902    817    zeus16 4927225856 901    849    zeus08 5232070656 902    851    zeus03 4745670656 902    856    zeus06 4902596608 901    847    zeus05 4925472768 902    885    911458304 zeus12 902    885    zeus14 907141120 902    885    zeus21 829341696 902    894    zeus23 855027712
250_standard_copy6_false-unreach-call_ground.i 902    879    2382708736 zeus21 902    878    zeus14 2782470144 907    901    zeus14 948076544 901    814    4905328640 zeus01 902    817    zeus07 4870746112 901    817    zeus13 4935913472 901    833    zeus19 5525417984 902    849    zeus05 4836139008 902    858    zeus13 4908318720 902    848    zeus06 5052190720 902    884    889184256 zeus23 902    884    zeus20 887885824 902    885    zeus05 834347008 902    894    zeus20 874823680
250_standard_copy7_false-unreach-call_ground.i 901    878    2370007040 zeus17 902    877    zeus16 2377342976 905    899    zeus14 918908928 902    815    4880293888 zeus20 901    817    zeus20 4935278592 902    816    zeus05 4952580096 902    835    zeus03 5881126912 901    849    zeus18 4868603904 902    859    zeus03 4865998848 901    847    zeus06 5059457024 902    885    896737280 zeus03 901    886    zeus07 896897024 902    884    zeus06 829415424 902    894    zeus04 900321280
250_standard_copy8_false-unreach-call_ground.i 901    879    2409930752 zeus19 901    879    zeus17 2447671296 906    900    zeus12 1139486720 902    818    4899069952 zeus20 902    817    zeus10 4908507136 902    818    zeus21 4947525632 901    822    zeus01 6283014144 902    849    zeus13 4838776832 902    856    zeus06 4860944384 901    847    zeus16 5039722496 902    884    900489216 zeus17 901    885    zeus02 904663040 901    885    zeus23 839340032 902    893    zeus02 893231104
250_standard_copy9_false-unreach-call_ground.i 902    878    1305473024 zeus02 901    879    zeus12 2767650816 911    905    zeus16 1167032320 901    817    4913098752 zeus02 902    816    zeus14 4912676864 902    815    zeus10 4987346944 902    801    zeus07 6723407872 901    850    zeus22 4821155840 902    857    zeus05 4863684608 901    849    zeus23 4992815104 902    882    918888448 zeus22 902    882    zeus14 914313216 901    881    zeus16 847048704 902    894    zeus08 897290240
250_standard_copyInitSum2_false-unreach-call_ground.i 901    878    2428399616 zeus03 902    876    zeus02 2775879680 901    891    zeus12 930340864 902    815    4954308608 zeus14 901    814    zeus14 4945698816 901    819    zeus06 4956389376 901    771    zeus11 9149681664 902    851    zeus22 4810940416 901    855    zeus06 4812726272 902    850    zeus14 5089275904 901    885    823570432 zeus08 902    885    zeus16 831131648 902    884    zeus11 815579136 901    893    zeus22 767635456
250_standard_init1_false-unreach-call_ground.i 902    882    4625354752 zeus10 901    877    zeus11 4594384896 902    884    zeus05 897933312 902    813    4579016704 zeus05 902    819    zeus22 4619870208 901    819    zeus22 4605030400 901    817    zeus11 4874199040 902    853    zeus22 4792225792 902    851    zeus04 4717060096 902    849    zeus17 5012344832 902    885    838057984 zeus21 902    885    zeus19 835338240 902    885    zeus05 831160320 902    894    zeus09 741134336
250_standard_init2_false-unreach-call_ground.i 902    881    4419792896 zeus02 901    878    zeus08 2914979840 902    885    zeus12 914935808 902    818    4944687104 zeus03 901    817    zeus19 4948443136 901    819    zeus07 4958932992 901    812    zeus17 5330722816 902    848    zeus21 5038759936 901    856    zeus03 4817440768 902    850    zeus20 5196718080 901    885    817565696 zeus02 901    882    zeus21 844759040 902    885    zeus04 825569280 902    894    zeus19 765493248
250_standard_init3_false-unreach-call_ground.i 902    879    2430951424 zeus15 902    882    zeus04 4382322688 901    886    zeus20 930365440 902    817    4934582272 zeus13 901    815    zeus01 4953141248 902    817    zeus22 4956733440 903    819    zeus20 5225213952 901    842    zeus21 5018955776 902    857    zeus14 4885917696 901    849    zeus05 5088075776 902    885    823840768 zeus04 901    885    zeus03 835555328 902    885    zeus03 825217024 901    894    zeus18 749817856
250_standard_init4_false-unreach-call_ground.i 901    880    2758344704 zeus14 901    880    zeus20 2756501504 901    886    zeus05 938795008 902    814    4919377920 zeus08 901    817    zeus12 4944412672 902    817    zeus18 4925083648 902    819    zeus18 5156294656 901    855    zeus19 4719058944 901    855    zeus14 4978012160 902    848    zeus07 5072809984 901    885    832753664 zeus24 901    885    zeus18 820731904 902    885    zeus14 824041472 902    894    zeus06 755044352
250_standard_init5_false-unreach-call_ground.i 902    879    2427301888 zeus01 902    880    zeus08 2412810240 901    886    zeus13 947752960 902    817    4914515968 zeus07 901    816    zeus17 4932890624 901    816    zeus07 4952702976 901    810    zeus22 5470863360 902    850    zeus15 4830212096 902    857    zeus17 4834172928 902    846    zeus16 5060608000 902    885    822226944 zeus05 902    885    zeus04 829562880 902    885    zeus09 833290240 902    894    zeus16 752095232
250_standard_init6_false-unreach-call_ground.i 901    880    2653376512 zeus03 902    879    zeus17 2420404224 901    884    zeus18 966799360 902    817    4952354816 zeus05 902    816    zeus10 4968570880 902    817    zeus08 4937375744 902    813    zeus10 5361393664 902    852    zeus07 4735115264 901    858    zeus14 4886343680 901    850    zeus04 5101834240 901    885    824303616 zeus10 901    885    zeus06 832581632 902    884    zeus03 822161408 902    893    zeus09 747823104
250_standard_init7_false-unreach-call_ground.i 901    876    1648914432 zeus15 902    880    zeus23 2420195328 901    885    zeus02 990240768 902    815    4936663040 zeus05 902    818    zeus07 4984295424 902    818    zeus12 4976713728 903    815    zeus18 5238329344 901    851    zeus22 4815749120 901    855    zeus08 4951912448 902    847    zeus17 4969902080 902    885    841117696 zeus22 901    885    zeus06 826904576 902    884    zeus19 839118848 902    893    zeus08 763797504
250_standard_init8_false-unreach-call_ground.i 901    878    2456498176 zeus21 902    879    zeus17 2427600896 902    886    zeus20 985124864 902    816    4917821440 zeus01 902    819    zeus10 4981055488 903    819    zeus23 4950974464 902    815    zeus23 5330567168 902    850    zeus11 4855422976 901    840    zeus21 5139824640 902    846    zeus20 4917092352 902    885    832020480 zeus04 901    885    zeus21 830435328 901    884    zeus13 832225280 902    893    zeus10 747569152
250_standard_init9_false-unreach-call_ground.i 901    877    1329176576 zeus21 901    880    zeus09 2417684480 901    886    zeus15 986943488 902    816    4972388352 zeus09 901    818    zeus06 4919578624 902    820    zeus15 4979871744 902    821    zeus06 5191225344 901    851    zeus14 4802633728 902    857    zeus13 4961460224 902    846    zeus18 5016436736 901    884    843083776 zeus21 902    884    zeus15 850984960 901    885    zeus13 821202944 901    894    zeus12 754163712
250_standard_minInArray_false-unreach-call_ground.i 902    883    1366106112 zeus04 902    883    zeus22 1585500160 902    881    zeus13 4638945280 902    813    4603555840 zeus09 901    816    zeus24 4610641920 901    819    zeus03 4585730048 902    817    zeus14 4599988224 901    856    zeus05 4850184192 902    860    zeus20 4889018368 901    855    zeus18 4841684992 902    885    832671744 zeus17 902    885    zeus10 841109504 901    885    zeus05 829923328 902    885    zeus05 845029376
250_standard_partition_false-unreach-call_ground.i 902    878    1425408000 zeus03 902    880    zeus19 1338785792 902    895    zeus10 767246336 901    818    4858998784 zeus04 901    819    zeus15 4861521920 901    821    zeus23 4869132288 892    1030    zeus18 4685684736 901    851    zeus23 4786380800 902    853    zeus01 4786176000 901    849    zeus08 4824043520 901    886    826359808 zeus07 902    885    zeus12 836616192 902    885    zeus24 823681024 902    894    zeus19 850251776
250_standard_running_false-unreach-call.i 901    874    852348928 zeus17 902    880    zeus10 1416056832 902    883    zeus21 979447808 902    819    4908335104 zeus01 902    818    zeus23 4916150272 902    819    zeus06 4885016576 902    757    zeus22 8793591808 902    846    zeus03 4800540672 902    850    zeus20 4771020800 901    852    zeus19 4860493824 901    885    847044608 zeus23 901    884    zeus05 844247040 901    885    zeus21 855293952 902    893    zeus05 792866816
250_data_structures_set_multi_proc_trivial_true-unreach-call_ground.i 127    125    14999998464 zeus15 8.62 4.85 zeus05 285319168 491    483    zeus11 738222080 901    864    4622565376 zeus21 901    863    zeus14 4623069184 902    822    zeus20 4595933184 902    857    zeus09 4671352832 908    873    zeus10 4567379968 902    858    zeus08 4606259200 901    854    zeus02 4881674240 903    899    1177882624 zeus07 903    898    zeus12 1199837184 902    882    zeus07 795664384 902    884    zeus02 853606400
250_data_structures_set_multi_proc_true-unreach-call_ground.i 128    126    14999998464 zeus15 902    882    zeus18 2346790912 902    895    zeus04 758083584 901    864    4626407424 zeus17 901    863    zeus07 4636811264 901    819    zeus20 4569624576 902    856    zeus12 4613791744 912    876    zeus10 4562804736 902    860    zeus24 4679843840 901    852    zeus21 4800339968 903    899    1193467904 zeus23 903    898    zeus18 1186623488 901    884    zeus21 792395776 902    885    zeus23 859623424
250_relax_true-unreach-call.i 4.49 2.59 213741568 zeus24 4.54 2.66 zeus06 228904960 4.40 2.54 zeus14 223305728 6.24 3.57 314650624 zeus05 5.92 3.40 zeus23 317218816 9.46 5.32 zeus12 430002176 6.12 3.51 zeus17 303702016 4.75 2.74 zeus03 220958720 4.74 2.78 zeus08 230780928 4.14 2.39 zeus21 223559680 4.52 2.62 217694208 zeus11 4.37 2.48 zeus14 218222592 5.07 2.90 zeus16 220237824 4.27 2.49 zeus14 220729344
250_sanfoundry_02_true-unreach-call_ground.i 902    882    1554550784 zeus15 902    882    zeus09 1363333120 901    878    zeus10 3094974464 901    812    4608364544 zeus21 902    814    zeus18 4600664064 901    816    zeus11 4597587968 902    824    zeus20 4600889344 902    854    zeus04 4742840320 901    857    zeus13 4863385600 901    853    zeus16 4810493952 901    887    847376384 zeus20 901    887    zeus20 845312000 901    886    zeus07 826830848 901    886    zeus14 825819136
250_sanfoundry_10_true-unreach-call_ground.i 902    880    4773302272 zeus17 902    880    zeus07 4574949376 902    888    zeus10 839823360 901    818    4883931136 zeus11 902    819    zeus24 4885925888 902    821    zeus17 4878479360 902    803    zeus01 5191225344 902    846    zeus23 4888870912 901    847    zeus11 4888928256 901    840    zeus02 5279354880 903    885    955154432 zeus06 901    885    zeus19 943218688 902    884    zeus13 941502464 902    892    zeus12 832303104
250_sanfoundry_24_true-unreach-call.i 3.79 2.23 215441408 zeus21 3.87 2.25 zeus15 204980224 3.89 2.28 zeus03 209608704 13.2  7.10 404398080 zeus05 10.7  6.01 zeus18 394850304 10.2  5.73 zeus14 379875328 10.7  5.88 zeus03 386977792 4.33 2.53 zeus20 221966336 4.26 2.54 zeus18 213270528 4.21 2.49 zeus20 213803008 4.10 2.47 213282816 zeus11 3.90 2.30 zeus21 212131840 3.87 2.31 zeus22 210313216 3.78 2.22 zeus21 212606976
250_sanfoundry_27_true-unreach-call_ground.i 902    882    1592078336 zeus02 902    883    zeus19 1592500224 901    878    zeus12 4687142912 901    818    4622163968 zeus20 901    817    zeus20 4602159104 901    818    zeus01 4594016256 902    820    zeus07 4587769856 902    853    zeus07 4887371776 902    854    zeus01 4803026944 902    856    zeus07 4830371840 901    885    838791168 zeus12 901    885    zeus23 837623808 901    885    zeus23 828932096 901    885    zeus15 843194368
250_sanfoundry_43_true-unreach-call_ground.i 4.32 2.55 213962752 zeus05 4.11 2.41 zeus16 211652608 5.06 2.92 zeus06 242278400 6.34 3.71 323317760 zeus22 5.82 3.32 zeus21 315027456 5.56 3.23 zeus09 316166144 6.26 3.57 zeus09 331857920 4.34 2.50 zeus03 219414528 3.98 2.37 zeus05 212172800 5.79 3.35 zeus20 231137280 4.07 2.39 210022400 zeus14 4.06 2.42 zeus07 209887232 3.78 2.26 zeus01 202182656 4.42 2.55 zeus22 223485952
250_sorting_bubblesort_true-unreach-call_ground.i 902    882    1380446208 zeus09 902    882    zeus03 1593901056 901    889    zeus04 906387456 901    820    4841394176 zeus02 901    824    zeus03 4828254208 901    817    zeus08 4818673664 902    799    zeus11 5430411264 901    848    zeus22 4816576512 901    850    zeus04 4792176640 902    856    zeus06 4620722176 902    881    852283392 zeus24 901    885    zeus22 827060224 901    885    zeus24 837955584 902    894    zeus11 815071232
250_sorting_selectionsort_true-unreach-call_ground.i 902    877    885047296 zeus16 901    880    zeus17 822902784 901    876    zeus07 1859342336 902    820    4603318272 zeus18 902    818    zeus22 4599496704 902    820    zeus13 4606730240 901    816    zeus07 4608344064 902    851    zeus13 4749594624 901    855    zeus04 4744912896 902    849    zeus23 4739563520 902    882    822337536 zeus19 902    883    zeus03 819924992 902    883    zeus20 822521856 902    885    zeus22 1462169600
250_standard_compareModified_true-unreach-call_ground.i 901    880    894636032 zeus13 901    880    zeus03 915128320 901    893    zeus13 839856128 901    819    4563546112 zeus08 902    818    zeus02 4566753280 901    822    zeus23 4566515712 820    1030    zeus24 4743802880 901    851    zeus23 4753776640 902    851    zeus22 4739612672 901    849    zeus01 5047488512 901    886    906706944 zeus21 901    886    zeus06 901279744 901    885    zeus24 850841600 902    893    zeus17 825049088
250_standard_compare_true-unreach-call_ground.i 901    883    1570615296 zeus04 902    883    zeus05 1351602176 902    880    zeus20 4687552512 901    816    4602306560 zeus20 902    816    zeus23 4599984128 901    820    zeus03 4601352192 901    818    zeus12 4594909184 902    854    zeus24 4827004928 901    858    zeus14 4898127872 902    842    zeus21 5095755776 902    885    839921664 zeus12 902    885    zeus14 825430016 902    885    zeus13 833085440 901    886    zeus01 840175616
250_standard_copy1_true-unreach-call_ground.i 902    882    4595818496 zeus17 902    882    zeus14 4626198528 902    890    zeus03 900403200 901    815    4613947392 zeus10 901    817    zeus01 4601819136 901    819    zeus05 4593557504 902    757    zeus21 9396277248 901    853    zeus12 4789133312 902    849    zeus14 4822884352 901    846    zeus14 5163016192 902    885    914046976 zeus01 902    885    zeus21 908873728 902    885    zeus13 824905728 902    894    zeus23 809644032
250_standard_copy2_true-unreach-call_ground.i 902    879    2927255552 zeus13 901    875    zeus11 2450436096 902    894    zeus12 888954880 901    817    4887007232 zeus04 902    818    zeus02 4918550528 901    820    zeus09 4926922752 834    1030    zeus18 4703952896 902    854    zeus01 4758867968 902    853    zeus19 4777238528 901    842    zeus20 5173923840 902    886    898981888 zeus20 902    882    zeus17 919756800 902    884    zeus07 844652544 902    894    zeus23 826204160
250_standard_copy3_true-unreach-call_ground.i 902    881    4391108608 zeus12 902    877    zeus21 2457255936 902    895    zeus01 887451648 901    818    4941852672 zeus09 902    819    zeus19 4926623744 901    822    zeus01 4927836160 901    858    zeus16 4791676928 902    853    zeus06 4729536512 902    854    zeus10 4721733632 901    845    zeus12 4843925504 901    885    906510336 zeus24 901    885    zeus07 890843136 902    885    zeus08 821596160 902    894    zeus01 834539520
250_standard_copy4_true-unreach-call_ground.i 901    879    2420461568 zeus07 902    878    zeus24 2793095168 903    897    zeus24 873766912 902    818    4914884608 zeus05 902    817    zeus06 4913180672 902    818    zeus03 4930101248 902    855    zeus20 5004054528 901    850    zeus14 4793798656 902    861    zeus08 4927889408 902    844    zeus03 4810469376 902    885    883838976 zeus11 902    886    zeus09 891850752 901    884    zeus01 825131008 902    894    zeus19 834400256
250_standard_copy5_true-unreach-call_ground.i 901    876    2429595648 zeus16 902    878    zeus06 2761433088 902    895    zeus05 849858560 902    817    4889833472 zeus16 902    818    zeus22 4918329344 902    817    zeus11 4912398336 902    848    zeus24 5208424448 902    851    zeus15 4819582976 902    858    zeus05 4916842496 902    847    zeus02 5127602176 902    886    890171392 zeus24 902    881    zeus18 897302528 902    883    zeus24 826310656 901    894    zeus04 860114944
250_standard_copy6_true-unreach-call_ground.i 901    878    2757697536 zeus06 901    878    zeus15 2417795072 907    901    zeus05 956473344 902    821    4906762240 zeus09 902    817    zeus14 4939022336 901    820    zeus06 4942110720 901    838    zeus13 5535522816 901    848    zeus20 4806373376 902    859    zeus12 4852973568 902    851    zeus16 4989272064 902    885    893775872 zeus17 901    885    zeus16 885538816 901    885    zeus10 825585664 902    894    zeus01 868548608
250_standard_copy7_true-unreach-call_ground.i 901    878    2385117184 zeus04 902    879    zeus22 2426695680 903    897    zeus15 892485632 902    817    4922822656 zeus17 901    820    zeus09 4917248000 901    814    zeus01 4958830592 901    837    zeus15 5908725760 902    849    zeus05 4801290240 901    857    zeus07 4912844800 901    846    zeus23 4937637888 902    885    909729792 zeus12 902    884    zeus21 910454784 902    885    zeus15 827875328 902    893    zeus22 877502464
250_standard_copy8_true-unreach-call_ground.i 901    877    2434732032 zeus16 901    879    zeus22 2798407680 904    899    zeus04 1138749440 902    820    4907978752 zeus21 902    817    zeus07 4935192576 902    822    zeus22 4950913024 902    821    zeus12 6271369216 902    853    zeus14 4665565184 902    855    zeus01 4848992256 901    844    zeus21 5121257472 902    885    890769408 zeus14 901    885    zeus02 906883072 901    885    zeus06 832393216 902    894    zeus14 896020480
250_standard_copy9_true-unreach-call_ground.i 901    878    2667073536 zeus10 901    880    zeus20 2434015232 909    903    zeus16 1173909504 901    817    4930502656 zeus09 902    817    zeus14 4890370048 902    820    zeus13 4961718272 901    806    zeus01 6740017152 901    850    zeus16 4858810368 902    853    zeus16 4800012288 901    843    zeus13 5060640768 902    885    903581696 zeus23 902    882    zeus17 921821184 902    885    zeus22 822415360 902    894    zeus19 896368640
250_standard_copyInitSum2_true-unreach-call_ground.i 901    879    2867302400 zeus22 902    876    zeus07 2814550016 901    891    zeus17 922193920 902    817    4961624064 zeus11 902    816    zeus24 4969549824 902    819    zeus17 4943462400 902    752    zeus05 8987783168 902    856    zeus14 4672651264 901    854    zeus05 4875706368 902    846    zeus14 5049999360 901    886    830275584 zeus18 901    885    zeus13 824930304 902    885    zeus06 815697920 901    893    zeus21 814911488
250_standard_copyInitSum3_true-unreach-call_ground.i 901    879    2789433344 zeus16 901    877    zeus08 2795380736 901    890    zeus10 931749888 901    813    4942868480 zeus13 901    813    zeus18 4956811264 902    816    zeus05 4938174464 901    712    zeus19 8207450112 901    853    zeus15 4789817344 902    853    zeus15 4725211136 901    838    zeus15 5258223616 901    885    824487936 zeus05 902    885    zeus05 821248000 902    884    zeus16 830046208 902    893    zeus04 831913984
250_standard_copyInitSum_true-unreach-call_ground.i 902    878    2823745536 zeus24 902    876    zeus07 2444427264 902    895    zeus08 1188376576 902    810    4931821568 zeus18 901    813    zeus11 4932984832 901    819    zeus16 4945645568 901    728    zeus24 11083431936 901    851    zeus18 4805083136 902    855    zeus10 4947070976 902    848    zeus02 4998008832 902    885    819519488 zeus02 902    885    zeus07 827928576 902    885    zeus02 830734336 902    893    zeus16 820158464
250_standard_copyInit_true-unreach-call_ground.i 902    881    4417118208 zeus03 901    876    zeus05 2928095232 901    889    zeus07 929570816 901    812    4933619712 zeus18 901    818    zeus14 4942712832 902    818    zeus10 4965490688 902    739    zeus13 9212096512 902    849    zeus19 4802117632 902    856    zeus22 4943519744 902    841    zeus23 5103390720 902    885    834113536 zeus14 902    886    zeus04 830128128 902    885    zeus18 817397760 901    893    zeus08 817573888
250_standard_find_true-unreach-call_ground.i 901    887    2415308800 zeus07 3.96 2.32 zeus09 223010816 901    886    zeus10 2463330304 901    826    4713017344 zeus18 901    826    zeus21 4703051776 902    820    zeus08 4716670976 901    819    zeus07 4797374464 902    834    zeus13 5953368064 902    823    zeus10 6053908480 901    829    zeus18 6392803328 901    888    890720256 zeus02 901    889    zeus23 869822464 902    887    zeus10 879247360 901    888    zeus15 875704320
250_standard_init1_true-unreach-call_ground.i 902    880    4637999104 zeus02 901    881    zeus16 4598489088 901    884    zeus24 891564032 902    820    4609560576 zeus02 902    815    zeus12 4605767680 901    819    zeus22 4605759488 901    819    zeus12 4729364480 902    847    zeus13 4830146560 901    845    zeus02 4786593792 902    841    zeus19 5254979584 901    886    818642944 zeus19 902    886    zeus04 827465728 902    885    zeus12 829444096 902    893    zeus13 768630784
250_standard_init2_true-unreach-call_ground.i 902    879    2911555584 zeus18 902    879    zeus21 2926792704 901    885    zeus07 917913600 902    814    4917583872 zeus23 902    819    zeus04 4944355328 902    818    zeus23 4977475584 902    814    zeus12 5297942528 902    851    zeus09 4804071424 901    855    zeus01 4862287872 902    850    zeus04 5065977856 902    882    836833280 zeus09 902    882    zeus12 854687744 902    885    zeus02 828542976 902    894    zeus01 753590272
250_standard_init3_true-unreach-call_ground.i 902    878    2815029248 zeus24 901    880    zeus18 2791055360 901    886    zeus03 932421632 902    817    4964958208 zeus19 901    817    zeus23 4973379584 901    819    zeus14 4948639744 902    809    zeus04 5411524608 902    851    zeus15 4788367360 902    857    zeus14 4922773504 901    848    zeus13 5021667328 902    885    822185984 zeus07 901    885    zeus21 826531840 902    885    zeus12 823803904 902    894    zeus04 748998656
250_standard_init4_true-unreach-call_ground.i 901    877    1651318784 zeus12 902    881    zeus08 2769965056 901    886    zeus13 936239104 902    814    4981772288 zeus09 902    819    zeus17 4943405056 902    820    zeus21 4979159040 903    818    zeus19 5207089152 902    852    zeus11 4812767232 902    852    zeus17 4838428672 901    841    zeus22 5139447808 902    884    821796864 zeus10 901    885    zeus12 827428864 902    885    zeus19 817233920 902    894    zeus11 750055424
250_standard_init5_true-unreach-call_ground.i 901    878    2803773440 zeus07 901    881    zeus04 2407378944 901    886    zeus04 951939072 902    816    4980170752 zeus17 902    818    zeus04 4948385792 902    817    zeus17 4923600896 902    817    zeus05 5185941504 902    847    zeus20 4830388224 902    854    zeus02 4754104320 902    844    zeus22 4919119872 901    885    833425408 zeus18 902    884    zeus02 828882944 902    885    zeus12 819515392 902    893    zeus04 748994560
250_standard_init6_true-unreach-call_ground.i 902    880    2420826112 zeus09 902    881    zeus09 1322627072 901    885    zeus16 980881408 902    817    4945129472 zeus16 902    818    zeus07 4963008512 902    818    zeus13 4938498048 901    811    zeus12 5281939456 902    850    zeus02 4858974208 902    857    zeus15 4932304896 902    846    zeus22 5082738688 902    884    823721984 zeus15 901    885    zeus19 829280256 901    884    zeus12 813314048 902    894    zeus12 750211072
250_standard_init7_true-unreach-call_ground.i 902    879    2414133248 zeus15 901    877    zeus21 2404335616 903    887    zeus08 983003136 902    820    4949958656 zeus15 901    821    zeus21 4958072832 902    819    zeus08 4945395712 904    819    zeus23 5125672960 901    854    zeus11 4760858624 901    857    zeus20 4870676480 902    844    zeus16 5003968512 901    885    826351616 zeus10 902    884    zeus17 841244672 901    884    zeus14 821596160 902    894    zeus09 760627200
250_standard_init8_true-unreach-call_ground.i 901    879    2355130368 zeus02 901    878    zeus22 2715103232 901    886    zeus23 965115904 902    816    4940898304 zeus18 902    815    zeus11 4966060032 902    819    zeus17 4949598208 901    814    zeus22 5389836288 902    852    zeus08 4731408384 902    861    zeus09 4782182400 902    850    zeus12 5012496384 901    882    853221376 zeus13 901    885    zeus15 839704576 902    884    zeus16 842989568 902    894    zeus15 747814912
250_standard_init9_true-unreach-call_ground.i 901    879    2713165824 zeus19 902    878    zeus12 1630314496 902    885    zeus07 980332544 901    818    4956364800 zeus23 902    815    zeus01 4973719552 902    816    zeus18 4952096768 902    821    zeus13 5078802432 902    852    zeus20 4862554112 902    858    zeus16 4845416448 901    839    zeus15 5170802688 902    884    858071040 zeus14 901    885    zeus09 837316608 901    883    zeus02 829091840 902    894    zeus23 753594368
250_standard_maxInArray_true-unreach-call_ground.i 902    882    1597480960 zeus01 901    885    zeus23 2488123392 902    882    zeus15 4634009600 901    813    4595163136 zeus01 901    816    zeus05 4577267712 902    820    zeus02 4614213632 902    821    zeus07 4623388672 901    854    zeus18 4840095744 901    858    zeus02 4998508544 901    857    zeus10 4775051264 901    885    851791872 zeus10 902    884    zeus17 825618432 901    886    zeus15 832233472 901    885    zeus02 839360512
250_standard_minInArray_true-unreach-call_ground.i 902    882    1599045632 zeus19 901    884    zeus24 2489516032 902    880    zeus08 4562767872 902    813    4604461056 zeus13 901    816    zeus10 4615262208 901    818    zeus08 4586655744 901    822    zeus23 4617113600 901    856    zeus22 4849659904 902    859    zeus07 4913971200 901    854    zeus14 4829294592 901    886    833945600 zeus22 901    885    zeus12 843608064 901    886    zeus23 831397888 902    885    zeus02 832749568
250_standard_palindrome_true-unreach-call_ground.i 912    896    13540724736 zeus21 902    885    zeus17 13605289984 901    884    zeus21 913178624 902    812    4592893952 zeus15 902    819    zeus20 4604338176 902    816    zeus23 4623482880 901    819    zeus19 4632322048 517    472    zeus22 4648411136 527    484    zeus16 4618919936 902    825    zeus10 5236699136 901    886    1012498432 zeus09 901    886    zeus18 1003606016 902    885    zeus20 1001312256 902    893    zeus11 765476864
250_standard_partial_init_true-unreach-call_ground.i 901    880    804356096 zeus16 901    883    zeus06 1364606976 902    895    zeus14 710967296 901    816    4571762688 zeus14 902    819    zeus14 4582563840 902    820    zeus22 4552151040 851    1030    zeus19 4605595648 902    847    zeus09 4792799232 902    852    zeus22 4927016960 901    848    zeus07 4732694528 902    885    841158656 zeus16 902    886    zeus02 841076736 901    886    zeus13 818077696 902    893    zeus01 848654336
250_standard_partition_original_true-unreach-call_ground.i 901    881    808747008 zeus12 902    884    zeus16 1359265792 902    895    zeus19 705089536 901    821    4541837312 zeus10 901    818    zeus11 4545511424 901    823    zeus04 4539432960 893    1030    zeus13 4726087680 901    849    zeus07 4813717504 902    855    zeus08 4861292544 902    852    zeus20 4995600384 901    886    829472768 zeus05 901    887    zeus05 836263936 902    886    zeus15 826929152 901    893    zeus11 904851456
250_standard_partition_true-unreach-call_ground.i 902    881    1526321152 zeus12 902    880    zeus11 1367457792 901    892    zeus14 765095936 901    819    4894867456 zeus05 901    821    zeus24 4854652928 902    818    zeus06 4833796096 901    744    zeus06 10055917568 902    847    zeus19 4817149952 902    857    zeus17 4924739584 901    838    zeus21 5282557952 901    885    826417152 zeus16 902    885    zeus06 835977216 901    885    zeus01 828989440 902    893    zeus12 831922176
250_standard_password_true-unreach-call_ground.i 902    883    1314684928 zeus14 902    882    zeus17 1620176896 901    881    zeus12 4623818752 901    817    4602875904 zeus22 901    817    zeus11 4611751936 902    810    zeus16 4619952128 901    817    zeus18 4593344512 902    852    zeus03 4820946944 902    852    zeus01 4818173952 901    854    zeus01 4837535744 902    884    852533248 zeus18 902    885    zeus05 835969024 901    885    zeus11 821690368 902    886    zeus02 839917568
250_standard_reverse_true-unreach-call_ground.i 902    881    4602945536 zeus14 902    882    zeus04 4602310656 902    890    zeus03 890023936 902    818    4608536576 zeus19 901    814    zeus03 4623380480 902    817    zeus14 4615389184 902    768    zeus03 9279741952 901    844    zeus21 5066571776 901    847    zeus08 4822179840 902    839    zeus21 5178040320 901    886    926605312 zeus02 902    886    zeus19 924385280 901    886    zeus01 825135104 902    893    zeus17 814731264
250_standard_running_true-unreach-call.i 901    871    925749248 zeus06 902    880    zeus03 1380339712 901    882    zeus08 1001050112 902    816    4931100672 zeus18 902    816    zeus07 4898623488 902    819    zeus04 4894707712 903    761    zeus22 9371561984 902    848    zeus03 4751790080 902    851    zeus06 4747296768 902    851    zeus05 4954390528 902    884    836509696 zeus11 901    885    zeus05 849723392 902    884    zeus18 844701696 902    894    zeus04 830042112
250_standard_sentinel_true-unreach-call.i 4.05 2.42 221806592 zeus07 4.10 2.43 zeus03 221421568 6.89 4.29 zeus07 255823872 901    820    4904652800 zeus17 902    820    zeus03 4975575040 901    816    zeus24 4983349248 902    828    zeus02 4554260480 5.30 3.11 zeus05 216674304 4.50 2.66 zeus01 218009600 902    828    zeus06 6943092736 4.32 2.58 220532736 zeus08 4.78 2.86 zeus01 212578304 4.14 2.48 zeus05 208658432 5.44 3.19 zeus05 235327488
250_standard_seq_init_true-unreach-call_ground.i 902    880    4673560576 zeus07 902    882    zeus07 4635709440 902    884    zeus16 905351168 901    818    4607700992 zeus18 901    815    zeus07 4605161472 902    816    zeus09 4585734144 902    817    zeus12 4740427776 902    851    zeus13 4750843904 902    855    zeus22 4935319552 901    844    zeus03 5040164864 901    886    830504960 zeus07 901    886    zeus13 843411456 902    885    zeus04 820662272 902    893    zeus11 754122752
250_standard_strcmp_true-unreach-call_ground.i 913    908    4558979072 zeus06 902    884    zeus03 2484207616 902    878    zeus15 2833350656 901    742    8962809856 zeus10 901    716    zeus18 8867037184 901    817    zeus21 4595445760 901    694    zeus14 8819732480 902    850    zeus13 4775014400 902    856    zeus05 4815278080 902    857    zeus07 4698931200 913    908    2836365312 zeus23 913    908    zeus19 2834710528 902    886    zeus22 936038400 901    886    zeus18 828817408
250_standard_strcpy_original_true-unreach-call.i 902    893    721375232 zeus07 901    893    zeus19 719044608 901    891    zeus15 804835328 901    826    4797161472 zeus06 901    826    zeus14 4815872000 902    827    zeus18 4861591552 901    777    zeus23 8983801856 4.63 2.75 zeus13 219459584 902    831    zeus16 6137360384 902    772    zeus24 7133442048 902    892    843743232 zeus01 902    893    zeus07 833548288 901    893    zeus13 832802816 902    892    zeus09 831238144
250_standard_strcpy_true-unreach-call_ground.i 4.37 2.59 226136064 zeus14 4.12 2.43 zeus02 216330240 902    892    zeus07 781815808 901    822    4686061568 zeus09 901    822    zeus10 4691382272 901    826    zeus16 4657266688 901    754    zeus18 8941912064 4.52 2.66 zeus15 216690688 901    842    zeus20 5854359552 901    865    zeus13 4654628864 901    888    804691968 zeus10 901    888    zeus10 825356288 902    888    zeus22 943394816 902    891    zeus06 865505280
250_standard_two_index_01_true-unreach-call.i 902    881    4630528000 zeus20 902    882    zeus08 4637003776 902    894    zeus13 745938944 902    817    4868050944 zeus21 902    820    zeus05 4898222080 901    819    zeus07 4937695232 901    747    zeus08 9749483520 902    857    zeus04 4848832512 901    851    zeus08 4805120000 902    850    zeus09 5035315200 902    885    877785088 zeus10 902    886    zeus06 886456320 902    885    zeus20 838557696 902    893    zeus06 771293184
250_standard_two_index_02_true-unreach-call.i 912    896    13537374208 zeus12 605    588    zeus13 6944034816 902    894    zeus13 733634560 902    821    4610572288 zeus02 902    817    zeus11 4599623680 901    815    zeus08 4613296128 901    681    zeus17 9068421120 543    502    zeus11 4724015104 587    542    zeus24 4636889088 902    849    zeus19 4927692800 902    886    886923264 zeus13 901    885    zeus14 887898112 902    885    zeus20 849788928 902    893    zeus06 824266752
250_standard_two_index_03_true-unreach-call.i 447    434    4864614400 zeus17 144    131    zeus15 2807394304 902    895    zeus05 733327360 902    785    4991938560 zeus24 902    787    zeus12 4969631744 902    797    zeus22 4738134016 902    740    zeus22 9499521024 155    122    zeus02 4508450816 150    118    zeus13 4487696384 902    823    zeus20 5264588800 902    889    837537792 zeus10 902    889    zeus19 840380416 902    888    zeus05 804487168 902    893    zeus03 823410688
250_standard_two_index_04_true-unreach-call.i 143    133    2458726400 zeus05 65.7  55.0  zeus20 1449914368 902    894    zeus09 752467968 901    795    4890476544 zeus04 902    792    zeus19 4850794496 901    800    zeus05 4757835776 903    752    zeus11 9707376640 87.9  57.1  zeus08 3195822080 100    68.9  zeus16 4408909824 902    828    zeus10 6033297408 902    890    828567552 zeus11 902    889    zeus14 829997056 901    888    zeus22 820051968 902    894    zeus14 813461504
250_standard_two_index_05_true-unreach-call.i 63.2  53.8  1338601472 zeus05 39.2  29.6  zeus15 814063616 902    894    zeus22 742420480 901    799    4784840704 zeus03 902    800    zeus06 4704894976 902    807    zeus04 4811743232 901    749    zeus07 9155497984 78.7  48.9  zeus01 1966075904 61.9  36.1  zeus13 2514472960 902    828    zeus08 6082121728 901    888    845971456 zeus02 901    889    zeus22 831516672 901    887    zeus17 821547008 902    893    zeus15 821764096
250_standard_two_index_06_true-unreach-call.i 39.4  30.8  979951616 zeus01 28.5  19.9  zeus19 770224128 902    894    zeus18 748539904 901    813    4680077312 zeus07 902    806    zeus18 4698583040 901    808    zeus05 4721541120 902    774    zeus24 8640073728 55.4  30.2  zeus03 1374089216 48.3  26.6  zeus05 1400270848 901    828    zeus10 6272602112 901    889    826327040 zeus22 901    889    zeus19 818733056 911    896    zeus14 875384832 902    893    zeus23 826097664
250_standard_two_index_07_true-unreach-call.i 24.3  18.7  827621376 zeus24 17.4  11.2  zeus21 694497280 902    894    zeus22 727973888 901    811    4681580544 zeus21 901    802    zeus19 4660420608 901    807    zeus19 4605276160 901    755    zeus20 8991162368 43.6  23.0  zeus19 1003003904 42.6  23.0  zeus08 1175584768 901    824    zeus11 6443544576 901    888    828772352 zeus01 901    889    zeus21 794284032 902    890    zeus04 789082112 902    893    zeus15 820453376
250_standard_two_index_08_true-unreach-call.i 20.3  14.7  627273728 zeus03 17.9  11.5  zeus09 676696064 902    894    zeus17 746188800 902    809    4685697024 zeus18 902    808    zeus16 4599316480 901    805    zeus22 4599308288 902    752    zeus01 9023127552 41.1  21.5  zeus02 840196096 37.6  19.7  zeus02 886132736 902    818    zeus20 6248919040 902    890    793526272 zeus17 901    889    zeus06 808038400 902    890    zeus08 782651392 902    892    zeus21 807395328
250_standard_two_index_09_true-unreach-call.i 14.6  10.2  486264832 zeus05 15.2  9.97 zeus20 516898816 902    894    zeus02 725442560 902    813    4677865472 zeus14 902    811    zeus08 4695654400 901    813    zeus08 4714958848 902    754    zeus03 9369280512 40.0  20.6  zeus02 851599360 37.2  19.4  zeus14 854388736 901    817    zeus09 6221295616 901    890    811659264 zeus21 901    889    zeus09 818184192 911    900    zeus01 792264704 901    893    zeus20 753717248
250_standard_vararg_true-unreach-call_ground.i 902    888    2332635136 zeus17 4.05 2.39 zeus11 217825280 902    885    zeus18 2321055744 902    823    4696969216 zeus11 901    827    zeus04 4683014144 902    832    zeus18 4551778304 902    824    zeus14 4710133760 902    800    zeus12 7441448960 902    795    zeus03 8356986880 901    801    zeus14 8273760256 901    889    873574400 zeus08 901    889    zeus24 867131392 901    888    zeus09 908333056 902    887    zeus16 816922624
250_standard_vector_difference_true-unreach-call_ground.i 901    882    4618891264 zeus06 901    881    zeus16 4589584384 902    894    zeus08 849575936 902    818    4616093696 zeus11 902    816    zeus05 4605190144 901    819    zeus06 4617105408 898    1030    zeus08 4637630464 902    851    zeus09 4776611840 902    850    zeus23 4693549056 901    848    zeus16 5131862016 902    885    989863936 zeus19 902    886    zeus23 982638592 902    885    zeus16 833753088 902    894    zeus08 824033280
test/programs/array-simplified-benchmarks/arrays-size-250/ 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 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 67000    65400    264164278272 88 65900   64300    212365287424 88 75400 74300 112560287744 88 76700   69400   413050531840 88 76700   69500    413070991360 88 76700   69500    408631078912 88 76300   69700    530374168576 88 67400   63400    378396110848 88 69200   65300    395863150592 88 76600   71700    440189915136 88 75800   74400    76100415488 88 75800   74400    75929759744 88 75800   74400    71535673344 88 75800   74900    71277932544
    correct results 2 8.11 4.78 429404160 3 16.6 9.52 701952000 4 507 493 1445933056 2 19.5 10.8 727715840 2 16.5 9.33 709877760 2 15.8 8.96 696041472 2 17.0 9.45 718835712 3 14.0 8.15 658055168 3 12.7 7.56 643452928 2 10.0 5.85 444940288 3 12.5 7.43 643837952 3 12.7 7.57 634597376 3 11.8 7.05 621154304 3 13.6 7.97 671420416
        correct true 2 8.11 4.78 429404160 3 16.6 9.52 701952000 4 507 493 1445933056 2 19.5 10.8 727715840 2 16.5 9.33 709877760 2 15.8 8.96 696041472 2 17.0 9.45 718835712 3 14.0 8.15 658055168 3 12.7 7.56 643452928 2 10.0 5.85 444940288 3 12.5 7.43 643837952 3 12.7 7.57 634597376 3 11.8 7.05 621154304 3 13.6 7.97 671420416
        correct false 0 0 0 0 0 0 0 0 0 0 0 0 0 0
    incorrect results 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0
score (88 tasks, max score: 148) 4 6 8 4 4 4 4 6 6 4 6 6 6 6
Run set MathSAT5-heaparray.ArraysReach250 MathSAT5-oldarray.ArraysReach250 MathSAT5-uf.ArraysReach250 PRINCESS-heaparray-quantifiers.ArraysReach250 PRINCESS-heaparray.ArraysReach250 PRINCESS-oldarray.ArraysReach250 PRINCESS-uf.ArraysReach250 SMTInterpol-heaparray.ArraysReach250 SMTInterpol-oldarray.ArraysReach250 SMTInterpol-uf.ArraysReach250 Z3-heaparray-quantifiers.ArraysReach250 Z3-heaparray.ArraysReach250 Z3-oldarray.ArraysReach250 Z3-uf.ArraysReach250