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.Loops MathSAT5-oldarray.Loops MathSAT5-uf.Loops PRINCESS-heaparray-quantifiers.Loops PRINCESS-heaparray.Loops PRINCESS-oldarray.Loops PRINCESS-uf.Loops SMTInterpol-heaparray.Loops SMTInterpol-oldarray.Loops SMTInterpol-uf.Loops Z3-heaparray-quantifiers.Loops Z3-heaparray.Loops Z3-oldarray.Loops Z3-uf.Loops
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/benchmarks/ status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage
loops/array_false-unreach-call.i 4.75 2.78 zeus05 245243904 4.47 2.65 zeus20 231493632 4.93 2.91 zeus07 248389632 11.6  6.41 417873920 zeus21 11.4  6.43 zeus03 427618304 11.4  6.37 zeus11 434974720 15.3  8.32 zeus16 456450048 5.54 3.18 zeus23 326787072 4.86 2.84 zeus03 240623616 6.01 3.46 zeus09 333099008 4.71 2.80 240689152 zeus04 4.64 2.79 237928448 zeus22 4.76 2.75 zeus16 229163008 6.14 3.69 zeus01 237072384
loops/bubble_sort_false-unreach-call.i 7.66 4.34 zeus06 369307648 6.25 3.64 zeus06 265928704 7.34 4.21 zeus01 369025024 22.4  11.9  516591616 zeus19 23.4  12.3  zeus20 511160320 11.9  6.46 zeus02 422547456 17.3  9.23 zeus20 446251008 8.87 4.99 zeus06 368799744 6.87 3.90 zeus04 351838208 7.85 4.56 zeus14 380211200 8.35 4.81 377962496 zeus11 7.91 4.45 366030848 zeus16 6.98 3.95 zeus10 359485440 7.63 4.34 zeus05 360099840
loops/count_up_down_false-unreach-call_true-termination.i 4.58 2.72 zeus17 225546240 4.29 2.50 zeus02 228364288 4.75 2.79 zeus12 231276544 9.53 5.31 432037888 zeus10 8.89 5.00 zeus17 390750208 10.0  5.50 zeus22 446316544 9.06 5.02 zeus09 411873280 4.48 2.66 zeus10 223334400 4.56 2.70 zeus24 220131328 4.55 2.65 zeus02 224772096 4.17 2.49 220499968 zeus08 4.37 2.61 225312768 zeus05 4.47 2.62 zeus14 224579584 4.03 2.38 zeus19 220872704
loops/eureka_01_false-unreach-call.i 913    908    zeus22 410894336 3.71 2.18 zeus07 208994304 116    101    zeus05 844505088 76.9  40.0  1189912576 zeus02 74.5  38.9  zeus24 1200021504 4.93 2.89 zeus04 298598400 901    811    zeus15 4684410880 10.7  5.88 zeus08 423198720 4.10 2.43 zeus20 211513344 67.8  35.7  zeus01 1325678592 8.48 5.37 377528320 zeus21 8.77 5.61 377004032 zeus11 3.79 2.21 zeus08 208216064 902    884    zeus01 2361282560
loops/for_bounded_loop1_false-unreach-call_true-termination.i 4.76 2.84 zeus11 248868864 4.68 2.80 zeus11 245719040 4.82 2.87 zeus19 246005760 11.3  6.16 458698752 zeus12 10.4  5.78 zeus22 450387968 10.8  5.92 zeus01 405848064 11.0  6.05 zeus03 448831488 5.30 3.11 zeus06 246992896 4.89 2.87 zeus01 234295296 4.99 2.96 zeus11 247803904 5.25 3.13 242163712 zeus20 4.46 2.65 245571584 zeus21 4.81 2.78 zeus20 233951232 4.69 2.80 zeus11 237744128
loops/insertion_sort_false-unreach-call.i 3.86 2.28 zeus06 216195072 3.87 2.29 zeus13 212434944 901    883    zeus12 1388863488 902    820    5016707072 zeus20 902    823    zeus04 5073481728 901    817    zeus03 4917329920 901    814    zeus18 4643160064 4.40 2.59 zeus21 219385856 4.21 2.55 zeus22 218447872 901    844    zeus14 5152407552 5.44 3.44 220385280 zeus17 5.29 3.31 226168832 zeus19 902    892    zeus15 754249728 901    889    zeus04 909053952
loops/invert_string_false-unreach-call.i 6.23 3.64 zeus03 269201408 6.22 3.61 zeus02 257896448 9.03 5.69 zeus17 371892224 40.9  21.1  875950080 zeus16 39.4  20.4  zeus05 838893568 36.0  18.7  zeus01 753692672 92.4  51.4  zeus20 1639596032 4.65 2.75 zeus06 227979264 8.60 4.80 zeus18 376905728 14.7  7.95 zeus05 540123136 8.10 4.68 355082240 zeus24 7.44 4.33 362438656 zeus21 7.30 4.33 zeus22 348934144 9.15 5.31 zeus10 389181440
loops/linear_search_false-unreach-call.i 4.81 2.79 zeus18 245600256 3.81 2.26 zeus23 216780800 4.97 2.90 zeus07 247566336 12.3  6.65 412860416 zeus22 11.8  6.42 zeus23 408059904 6.24 3.70 zeus14 329314304 12.1  6.56 zeus20 412610560 5.73 3.33 zeus05 325984256 3.59 2.18 zeus19 206872576 5.40 3.10 zeus23 327217152 4.61 2.73 237981696 zeus07 4.65 2.70 244289536 zeus22 3.65 2.15 zeus11 213094400 4.98 2.94 zeus08 248172544
loops/ludcmp_false-unreach-call.i 913    907    zeus18 4207788032 3.69 2.18 zeus02 212131840 55.0  47.7  zeus03 913805312 9.78 5.49 415227904 zeus24 901    843    zeus18 4427812864 4.91 2.90 zeus09 296087552 901    791    zeus07 6525403136 58.9  36.9  zeus19 2987372544 3.95 2.33 zeus09 213389312 43.1  22.3  zeus04 868421632 271    268    313552896 zeus17 164    161    14999998464 zeus04 4.06 2.38 zeus22 210657280 20.9  13.7  zeus15 850112512
loops/matrix_false-unreach-call_true-termination.i 5.06 3.00 zeus23 262070272 4.98 2.94 zeus15 253542400 8.79 5.64 zeus21 536162304 15.6  8.42 416649216 zeus21 14.7  7.98 zeus12 425435136 14.4  8.00 zeus20 438349824 53.3  28.2  zeus19 1169805312 6.44 3.61 zeus05 337620992 5.98 3.52 zeus12 333918208 9.52 5.28 zeus23 406753280 5.65 3.31 246190080 zeus13 5.37 3.17 253943808 zeus11 5.22 3.11 zeus11 247324672 6.99 4.08 zeus23 500953088
loops/n.c24_false-unreach-call.i 902    882    zeus17 4684812288 902    882    zeus10 4607934464 902    880    zeus14 4853211136 901    816    4955492352 zeus02 902    816    zeus15 4962029568 902    817    zeus05 4963119104 902    823    zeus19 4832223232 902    846    zeus05 4842201088 902    852    zeus20 4795498496 901    846    zeus18 4834217984 901    887    836411392 zeus05 901    885    833073152 zeus13 901    885    zeus10 846487552 901    887    zeus10 800067584
loops/nec11_false-unreach-call.i 4.23 2.51 zeus14 231653376 4.13 2.40 zeus21 234319872 4.48 2.64 zeus01 236568576 9.08 5.09 418172928 zeus13 9.16 5.09 zeus03 422924288 9.99 5.55 zeus09 413483008 8.98 5.03 zeus13 416075776 4.18 2.46 zeus10 223707136 4.14 2.45 zeus21 227504128 4.25 2.52 zeus01 223027200 4.27 2.55 232243200 zeus21 4.22 2.49 226193408 zeus04 4.37 2.53 zeus23 226598912 4.19 2.46 zeus21 226742272
loops/nec20_false-unreach-call.i 4.53 2.65 zeus24 240730112 4.74 2.77 zeus02 238567424 4.79 2.83 zeus11 247324672 10.6  5.80 422727680 zeus09 10.9  6.07 zeus18 420806656 11.3  6.21 zeus12 406364160 10.3  5.69 zeus22 414642176 5.29 3.15 zeus13 237531136 4.62 2.68 zeus21 246566912 4.91 2.90 zeus17 239550464 4.87 2.85 239226880 zeus17 4.76 2.78 234938368 zeus01 4.89 2.85 zeus06 239550464 4.76 2.84 zeus11 237916160
loops/s3_false-unreach-call.i 10.4  6.15 zeus22 299814912 17.2  9.25 zeus23 541388800 20.1  11.1  zeus21 637386752 901    811    5251268608 zeus07 902    804    zeus11 5074677760 104    62.3  zeus21 2524049408 901    824    zeus23 4818984960 28.8  15.0  zeus07 899039232 34.9  18.1  zeus06 831782912 38.2  19.7  zeus07 816914432 32.1  21.0  644837376 zeus21 20.2  11.6  554496000 zeus23 15.2  8.36 zeus13 497623040 18.1  9.95 zeus15 559271936
loops/string_false-unreach-call.i 7.11 4.12 zeus08 359952384 7.20 4.14 zeus21 359596032 8.17 4.63 zeus18 379985920 40.9  21.2  879800320 zeus08 41.7  21.6  zeus20 875753472 39.0  20.2  zeus11 785780736 49.4  25.3  zeus10 917274624 9.40 5.21 zeus01 392577024 8.04 4.53 zeus12 389476352 11.7  6.45 zeus07 448389120 6.98 4.09 342560768 zeus24 7.11 4.16 350523392 zeus16 6.09 3.54 zeus09 251494400 7.27 4.22 zeus15 358313984
loops/sum01_bug02_false-unreach-call_true-termination.i 5.95 3.43 zeus13 266604544 6.20 3.57 zeus10 270168064 6.12 3.58 zeus15 268161024 30.1  15.7  657469440 zeus03 27.6  14.5  zeus14 670236672 31.6  16.5  zeus23 664588288 33.5  17.4  zeus13 670965760 10.2  5.64 zeus19 414568448 10.4  5.68 zeus18 406048768 10.4  5.69 zeus22 427470848 7.19 4.16 271224832 zeus04 7.67 4.41 368828416 zeus14 6.95 4.00 zeus13 267223040 6.81 3.93 zeus21 274202624
loops/sum01_bug02_sum01_bug02_base.case_false-unreach-call_true-termination.i 5.42 3.10 zeus15 249262080 5.01 2.98 zeus19 262524928 5.18 3.05 zeus19 261304320 16.5  8.95 450711552 zeus16 15.2  8.29 zeus24 449482752 16.8  9.10 zeus24 440229888 17.1  9.26 zeus22 470171648 6.75 3.87 zeus01 358199296 6.77 3.87 zeus04 342560768 7.41 4.26 zeus09 358875136 6.39 3.73 253444096 zeus14 5.56 3.26 261255168 zeus21 5.60 3.33 zeus12 252510208 6.05 3.48 zeus02 255250432
loops/sum01_false-unreach-call_true-termination.i 8.23 4.64 zeus05 369307648 7.06 4.04 zeus09 279093248 7.17 4.15 zeus23 278822912 32.7  17.0  710221824 zeus02 32.7  17.0  zeus24 732872704 33.2  17.3  zeus12 727707648 35.7  18.6  zeus14 723169280 14.4  7.79 zeus18 482992128 11.8  6.50 zeus16 468246528 13.0  7.03 zeus19 465006592 9.73 5.81 394735616 zeus06 9.61 5.77 389451776 zeus06 8.37 5.13 zeus08 289243136 9.24 5.66 zeus23 385056768
loops/sum03_false-unreach-call_true-termination.i 8.78 4.92 zeus01 383373312 7.78 4.47 zeus04 296128512 8.24 4.73 zeus19 390586368 38.5  19.9  866664448 zeus09 37.0  19.2  zeus10 840589312 40.4  21.0  zeus19 834564096 35.8  18.5  zeus19 861151232 20.7  11.0  zeus03 618835968 20.4  10.8  zeus08 633053184 19.4  10.3  zeus20 637050880 8.78 5.06 371310592 zeus12 8.29 4.75 375853056 zeus16 8.19 4.67 zeus19 369508352 9.34 5.26 zeus16 373571584
loops/sum04_false-unreach-call_true-termination.i 6.32 3.66 zeus14 261734400 6.25 3.61 zeus08 263524352 6.16 3.55 zeus03 268247040 25.1  13.3  568778752 zeus10 25.3  13.3  zeus16 565575680 23.1  12.2  zeus22 556019712 24.2  12.8  zeus04 580018176 8.20 4.59 zeus12 372363264 8.18 4.53 zeus11 381612032 8.36 4.69 zeus19 388571136 6.33 3.78 248942592 zeus13 7.18 4.30 264966144 zeus23 6.46 3.77 zeus10 255856640 6.29 3.73 zeus24 253902848
loops/sum_array_false-unreach-call.i 5.03 3.00 zeus18 252510208 5.44 3.18 zeus23 258117632 7.33 4.41 zeus01 284049408 18.1  9.69 417906688 zeus09 17.4  9.39 zeus21 476590080 15.9  8.66 zeus07 443330560 477    392    zeus19 6443663360 6.23 3.58 zeus24 347824128 6.01 3.45 zeus17 327598080 8.22 4.56 zeus16 389107712 5.67 3.36 250322944 zeus04 5.05 3.01 239616000 zeus24 5.01 2.99 zeus16 240074752 6.04 3.56 zeus01 263278592
loops/terminator_01_false-unreach-call_false-termination.i 4.24 2.49 zeus03 223469568 4.22 2.52 zeus13 228782080 4.02 2.36 zeus21 231198720 9.47 5.25 422621184 zeus21 9.70 5.43 zeus20 417337344 9.00 4.96 zeus21 421777408 9.79 5.48 zeus20 439365632 4.30 2.60 zeus17 220377088 4.11 2.43 zeus20 222187520 4.17 2.48 zeus19 224100352 4.93 2.93 227258368 zeus16 4.12 2.44 223485952 zeus17 4.56 2.68 zeus01 221147136 4.12 2.44 zeus09 223891456
loops/terminator_02_false-unreach-call_true-termination.i 4.07 2.39 zeus13 226955264 4.02 2.43 zeus19 225697792 4.53 2.69 zeus17 229609472 11.0  6.17 410066944 zeus20 9.49 5.29 zeus08 422051840 10.2  5.57 zeus19 422064128 11.4  6.19 zeus19 426569728 4.21 2.50 zeus12 230883328 4.92 2.87 zeus01 222220288 4.53 2.70 zeus19 223932416 4.42 2.58 230612992 zeus05 4.30 2.50 225665024 zeus24 4.38 2.60 zeus08 232693760 4.36 2.60 zeus04 231235584
loops/terminator_03_false-unreach-call_true-termination.i 4.41 2.61 zeus14 232640512 4.13 2.39 zeus21 235909120 4.32 2.53 zeus14 237928448 9.34 5.29 416108544 zeus19 9.98 5.45 zeus05 402137088 8.97 5.09 zeus10 397692928 9.55 5.29 zeus11 409186304 4.65 2.74 zeus06 236212224 4.30 2.53 zeus01 222547968 4.43 2.65 zeus22 235069440 4.14 2.48 227672064 zeus14 4.46 2.62 232595456 zeus14 4.27 2.52 zeus24 222089216 4.28 2.53 zeus22 222785536
loops/trex01_false-unreach-call_true-termination.i 4.46 2.64 zeus19 236380160 4.69 2.71 zeus17 231387136 4.33 2.56 zeus04 241176576 9.89 5.48 430686208 zeus03 9.76 5.39 zeus08 436416512 9.41 5.17 zeus06 392069120 8.89 4.98 zeus15 412270592 4.62 2.71 zeus20 230518784 4.62 2.72 zeus13 232833024 4.60 2.69 zeus08 228851712 4.69 2.76 229883904 zeus18 4.68 2.73 234889216 zeus07 4.50 2.65 zeus02 230670336 4.57 2.69 zeus12 236191744
loops/trex02_false-unreach-call_true-termination.i 4.18 2.47 zeus15 224960512 4.10 2.47 zeus13 233398272 4.48 2.65 zeus22 229404672 9.63 5.39 413548544 zeus05 9.32 5.17 zeus16 413188096 9.30 5.20 zeus10 422883328 9.39 5.27 zeus01 398233600 4.19 2.50 zeus17 221425664 4.17 2.46 zeus18 226697216 3.97 2.37 zeus18 224698368 4.05 2.45 225931264 zeus15 4.38 2.61 225812480 zeus14 4.26 2.53 zeus19 223653888 4.47 2.68 zeus12 224870400
loops/trex03_false-unreach-call_true-termination.i 4.93 2.85 zeus07 243490816 4.92 2.83 zeus16 246292480 4.80 2.80 zeus10 250540032 9.82 5.46 452997120 zeus20 10.2  5.64 zeus06 420564992 10.3  5.58 zeus20 399794176 10.1  5.53 zeus16 420130816 4.56 2.69 zeus07 238198784 5.19 3.09 zeus13 243908608 4.82 2.86 zeus04 243478528 4.65 2.75 230526976 zeus17 4.69 2.75 239620096 zeus12 4.68 2.78 zeus14 237797376 4.68 2.78 zeus22 233578496
loops/verisec_NetBSD-libc__loop_false-unreach-call.i 4.31 2.57 zeus14 230563840 4.66 2.77 zeus14 227819520 4.29 2.53 zeus13 229756928 9.40 5.18 409825280 zeus17 9.77 5.35 zeus19 408584192 8.89 4.97 zeus03 405803008 9.55 5.40 zeus03 422731776 4.43 2.58 zeus03 235536384 4.49 2.64 zeus14 230830080 4.16 2.46 zeus19 226897920 4.39 2.61 222752768 zeus24 4.35 2.60 231309312 zeus11 4.31 2.51 zeus06 228618240 4.69 2.71 zeus02 225726464
loops/verisec_OpenSER__cases1_stripFullBoth_arr_false-unreach-call.i 6.09 3.52 zeus24 343564288 3.86 2.26 zeus08 214110208 6.55 3.78 zeus04 350314496 20.3  10.9  507019264 zeus03 17.8  9.62 zeus22 480813056 5.91 3.36 zeus17 328503296 21.0  11.1  zeus08 493568000 7.18 4.12 zeus07 375508992 3.89 2.30 zeus09 211972096 7.31 4.18 zeus22 373739520 6.01 3.51 342036480 zeus20 6.81 3.87 342360064 zeus05 3.53 2.09 zeus24 203542528 6.53 3.78 zeus23 328278016
loops/vogal_false-unreach-call.i 13.6  8.00 zeus10 444395520 3.72 2.18 zeus04 213139456 14.9  8.71 zeus10 474333184 137    81.4  2001907712 zeus14 128    76.4  zeus17 1889255424 5.19 3.01 zeus03 302338048 94.2  48.9  zeus05 1428553728 36.4  18.8  zeus24 869896192 3.85 2.30 zeus22 208633856 37.6  19.3  zeus10 667578368 11.9  7.30 413925376 zeus03 12.9  7.91 411439104 zeus05 3.49 2.05 zeus23 208158720 12.6  7.73 zeus21 441073664
loops/while_infinite_loop_4_false-unreach-call_true-termination.i 4.16 2.46 zeus07 232566784 4.05 2.44 zeus11 232198144 4.06 2.42 zeus11 235732992 9.75 5.44 405172224 zeus04 8.90 4.99 zeus09 398471168 9.55 5.33 zeus02 409145344 9.58 5.45 zeus15 421429248 4.56 2.65 zeus08 234692608 4.45 2.60 zeus05 222584832 4.49 2.62 zeus02 219103232 4.02 2.33 230297600 zeus21 4.18 2.45 225914880 zeus17 4.36 2.55 zeus10 226861056 4.32 2.53 zeus08 222707712
loops/array_true-unreach-call.i 3.98 2.35 zeus07 218652672 4.08 2.42 zeus05 210558976 4.18 2.52 zeus13 223281152 13.1  7.13 436998144 zeus05 12.1  6.60 zeus09 418967552 11.7  6.36 zeus21 405979136 20.0  10.7  zeus03 479625216 4.93 2.92 zeus17 225898496 4.35 2.61 zeus16 219779072 4.69 2.77 zeus17 228057088 4.05 2.47 220557312 zeus11 4.01 2.40 212860928 zeus10 3.86 2.32 zeus21 209661952 7.59 4.43 zeus12 261697536
loops/bubble_sort_true-unreach-call.i 4.32 2.50 zeus16 212140032 3.95 2.33 zeus09 214327296 4.37 2.57 zeus06 211881984 6.77 3.84 338563072 zeus14 6.09 3.50 zeus01 320438272 5.71 3.33 zeus07 307552256 6.49 3.74 zeus03 330448896 4.06 2.43 zeus20 218722304 4.02 2.39 zeus13 216395776 4.21 2.48 zeus23 215830528 4.14 2.43 212852736 zeus09 3.88 2.30 210923520 zeus06 4.22 2.47 zeus24 206766080 3.96 2.37 zeus09 211312640
loops/count_up_down_true-unreach-call_true-termination.i 4.63 2.77 zeus11 234475520 4.49 2.72 zeus09 231575552 4.35 2.56 zeus22 234004480 9.66 5.32 428843008 zeus19 9.70 5.37 zeus19 415203328 9.15 5.13 zeus13 417599488 8.73 4.96 zeus08 430272512 4.62 2.67 zeus01 228995072 4.37 2.59 zeus07 227463168 4.63 2.72 zeus02 230641664 4.51 2.66 225079296 zeus24 4.27 2.50 226549760 zeus06 4.64 2.76 zeus19 226779136 4.23 2.49 zeus11 225562624
loops/eureka_01_true-unreach-call.i 901    885    zeus06 5302652928 3.67 2.19 zeus12 211951616 902    883    zeus21 1056116736 650    511    6493978624 zeus17 637    500    zeus06 6810578944 4.77 2.89 zeus22 306511872 901    831    zeus06 4625403904 903    799    zeus08 6574821376 3.67 2.15 zeus21 211951616 902    823    zeus21 5483769856 903    890    2224971776 zeus18 903    890    1956835328 zeus21 3.98 2.36 zeus06 205340672 901    888    zeus19 962928640
loops/eureka_05_true-unreach-call.i 7.83 4.65 zeus16 292896768 3.78 2.23 zeus16 207548416 19.1  11.5  zeus01 539271168 8.74 4.89 415141888 zeus19 152    87.7  zeus17 2086879232 5.04 2.91 zeus20 300269568 81.1  42.8  zeus17 1362915328 14.7  7.91 zeus21 550346752 3.51 2.12 zeus16 211808256 38.9  20.2  zeus12 826208256 724    714    991178752 zeus16 93.8  87.1  735326208 zeus04 3.64 2.19 zeus22 207097856 26.4  19.9  zeus06 473886720
loops/for_infinite_loop_1_true-unreach-call_false-termination.i 3.91 2.31 zeus10 211107840 3.72 2.19 zeus14 209575936 3.80 2.24 zeus08 209215488 7.79 4.35 370946048 zeus21 7.23 4.08 zeus06 356704256 7.36 4.19 zeus20 360538112 8.24 4.64 zeus03 404926464 4.20 2.49 zeus10 214061056 4.30 2.49 zeus16 214323200 4.13 2.50 zeus22 215711744 4.23 2.52 215334912 zeus12 4.14 2.44 213274624 zeus20 3.90 2.34 zeus04 213262336 3.65 2.20 zeus02 210055168
loops/for_infinite_loop_2_true-unreach-call_false-termination.i 3.87 2.29 zeus10 214601728 3.75 2.20 zeus21 210677760 4.14 2.44 zeus02 207990784 7.77 4.45 378105856 zeus13 7.41 4.26 zeus13 377729024 7.59 4.33 zeus12 390340608 7.20 4.16 zeus01 365015040 4.00 2.41 zeus04 217223168 4.29 2.55 zeus19 216092672 4.07 2.44 zeus12 219340800 3.82 2.24 209195008 zeus24 3.91 2.30 212504576 zeus04 3.80 2.28 zeus13 209440768 3.79 2.37 zeus19 212037632
loops/insertion_sort_true-unreach-call.i 3.76 2.24 zeus06 210501632 3.78 2.24 zeus04 213786624 901    885    zeus13 1202266112 901    820    4836093952 zeus07 902    821    zeus09 5071667200 901    818    zeus11 4829347840 901    814    zeus18 4651716608 4.33 2.58 zeus02 218669056 4.33 2.52 zeus22 221110272 902    845    zeus17 5009772544 5.30 3.37 226549760 zeus22 5.30 3.38 227840000 zeus12 901    886    zeus17 859361280 901    889    zeus16 908906496
loops/invert_string_true-unreach-call.i 7.18 4.11 zeus14 275341312 5.41 3.13 zeus11 237248512 16.0  11.2  zeus14 331292672 79.8  42.2  1286561792 zeus09 79.7  41.9  zeus15 1300250624 179    126    zeus04 3315376128 151    106    zeus16 2650644480 7.42 4.15 zeus16 268738560 8.29 4.64 zeus15 304390144 30.4  15.9  zeus19 827351040 135    131    413999104 zeus22 64.5  61.0  312872960 zeus24 18.7  14.3  zeus23 371851264 19.0  14.2  zeus01 389402624
loops/linear_sea.ch_true-unreach-call.i 4.47 2.64 zeus03 240779264 3.67 2.21 zeus22 213377024 5.09 2.95 zeus16 249147392 10.8  6.05 410542080 zeus14 11.4  6.31 zeus16 406392832 5.79 3.40 zeus06 322678784 12.3  6.79 zeus16 418803712 4.91 2.84 zeus04 243589120 3.77 2.21 zeus06 203796480 5.60 3.22 zeus15 331542528 4.85 2.86 237391872 zeus22 4.87 2.89 240545792 zeus19 3.66 2.15 zeus24 202244096 4.91 2.87 zeus04 238510080
loops/lu.cmp_true-unreach-call.i 913    907    zeus22 4141494272 3.70 2.22 zeus10 208584704 485    473    zeus02 1086980096 10.7  5.88 396754944 zeus10 902    858    zeus09 4163878912 5.15 3.00 zeus12 299679744 901    711    zeus21 8837632000 54.3  27.9  zeus21 1355444224 3.86 2.26 zeus17 208068608 107    65.6  zeus20 2646151168 6.34 3.62 241668096 zeus01 168    165    14999998464 zeus14 3.80 2.24 zeus08 208928768 9.05 5.55 zeus14 433524736
loops/matrix_true-unreach-call_true-termination.i 4.31 2.49 zeus23 218513408 4.38 2.60 zeus19 219152384 11.2  8.81 zeus20 260956160 15.2  8.22 443670528 zeus04 14.9  8.05 zeus15 423960576 23.0  12.0  zeus11 541179904 64.0  33.5  zeus24 1324072960 5.04 2.93 zeus12 232366080 5.75 3.32 zeus02 241184768 9.87 5.42 zeus21 407474176 4.46 2.68 217014272 zeus07 4.41 2.68 217792512 zeus11 4.61 2.76 zeus04 223657984 902    892    zeus23 861163520
loops/n.c11_true-unreach-call.i 4.43 2.58 zeus02 216670208 4.22 2.52 zeus07 217403392 4.70 2.76 zeus10 218132480 13.2  7.14 423813120 zeus21 13.6  7.39 zeus15 429891584 17.1  9.21 zeus10 433430528 13.2  7.23 zeus10 448761856 5.67 3.29 zeus17 239083520 5.71 3.33 zeus12 241733632 5.68 3.29 zeus18 240316416 3.93 2.33 217866240 zeus18 4.24 2.53 210829312 zeus05 3.90 2.35 zeus19 210452480 3.87 2.33 zeus23 211402752
loops/n.c40_true-unreach-call.i 56.6  54.7  zeus16 14999998464 3.41 2.06 zeus22 207147008 4.57 2.85 zeus23 221335552 9.32 5.31 402046976 zeus10 80.9  49.1  zeus13 1531518976 4.74 2.84 zeus11 297914368 34.5  18.0  zeus03 731013120 5.84 3.33 zeus02 256102400 3.93 2.35 zeus16 203759616 5.20 3.05 zeus16 235098112 3.88 2.32 212721664 zeus09 26.6  24.8  379494400 zeus10 3.89 2.30 zeus07 210206720 4.25 2.54 zeus13 218619904
loops/nec40_true-unreach-call.i 56.9  55.0  zeus07 14999998464 3.53 2.10 zeus24 203436032 4.20 2.54 zeus05 215924736 9.18 5.07 382705664 zeus24 50.2  29.0  zeus23 1255985152 5.04 2.96 zeus20 303579136 32.8  17.1  zeus05 680779776 5.61 3.26 zeus18 240078848 3.73 2.20 zeus09 212770816 5.86 3.37 zeus01 230551552 6.62 4.92 228622336 zeus03 26.5  24.6  389025792 zeus13 3.62 2.17 zeus09 208330752 4.42 2.69 zeus06 216698880
loops/string_true-unreach-call.i 3.98 2.31 zeus03 209620992 3.85 2.28 zeus06 210223104 3.93 2.36 zeus06 219336704 6.98 4.02 350150656 zeus12 6.20 3.61 zeus12 316092416 6.24 3.65 zeus18 348209152 6.15 3.52 zeus03 334446592 4.13 2.47 zeus24 215191552 4.40 2.63 zeus24 214769664 3.90 2.32 zeus21 213815296 4.36 2.49 211787776 zeus16 4.77 2.81 209637376 zeus01 3.84 2.32 zeus12 211267584 3.94 2.32 zeus02 210477056
loops/sum01_true-unreach-call_true-termination.i 4.00 2.37 zeus06 215236608 4.12 2.48 zeus04 218284032 4.22 2.49 zeus06 220393472 12.4  6.72 420745216 zeus16 11.2  6.05 zeus21 431259648 10.9  6.02 zeus19 418619392 11.1  6.07 zeus20 422600704 4.43 2.66 zeus17 223264768 4.50 2.69 zeus18 226467840 4.70 2.79 zeus22 223088640 4.76 2.87 219758592 zeus11 4.18 2.55 218112000 zeus14 4.33 2.61 zeus14 215314432 4.46 2.65 zeus08 220438528
loops/sum03_true-unreach-call_false-termination.i 4.10 2.44 zeus15 210325504 3.79 2.23 zeus21 210612224 3.97 2.37 zeus05 218095616 7.76 4.35 367382528 zeus10 8.16 4.62 zeus12 422912000 8.65 4.89 zeus22 392646656 8.24 4.63 zeus05 385470464 4.12 2.43 zeus10 217493504 4.17 2.46 zeus11 224559104 4.07 2.44 zeus16 215822336 4.30 2.58 214388736 zeus04 4.13 2.42 217583616 zeus21 4.04 2.38 zeus21 209317888 4.09 2.45 zeus24 211222528
loops/sum04_true-unreach-call_true-termination.i 6.42 3.68 zeus03 244539392 5.98 3.45 zeus10 243793920 5.99 3.49 zeus19 246108160 25.8  13.5  625160192 zeus08 26.5  13.8  zeus16 635420672 26.9  14.1  zeus02 649637888 25.7  13.4  zeus21 655683584 9.64 5.34 zeus07 343240704 8.64 4.89 zeus02 333762560 8.56 4.85 zeus23 342183936 6.67 3.92 247042048 zeus03 6.89 4.11 245760000 zeus12 6.92 4.05 zeus24 249352192 7.37 4.39 zeus04 256303104
loops/sum_array_true-unreach-call.i 5.93 3.38 zeus11 250007552 901    887    zeus24 798396416 901    887    zeus05 811171840 901    825    4547862528 zeus24 901    827    zeus21 4539273216 901    833    zeus15 4382543872 901    827    zeus13 4676612096 5.05 2.95 zeus16 226926592 901    820    zeus17 7657455616 902    844    zeus04 4705345536 901    890    792592384 zeus12 901    890    788500480 zeus24 902    891    zeus22 851456000 902    891    zeus15 842858496
loops/terminator_02_true-unreach-call_true-termination.i 3.94 2.32 zeus14 217571328 3.90 2.32 zeus18 211582976 3.76 2.24 zeus23 207884288 6.30 3.64 332066816 zeus23 6.05 3.45 zeus15 335151104 6.19 3.54 zeus17 334536704 6.98 4.01 zeus20 337465344 4.27 2.55 zeus04 218456064 4.48 2.64 zeus18 212557824 4.06 2.44 zeus07 224038912 3.76 2.23 214134784 zeus11 3.92 2.33 208998400 zeus01 3.70 2.17 zeus21 209227776 3.89 2.29 zeus22 206180352
loops/terminator_03_true-unreach-call_true-termination.i 4.18 2.47 zeus22 210784256 3.94 2.30 zeus17 203657216 3.68 2.22 zeus19 208416768 5.70 3.36 319787008 zeus19 5.87 3.46 zeus01 319983616 6.12 3.48 zeus12 333504512 5.71 3.34 zeus09 313057280 4.06 2.43 zeus20 210821120 4.44 2.68 zeus14 213372928 3.95 2.37 zeus18 219918336 3.74 2.26 210763776 zeus23 3.80 2.25 209096704 zeus19 3.72 2.24 zeus11 215658496 3.77 2.21 zeus03 208543744
loops/trex01_true-unreach-call.i 3.94 2.31 zeus21 213471232 4.49 2.72 zeus20 217378816 3.69 2.24 zeus22 215351296 8.34 4.73 386588672 zeus01 8.70 4.84 zeus18 395247616 8.40 4.66 zeus22 399818752 9.41 5.26 zeus13 402427904 4.47 2.61 zeus08 219377664 4.14 2.49 zeus19 215220224 4.52 2.68 zeus11 227373056 4.32 2.59 212951040 zeus15 4.33 2.51 216875008 zeus05 4.15 2.40 zeus16 212262912 4.08 2.41 zeus08 209858560
loops/trex02_true-unreach-call_true-termination.i 3.80 2.25 zeus09 208519168 3.72 2.22 zeus19 207122432 3.79 2.29 zeus09 212963328 5.65 3.29 319344640 zeus11 5.82 3.41 zeus15 323780608 5.48 3.19 zeus05 333520896 6.13 3.53 zeus06 326377472 3.90 2.34 zeus22 217509888 3.85 2.35 zeus01 214265856 3.92 2.34 zeus19 214953984 3.79 2.24 205344768 zeus23 4.00 2.33 209293312 zeus04 3.82 2.27 zeus19 203329536 3.68 2.14 zeus21 211054592
loops/trex03_true-unreach-call.i 4.78 2.74 zeus08 239853568 4.94 2.92 zeus23 251928576 4.67 2.79 zeus13 240443392 10.1  5.65 430043136 zeus23 9.80 5.38 zeus21 428392448 9.68 5.29 zeus21 417325056 10.2  5.59 zeus17 423084032 4.89 2.89 zeus10 243904512 4.59 2.68 zeus21 238485504 4.68 2.77 zeus01 233590784 4.95 2.90 235225088 zeus09 4.61 2.69 236371968 zeus08 4.88 2.87 zeus02 239026176 4.86 2.83 zeus23 238432256
loops/trex04_true-unreach-call_false-termination.i 4.05 2.38 zeus04 212590592 3.78 2.23 zeus15 207519744 4.03 2.37 zeus01 214056960 5.75 3.40 319045632 zeus22 6.04 3.57 zeus19 322719744 5.68 3.34 zeus14 312848384 5.63 3.25 zeus21 326111232 4.12 2.45 zeus07 216473600 3.97 2.36 zeus21 217645056 4.19 2.44 zeus10 215146496 4.10 2.43 215248896 zeus03 3.83 2.30 204996608 zeus17 4.04 2.37 zeus20 205582336 4.47 2.65 zeus06 211947520
loops/veris.c_NetBSD-libc__loop_true-unreach-call.i 3.86 2.34 zeus01 209522688 3.99 2.36 zeus08 212197376 3.98 2.32 zeus19 211300352 8.70 4.91 386019328 zeus07 8.64 4.76 zeus21 400580608 8.20 4.64 zeus06 398561280 7.79 4.51 zeus10 379428864 4.35 2.63 zeus18 218894336 4.44 2.58 zeus16 217194496 4.15 2.46 zeus11 221794304 3.95 2.53 211595264 zeus17 3.92 2.35 212742144 zeus07 3.88 2.33 zeus12 213893120 3.81 2.29 zeus14 216522752
loops/veris.c_OpenSER__cases1_stripFullBoth_arr_true-unreach-call.i 4.04 2.37 zeus17 213999616 3.80 2.27 zeus08 207785984 4.02 2.39 zeus20 213237760 5.95 3.37 331472896 zeus21 5.98 3.48 zeus23 316198912 5.49 3.24 zeus17 313659392 5.38 3.14 zeus17 307294208 4.20 2.46 zeus13 214818816 3.87 2.34 zeus13 216276992 4.68 2.74 zeus12 219230208 4.03 2.34 206135296 zeus16 3.97 2.36 213196800 zeus20 3.71 2.22 zeus09 211124224 4.33 2.54 zeus08 212307968
loops/veris.c_sendmail__tTflag_arr_one_loop_true-unreach-call.i 3.46 2.04 zeus21 215404544 3.82 2.27 zeus22 211472384 3.91 2.35 zeus09 214110208 9.14 5.10 416768000 zeus10 8.77 5.00 zeus22 406679552 8.84 5.00 zeus06 416657408 9.97 5.55 zeus20 424574976 3.98 2.39 zeus10 218554368 4.04 2.42 zeus11 216137728 4.21 2.53 zeus18 217645056 4.35 2.52 210907136 zeus16 3.84 2.25 215396352 zeus21 3.67 2.17 zeus23 206733312 4.14 2.48 zeus20 214097920
loops/vogal_true-unreach-call.i 9.48 5.51 zeus05 285827072 3.57 2.12 zeus20 208158720 890    871    zeus05 2762883072 490    407    4584370176 zeus08 481    399    zeus15 4124164096 4.71 2.78 zeus06 298807296 902    814    zeus10 4617183232 27.7  14.5  zeus20 661655552 3.87 2.26 zeus18 212062208 141    103    zeus14 3167559680 901    887    837144576 zeus23 901    888    863641600 zeus16 3.64 2.14 zeus14 208404480 884    867    zeus13 1635250176
loops/while_infinite_loop_1_true-unreach-call_false-termination.i 3.89 2.30 zeus20 212520960 3.93 2.32 zeus13 211685376 3.91 2.30 zeus18 211210240 7.60 4.38 385359872 zeus17 8.16 4.53 zeus02 387702784 8.44 4.69 zeus02 402890752 8.35 4.67 zeus05 390807552 3.99 2.40 zeus12 219471872 4.29 2.53 zeus05 215789568 3.88 2.32 zeus14 216817664 3.96 2.42 210984960 zeus19 3.98 2.36 208691200 zeus08 4.03 2.33 zeus06 208752640 3.87 2.32 zeus04 212963328
loops/while_infinite_loop_2_true-unreach-call_false-termination.i 4.36 2.61 zeus10 212242432 4.02 2.39 zeus23 211091456 3.79 2.28 zeus18 214609920 7.93 4.55 383729664 zeus23 7.84 4.52 zeus09 372432896 8.02 4.49 zeus10 388931584 7.50 4.28 zeus18 370294784 3.95 2.35 zeus03 215105536 3.93 2.37 zeus20 217731072 4.27 2.53 zeus09 214421504 3.96 2.39 216158208 zeus11 3.96 2.32 208084992 zeus02 3.89 2.28 zeus10 207052800 3.93 2.32 zeus03 207990784
loops/while_infinite_loop_3_true-unreach-call_false-termination.i 3.54 2.10 zeus08 206073856 3.63 2.16 zeus17 207425536 3.83 2.26 zeus09 208502784 5.88 3.39 307372032 zeus16 5.80 3.37 zeus01 302137344 5.75 3.36 zeus14 326705152 6.35 3.63 zeus09 341053440 3.82 2.31 zeus03 211136512 3.75 2.23 zeus24 211017728 4.03 2.37 zeus24 213835776 3.97 2.37 210591744 zeus04 3.78 2.24 208633856 zeus23 4.16 2.45 zeus07 207450112 3.53 2.12 zeus09 208224256
loop-acceleration/array_false-unreach-call1.i 902    881    zeus13 4631465984 902    883    zeus07 4638306304 902    880    zeus16 4790251520 901    820    4619460608 zeus02 901    821    zeus03 4582752256 902    823    zeus10 4588593152 902    828    zeus15 4566192128 902    852    zeus09 4793389056 901    860    zeus02 4908945408 902    858    zeus22 4918759424 901    888    828084224 zeus04 901    888    841531392 zeus11 901    886    zeus13 829042688 901    889    zeus04 785833984
loop-acceleration/array_false-unreach-call2.i 902    880    zeus09 4548743168 902    882    zeus06 4670955520 902    880    zeus13 4960636928 901    820    4575567872 zeus17 901    820    zeus11 4619116544 901    821    zeus16 4587806720 902    827    zeus23 4553023488 902    851    zeus07 4801421312 902    860    zeus23 4887597056 902    852    zeus06 4819578880 901    886    918892544 zeus24 901    887    904683520 zeus17 902    886    zeus13 821395456 901    888    zeus15 778035200
loop-acceleration/array_false-unreach-call3.i 902    882    zeus09 1331793920 901    880    zeus09 966443008 902    881    zeus05 4570165248 901    818    4616613888 zeus23 901    819    zeus06 4604141568 901    818    zeus14 4600037376 902    820    zeus17 4626345984 902    852    zeus07 4775313408 902    859    zeus17 4899414016 902    850    zeus13 4817321984 901    884    848273408 zeus07 902    884    858607616 zeus07 902    884    zeus09 887615488 902    884    zeus13 889376768
loop-acceleration/const_false-unreach-call1.i 902    883    zeus07 4650270720 903    883    zeus01 4660318208 902    883    zeus16 4550975488 902    825    4611604480 zeus04 901    825    zeus07 4612210688 902    825    zeus04 4604440576 902    825    zeus09 4612190208 902    861    zeus16 4832010240 920    868    zeus03 4885057536 902    859    zeus13 4957630464 901    885    824819712 zeus03 902    886    823762944 zeus10 902    886    zeus19 831238144 902    886    zeus04 822702080
loop-acceleration/diamond_false-unreach-call1.i 119    104    zeus11 2566230016 120    105    zeus13 2566979584 117    103    zeus13 2569531392 773    690    4848500736 zeus14 815    725    zeus15 4843479040 793    707    zeus03 4914495488 783    699    zeus24 4900438016 91.0  59.5  zeus14 4145799168 97.7  68.1  zeus08 3907284992 92.7  62.6  zeus04 4238299136 130    117    811364352 zeus02 134    121    810151936 zeus08 134    121    zeus05 820781056 133    120    zeus16 816480256
loop-acceleration/functions_false-unreach-call1.i 901    881    zeus01 3174748160 902    882    zeus09 2636619776 902    881    zeus12 3223093248 901    820    4608163840 zeus18 901    823    zeus01 4616765440 901    819    zeus06 4595511296 901    821    zeus13 4619419648 902    852    zeus03 4816826368 902    859    zeus14 4918226944 901    855    zeus13 4800897024 901    888    871645184 zeus22 901    888    858525696 zeus06 901    888    zeus09 862470144 901    888    zeus19 863117312
loop-acceleration/multivar_false-unreach-call1.i 4.08 2.39 zeus21 229912576 4.36 2.56 zeus12 232009728 4.34 2.55 zeus13 229740544 8.88 4.97 401133568 zeus16 9.42 5.18 zeus07 413433856 9.79 5.40 zeus01 402137088 9.34 5.19 zeus05 418459648 4.36 2.60 zeus02 224641024 4.30 2.49 zeus21 224190464 4.38 2.58 zeus13 224088064 4.25 2.52 224735232 zeus23 4.16 2.47 231026688 zeus12 4.21 2.50 zeus07 231989248 4.23 2.55 zeus24 221892608
loop-acceleration/nested_false-unreach-call1.i 902    879    zeus06 2742628352 902    877    zeus01 2761715712 902    881    zeus11 4369575936 902    817    4764471296 zeus17 901    817    zeus05 4766523392 902    821    zeus14 4761174016 902    818    zeus09 4754116608 902    854    zeus21 4774363136 907    866    zeus05 4644270080 902    862    zeus12 4595892224 902    883    783433728 zeus05 902    883    781950976 zeus09 902    883    zeus06 777101312 902    883    zeus13 778309632
loop-acceleration/phases_false-unreach-call1.i 901    879    zeus10 1692151808 901    881    zeus07 2491908096 902    880    zeus09 1361985536 902    810    5021392896 zeus08 902    809    zeus09 4967477248 901    812    zeus17 4982382592 902    810    zeus20 5011013632 901    856    zeus12 4752924672 914    869    zeus14 4749410304 902    858    zeus07 4769841152 901    888    794845184 zeus04 902    889    800907264 zeus14 902    889    zeus15 787812352 902    889    zeus12 795316224
loop-acceleration/phases_false-unreach-call2.i 5.27 3.25 zeus13 231436288 4.06 2.44 zeus11 231583744 4.02 2.35 zeus21 225640448 9.22 5.21 413761536 zeus22 8.71 4.88 zeus24 417427456 9.04 5.02 zeus15 411787264 9.39 5.19 zeus06 424558592 4.71 2.73 zeus07 230723584 4.66 2.72 zeus06 225476608 4.55 2.65 zeus02 224800768 4.07 2.45 229109760 zeus14 4.36 2.53 227516416 zeus04 4.39 2.59 zeus11 223313920 4.14 2.52 zeus13 225574912
loop-acceleration/simple_false-unreach-call1.i 901    884    zeus15 4594724864 902    882    zeus12 4598263808 901    882    zeus18 4590354432 902    819    4592066560 zeus03 901    820    zeus20 4608577536 902    815    zeus06 4587548672 902    820    zeus19 4599472128 902    860    zeus19 4789243904 902    851    zeus02 4811497472 902    858    zeus02 4771799040 902    885    834125824 zeus04 902    885    826404864 zeus22 902    885    zeus19 840884224 902    886    zeus21 837124096
loop-acceleration/simple_false-unreach-call2.i 4.25 2.54 zeus18 227467264 4.07 2.44 zeus11 222449664 4.19 2.45 zeus16 225624064 8.87 5.03 411709440 zeus07 8.64 4.88 zeus14 402472960 8.97 5.06 zeus15 393814016 8.73 4.95 zeus13 416137216 4.12 2.46 zeus12 221196288 4.18 2.48 zeus10 223969280 4.52 2.67 zeus13 227815424 4.22 2.47 221405184 zeus24 4.54 2.66 221261824 zeus16 4.15 2.42 zeus22 220168192 4.58 2.65 zeus16 226320384
loop-acceleration/simple_false-unreach-call3.i 4.10 2.44 zeus24 227397632 4.16 2.45 zeus20 223571968 4.21 2.44 zeus15 223436800 11.7  6.50 422522880 zeus01 11.8  6.42 zeus09 433324032 11.7  6.52 zeus11 418131968 11.8  6.47 zeus12 412045312 4.39 2.58 zeus06 224251904 4.28 2.56 zeus06 222633984 4.35 2.57 zeus06 228667392 4.27 2.53 219504640 zeus24 4.33 2.58 223686656 zeus03 4.01 2.42 zeus20 220676096 4.02 2.40 zeus13 223703040
loop-acceleration/simple_false-unreach-call4.i 902    883    zeus03 4594065408 902    883    zeus04 4584566784 902    882    zeus05 4591063040 902    818    4606242816 zeus15 901    820    zeus21 4609413120 902    821    zeus10 4609966080 901    820    zeus21 4622503936 902    858    zeus09 4934135808 902    851    zeus24 4836343808 902    863    zeus17 4792016896 902    885    830287872 zeus08 902    886    826761216 zeus01 902    885    zeus07 835489792 901    885    zeus08 826155008
loop-acceleration/underapprox_false-unreach-call1.i 5.71 3.29 zeus03 250376192 5.69 3.25 zeus05 240635904 5.20 3.01 zeus17 252715008 12.9  7.10 475942912 zeus08 13.0  7.20 zeus18 448581632 12.5  6.97 zeus07 446152704 15.4  8.40 zeus08 435666944 6.75 3.89 zeus12 348618752 6.55 3.67 zeus09 345255936 6.26 3.66 zeus13 333393920 5.48 3.20 242262016 zeus22 5.44 3.28 251412480 zeus08 5.03 2.95 zeus21 246808576 5.24 3.13 zeus05 235814912
loop-acceleration/underapprox_false-unreach-call2.i 5.32 3.10 zeus10 251633664 5.25 3.09 zeus18 245100544 5.05 2.99 zeus21 249155584 12.4  6.89 439640064 zeus24 14.1  7.67 zeus10 432939008 14.5  7.90 zeus18 432115712 13.3  7.37 zeus03 427245568 6.05 3.54 zeus14 346218496 5.67 3.32 zeus24 240238592 6.91 3.95 zeus05 343818240 5.42 3.21 240545792 zeus18 5.25 3.14 247672832 zeus13 5.67 3.40 zeus14 247865344 5.01 2.93 zeus21 240648192
loop-acceleration/array_true-unreach-call1.i 901    881    zeus12 4565078016 902    881    zeus20 4555599872 902    880    zeus15 4752232448 902    823    4622131200 zeus11 902    819    zeus02 4617191424 901    822    zeus01 4602560512 901    824    zeus01 4595757056 902    852    zeus02 4793696256 902    859    zeus05 4830322688 901    853    zeus14 4853829632 901    887    817106944 zeus13 901    887    833695744 zeus08 901    886    zeus24 834060288 901    888    zeus21 812556288
loop-acceleration/array_true-unreach-call2.i 901    882    zeus22 4536930304 902    882    zeus16 4625387520 902    878    zeus09 3411460096 902    816    4599443456 zeus06 902    816    zeus02 4609511424 901    823    zeus09 4599865344 902    833    zeus08 4547764224 902    851    zeus09 4823216128 901    858    zeus06 4811603968 902    854    zeus18 4809662464 902    887    862076928 zeus23 901    887    873717760 zeus22 901    886    zeus16 839389184 901    888    zeus18 783859712
loop-acceleration/array_true-unreach-call3.i 4.24 2.55 zeus22 218255360 3.86 2.27 zeus20 212000768 3.95 2.36 zeus23 213352448 10.4  5.79 422510592 zeus20 10.4  5.80 zeus02 425582592 10.4  5.78 zeus11 406306816 9.48 5.26 zeus16 417325056 4.70 2.78 zeus13 229228544 4.35 2.58 zeus23 222744576 4.66 2.76 zeus01 219766784 4.15 2.48 225619968 zeus14 4.20 2.49 216068096 zeus03 3.73 2.24 zeus13 211542016 3.91 2.32 zeus23 212652032
loop-acceleration/array_true-unreach-call4.i 902    883    zeus02 1358290944 902    883    zeus16 1337712640 901    883    zeus22 4572856320 901    814    4610138112 zeus19 901    820    zeus13 4587745280 901    820    zeus17 4593160192 902    823    zeus06 4611534848 902    853    zeus14 4777144320 901    857    zeus22 4881678336 902    855    zeus22 4735033344 902    886    831356928 zeus11 901    886    844136448 zeus12 902    883    zeus20 862019584 901    883    zeus20 880087040
loop-acceleration/const_true-unreach-call1.i 3.81 2.25 zeus12 212865024 3.91 2.32 zeus15 208470016 3.87 2.31 zeus07 215113728 901    824    4623720448 zeus24 901    825    zeus14 4610453504 902    822    zeus14 4616101888 901    827    zeus08 4626608128 4.28 2.57 zeus03 217800704 4.40 2.60 zeus20 217300992 4.31 2.57 zeus18 215543808 4.01 2.37 209809408 zeus09 3.96 2.38 208515072 zeus19 4.08 2.45 zeus05 209121280 4.01 2.40 zeus03 208990208
loop-acceleration/diamond_true-unreach-call1.i 164    147    zeus19 2619174912 164    146    zeus06 2617806848 166    148    zeus01 2625830912 903    802    5314068480 zeus01 901    807    zeus01 5007073280 875    774    zeus04 5292560384 907    802    zeus03 5454331904 101    68.7  zeus08 4470087680 90.2  61.6  zeus18 4043853824 92.0  61.6  zeus04 3851911168 232    215    830914560 zeus20 218    201    826802176 zeus09 123    108    zeus24 873246720 206    190    zeus02 831057920
loop-acceleration/diamond_true-unreach-call2.i 6.73 3.82 zeus12 257945600 6.39 3.64 zeus16 255356928 6.63 3.80 zeus09 252432384 69.8  36.4  1362841600 zeus23 68.9  35.9  zeus13 1310085120 67.3  35.2  zeus16 1327538176 65.0  34.3  zeus13 1242935296 14.0  7.57 zeus12 621527040 12.5  6.82 zeus02 507420672 13.7  7.37 zeus17 595488768 6.21 3.71 232017920 zeus05 6.06 3.64 233308160 zeus08 5.47 3.33 zeus18 225390592 5.72 3.44 zeus08 231784448
loop-acceleration/functions_true-unreach-call1.i 902    881    zeus16 3100553216 902    882    zeus19 3144785920 902    881    zeus11 3227680768 902    817    4993978368 zeus12 902    819    zeus10 4977692672 902    815    zeus07 4972666880 901    815    zeus14 4987793408 902    856    zeus08 4686979072 901    852    zeus16 4810547200 902    858    zeus14 4904775680 901    888    860803072 zeus22 902    888    861552640 zeus20 901    888    zeus24 852963328 901    888    zeus24 867205120
loop-acceleration/multivar_true-unreach-call1.i 4.05 2.39 zeus05 213430272 3.84 2.28 zeus18 209559552 3.97 2.40 zeus06 215293952 8.45 4.73 392454144 zeus08 8.08 4.56 zeus11 396996608 7.48 4.23 zeus13 399454208 7.75 4.37 zeus05 374525952 3.85 2.38 zeus24 217665536 4.24 2.56 zeus07 218619904 4.41 2.62 zeus05 211042304 4.30 2.51 210812928 zeus18 3.81 2.27 211480576 zeus20 3.56 2.14 zeus20 207069184 3.81 2.28 zeus19 212111360
loop-acceleration/nested_true-unreach-call1.i 902    881    zeus17 4349693952 902    882    zeus13 4351410176 902    878    zeus14 2751270912 902    820    4742811648 zeus18 902    818    zeus05 4729659392 901    814    zeus18 4755890176 902    820    zeus09 4746547200 902    861    zeus13 4617469952 902    858    zeus09 4604035072 902    861    zeus11 4610613248 901    882    781881344 zeus12 902    883    779636736 zeus04 902    883    zeus13 786792448 902    884    zeus23 794329088
loop-acceleration/overflow_true-unreach-call1.i 3.78 2.26 zeus11 219009024 3.73 2.27 zeus09 214511616 3.47 2.07 zeus21 213872640 10.9  6.03 416985088 zeus20 10.7  5.91 zeus23 431161344 10.3  5.79 zeus08 430325760 11.6  6.33 zeus05 421019648 4.26 2.54 zeus14 217210880 3.95 2.35 zeus03 215252992 3.99 2.38 zeus20 211181568 4.13 2.49 205623296 zeus01 3.98 2.37 213413888 zeus13 4.18 2.45 zeus01 208699392 3.87 2.36 zeus18 208642048
loop-acceleration/phases_true-unreach-call1.i 902    883    zeus23 2488979456 902    882    zeus20 2491695104 901    880    zeus14 1362419712 901    811    4971474944 zeus07 902    810    zeus19 5015773184 902    809    zeus07 4977508352 902    810    zeus09 4950335488 901    858    zeus15 4701097984 919    871    zeus01 4767166464 902    859    zeus17 4811620352 901    888    795869184 zeus18 901    887    820236288 zeus11 902    889    zeus05 786804736 902    889    zeus13 799023104
loop-acceleration/phases_true-unreach-call2.i 4.31 2.53 zeus13 246624256 4.53 2.63 zeus20 243453952 4.87 2.90 zeus09 245760000 918    488    13210722304 zeus02 911    492    zeus19 13206609920 940    503    zeus04 13185200128 1000    532    zeus05 13125193728 4.69 2.77 zeus24 231845888 4.82 2.85 zeus24 236355584 4.84 2.86 zeus19 232660992 4.14 2.44 214122496 zeus23 4.16 2.43 215744512 zeus21 3.96 2.33 zeus24 209895424 3.92 2.34 zeus03 209784832
loop-acceleration/simple_true-unreach-call1.i 902    882    zeus03 4599922688 901    880    zeus11 3091542016 901    882    zeus02 4592975872 901    812    4996063232 zeus12 902    815    zeus06 5009571840 901    816    zeus21 5019484160 902    818    zeus19 5004341248 902    863    zeus04 4917493760 902    853    zeus07 4722896896 902    863    zeus10 4798177280 902    885    837890048 zeus07 902    885    849526784 zeus20 902    885    zeus10 827736064 902    885    zeus13 841752576
loop-acceleration/simple_true-unreach-call2.i 3.95 2.37 zeus22 213114880 4.00 2.31 zeus16 205819904 4.11 2.43 zeus15 206823424 5.98 3.47 317018112 zeus24 5.91 3.44 zeus16 317153280 5.82 3.35 zeus06 311357440 5.80 3.38 zeus08 324935680 4.23 2.57 zeus19 211607552 3.98 2.36 zeus08 214339584 4.01 2.38 zeus15 215007232 3.84 2.26 206778368 zeus17 3.95 2.39 208228352 zeus07 3.73 2.20 zeus03 202375168 3.73 2.21 zeus14 210849792
loop-acceleration/simple_true-unreach-call3.i 4.00 2.34 zeus23 217104384 3.91 2.31 zeus05 212127744 3.85 2.30 zeus19 213012480 902    818    5012824064 zeus04 902    816    zeus16 5012905984 901    811    zeus02 4997771264 901    815    zeus17 4989423616 1000    781    zeus06 7992000512 902    707    zeus14 7412412416 902    738    zeus04 7942983680 3.62 2.16 213565440 zeus09 4.18 2.45 209534976 zeus05 4.27 2.54 zeus20 210694144 3.99 2.35 zeus11 216141824
loop-acceleration/simple_true-unreach-call4.i 902    883    zeus07 4662009856 902    882    zeus08 4731064320 902    882    zeus11 4596805632 901    820    4616617984 zeus18 901    814    zeus22 4606074880 902    822    zeus01 4605911040 902    821    zeus03 4617007104 901    858    zeus15 4871929856 901    857    zeus18 4845424640 902    858    zeus08 4945100800 902    886    827551744 zeus13 902    885    831832064 zeus17 902    885    zeus03 838053888 902    885    zeus08 833388544
loop-acceleration/underapprox_true-unreach-call1.i 5.39 3.10 zeus20 228950016 5.21 2.99 zeus02 231137280 5.21 3.05 zeus20 234754048 902    811    4983984128 zeus16 902    809    zeus19 4933505024 902    815    zeus16 5008842752 902    810    zeus16 4983164928 6.88 3.88 zeus07 272863232 6.93 3.96 zeus23 277700608 7.04 3.98 zeus10 267927552 5.62 3.29 223866880 zeus12 5.33 3.14 229650432 zeus14 5.19 3.10 zeus17 225689600 5.85 3.49 zeus15 222969856
loop-acceleration/underapprox_true-unreach-call2.i 4.71 2.79 zeus03 212017152 4.57 2.70 zeus03 215826432 4.38 2.57 zeus20 220295168 15.5  8.35 438804480 zeus10 15.9  8.50 zeus23 428486656 16.1  8.59 zeus04 437313536 15.7  8.41 zeus17 448258048 5.48 3.17 zeus02 237821952 5.42 3.14 zeus10 230531072 5.75 3.43 zeus01 231739392 4.77 2.85 218718208 zeus10 4.61 2.76 216133632 zeus13 4.91 2.92 zeus16 214118400 4.59 2.72 zeus15 215891968
loop-invgen/id_trans_false-unreach-call.i 4.87 2.88 zeus15 256954368 4.91 2.83 zeus08 254259200 4.88 2.85 zeus07 261361664 11.5  6.37 459706368 zeus12 11.8  6.52 zeus19 424484864 12.9  7.04 zeus12 432017408 12.2  6.78 zeus15 432754688 5.35 3.09 zeus21 256942080 5.08 2.96 zeus17 242843648 5.44 3.16 zeus05 242466816 5.01 2.89 242388992 zeus06 4.97 3.00 242593792 zeus20 4.70 2.76 zeus24 243556352 4.89 2.89 zeus16 239038464
loop-invgen/MADWiFi-encode_ie_ok_true-unreach-call.i 4.33 2.60 zeus16 213352448 4.13 2.48 zeus14 217673728 4.35 2.56 zeus05 221716480 10.8  5.95 420556800 zeus12 10.5  5.89 zeus02 446525440 10.8  5.88 zeus22 419004416 10.2  5.72 zeus13 449101824 4.76 2.81 zeus16 229113856 4.65 2.74 zeus12 229482496 4.55 2.68 zeus14 230010880 4.34 2.58 214749184 zeus20 5.11 3.07 219496448 zeus13 4.32 2.64 zeus08 211886080 4.40 2.62 zeus10 220344320
loop-invgen/NetBSD_loop_true-unreach-call.i 3.94 2.31 zeus04 214626304 3.97 2.38 zeus24 210923520 4.23 2.54 zeus18 217427968 11.1  6.07 401666048 zeus19 11.1  6.12 zeus14 420507648 11.1  6.06 zeus16 423219200 12.2  6.74 zeus10 403148800 4.77 2.82 zeus12 226615296 4.62 2.77 zeus14 231366656 4.97 2.93 zeus10 231649280 4.40 2.67 213245952 zeus14 4.24 2.55 213790720 zeus11 4.41 2.66 zeus20 212852736 4.33 2.57 zeus18 215572480
loop-invgen/SpamAssassin-loop_true-unreach-call.i 4.55 2.62 zeus20 215867392 4.64 2.76 zeus14 215777280 4.75 2.93 zeus15 220667904 12.7  6.92 430108672 zeus11 13.4  7.31 zeus04 436396032 13.1  7.08 zeus08 409718784 12.3  6.68 zeus21 459907072 5.43 3.18 zeus14 231112704 5.34 3.13 zeus09 235724800 5.01 2.96 zeus18 232280064 5.66 3.34 228741120 zeus14 5.65 3.34 227643392 zeus20 5.37 3.23 zeus06 229720064 5.66 3.38 zeus16 226590720
loop-invgen/apache-escape-absolute_true-unreach-call.i 4.79 2.80 zeus10 225878016 4.82 2.79 zeus01 218660864 4.64 2.69 zeus10 223834112 18.9  10.1  448610304 zeus15 17.9  9.47 zeus24 438046720 16.8  8.94 zeus20 438722560 17.6  9.36 zeus20 444723200 5.89 3.38 zeus02 243822592 6.41 3.63 zeus13 245735424 5.93 3.40 zeus08 241446912 4.84 2.86 221683712 zeus21 4.71 2.86 217976832 zeus12 4.99 2.94 zeus13 220069888 4.96 2.96 zeus14 228433920
loop-invgen/apache-get-tag_true-unreach-call.i 4.36 2.59 zeus13 220975104 4.72 2.80 zeus18 217116672 4.23 2.51 zeus03 217354240 10.8  5.94 437497856 zeus14 11.1  6.16 zeus07 425365504 10.5  5.79 zeus17 422756352 11.3  6.29 zeus18 449568768 4.99 2.93 zeus15 222957568 4.98 2.94 zeus06 230080512 4.81 2.80 zeus10 231645184 4.57 2.70 215433216 zeus07 4.36 2.61 217763840 zeus20 5.08 2.98 zeus17 216100864 4.68 2.77 zeus22 219123712
loop-invgen/down_true-unreach-call.i 902    880    zeus20 4430573568 901    880    zeus23 4491202560 901    879    zeus15 4430950400 902    813    4585648128 zeus10 901    817    zeus18 4584435712 902    815    zeus04 4607561728 902    820    zeus04 4599812096 902    861    zeus20 4695863296 902    861    zeus07 4596273152 902    860    zeus03 4660609024 902    881    846598144 zeus05 902    882    851877888 zeus05 902    882    zeus01 841703424 902    882    zeus13 847130624
loop-invgen/fragtest_simple_true-unreach-call.i 901    879    zeus10 4500832256 901    880    zeus10 4392865792 902    879    zeus01 4439519232 901    822    4592521216 zeus10 902    825    zeus04 4579663872 902    822    zeus06 4574543872 902    825    zeus18 4617846784 902    849    zeus16 4781375488 902    855    zeus09 4876275712 902    848    zeus09 4827725824 901    885    843038720 zeus24 901    887    835186688 zeus11 901    887    zeus10 829825024 901    887    zeus07 818778112
loop-invgen/half_2_true-unreach-call.i 4.74 2.80 zeus15 235876352 4.29 2.51 zeus02 236777472 4.48 2.61 zeus09 237555712 902    819    4833177600 zeus20 902    817    zeus15 4798984192 902    818    zeus06 4812533760 902    817    zeus04 4762980352 902    851    zeus02 4772708352 902    858    zeus12 4738424832 902    851    zeus16 4777279488 904    883    1671200768 zeus23 902    881    1383370752 zeus08 902    882    zeus12 1375191040 901    881    zeus14 1672704000
loop-invgen/heapsort_true-unreach-call.i 12.2  6.82 zeus06 527745024 12.2  6.82 zeus17 528007168 12.4  6.95 zeus22 534130688 37.9  19.6  828772352 zeus12 37.6  19.5  zeus04 836468736 39.6  20.5  zeus08 854859776 37.7  19.6  zeus13 831086592 12.2  6.69 zeus12 484085760 11.2  6.16 zeus21 401350656 11.4  6.37 zeus22 470437888 6.80 4.14 246374400 zeus14 6.61 4.10 242880512 zeus19 7.24 4.50 zeus06 245800960 7.01 4.30 zeus13 241549312
loop-invgen/id_build_true-unreach-call.i 4.25 2.48 zeus09 215908352 3.83 2.24 zeus21 209371136 4.12 2.44 zeus19 217292800 9.46 5.23 402321408 zeus15 8.51 4.75 zeus06 395083776 9.16 5.12 zeus23 411131904 9.22 5.14 zeus05 412360704 4.38 2.59 zeus18 216195072 4.15 2.48 zeus03 215040000 4.93 2.97 zeus24 217030656 4.13 2.47 212467712 zeus15 4.19 2.49 214810624 zeus09 3.91 2.33 zeus10 211845120 4.02 2.41 zeus17 213299200
loop-invgen/large_const_true-unreach-call.i 4.98 2.91 zeus23 220459008 4.75 2.75 zeus16 221384704 4.56 2.67 zeus13 220950528 17.2  9.17 468299776 zeus18 17.4  9.24 zeus18 428150784 17.0  9.15 zeus24 459423744 18.8  10.1  zeus09 454393856 6.63 3.79 zeus20 259031040 6.93 3.96 zeus19 260792320 6.24 3.55 zeus21 259686400 4.74 2.87 220073984 zeus14 4.59 2.70 213499904 zeus03 4.14 2.47 zeus23 213639168 4.44 2.63 zeus01 214904832
loop-invgen/nest-if3_true-unreach-call.i 6.49 3.82 zeus19 234311680 4.76 2.76 zeus21 228548608 5.18 3.02 zeus24 231567360 29.6  15.4  764727296 zeus23 32.4  16.9  zeus19 742555648 29.6  15.4  zeus03 736366592 28.2  14.7  zeus15 744296448 7.12 4.00 zeus13 266870784 7.19 4.06 zeus22 260546560 7.25 4.09 zeus02 269320192 4.92 2.97 219529216 zeus04 4.49 2.68 218034176 zeus06 4.75 2.83 zeus12 215232512 4.72 2.83 zeus05 219009024
loop-invgen/nested6_true-unreach-call.i 9.55 5.48 zeus14 337006592 10.0  5.82 zeus24 336633856 9.95 5.63 zeus22 340058112 39.3  20.4  871317504 zeus11 37.3  19.4  zeus14 859713536 39.4  20.5  zeus06 868151296 38.8  20.1  zeus18 878444544 24.9  13.1  zeus23 728653824 23.7  12.5  zeus22 715202560 21.6  11.4  zeus06 737193984 6.53 3.89 240226304 zeus17 6.19 3.73 237981696 zeus20 6.09 3.70 zeus21 240766976 6.93 4.14 zeus01 239353856
loop-invgen/nested9_true-unreach-call.i 902    880    zeus24 4624879616 902    880    zeus22 4829310976 902    879    zeus06 4838440960 30.8  15.9  725676032 zeus21 32.6  17.0  zeus19 734183424 33.1  17.2  zeus05 723439616 30.5  15.8  zeus24 701964288 27.5  14.3  zeus07 700796928 29.2  15.2  zeus15 842719232 25.8  13.4  zeus16 645140480 902    881    1553068032 zeus03 902    881    942977024 zeus15 901    882    zeus18 1526272000 902    880    zeus14 984608768
loop-invgen/sendmail-close-angle_true-unreach-call.i 4.94 2.92 zeus06 222846976 5.11 3.04 zeus24 217395200 4.89 2.85 zeus09 223428608 20.0  10.5  475262976 zeus14 20.9  11.1  zeus04 504889344 19.8  10.4  zeus16 455061504 19.8  10.5  zeus08 485158912 5.65 3.25 zeus21 244461568 6.21 3.55 zeus13 246292480 5.90 3.33 zeus17 245235712 5.91 3.49 223657984 zeus22 5.59 3.28 225849344 zeus06 5.81 3.39 zeus20 221290496 5.58 3.28 zeus01 219897856
loop-invgen/seq_true-unreach-call.i 902    880    zeus22 4458622976 901    881    zeus03 4439068672 902    881    zeus14 4446220288 902    827    4586971136 zeus04 901    825    zeus13 4591951872 902    825    zeus03 4601126912 902    828    zeus21 4592492544 901    857    zeus17 4669259776 901    861    zeus02 4620460032 902    860    zeus18 4653772800 901    888    727973888 zeus04 902    889    730243072 zeus10 901    888    zeus05 732061696 901    888    zeus16 783020032
loop-invgen/string_concat-noarr_true-unreach-call.i 901    878    zeus23 4473171968 902    879    zeus22 4366282752 902    879    zeus06 4380569600 902    825    4604620800 zeus24 902    822    zeus04 4604448768 902    825    zeus04 4595187712 902    825    zeus10 4608909312 902    852    zeus01 4694069248 902    856    zeus18 4658245632 902    850    zeus12 4732334080 901    880    771424256 zeus11 902    881    780136448 zeus10 902    881    zeus02 788373504 902    881    zeus17 784805888
loop-invgen/up_true-unreach-call.i 902    879    zeus24 4512763904 902    879    zeus09 4499537920 901    879    zeus09 4425736192 902    822    4602646528 zeus09 901    828    zeus19 4618973184 902    827    zeus21 4629286912 901    827    zeus18 4605284352 902    861    zeus04 4696748032 902    861    zeus04 4686082048 902    862    zeus14 4654907392 903    880    1379115008 zeus12 902    882    1626304512 zeus19 903    881    zeus20 1477292032 901    880    zeus23 1547333632
loop-lit/afnp2014_true-unreach-call.c.i 901    890    zeus07 905134080 901    890    zeus05 840830976 901    889    zeus04 842088448 901    841    4564717568 zeus23 901    842    zeus18 4631937024 902    840    zeus02 4656730112 902    838    zeus02 4624830464 901    852    zeus21 4700655616 901    844    zeus15 5739999232 901    846    zeus06 5404049408 4.18 2.49 214781952 zeus09 4.02 2.43 215281664 zeus04 4.05 2.43 zeus05 217509888 4.16 2.52 zeus13 219615232
loop-lit/bhmr2007_true-unreach-call.c.i 4.13 2.46 zeus14 216530944 4.18 2.46 zeus23 216317952 4.13 2.43 zeus03 220413952 9.91 5.52 435146752 zeus04 9.83 5.51 zeus02 423165952 10.3  5.79 zeus06 428965888 9.86 5.41 zeus23 413962240 4.50 2.66 zeus11 228245504 4.83 2.82 zeus19 222687232 4.53 2.69 zeus09 227340288 4.14 2.46 214261760 zeus17 4.33 2.63 214843392 zeus18 4.51 2.71 zeus14 217288704 4.28 2.54 zeus09 220950528
loop-lit/cggmp2005_true-unreach-call.c.i 4.77 2.79 zeus20 233242624 4.89 2.86 zeus15 226512896 5.19 3.00 zeus17 226123776 14.8  7.94 444153856 zeus23 14.6  7.95 zeus01 444780544 13.5  7.49 zeus22 452141056 14.1  7.68 zeus19 431104000 5.42 3.16 zeus19 237817856 5.79 3.33 zeus07 247963648 6.13 3.55 zeus12 242733056 5.29 3.23 221319168 zeus12 4.88 2.90 225546240 zeus03 5.29 3.11 zeus19 223535104 4.81 2.88 zeus02 222674944
loop-lit/cggmp2005_variant_true-unreach-call.c.i 3.79 2.25 zeus21 214908928 3.76 2.25 zeus24 210272256 3.82 2.31 zeus04 216018944 12.4  6.83 435978240 zeus13 11.2  6.09 zeus09 423088128 11.2  6.13 zeus01 389021696 10.7  5.91 zeus04 429658112 4.81 2.91 zeus11 227655680 4.36 2.59 zeus14 225857536 5.09 3.03 zeus19 224260096 4.21 2.50 214171648 zeus20 4.05 2.45 212123648 zeus17 4.23 2.52 zeus13 212049920 4.18 2.51 zeus15 210128896
loop-lit/cggmp2005b_true-unreach-call.c.i 3.84 2.30 zeus13 209006592 4.19 2.44 zeus16 213807104 3.93 2.35 zeus13 214528000 902    829    4614508544 zeus02 902    831    zeus05 4621639680 901    832    zeus20 4597358592 901    829    zeus09 4636618752 5.63 3.36 zeus01 223924224 4.83 2.86 zeus06 230940672 4.93 2.89 zeus02 227827712 901    886    3825405952 zeus18 902    886    3801985024 zeus01 906    890    zeus01 3800993792 907    891    zeus04 3585232896
loop-lit/css2003_true-unreach-call.c.i 3.89 2.34 zeus05 211574784 4.10 2.45 zeus15 206954496 4.02 2.38 zeus13 218271744 8.42 4.73 400728064 zeus23 8.41 4.73 zeus09 412463104 8.53 4.80 zeus07 404783104 8.77 4.92 zeus03 406642688 4.54 2.66 zeus16 221282304 4.49 2.65 zeus18 219533312 4.54 2.71 zeus07 217436160 4.08 2.41 211152896 zeus03 4.12 2.47 211083264 zeus06 4.16 2.53 zeus17 211312640 4.04 2.41 zeus23 211234816
loop-lit/ddlm2013_true-unreach-call.c.i 5.14 3.03 zeus20 235540480 5.06 2.95 zeus23 229023744 5.03 2.95 zeus03 235814912 901    840    4519055360 zeus13 901    840    zeus05 4539445248 901    839    zeus23 4524482560 901    840    zeus13 4497350656 825    764    zeus19 5409771520 865    804    zeus23 5378592768 865    804    zeus02 5531414528 5.47 3.25 225103872 zeus04 5.34 3.17 226856960 zeus13 5.28 3.17 zeus07 226603008 5.14 3.09 zeus08 226365440
loop-lit/gj2007_true-unreach-call.c.i 231    217    zeus13 2692263936 237    224    zeus20 2692403200 233    220    zeus06 2693361664 378    310    4584402944 zeus12 355    292    zeus07 4594253824 359    295    zeus02 4601659392 356    295    zeus06 4589645824 161    125    zeus11 4775088128 141    101    zeus21 4794871808 145    111    zeus18 4790435840 901    888    790659072 zeus22 901    888    801951744 zeus01 901    888    zeus03 801734656 902    889    zeus15 793993216
loop-lit/gj2007b_true-unreach-call.c.i 4.35 2.60 zeus04 221908992 4.15 2.47 zeus23 215461888 4.20 2.52 zeus14 220381184 11.6  6.38 425164800 zeus14 12.3  6.75 zeus22 409473024 11.9  6.53 zeus23 412192768 12.2  6.74 zeus11 424001536 5.33 3.12 zeus24 232308736 4.85 2.82 zeus21 226852864 5.37 3.14 zeus12 233254912 4.55 2.67 217526272 zeus09 4.50 2.73 214667264 zeus20 4.81 2.84 zeus07 219742208 4.80 2.77 zeus16 216158208
loop-lit/gr2006_true-unreach-call.c.i 44.5  33.7  zeus05 1014001664 43.7  32.8  zeus03 993083392 43.3  32.8  zeus24 1011892224 166    117    3854340096 zeus03 158    113    zeus05 3841216512 150    107    zeus01 4021694464 150    107    zeus22 4112744448 83.7  53.9  zeus16 2551455744 87.0  54.7  zeus08 4056203264 83.5  54.3  zeus02 2439000064 901    885    836665344 zeus24 902    886    842051584 zeus08 901    886    zeus10 835141632 902    886    zeus14 844972032
loop-lit/gsv2008_true-unreach-call.c.i 7.36 4.12 zeus05 273510400 6.84 3.90 zeus06 265240576 7.31 4.14 zeus19 286953472 38.8  20.2  863608832 zeus08 37.2  19.3  zeus12 848826368 40.0  20.7  zeus17 851447808 40.0  20.7  zeus05 820936704 5.82 3.33 zeus18 236752896 5.46 3.20 zeus11 235356160 5.60 3.20 zeus14 239198208 4.10 2.41 214466560 zeus21 3.95 2.42 212967424 zeus24 4.15 2.45 zeus10 207912960 4.12 2.48 zeus12 216080384
loop-lit/hhk2008_true-unreach-call.c.i 3.96 2.36 zeus03 212766720 4.13 2.45 zeus01 209293312 4.31 2.55 zeus20 213139456 10.2  5.68 420229120 zeus17 9.44 5.37 zeus03 418770944 9.61 5.28 zeus17 407355392 9.58 5.34 zeus18 413794304 4.67 2.74 zeus24 224714752 4.97 2.85 zeus21 226701312 4.89 2.87 zeus14 230957056 4.49 2.65 210964480 zeus01 4.21 2.54 218865664 zeus14 4.68 2.78 zeus14 213155840 4.48 2.72 zeus12 218398720
loop-lit/jm2006_true-unreach-call.c.i 4.78 2.78 zeus02 214200320 4.02 2.40 zeus18 207032320 4.19 2.47 zeus22 220491776 8.11 4.59 388349952 zeus06 8.25 4.66 zeus20 406069248 7.75 4.41 zeus06 369070080 7.84 4.46 zeus17 409276416 4.41 2.58 zeus16 220975104 4.43 2.60 zeus20 216313856 4.70 2.74 zeus16 222023680 4.38 2.63 219082752 zeus01 4.30 2.53 217022464 zeus03 4.74 2.81 zeus02 215191552 4.37 2.61 zeus14 221192192
loop-lit/jm2006_variant_true-unreach-call.c.i 4.06 2.41 zeus15 207273984 3.93 2.35 zeus12 213590016 3.92 2.32 zeus11 214519808 8.76 4.86 396357632 zeus19 8.44 4.69 zeus16 410382336 8.04 4.56 zeus15 383995904 8.19 4.67 zeus10 401342464 5.62 3.23 zeus16 231673856 5.15 2.99 zeus21 234500096 5.03 2.95 zeus14 240418816 4.72 2.81 216719360 zeus24 4.43 2.66 219373568 zeus04 4.39 2.62 zeus04 214687744 4.63 2.77 zeus07 225230848
loop-lit/mcmillan2006_true-unreach-call.c.i 4.30 2.56 zeus12 217444352 3.59 2.13 zeus20 206028800 4.24 2.48 zeus22 225030144 901    826    5045571584 zeus04 901    826    zeus18 5053853696 4.94 2.87 zeus20 297811968 26.0  13.6  zeus15 579096576 901    838    zeus20 5322457088 3.82 2.23 zeus16 214032384 9.05 5.02 zeus24 396554240 902    888    897327104 zeus15 904    890    889532416 zeus07 3.79 2.23 zeus15 207323136 7.50 4.28 zeus05 348200960
loop-new/count_by_1_true-unreach-call.i 902    883    zeus04 4628934656 902    882    zeus04 4666105856 902    882    zeus02 4569108480 901    825    4635680768 zeus14 901    828    zeus05 4619350016 902    826    zeus09 4631707648 902    824    zeus12 4613574656 901    859    zeus03 4857966592 920    871    zeus22 4908429312 902    862    zeus03 4903710720 902    884    841072640 zeus09 901    886    845824000 zeus15 902    885    zeus07 834834432 902    885    zeus22 831488000
loop-new/count_by_1_variant_true-unreach-call.i 902    881    zeus19 4623630336 902    881    zeus21 4611309568 901    881    zeus18 4618919936 902    826    4610269184 zeus10 901    824    zeus07 4602978304 902    825    zeus16 4599619584 901    824    zeus11 4624666624 902    861    zeus17 4773683200 902    851    zeus05 4945350656 901    861    zeus22 4936806400 4.01 2.38 209055744 zeus05 3.72 2.22 215101440 zeus13 3.95 2.31 zeus05 209170432 3.89 2.29 zeus03 210083840
loop-new/count_by_2_true-unreach-call.i 902    883    zeus04 4651352064 902    882    zeus18 4565540864 902    882    zeus24 4641656832 902    823    4614225920 zeus17 901    823    zeus15 4629135360 902    825    zeus23 4608323584 901    826    zeus04 4607406080 902    854    zeus21 5071851520 920    869    zeus11 4860272640 901    857    zeus22 4848955392 902    885    833024000 zeus20 902    885    841068544 zeus13 902    885    zeus04 819265536 902    885    zeus06 842862592
loop-new/count_by_k_true-unreach-call.i 901    883    zeus21 2711744512 901    884    zeus01 4481073152 902    883    zeus10 2437283840 901    834    4557950976 zeus17 902    835    zeus03 4557479936 902    836    zeus13 4555137024 902    836    zeus10 4552085504 902    854    zeus23 4725198848 902    848    zeus02 4697133056 902    854    zeus24 4735717376 901    883    798945280 zeus06 902    884    794677248 zeus21 901    884    zeus03 794329088 901    884    zeus15 787824640
loop-new/count_by_nondet_true-unreach-call.i 902    881    zeus07 4503740416 902    882    zeus18 4372819968 901    879    zeus20 4515004416 902    827    4610183168 zeus13 902    827    zeus18 4643774464 901    827    zeus03 4617564160 901    826    zeus24 4634677248 902    858    zeus23 4741197824 902    855    zeus15 4776738816 902    857    zeus19 4705382400 902    884    794116096 zeus03 901    884    788639744 zeus18 902    885    zeus01 788058112 902    883    zeus11 814505984
loop-new/gauss_sum_true-unreach-call.i 4.61 2.69 zeus24 239628288 4.87 2.83 zeus13 242765824 4.77 2.76 zeus12 246657024 1000    540    13294743552 zeus18 1000    542    zeus15 13290962944 1000    538    zeus21 13167419392 1000    539    zeus17 13097054208 4.86 2.88 zeus20 239443968 4.78 2.78 zeus06 232419328 4.85 2.84 zeus18 233713664 4.11 2.42 212905984 zeus05 3.84 2.31 212971520 zeus22 3.88 2.31 zeus12 213536768 3.89 2.34 zeus06 210132992
loop-new/half_true-unreach-call.i 4.76 2.77 zeus19 226332672 4.15 2.51 zeus23 219631616 4.30 2.57 zeus03 216203264 901    813    5034520576 zeus11 902    809    zeus14 5273481216 901    809    zeus10 5137600512 902    812    zeus02 5100924928 7.83 4.42 zeus06 284848128 8.04 4.58 zeus01 279969792 7.70 4.34 zeus15 280416256 6.47 3.96 246042624 zeus10 6.05 3.66 236736512 zeus05 6.02 3.64 zeus18 241754112 6.38 3.82 zeus01 237830144
loop-new/nested_true-unreach-call.i 125    112    zeus22 4272873472 127    114    zeus18 4266119168 128    115    zeus10 4279492608 902    820    4545748992 zeus18 902    822    zeus15 4554555392 902    824    zeus17 4604346368 902    823    zeus15 4593786880 255    227    zeus09 4446261248 319    288    zeus10 4369215488 237    210    zeus15 4442869760 901    887    765284352 zeus11 902    888    826261504 zeus02 901    888    zeus11 763748352 902    888    zeus07 822874112
test/programs/benchmarks/ status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) memUsage host status cputime (s) walltime (s) host memUsage status cputime (s) walltime (s) host memUsage
total tasks 141 32000    31100    196862586880 141 29100 28200 153928765440 141 33400 32400 167951335424 141 44700 39200 300592844800 141 46700 41000 311617937408 141 41700 36700 280576225280 141 47900   42000   322251825152 141 32200    29800    222692659200 141 31200 29000 213804593152 141 34200    31700    234999853056 141 35400    34500    64126717952 141 34700    33900    92820189184 141 33200 32400 59712319488 141 37000   36100    66895855616
    correct results 86 918    701    29974933504 83 904 697 28813082624 94 2540 2240 37800390656 85 3250 2310 59151151104 87 3360 2380 61166059520 81 2700 1900 54901911552 86 3440   2410   65583570944 93 2090    1610    49998761984 86 2030 1610 44962193408 97 2460    1840    56031334400 95 1480    1250    24267169792 94 799    588    24030810112 86 560 376 20574318592 95 1550   1310    26049077248
        correct true 55 634    501    19473969152 54 632 503 19108782080 61 2060 1880 24731578368 52 1800 1250 36587913216 54 1890 1290 38837751808 50 1370 897 33867964416 54 1540   980   37291560960 59 1710    1380    32611008512 55 1720 1420 31883804672 62 1970    1570    38828097536 60 1130    1000    14050570240 59 457    344    13754277888 55 261 158 12014002176 60 1190   1060    15155863552
        correct false 31 284    200    10500964352 29 273 194 9704300544 33 476 362 13068812288 33 1450 1060 22563237888 33 1470 1090 22328307712 31 1330 1000 21033947136 32 1900   1430   28292009984 34 388    230    17387753472 31 312 188 13078388736 35 482    275    17203236864 35 350    250    10216599552 35 342    244    10276532224 31 300 218 8560316416 35 355   251    10893213696
    incorrect results 1 4.47 2.64 240779264 0 0 0 0 0 1 26.0 13.6 579096576 1 4.91 2.84 243589120 0 1 9.05 5.02 396554240 1 4.85 2.86 237391872 1 4.87 2.89 240545792 0 2 12.4 7.15 586711040
        incorrect true 0 0 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect false 1 4.47 2.64 240779264 0 0 0 0 0 1 26.0 13.6 579096576 1 4.91 2.84 243589120 0 1 9.05 5.02 396554240 1 4.85 2.86 237391872 1 4.87 2.89 240545792 0 2 12.4 7.15 586711040
score (141 tasks, max score: 234) 125 137 155 137 141 131 124 136 141 143 139 137 141 123
Run set MathSAT5-heaparray.Loops MathSAT5-oldarray.Loops MathSAT5-uf.Loops PRINCESS-heaparray-quantifiers.Loops PRINCESS-heaparray.Loops PRINCESS-oldarray.Loops PRINCESS-uf.Loops SMTInterpol-heaparray.Loops SMTInterpol-oldarray.Loops SMTInterpol-uf.Loops Z3-heaparray-quantifiers.Loops Z3-heaparray.Loops Z3-oldarray.Loops Z3-uf.Loops