Tool CPAchecker 1.4-svn
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 3.13.0-45-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Date of execution 15-02-20 21:42
Run set DOMAIN_BEST_SHALLOW.ECA DOMAIN_WORST_SHALLOW.ECA LONGEST.ECA SHORTEST.ECA
Options -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_BEST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_WORST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=LONGEST -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=SHORTEST
Propertyfile ${sourcefile_path}/ALL.prp
test/programs/eca-rers2012/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
Problem05_label00_false-unreach-call.c timeout 908.429s 11 6420 false(reach) 306.644s 10 6828 false(reach) 746.264s 9 14235 timeout 902.820s 13 6555
Problem05_label01_false-unreach-call.c timeout 908.255s 11 6504 false(reach) 413.283s 10 6551 false(reach) 517.023s 9 8295 timeout 902.911s 11 6404
Problem05_label11_false-unreach-call.c timeout 906.508s 11 5959 false(reach) 260.646s 10 6399 false(reach) 692.081s 9 9169 timeout 908.100s 11 5871
Problem05_label13_false-unreach-call.c timeout 902.174s 12 6479 false(reach) 310.471s 10 6437 false(reach) 650.112s 9 10698 timeout 903.413s 11 6355
Problem05_label15_false-unreach-call.c timeout 908.495s 11 5862 false(reach) 348.067s 10 6435 false(reach) 559.168s 9 8774 timeout 903.639s 12 5951
Problem05_label18_false-unreach-call.c timeout 909.382s 11 6961 false(reach) 319.257s 10 7064 false(reach) 366.504s 9 8536 timeout 911.343s 11 7061
Problem05_label24_false-unreach-call.c timeout 905.178s 11 5991 false(reach) 409.707s 10 6685 false(reach) 486.764s 9 9957 timeout 901.837s 12 6078
Problem05_label26_false-unreach-call.c timeout 901.653s 11 6195 false(reach) 698.806s 10 6892 false(reach) 798.134s 9 9200 timeout 959.420s 11 6292
Problem05_label30_false-unreach-call.c timeout 902.366s 11 6056 false(reach) 458.202s 10 6860 false(reach) 372.064s 9 8256 timeout 902.530s 12 6140
Problem05_label32_false-unreach-call.c timeout 920.385s 11 6307 false(reach) 536.738s 10 6779 false(reach) 502.598s 9 9888 timeout 904.447s 11 6307
Problem05_label33_false-unreach-call.c timeout 903.229s 11 5855 false(reach) 340.830s 10 6610 false(reach) 520.276s 9 9842 timeout 906.904s 11 5855
Problem05_label36_false-unreach-call.c timeout 902.566s 12 5760 false(reach) 297.981s 10 6355 false(reach) 361.533s 9 9426 timeout 901.797s 13 5812
Problem05_label37_false-unreach-call.c timeout 943.432s 11 5985 false(reach) 511.820s 10 6713 false(reach) 412.792s 9 8243 timeout 901.822s 13 6187
Problem05_label38_false-unreach-call.c timeout 901.986s 11 6037 false(reach) 325.373s 10 6822 false(reach) 531.557s 9 12416 timeout 933.423s 12 6129
Problem05_label39_false-unreach-call.c timeout 902.704s 12 6269 false(reach) 415.544s 10 7095 false(reach) 405.680s 9 11304 timeout 905.056s 11 6156
Problem05_label40_false-unreach-call.c timeout 904.497s 12 5698 false(reach) 509.303s 10 7046 false(reach) 518.284s 9 11213 timeout 953.028s 12 5759
Problem05_label41_false-unreach-call.c timeout 908.625s 11 6010 false(reach) 440.887s 10 6867 false(reach) 422.077s 9 7944 timeout 906.609s 12 6180
Problem05_label44_false-unreach-call.c timeout 906.277s 11 5542 false(reach) 328.035s 10 6393 false(reach) 651.932s 9 11267 timeout 908.716s 12 5698
Problem05_label47_false-unreach-call.c timeout 902.222s 12 5478 false(reach) 365.606s 10 6272 false(reach) 333.173s 9 9185 timeout 935.726s 11 5387
Problem05_label48_false-unreach-call.c timeout 903.313s 11 5592 false(reach) 403.600s 10 6544 false(reach) 449.347s 9 8136 timeout 902.259s 12 5694
Problem05_label51_false-unreach-call.c timeout 905.173s 12 5926 false(reach) 202.794s 10 6918 false(reach) 551.523s 9 10059 timeout 905.943s 12 5926
Problem05_label55_false-unreach-call.c timeout 904.146s 12 6052 false(reach) 320.676s 10 7237 false(reach) 591.232s 9 11362 timeout 901.512s 12 6052
Problem05_label57_false-unreach-call.c timeout 907.655s 12 5795 false(reach) 242.109s 10 6575 false(reach) 713.515s 9 11720 timeout 902.210s 12 5737
Problem05_label58_false-unreach-call.c timeout 906.255s 11 5788 false(reach) 311.643s 10 6890 false(reach) 461.441s 9 10755 timeout 943.732s 11 5788
Problem06_label00_false-unreach-call.c timeout 902.515s 30 12109 false(reach) 308.574s 28 13347 timeout 945.925s 18 17979 timeout 903.856s 30 12269
Problem06_label01_false-unreach-call.c false(reach) 748.694s 30 12346 false(reach) 686.172s 28 13571 timeout 901.929s 16 17689 timeout 902.412s 25 12189
Problem06_label02_false-unreach-call.c timeout 906.744s 30 12238 false(reach) 404.007s 28 13656 false(reach) 625.368s 26 19209 timeout 902.556s 29 12535
Problem06_label04_false-unreach-call.c false(reach) 694.416s 30 12233 false(reach) 763.546s 28 13601 timeout 902.524s 22 20196 timeout 892.820s 30 12538
Problem06_label05_false-unreach-call.c false(reach) 642.067s 30 11997 false(reach) 816.115s 28 13593 timeout 902.612s 26 19200 timeout 903.757s 26 12198
Problem06_label09_false-unreach-call.c false(reach) 868.624s 30 12720 false(reach) 723.212s 28 13839 timeout 903.665s 23 23772 timeout 901.766s 26 12748
Problem06_label10_false-unreach-call.c false(reach) 755.395s 30 12658 timeout 903.860s 27 13578 timeout 902.768s 20 17790 timeout 945.555s 24 12178
Problem06_label12_false-unreach-call.c false(reach) 712.288s 30 12595 false(reach) 757.598s 28 13816 timeout 904.806s 14 17625 error (1) 912.694s - -
Problem06_label15_false-unreach-call.c false(reach) 643.253s 30 12765 timeout 900.550s 28 14302 timeout 902.902s 18 15591 timeout 902.149s 24 12833
Problem06_label20_false-unreach-call.c false(reach) 687.444s 30 12565 timeout 900.621s 28 13837 false(reach) 854.206s 26 18299 timeout 905.124s 24 12371
Problem06_label21_false-unreach-call.c false(reach) 795.464s 30 12484 false(reach) 459.720s 28 14047 timeout 902.722s 22 19552 timeout 902.683s 28 12999
Problem06_label27_false-unreach-call.c false(reach) 861.189s 30 12458 false(reach) 560.838s 28 13983 timeout 903.400s 23 19558 timeout 903.023s 29 12711
Problem06_label29_false-unreach-call.c false(reach) 766.453s 30 12174 false(reach) 720.831s 28 13702 timeout 905.055s 23 17802 timeout 904.162s 28 12440
Problem06_label36_false-unreach-call.c timeout 903.640s 30 12150 false(reach) 413.340s 28 13457 timeout 902.450s 21 13270 timeout 903.967s 29 12808
Problem06_label37_false-unreach-call.c timeout 903.068s 30 12512 false(reach) 632.670s 28 13621 timeout 903.335s 25 14206 timeout 933.969s 27 12767
Problem06_label38_false-unreach-call.c false(reach) 801.512s 30 12001 false(reach) 162.173s 28 13272 timeout 901.934s 17 14436 false(reach) 814.805s 30 12108
Problem06_label44_false-unreach-call.c false(reach) 807.331s 30 12284 timeout 902.152s 27 14213 timeout 903.332s 21 19040 timeout 903.881s 24 12182
Problem06_label47_false-unreach-call.c timeout 902.188s 30 12963 false(reach) 584.436s 28 14254 timeout 908.385s 20 18165 timeout 959.799s - -
Problem06_label48_false-unreach-call.c false(reach) 755.423s 30 13274 false(reach) 301.083s 28 13715 false(reach) 844.078s 26 13997 timeout 901.321s 30 13452
Problem06_label56_false-unreach-call.c false(reach) 823.976s 30 12391 false(reach) 834.601s 28 13933 timeout 902.473s 24 17546 timeout 903.999s 25 12379
Problem06_label59_false-unreach-call.c false(reach) 812.732s 30 12502 false(reach) 481.128s 28 13599 timeout 904.743s 24 21424 timeout 906.150s 29 12637
Problem07_label03_false-unreach-call.c timeout 913.684s 10 37133 error (1) 913.469s - - timeout 905.186s 5 30308 timeout 922.105s 10 37133
Problem07_label06_false-unreach-call.c timeout 908.833s 10 37115 error (1) 912.743s - - timeout 903.918s 6 36577 timeout 918.618s 10 37115
Problem07_label09_false-unreach-call.c timeout 909.958s 11 37582 error (1) 947.473s - - timeout 905.369s 5 28663 timeout 959.632s - -
Problem07_label11_false-unreach-call.c timeout 959.649s - - error (1) 922.236s - - error (1) 912.398s - - timeout 913.799s 10 37078
Problem07_label18_false-unreach-call.c timeout 913.311s 10 37111 error (1) 921.747s - - timeout 906.864s 4 32910 timeout 922.607s 10 37111
Problem07_label30_false-unreach-call.c timeout 932.992s 10 37852 error (1) 915.887s - - timeout 919.499s 4 33540 timeout 906.193s 10 37852
Problem07_label31_false-unreach-call.c timeout 902.632s 10 37779 error (1) 933.530s - - timeout 946.553s 5 28163 timeout 959.915s - -
Problem07_label39_false-unreach-call.c timeout 902.658s 10 37753 error (1) 926.856s - - timeout 904.534s 6 46551 timeout 940.784s 10 37753
Problem07_label40_false-unreach-call.c timeout 905.491s 10 37768 error (1) 911.696s - - timeout 951.082s 5 30759 timeout 905.834s 10 37768
Problem07_label42_false-unreach-call.c timeout 959.940s - - error (1) 959.403s - - timeout 903.362s 5 30933 timeout 959.989s - -
Problem07_label44_false-unreach-call.c timeout 955.377s 10 37819 error (1) 928.224s - - timeout 901.447s 5 34466 timeout 904.387s 10 37819
Problem07_label46_false-unreach-call.c timeout 903.317s 10 37828 error (1) 912.944s - - timeout 902.265s 5 33563 timeout 950.380s 10 37828
Problem07_label47_false-unreach-call.c timeout 959.834s - - timeout 903.530s 10 47422 error (1) 912.235s - - timeout 911.454s 10 37731
Problem08_label01_false-unreach-call.c timeout 906.072s 11 54695 error (1) 911.711s - - timeout 902.130s 5 42883 timeout 912.708s 12 55962
Problem08_label05_false-unreach-call.c timeout 957.058s 10 53438 error (1) 911.240s - - timeout 934.106s 4 34143 timeout 910.611s 10 53438
Problem08_label06_false-unreach-call.c timeout 903.438s 9 51632 error (1) 914.884s - - timeout 903.188s 4 41995 timeout 909.212s 10 54138
Problem08_label07_false-unreach-call.c timeout 942.124s 10 53377 error (1) 912.569s - - timeout 902.244s 4 34037 timeout 917.595s 10 53377
Problem08_label13_false-unreach-call.c timeout 950.094s 10 53440 error (1) 911.124s - - error (1) 911.708s - - timeout 916.922s 10 53440
Problem08_label15_false-unreach-call.c timeout 902.554s 10 53370 error (1) 911.464s - - timeout 902.378s 4 33657 timeout 918.551s 10 53370
Problem08_label37_false-unreach-call.c error (1) 958.094s - - timeout 903.020s 9 69902 timeout 904.592s 4 34527 timeout 924.856s 9 52910
Problem09_label02_false-unreach-call.c error (1) 911.570s - - timeout 903.520s 7 71892 timeout 901.231s 4 40638 timeout 902.040s 12 110571
Problem09_label03_false-unreach-call.c error (1) 911.883s - - timeout 915.287s 7 71892 timeout 904.185s 3 40640 timeout 903.023s 12 110587
Problem09_label06_false-unreach-call.c error (1) 913.494s - - error (1) 917.477s - - timeout 902.035s 4 40108 timeout 902.800s 11 101636
Problem09_label08_false-unreach-call.c timeout 902.654s 7 68242 error (1) 922.738s - - timeout 904.678s 3 40515 timeout 902.449s 11 101957
Problem09_label15_false-unreach-call.c error (1) 911.072s - - error (1) 910.815s - - timeout 903.549s 4 40218 timeout 959.843s - -
Problem09_label19_false-unreach-call.c error (1) 916.704s - - error (1) 910.937s - - timeout 904.961s 4 40627 timeout 953.173s 12 109124
Problem09_label20_false-unreach-call.c error (1) 911.220s - - error (1) 921.435s - - timeout 903.679s 4 40114 timeout 902.285s 16 136218
Problem09_label32_false-unreach-call.c timeout 905.457s 6 58785 error (1) 919.302s - - timeout 902.839s 4 40630 timeout 902.815s 10 93121
Problem09_label34_false-unreach-call.c timeout 903.859s 6 58784 error (1) 911.064s - - timeout 908.604s 4 40629 timeout 912.883s 9 93120
Problem09_label35_false-unreach-call.c error (1) 911.623s - - error (1) 911.307s - - timeout 907.337s 4 40116 timeout 902.679s 10 93121
Problem09_label36_false-unreach-call.c timeout 921.323s 6 58772 error (1) 910.956s - - timeout 902.104s 4 40106 timeout 926.187s 10 93100
Problem09_label38_false-unreach-call.c error (1) 911.600s - - error (1) 911.356s - - timeout 904.357s 3 40506 timeout 935.491s 10 93118
Problem09_label41_false-unreach-call.c error (1) 911.326s - - timeout 901.542s 7 71892 timeout 902.738s 3 30442 timeout 901.984s 10 93121
Problem09_label44_false-unreach-call.c timeout 901.846s 7 68205 error (1) 911.548s - - timeout 906.613s 5 49852 timeout 959.692s - -
Problem09_label46_false-unreach-call.c error (1) 911.565s - - error (1) 911.036s - - timeout 903.650s 4 40202 timeout 904.871s 16 137583
Problem09_label47_false-unreach-call.c timeout 902.276s 7 68230 error (1) 910.947s - - timeout 903.034s 4 40038 error (1) 912.550s - -
Problem09_label51_false-unreach-call.c error (1) 911.704s - - error (1) 911.265s - - timeout 941.384s 4 50350 timeout 902.172s 11 101667
Problem09_label53_false-unreach-call.c timeout 902.170s 7 68224 error (1) 911.376s - - timeout 902.578s 4 40321 timeout 902.843s 12 109955
Problem09_label54_false-unreach-call.c timeout 903.022s 7 68223 error (1) 911.004s - - timeout 904.473s 3 30165 timeout 901.945s 12 109950
Problem09_label56_false-unreach-call.c timeout 902.330s 7 68218 error (1) 911.180s - - timeout 902.039s 4 40387 timeout 902.484s 11 102160
Problem09_label57_false-unreach-call.c timeout 902.313s 7 68196 error (1) 911.177s - - timeout 913.961s 3 30305 timeout 902.321s 11 102126
Problem09_label59_false-unreach-call.c error (1) 911.085s - - error (1) 911.124s - - timeout 901.915s 4 40266 timeout 905.350s 22 167462
Problem13_label06_false-unreach-call.c false(reach) 302.028s 9 342 timeout 903.309s 8 1033 false(reach) 95.647s 7 659 false(reach) 699.597s 9 968
Problem13_label21_false-unreach-call.c false(reach) 215.566s 10 366 false(reach) 556.887s 9 952 false(reach) 409.138s 9 899 timeout 902.103s 10 748
Problem13_label25_false-unreach-call.c false(reach) 279.034s 9 322 timeout 959.527s - - false(reach) 114.244s 7 775 timeout 908.345s 7 530
Problem13_label28_false-unreach-call.c false(reach) 215.640s 9 268 timeout 911.119s 8 943 timeout 904.499s 7 478 timeout 906.039s 7 439
Problem13_label29_false-unreach-call.c false(reach) 219.194s 9 306 timeout 905.295s 7 536 false(reach) 413.373s 7 1432 timeout 901.607s 7 653
Problem13_label30_false-unreach-call.c false(reach) 215.084s 10 319 timeout 891.884s 9 1257 false(reach) 214.146s 8 1070 timeout 954.734s 6 713
Problem13_label32_false-unreach-call.c false(reach) 296.337s 9 429 timeout 907.409s 10 1310 false(reach) 254.605s 7 1203 false(reach) 381.877s 9 668
Problem14_label08_false-unreach-call.c false(reach) 22.143s 5 289 timeout 959.470s - - false(reach) 23.706s 5 480 false(reach) 128.505s 5 283
Problem14_label10_false-unreach-call.c false(reach) 20.824s 5 331 false(reach) 91.769s 5 382 timeout 903.057s 3 295 false(reach) 43.127s 5 368
Problem14_label11_false-unreach-call.c false(reach) 23.451s 5 285 false(reach) 118.818s 5 375 timeout 903.113s 3 249 false(reach) 48.622s 5 369
Problem14_label13_false-unreach-call.c false(reach) 20.333s 5 288 false(reach) 95.868s 5 382 timeout 904.990s 3 284 false(reach) 47.552s 5 372
Problem14_label14_false-unreach-call.c false(reach) 20.987s 5 231 false(reach) 91.591s 5 191 timeout 903.216s 3 252 false(reach) 33.986s 5 247
Problem14_label18_false-unreach-call.c false(reach) 22.634s 5 296 false(reach) 89.679s 5 187 timeout 906.255s 3 284 false(reach) 35.509s 5 257
Problem14_label22_false-unreach-call.c false(reach) 23.019s 5 413 error (1) 910.923s - - false(reach) 25.476s 5 437 false(reach) 143.133s 5 195
Problem14_label27_false-unreach-call.c false(reach) 20.527s 5 436 false(reach) 85.040s 5 208 timeout 903.152s 3 263 false(reach) 33.798s 5 243
Problem14_label29_false-unreach-call.c false(reach) 21.881s 5 462 false(reach) 289.011s 5 373 timeout 902.888s 3 303 false(reach) 67.648s 5 370
Problem14_label31_false-unreach-call.c false(reach) 20.271s 5 417 false(reach) 306.561s 5 380 timeout 905.664s 3 245 false(reach) 68.520s 5 368
Problem14_label34_false-unreach-call.c false(reach) 20.455s 5 485 false(reach) 75.003s 5 201 timeout 905.242s 3 309 false(reach) 39.247s 5 260
Problem14_label37_false-unreach-call.c false(reach) 21.364s 5 420 false(reach) 92.724s 5 193 timeout 903.653s 3 257 false(reach) 39.118s 5 265
Problem14_label39_false-unreach-call.c false(reach) 21.132s 5 403 false(reach) 287.702s 5 190 timeout 903.333s 3 181 false(reach) 61.070s 5 189
Problem14_label40_false-unreach-call.c false(reach) 21.988s 5 448 false(reach) 302.730s 5 184 timeout 903.180s 3 332 false(reach) 57.842s 5 189
Problem14_label44_false-unreach-call.c false(reach) 23.185s 5 414 timeout 959.140s 4 145 false(reach) 25.778s 5 335 false(reach) 145.430s 5 287
Problem14_label52_false-unreach-call.c false(reach) 22.112s 5 419 false(reach) 298.328s 5 385 timeout 903.109s 3 252 false(reach) 72.135s 5 380
Problem14_label56_false-unreach-call.c false(reach) 21.492s 5 452 false(reach) 91.416s 5 183 timeout 906.904s 3 255 false(reach) 42.068s 5 254
Problem14_label57_false-unreach-call.c false(reach) 20.975s 5 416 false(reach) 79.447s 5 193 timeout 903.116s 3 198 false(reach) 34.898s 5 249
Problem16_label00_false-unreach-call.c false(reach) 425.616s 6 255 timeout 902.544s 4 285 false(reach) 372.981s 5 796 false(reach) 451.600s 6 255
Problem16_label01_false-unreach-call.c false(reach) 434.024s 6 257 timeout 914.268s 4 251 false(reach) 653.841s 6 610 false(reach) 420.026s 6 257
Problem16_label04_false-unreach-call.c false(reach) 316.258s 6 432 timeout 904.116s 4 297 false(reach) 419.554s 6 787 false(reach) 290.752s 6 432
Problem16_label05_false-unreach-call.c false(reach) 569.999s 6 443 timeout 904.317s 4 250 false(reach) 587.184s 6 365 false(reach) 546.670s 6 443
Problem16_label06_false-unreach-call.c false(reach) 509.300s 6 443 timeout 907.237s 4 280 false(reach) 676.043s 6 489 false(reach) 539.634s 6 443
Problem16_label08_false-unreach-call.c false(reach) 559.487s 6 490 timeout 904.115s 4 279 false(reach) 590.756s 5 687 false(reach) 567.596s 6 490
Problem16_label14_false-unreach-call.c false(reach) 567.561s 6 470 timeout 959.734s - - false(reach) 849.589s 6 645 false(reach) 510.789s 6 470
Problem16_label18_false-unreach-call.c false(reach) 767.499s 6 439 timeout 959.545s - - false(reach) 724.907s 6 514 false(reach) 706.201s 6 439
Problem16_label20_false-unreach-call.c false(reach) 412.118s 6 705 timeout 905.557s 4 362 false(reach) 434.079s 6 711 false(reach) 466.331s 6 705
Problem16_label22_false-unreach-call.c false(reach) 580.911s 6 705 timeout 907.622s 3 108 timeout 903.176s 2 78 false(reach) 539.681s 6 705
Problem16_label27_false-unreach-call.c false(reach) 555.099s 6 700 timeout 959.606s - - false(reach) 564.652s 6 681 false(reach) 568.725s 6 700
Problem16_label30_false-unreach-call.c false(reach) 588.670s 6 698 timeout 909.609s 3 111 false(reach) 804.888s 6 609 false(reach) 560.222s 6 698
Problem16_label31_false-unreach-call.c false(reach) 730.228s 6 695 timeout 903.912s 4 319 timeout 910.106s 4 874 false(reach) 652.073s 6 695
Problem16_label33_false-unreach-call.c false(reach) 476.211s 6 691 timeout 932.905s 3 142 false(reach) 640.194s 6 684 false(reach) 444.949s 6 691
Problem16_label37_false-unreach-call.c false(reach) 435.199s 6 702 timeout 901.788s 4 277 false(reach) 611.946s 6 638 false(reach) 437.891s 6 702
Problem16_label38_false-unreach-call.c false(reach) 563.879s 6 706 timeout 909.756s 3 109 false(reach) 874.695s 6 1013 false(reach) 562.997s 6 706
Problem16_label41_false-unreach-call.c false(reach) 438.959s 6 756 timeout 903.270s 4 231 false(reach) 636.408s 6 565 false(reach) 428.002s 6 756
Problem16_label43_false-unreach-call.c false(reach) 562.232s 6 745 timeout 959.643s - - false(reach) 508.961s 5 624 false(reach) 610.240s 6 745
Problem16_label44_false-unreach-call.c false(reach) 284.950s 6 737 timeout 901.475s 4 528 false(reach) 340.383s 6 724 false(reach) 345.606s 6 737
Problem16_label46_false-unreach-call.c false(reach) 603.350s 6 756 timeout 906.651s 3 110 false(reach) 684.270s 6 649 false(reach) 550.631s 6 756
Problem16_label51_false-unreach-call.c false(reach) 586.409s 6 754 timeout 959.357s - - false(reach) 606.850s 5 1014 false(reach) 559.773s 6 754
Problem16_label52_false-unreach-call.c false(reach) 268.019s 6 739 timeout 959.450s - - false(reach) 397.772s 6 526 false(reach) 248.374s 6 739
Problem16_label54_false-unreach-call.c false(reach) 436.453s 6 748 timeout 905.068s 3 112 false(reach) 687.557s 6 590 false(reach) 419.935s 6 748
Problem18_label03_false-unreach-call.c false(reach) 197.743s 7 715 false(reach) 56.414s 5 425 timeout 906.000s 4 336 false(reach) 138.748s 7 430
Problem18_label06_false-unreach-call.c false(reach) 235.023s 7 559 timeout 909.860s 4 303 false(reach) 177.296s 6 328 timeout 912.538s 3 274
Problem18_label08_false-unreach-call.c false(reach) 247.889s 7 709 timeout 909.786s 4 300 false(reach) 198.958s 6 407 timeout 959.713s - -
Problem18_label09_false-unreach-call.c false(reach) 78.031s 6 448 timeout 909.255s 4 269 timeout 959.229s - - false(reach) 299.303s 6 513
Problem18_label10_false-unreach-call.c false(reach) 324.391s 7 538 timeout 912.673s 4 266 false(reach) 317.333s 5 423 false(reach) 542.211s 7 527
Problem18_label12_false-unreach-call.c false(reach) 216.846s 6 460 timeout 910.143s 4 269 false(reach) 189.998s 6 310 false(reach) 566.744s 6 499
Problem18_label19_false-unreach-call.c false(reach) 94.799s 6 598 timeout 909.458s 4 377 false(reach) 178.231s 6 523 false(reach) 382.514s 6 650
Problem18_label20_false-unreach-call.c false(reach) 129.878s 7 743 timeout 909.519s 4 376 false(reach) 66.661s 5 680 false(reach) 386.182s 7 715
Problem18_label25_false-unreach-call.c false(reach) 158.542s 7 715 timeout 909.040s 4 358 false(reach) 393.609s 6 348 false(reach) 535.914s 7 630
Problem18_label27_false-unreach-call.c false(reach) 106.576s 6 581 timeout 908.757s 4 361 false(reach) 124.101s 6 397 false(reach) 444.433s 6 598
Problem18_label31_false-unreach-call.c false(reach) 95.976s 6 657 timeout 911.607s 4 360 false(reach) 70.567s 5 320 false(reach) 372.034s 6 682
Problem18_label32_false-unreach-call.c false(reach) 237.699s 7 632 timeout 910.200s 4 362 false(reach) 122.710s 5 429 false(reach) 471.272s 7 733
Problem18_label33_false-unreach-call.c false(reach) 175.702s 7 856 timeout 912.254s 4 360 false(reach) 129.856s 6 446 false(reach) 369.701s 7 720
Problem18_label34_false-unreach-call.c false(reach) 107.599s 6 616 timeout 910.448s 4 251 false(reach) 214.912s 6 220 false(reach) 346.832s 6 694
Problem18_label35_false-unreach-call.c false(reach) 93.615s 6 681 timeout 908.626s 4 255 false(reach) 147.799s 5 383 false(reach) 320.317s 6 677
Problem18_label36_false-unreach-call.c false(reach) 229.296s 7 676 timeout 905.071s 4 266 false(reach) 184.614s 6 491 false(reach) 572.693s 7 702
Problem18_label38_false-unreach-call.c false(reach) 199.091s 6 800 timeout 912.170s 4 258 false(reach) 364.847s 6 434 false(reach) 408.772s 6 663
Problem18_label45_false-unreach-call.c false(reach) 149.067s 6 583 timeout 911.297s 4 234 false(reach) 582.470s 5 369 false(reach) 459.189s 6 579
Problem18_label49_false-unreach-call.c false(reach) 211.246s 7 662 timeout 911.880s 4 370 false(reach) 130.331s 6 311 timeout 959.398s - -
Problem18_label52_false-unreach-call.c false(reach) 217.164s 6 543 timeout 910.721s 4 371 false(reach) 191.024s 6 292 timeout 959.698s 3 358
Problem18_label55_false-unreach-call.c false(reach) 148.097s 6 571 timeout 908.155s 4 331 false(reach) 128.600s 5 347 false(reach) 448.590s 6 608
Problem18_label57_false-unreach-call.c false(reach) 90.327s 6 569 timeout 918.980s 4 329 false(reach) 125.958s 5 500 false(reach) 408.040s 6 616
Problem19_label10_false-unreach-call.c timeout 907.407s 6 1730 timeout 917.160s 5 427 false(reach) 633.372s 6 2189 timeout 907.436s 6 894
Problem19_label18_false-unreach-call.c false(reach) 819.214s 10 2159 timeout 959.902s - - false(reach) 174.339s 6 2181 false(reach) 884.550s 10 995
Problem19_label19_false-unreach-call.c timeout 908.324s 4 1348 timeout 908.767s 4 590 false(reach) 488.832s 7 2048 timeout 908.297s 4 590
Problem19_label22_false-unreach-call.c false(reach) 593.877s 10 1870 timeout 957.968s 4 603 false(reach) 85.152s 6 1291 timeout 902.086s 6 1153
Problem19_label27_false-unreach-call.c timeout 922.815s 8 1835 timeout 913.334s 5 181 false(reach) 567.559s 6 1548 timeout 908.443s 6 1160
Problem19_label28_false-unreach-call.c timeout 906.915s 5 1236 timeout 911.433s 5 170 false(reach) 794.312s 8 2000 timeout 903.196s 4 592
Problem19_label29_false-unreach-call.c timeout 902.338s 5 1622 timeout 901.488s 5 458 false(reach) 822.696s 8 2235 timeout 911.752s 4 586
Problem19_label31_false-unreach-call.c timeout 904.064s 8 1757 timeout 904.471s 4 281 false(reach) 566.930s 7 1402 timeout 901.964s 6 1125
Problem19_label32_false-unreach-call.c timeout 901.991s 8 1790 timeout 902.447s 5 454 false(reach) 642.527s 7 1760 timeout 902.723s 6 1139
Problem19_label43_false-unreach-call.c timeout 902.818s 7 2087 timeout 902.671s 4 815 false(reach) 349.971s 6 1974 error (1) 922.273s - -
Problem19_label50_false-unreach-call.c timeout 901.537s 5 1508 timeout 904.279s 4 283 false(reach) 824.999s 8 1676 timeout 924.656s 4 813
Problem19_label53_false-unreach-call.c timeout 903.743s 6 1878 timeout 902.120s 5 438 false(reach) 860.661s 6 2464 timeout 903.503s 5 1186
Problem19_label59_false-unreach-call.c timeout 904.110s 8 1349 false(reach) 221.702s 6 493 timeout 901.355s 8 2219 timeout 907.118s 9 513
Problem05_label27_true-unreach-call.c true 120.778s 8 6025 true 566.165s 10 6717 timeout 908.619s 8 12312 true 118.251s 8 6025
Problem06_label03_true-unreach-call.c true 510.507s 25 12340 timeout 938.823s 27 13908 timeout 902.784s 17 16555 timeout 960.454s - -
Problem06_label06_true-unreach-call.c true 83.440s 25 11973 true 170.036s 28 13569 timeout 908.671s 18 16747 true 228.608s 26 12359
Problem06_label07_true-unreach-call.c true 357.907s 25 12253 timeout 939.717s 26 13546 timeout 905.663s 21 18692 timeout 917.026s 24 12204
Problem06_label08_true-unreach-call.c true 489.066s 25 12418 timeout 909.232s 26 13613 timeout 919.563s 16 13338 timeout 914.153s 23 11997
Problem06_label13_true-unreach-call.c true 315.109s 25 12487 timeout 907.322s 27 13915 timeout 931.434s 20 14714 timeout 913.748s 25 12528
Problem06_label14_true-unreach-call.c true 185.227s 25 11994 true 456.046s 28 14064 timeout 903.703s 23 18008 true 721.345s 26 12383
Problem06_label16_true-unreach-call.c true 881.798s 25 12991 timeout 910.342s 26 14292 timeout 918.200s 14 14672 timeout 960.022s - -
Problem06_label18_true-unreach-call.c true 197.108s 25 13543 timeout 903.791s 27 14044 timeout 905.300s 24 14074 timeout 901.791s 26 14258
Problem06_label26_true-unreach-call.c true 373.530s 25 12547 timeout 938.010s 26 13694 timeout 901.823s 22 15673 timeout 913.995s 23 12107
Problem06_label28_true-unreach-call.c true 281.441s 25 13887 true 807.906s 28 14420 timeout 902.218s 22 23656 timeout 901.820s 26 14242
Problem06_label30_true-unreach-call.c true 263.185s 25 12347 true 723.151s 28 13723 timeout 901.771s 21 15089 timeout 902.555s 25 12351
Problem06_label31_true-unreach-call.c true 374.553s 25 12480 timeout 902.311s 27 13848 timeout 902.943s 24 19427 error (1) 916.230s - -
Problem06_label32_true-unreach-call.c true 225.499s 25 12364 true 621.776s 28 13759 timeout 901.534s 19 16529 timeout 906.299s 25 12621
Problem06_label35_true-unreach-call.c true 212.891s 25 12035 timeout 907.698s 26 13598 timeout 902.933s 20 15353 timeout 910.592s 24 12325
Problem06_label39_true-unreach-call.c true 337.556s 25 12313 true 837.508s 28 13828 timeout 901.388s 26 16970 timeout 931.600s 25 12451
Problem06_label43_true-unreach-call.c true 185.065s 25 12308 true 787.291s 28 13704 timeout 903.775s 17 15759 timeout 902.882s 25 12375
Problem06_label45_true-unreach-call.c true 389.449s 25 12689 timeout 904.124s 27 14533 timeout 901.308s 21 17893 timeout 910.049s 24 12945
Problem06_label46_true-unreach-call.c true 246.408s 25 12420 timeout 901.359s 26 14097 timeout 902.983s 24 13951 timeout 905.750s 23 12063
Problem06_label50_true-unreach-call.c true 673.484s 25 13176 timeout 910.830s 25 13742 timeout 902.162s 18 15854 timeout 934.689s 23 12635
Problem06_label51_true-unreach-call.c true 164.295s 25 12278 timeout 907.695s 27 14343 timeout 912.542s 23 15941 timeout 901.463s 25 12837
Problem06_label52_true-unreach-call.c true 640.317s 25 12394 timeout 910.668s 27 14095 timeout 904.777s 16 11157 timeout 958.798s 25 12320
Problem06_label53_true-unreach-call.c true 420.700s 25 13642 timeout 901.465s 28 14387 timeout 931.058s 21 14575 timeout 904.070s 25 13940
Problem06_label54_true-unreach-call.c true 341.183s 25 12192 timeout 905.795s 27 14235 timeout 902.760s 15 15115 timeout 901.528s 25 12355
Problem06_label57_true-unreach-call.c timeout 959.680s - - timeout 922.249s 25 13567 true 198.562s 6 4580 timeout 922.209s 23 12141
Problem07_label01_true-unreach-call.c timeout 907.769s 10 37152 error (1) 944.009s - - timeout 904.335s 5 37606 timeout 959.635s - -
Problem07_label10_true-unreach-call.c timeout 919.486s 10 37226 error (1) 912.699s - - timeout 901.497s 7 43961 timeout 912.145s 10 37226
Problem07_label13_true-unreach-call.c timeout 913.472s 10 37263 error (1) 934.175s - - timeout 904.560s 5 27890 timeout 959.759s - -
Problem07_label21_true-unreach-call.c timeout 914.247s 10 37207 error (1) 945.647s - - error (1) 913.823s - - timeout 947.640s 10 37207
Problem07_label24_true-unreach-call.c timeout 904.361s 10 38070 error (1) 912.499s - - timeout 959.651s - - timeout 915.230s 10 38070
Problem07_label26_true-unreach-call.c timeout 903.589s 10 38043 error (1) 911.389s - - timeout 905.332s 8 43972 timeout 905.593s 10 38043
Problem07_label27_true-unreach-call.c timeout 908.994s 10 37898 error (1) 911.660s - - timeout 902.743s 5 30067 timeout 905.455s 10 37898
Problem08_label03_true-unreach-call.c timeout 938.479s 10 53649 error (1) 911.748s - - timeout 904.954s 4 42844 timeout 914.498s 10 53649
Problem08_label12_true-unreach-call.c timeout 904.405s 9 51700 error (1) 911.857s - - timeout 903.792s 3 34218 timeout 903.756s 10 54219
Problem08_label16_true-unreach-call.c timeout 903.585s 9 51725 error (1) 912.550s - - timeout 934.669s 4 33725 timeout 908.604s 10 54245
Problem08_label17_true-unreach-call.c timeout 906.680s 10 53579 error (1) 911.113s - - timeout 901.859s 4 33741 timeout 922.349s 10 53579
Problem08_label30_true-unreach-call.c timeout 911.455s 8 49733 timeout 903.606s 9 70019 timeout 908.946s 5 50622 error (1) 913.921s - -
Problem09_label00_true-unreach-call.c error (1) 915.187s - - error (1) 911.127s - - timeout 904.386s 5 59283 timeout 902.690s 24 171671
Problem09_label01_true-unreach-call.c error (1) 911.536s - - error (1) 931.378s - - timeout 901.912s 4 40157 timeout 910.522s 16 137755
Problem09_label04_true-unreach-call.c error (1) 913.054s - - error (1) 910.964s - - timeout 911.210s 4 40663 timeout 904.280s 12 110653
Problem09_label05_true-unreach-call.c error (1) 911.432s - - error (1) 911.289s - - timeout 907.759s 4 40133 timeout 902.419s 11 101709
Problem09_label07_true-unreach-call.c error (1) 912.782s - - error (1) 910.959s - - timeout 902.064s 4 40169 timeout 902.460s 11 101747
Problem09_label09_true-unreach-call.c timeout 902.370s 7 68275 error (1) 923.512s - - timeout 903.713s 3 30334 timeout 906.907s 12 110029
Problem09_label12_true-unreach-call.c error (1) 913.755s - - error (1) 910.827s - - timeout 906.504s 3 30487 timeout 948.897s 11 102249
Problem09_label13_true-unreach-call.c error (1) 911.477s - - timeout 901.958s 7 71906 timeout 905.897s 3 30461 timeout 902.251s 11 102230
Problem09_label14_true-unreach-call.c error (1) 911.020s - - error (1) 917.968s - - timeout 902.211s 4 40288 timeout 909.271s 19 155066
Problem09_label16_true-unreach-call.c error (1) 911.003s - - error (1) 911.285s - - timeout 929.715s 4 40131 timeout 901.792s 16 138347
Problem09_label17_true-unreach-call.c error (1) 910.914s - - error (1) 910.974s - - timeout 901.865s 4 40672 timeout 959.817s - -
Problem09_label18_true-unreach-call.c error (1) 911.627s - - timeout 901.416s 8 82249 timeout 922.980s 4 40696 timeout 902.891s 12 109171
Problem09_label21_true-unreach-call.c error (1) 910.786s - - error (1) 923.022s - - timeout 902.715s 4 40149 timeout 904.046s 15 129385
Problem09_label22_true-unreach-call.c error (1) 911.304s - - error (1) 911.029s - - timeout 902.311s 4 40133 timeout 920.716s 18 146393
Problem09_label23_true-unreach-call.c error (1) 911.270s - - error (1) 911.414s - - timeout 904.502s 3 40539 timeout 902.679s 12 109533
Problem09_label24_true-unreach-call.c error (1) 911.320s - - error (1) 911.635s - - timeout 929.947s 3 30343 timeout 938.718s 12 109532
Problem09_label25_true-unreach-call.c error (1) 911.284s - - error (1) 920.777s - - timeout 903.532s 3 30332 timeout 902.397s 12 109538
Problem09_label26_true-unreach-call.c error (1) 911.037s - - error (1) 914.533s - - timeout 903.572s 3 40362 timeout 904.177s 11 101572
Problem09_label27_true-unreach-call.c error (1) 910.848s - - error (1) 912.275s - - timeout 903.285s 3 30466 timeout 906.460s 11 101562
Problem09_label28_true-unreach-call.c error (1) 911.381s - - error (1) 911.110s - - timeout 904.103s 3 30469 timeout 959.810s - -
Problem09_label29_true-unreach-call.c error (1) 911.615s - - error (1) 910.904s - - timeout 905.501s 3 30228 timeout 901.490s 11 100837
Problem09_label30_true-unreach-call.c timeout 901.667s 6 58794 error (1) 911.201s - - timeout 904.878s 4 40278 timeout 908.514s 11 100856
Problem09_label31_true-unreach-call.c timeout 901.813s 6 58781 error (1) 911.337s - - timeout 901.951s 4 40108 timeout 901.968s 9 84875
Problem09_label33_true-unreach-call.c timeout 901.615s 6 58794 error (1) 925.109s - - timeout 903.050s 4 40675 timeout 939.863s 10 93130
Problem09_label37_true-unreach-call.c error (1) 912.086s - - error (1) 911.176s - - timeout 902.167s 4 40132 timeout 906.037s 10 93123
Problem09_label39_true-unreach-call.c timeout 902.649s 6 58806 error (1) 910.819s - - timeout 907.513s 4 40110 timeout 902.692s 10 93146
Problem09_label40_true-unreach-call.c timeout 902.873s 6 58793 error (1) 911.028s - - timeout 904.934s 3 30321 timeout 902.527s 11 100857
Problem09_label42_true-unreach-call.c timeout 903.709s 6 58781 error (1) 918.677s - - timeout 959.931s - - timeout 926.021s 10 93113
Problem09_label43_true-unreach-call.c error (1) 911.512s - - error (1) 911.415s - - timeout 903.581s 3 30481 timeout 902.364s 10 93149
Problem09_label45_true-unreach-call.c error (1) 912.946s - - timeout 903.135s 6 71955 timeout 904.826s 3 40220 timeout 902.800s 25 173482
Problem09_label48_true-unreach-call.c error (1) 911.272s - - timeout 901.749s 7 71892 timeout 904.272s 3 30257 timeout 905.247s 12 110638
Problem09_label50_true-unreach-call.c error (1) 913.049s - - error (1) 911.208s - - timeout 909.700s 4 40308 timeout 921.526s 11 101718
Problem09_label52_true-unreach-call.c timeout 902.160s 7 68271 error (1) 911.322s - - timeout 953.062s 4 40310 timeout 901.799s 11 101740
Problem09_label55_true-unreach-call.c error (1) 911.617s - - error (1) 928.280s - - timeout 902.525s 4 40169 timeout 904.788s 12 110004
Problem09_label58_true-unreach-call.c error (1) 912.121s - - error (1) 911.121s - - timeout 904.527s 3 30643 timeout 933.483s 11 102222
Problem10_label03_true-unreach-call.c true 9.651s 4 166 timeout 908.860s 5 280 timeout 902.947s 3 181 timeout 903.114s 5 236
Problem10_label04_true-unreach-call.c true 9.809s 4 185 timeout 906.813s 5 273 true 8.922s 2 76 timeout 904.853s 5 289
Problem10_label05_true-unreach-call.c true 9.415s 4 171 timeout 909.302s 5 289 timeout 903.199s 2 71 timeout 904.800s 5 209
Problem10_label06_true-unreach-call.c true 10.010s 4 160 timeout 904.047s 5 239 timeout 902.736s 2 57 timeout 902.766s 5 183
Problem10_label07_true-unreach-call.c true 11.277s 4 163 timeout 959.434s - - timeout 902.778s 3 187 timeout 903.644s 6 138
Problem10_label08_true-unreach-call.c true 10.907s 4 156 timeout 909.274s 5 380 true 9.557s 2 62 timeout 902.767s 5 254
Problem10_label09_true-unreach-call.c true 10.589s 4 168 timeout 956.713s 5 385 timeout 905.588s 2 73 timeout 902.593s 5 242
Problem10_label10_true-unreach-call.c true 11.224s 4 165 timeout 959.574s - - timeout 903.054s 2 69 timeout 904.331s 5 278
Problem10_label19_true-unreach-call.c true 8.574s 3 19 timeout 908.565s 5 238 timeout 906.393s 2 49 timeout 959.228s - -
Problem10_label20_true-unreach-call.c true 8.365s 3 13 true 8.126s 2 12 timeout 902.908s 3 132 true 7.693s 3 13
Problem10_label21_true-unreach-call.c true 7.964s 3 14 timeout 909.929s 5 342 true 9.284s 2 46 timeout 902.789s 5 130
Problem10_label22_true-unreach-call.c true 8.304s 3 21 timeout 905.010s 5 279 timeout 902.931s 3 164 timeout 902.788s 5 86
Problem10_label31_true-unreach-call.c true 11.369s 4 111 timeout 904.022s 5 325 timeout 902.900s 2 54 timeout 902.788s 5 195
Problem10_label32_true-unreach-call.c true 10.704s 4 104 timeout 909.273s 5 248 timeout 903.098s 3 131 timeout 903.032s 5 160
Problem10_label33_true-unreach-call.c true 10.767s 4 117 timeout 959.580s - - true 10.729s 2 53 timeout 903.246s 5 247
Problem10_label34_true-unreach-call.c true 10.717s 4 130 timeout 959.441s - - timeout 902.666s 3 179 timeout 902.865s 5 236
Problem10_label35_true-unreach-call.c true 11.110s 4 104 timeout 908.705s 5 306 timeout 902.933s 2 58 timeout 904.597s 5 216
Problem10_label36_true-unreach-call.c true 11.224s 4 95 timeout 908.306s 5 281 timeout 902.873s 3 140 timeout 904.778s 5 172
Problem10_label37_true-unreach-call.c true 11.886s 4 106 timeout 904.000s 5 368 true 9.301s 2 58 timeout 904.242s 5 172
Problem10_label38_true-unreach-call.c true 11.464s 4 94 timeout 907.587s 5 229 timeout 905.090s 3 162 timeout 904.946s 5 104
Problem10_label51_true-unreach-call.c true 10.080s 4 117 timeout 907.094s 5 335 timeout 902.896s 3 161 timeout 904.420s 5 201
Problem10_label52_true-unreach-call.c true 10.743s 4 111 timeout 909.139s 5 261 timeout 902.916s 3 149 timeout 903.033s 5 168
Problem10_label53_true-unreach-call.c true 11.135s 4 113 timeout 959.650s - - timeout 903.062s 3 205 timeout 902.828s 5 243
Problem10_label54_true-unreach-call.c true 10.700s 4 129 timeout 959.354s - - true 8.772s 2 93 timeout 904.848s 5 234
Problem11_label48_true-unreach-call.c timeout 903.040s 6 357 error (1) 913.287s - - timeout 903.492s 4 417 timeout 903.420s 5 339
Problem13_label26_true-unreach-call.c timeout 912.364s 6 269 error (1) 913.760s - - timeout 908.000s 6 1020 timeout 909.005s 7 945
Problem14_label04_true-unreach-call.c timeout 902.695s 4 198 error (1) 912.149s - - timeout 906.435s 3 207 timeout 903.859s 4 229
Problem14_label20_true-unreach-call.c true 12.301s 3 335 error (1) 914.203s - - true 11.146s 2 202 timeout 902.283s 4 147
Problem14_label21_true-unreach-call.c timeout 902.653s 4 378 error (1) 912.657s - - timeout 903.173s 3 257 timeout 902.275s 4 137
Problem14_label25_true-unreach-call.c true 12.006s 3 342 timeout 903.099s 5 239 true 10.567s 2 207 timeout 902.275s 4 210
Problem14_label30_true-unreach-call.c true 11.945s 3 305 timeout 903.046s 5 397 true 10.309s 2 186 timeout 918.504s 4 321
Problem14_label35_true-unreach-call.c true 11.718s 3 305 timeout 903.734s 5 211 true 10.285s 2 186 timeout 902.370s 4 207
Problem16_label23_true-unreach-call.c true 16.484s 3 402 timeout 902.275s 4 342 timeout 902.453s 4 358 true 16.045s 3 402
Problem16_label24_true-unreach-call.c true 17.083s 3 420 timeout 907.222s 4 399 timeout 902.630s 4 608 true 15.594s 3 420
Problem16_label25_true-unreach-call.c true 16.755s 3 419 timeout 932.790s 4 292 timeout 902.718s 4 432 true 16.462s 3 419
Problem16_label26_true-unreach-call.c true 17.489s 3 405 timeout 905.231s 3 117 timeout 905.260s 3 182 true 16.355s 3 405
Problem16_label47_true-unreach-call.c true 16.602s 3 497 timeout 905.769s 4 346 true 12.809s 2 72 true 14.775s 3 497
Problem16_label48_true-unreach-call.c true 16.406s 3 497 timeout 959.364s - - timeout 904.451s 3 183 true 15.312s 3 497
Problem16_label49_true-unreach-call.c true 16.536s 3 495 timeout 959.539s - - timeout 904.188s 3 83 true 15.084s 3 495
Problem16_label50_true-unreach-call.c true 17.241s 3 488 timeout 904.228s 3 119 timeout 959.740s - - true 15.503s 3 488
Problem16_label55_true-unreach-call.c true 16.867s 3 491 timeout 959.626s - - timeout 959.390s - - true 14.979s 3 491
Problem16_label56_true-unreach-call.c true 16.139s 3 483 timeout 959.519s - - timeout 959.438s - - true 16.687s 3 483
Problem16_label57_true-unreach-call.c true 18.125s 3 486 timeout 909.375s 4 240 timeout 907.864s 3 147 true 14.876s 3 486
Problem16_label58_true-unreach-call.c true 16.841s 3 491 timeout 907.757s 3 120 true 14.339s 2 54 true 16.092s 3 491
Problem18_label41_true-unreach-call.c true 25.165s 3 364 timeout 910.058s 5 339 timeout 905.997s 4 322 timeout 904.883s 4 518
Problem18_label43_true-unreach-call.c true 25.772s 3 366 timeout 912.087s 5 319 timeout 908.300s 4 343 timeout 905.442s 4 520
Problem18_label46_true-unreach-call.c true 25.205s 3 358 timeout 915.471s 4 239 timeout 908.357s 4 254 timeout 906.183s 4 483
Problem18_label48_true-unreach-call.c true 25.802s 3 363 timeout 908.092s 4 250 timeout 959.479s - - timeout 902.804s 4 489
Problem18_label51_true-unreach-call.c true 23.081s 3 362 timeout 913.406s 4 377 timeout 904.103s 4 253 timeout 959.432s - -
Problem18_label53_true-unreach-call.c true 24.147s 3 359 timeout 905.312s 4 373 timeout 904.064s 4 365 timeout 959.522s - -
Problem18_label56_true-unreach-call.c true 27.842s 3 362 timeout 909.626s 4 361 timeout 907.825s 4 431 timeout 903.182s 4 528
Problem18_label58_true-unreach-call.c true 26.046s 3 362 timeout 909.383s 4 353 timeout 909.645s 3 324 timeout 903.434s 4 528
Problem19_label24_true-unreach-call.c error (1) 912.644s - - timeout 910.310s 5 215 timeout 904.457s 5 1951 timeout 904.385s 4 637
Problem19_label34_true-unreach-call.c error (1) 913.795s - - timeout 920.081s 5 336 timeout 958.873s 5 2254 timeout 902.849s 4 647
Problem19_label38_true-unreach-call.c error (1) 914.580s - - timeout 959.624s - - timeout 906.611s 5 2607 timeout 908.284s 4 667
Problem19_label44_true-unreach-call.c timeout 907.647s 5 1878 timeout 909.157s 5 193 timeout 908.574s 5 1731 error (1) 911.939s - -
Problem19_label52_true-unreach-call.c timeout 907.348s 5 1768 error (1) 910.954s - - timeout 906.200s 4 1154 timeout 902.145s 5 1323
test/programs/eca-rers2012/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
total tasks 299 166819.511 2598 3139888 299 238571.829 2076 1530190 299 219410.709 2089 4196144 299 225221.780 2932 7637265
correct results 160 40110.124 1682 548296 68 26896.762 1019 503946 102 40358.158 699 349197 79 24088.884 500 81540
false negatives 0 - - - 0 - - - 0 - - - 0 - - -
false positives 0 - - - 0 - - - 0 - - - 0 - - -
false properties 0 - - - 0 - - - 0 - - - 0 - - -
score (299 tasks) 232 - - - 77 - - - 115 - - - 95 - - -
Run set DOMAIN_BEST_SHALLOW.ECA DOMAIN_WORST_SHALLOW.ECA LONGEST.ECA SHORTEST.ECA