Tool CPAchecker 1.4-svcomp16c
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
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-22-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-04 13:17:38 CET [[ 2016-01-15 08:48:20 CET ]] [[ 2016-01-15 22:10:37 CET ]]
Run set sv-comp16.ECA
Options -sv-comp16 -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-seq.2016-01-04_1317.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-seq.2016-01-04_1317.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/eca-rers2012/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
Problem01_label15_false-unreach-call.c false(reach) 12   3.5 470 wit false(reach) 22 11   660 false(reach) 35 18 920
Problem01_label20_false-unreach-call.c false(reach) 14   4.5 630 wit false(reach) 26 14   690 false(reach) 35 18 880
Problem01_label21_false-unreach-call.c false(reach) 14   4.3 490 wit false(reach) 25 13   680 false(reach) 38 21 1000
Problem01_label32_false-unreach-call.c false(reach) 13   4.0 550 wit false(reach) 22 11   680 false(reach) 37 20 920
Problem01_label33_false-unreach-call.c false(reach) 14   4.1 500 wit false(reach) 22 12   650 false(reach) 35 18 840
Problem01_label35_false-unreach-call.c false(reach) 14   4.1 450 wit false(reach) 21 11   640 false(reach) 32 17 840
Problem01_label37_false-unreach-call.c false(reach) 14   4.4 500 wit false(reach) 22 11   650 false(reach) 37 20 880
Problem01_label38_false-unreach-call.c false(reach) 12   3.7 490 wit false(reach) 21 11   620 false(reach) 39 20 920
Problem01_label44_false-unreach-call.c false(reach) 12   3.5 420 wit false(reach) 18 9.6 610 false(reach) 39 22 780
Problem01_label47_false-unreach-call.c false(reach) 14   4.6 540 wit false(reach) 24 13   670 false(reach) 37 20 920
Problem01_label50_false-unreach-call.c false(reach) 13   4.0 440 wit false(reach) 21 11   650 false(reach) 31 17 900
Problem01_label56_false-unreach-call.c false(reach) 14   4.3 500 wit false(reach) 23 12   660 false(reach) 37 19 910
Problem01_label57_false-unreach-call.c false(reach) 14   4.5 530 wit false(reach) 23 12   660 false(reach) 38 21 920
Problem02_label13_false-unreach-call.c false(reach) 12   3.6 370 wit false(reach) 17 8.8 570 false(reach) 32 17 640
Problem02_label16_false-unreach-call.c false(reach) 8.0 2.6 320 wit false(reach) 17 9.1 580 false(reach) 33 17 580
Problem02_label43_false-unreach-call.c false(reach) 11   3.4 370 wit false(reach) 17 9.2 560 false(reach) 34 18 670
Problem02_label44_false-unreach-call.c false(reach) 11   3.4 350 wit false(reach) 20 10   600 false(reach) 32 17 720
Problem02_label45_false-unreach-call.c false(reach) 14   4.1 470 wit false(reach) 20 10   600 false(reach) 35 18 920
Problem02_label50_false-unreach-call.c false(reach) 13   3.9 450 wit false(reach) 19 9.9 620 false(reach) 33 21 970
Problem02_label59_false-unreach-call.c false(reach) 14   4.2 480 wit false(reach) 24 12   640 false(reach) 32 18 930
Problem03_label09_false-unreach-call.c false(reach) 30   8.1 840 wit false(reach) 47 24   990 timeout 92 49 3200
Problem03_label13_false-unreach-call.c false(reach) 24   6.3 700 wit false(reach) 49 25   1000 timeout 92 49 2900
Problem03_label26_false-unreach-call.c false(reach) 22   5.6 710 wit false(reach) 38 20   840 false(reach) 79 42 2100
Problem03_label27_false-unreach-call.c false(reach) 26   6.6 730 wit false(reach) 42 22   870 false(reach) 84 44 2400
Problem03_label28_false-unreach-call.c false(reach) 24   6.5 700 wit false(reach) 46 23   910 timeout 92 49 2800
Problem03_label31_false-unreach-call.c false(reach) 24   6.4 700 wit false(reach) 43 22   920 timeout 92 49 3100
Problem03_label35_false-unreach-call.c false(reach) 28   8.2 820 wit false(reach) 48 24   1100 timeout 92 49 3100
Problem03_label37_false-unreach-call.c false(reach) 24   6.7 730 wit false(reach) 38 19   830 false(reach) 67 36 2000
Problem03_label39_false-unreach-call.c false(reach) 29   8.2 850 wit false(reach) 48 25   1000 timeout 92 50 2800
Problem03_label43_false-unreach-call.c false(reach) 25   6.9 730 wit false(reach) 36 18   850 false(reach) 71 39 1800
Problem03_label45_false-unreach-call.c false(reach) 30   8.3 840 wit false(reach) 50 25   1100 timeout 92 49 3200
Problem03_label50_false-unreach-call.c false(reach) 22   6.1 700 wit false(reach) 47 24   990 timeout 92 50 3000
Problem03_label52_false-unreach-call.c false(reach) 32   9.0 860 wit false(reach) 55 28   1100 timeout 92 50 2800
Problem04_label04_false-unreach-call.c witness timeout 99   46   4000 wit timeout 92 49   2600 timeout 92 52 2700
Problem04_label06_false-unreach-call.c witness timeout 100   50   4100 wit timeout 92 49   2600 timeout 92 50 3000
Problem04_label09_false-unreach-call.c witness timeout 93   44   3500 wit timeout 92 49   2400 timeout 90 50 2600
Problem04_label11_false-unreach-call.c witness timeout 96   45   4000 wit timeout 91 49   2600 timeout 92 50 2900
Problem04_label12_false-unreach-call.c witness timeout 110   52   4100 wit timeout 92 50   2500 timeout 92 50 3100
Problem04_label13_false-unreach-call.c witness timeout 94   42   3200 wit timeout 91 49   2600 timeout 91 53 2700
Problem04_label14_false-unreach-call.c witness timeout 95   44   3500 wit timeout 92 49   2500 timeout 92 54 3200
Problem04_label15_false-unreach-call.c witness timeout 90   42   3200 wit timeout 91 49   2600 timeout 92 50 2800
Problem04_label17_false-unreach-call.c false(reach) 96   44   3500 wit false(reach) 86 46   2600 timeout 92 50 2800
Problem04_label18_false-unreach-call.c witness timeout 94   43   3200 wit timeout 92 49   2500 timeout 92 51 3000
Problem04_label19_false-unreach-call.c witness timeout 100   49   4100 wit timeout 90 49   2600 timeout 92 51 2800
Problem04_label26_false-unreach-call.c witness timeout 96   47   4000 wit timeout 91 49   2500 timeout 92 51 2800
Problem04_label27_false-unreach-call.c witness timeout 91   42   3200 wit timeout 92 48   2400 timeout 92 51 3100
Problem04_label31_false-unreach-call.c witness timeout 100   49   4100 wit timeout 91 49   2600 timeout 92 51 2700
Problem04_label32_false-unreach-call.c witness timeout 91   43   3500 wit timeout 92 49   2400 timeout 92 50 2700
Problem04_label35_false-unreach-call.c witness timeout 94   43   3400 wit timeout 91 49   2600 timeout 92 53 2900
Problem04_label36_false-unreach-call.c witness timeout 88   42   3200 wit timeout 91 49   2700 timeout 92 51 3100
Problem04_label38_false-unreach-call.c witness timeout 96   45   4000 wit timeout 92 49   2400 timeout 90 53 2600
Problem04_label39_false-unreach-call.c witness timeout 100   50   4100 wit timeout 92 49   2600 timeout 92 51 2800
Problem04_label40_false-unreach-call.c witness timeout 96   45   4000 wit timeout 92 49   2500 timeout 92 50 3000
Problem04_label45_false-unreach-call.c witness timeout 94   45   4000 wit timeout 92 49   2300 timeout 92 51 3100
Problem04_label52_false-unreach-call.c witness timeout 100   51   4100 wit timeout 91 49   2600 timeout 92 53 2800
Problem04_label55_false-unreach-call.c witness timeout 92   42   3200 wit timeout 92 49   2300 timeout 92 52 3100
Problem04_label58_false-unreach-call.c witness timeout 100   50   4100 wit timeout 92 49   2500 timeout 92 52 2800
Problem05_label00_false-unreach-call.c timeout 900   480   9900 wit - -
Problem05_label01_false-unreach-call.c timeout 900   470   9300 wit - -
Problem05_label11_false-unreach-call.c timeout 900   460   8200 wit - -
Problem05_label13_false-unreach-call.c timeout 900   470   10000 wit - -
Problem05_label15_false-unreach-call.c timeout 900   500   9900 wit - -
Problem05_label18_false-unreach-call.c timeout 900   480   9700 wit - -
Problem05_label24_false-unreach-call.c timeout 900   580   7400 wit - -
Problem05_label26_false-unreach-call.c timeout 900   450   7700 wit - -
Problem05_label30_false-unreach-call.c timeout 900   460   9500 wit - -
Problem05_label32_false-unreach-call.c timeout 900   470   9800 wit - -
Problem05_label33_false-unreach-call.c timeout 900   630   6300 wit - -
Problem05_label36_false-unreach-call.c timeout 900   470   10000 wit - -
Problem05_label37_false-unreach-call.c timeout 900   470   9900 wit - -
Problem05_label38_false-unreach-call.c timeout 910   460   8100 wit - -
Problem05_label39_false-unreach-call.c timeout 900   470   9800 wit - -
Problem05_label40_false-unreach-call.c timeout 900   510   9400 wit - -
Problem05_label41_false-unreach-call.c timeout 900   460   11000 wit - -
Problem05_label44_false-unreach-call.c timeout 900   480   10000 wit - -
Problem05_label47_false-unreach-call.c timeout 900   480   9700 wit - -
Problem05_label48_false-unreach-call.c timeout 900   470   10000 wit - -
Problem05_label51_false-unreach-call.c timeout 900   480   10000 wit - -
Problem05_label55_false-unreach-call.c timeout 900   460   10000 wit - -
Problem05_label57_false-unreach-call.c timeout 910   500   8300 wit - -
Problem05_label58_false-unreach-call.c timeout 900   480   9700 wit - -
Problem06_label00_false-unreach-call.c timeout 900   450   10000 wit - -
Problem06_label01_false-unreach-call.c witness timeout 120   54   4800 wit timeout 92 48   2300 timeout 92 50 2700
Problem06_label02_false-unreach-call.c timeout 900   450   9500 wit - -
Problem06_label04_false-unreach-call.c witness timeout 130   68   4600 wit timeout 92 48   2600 timeout 91 50 2100
Problem06_label05_false-unreach-call.c false(reach) 130   70   4600 wit false(reach) 90 47   2600 timeout 91 51 2200
Problem06_label09_false-unreach-call.c timeout 900   440   9600 wit - -
Problem06_label10_false-unreach-call.c false(reach) 120   64   4600 wit false(reach) 88 46   2600 timeout 92 50 3000
Problem06_label11_false-unreach-call.c timeout 900   480   9600 wit - -
Problem06_label12_false-unreach-call.c witness timeout 130   69   4600 wit timeout 92 48   2200 timeout 91 50 2300
Problem06_label15_false-unreach-call.c timeout 900   440   9500 wit - -
Problem06_label20_false-unreach-call.c false(reach) 120   67   4600 wit false(reach) 84 43   2600 timeout 92 49 2100
Problem06_label21_false-unreach-call.c timeout 900   470   9900 wit - -
Problem06_label24_false-unreach-call.c timeout 900   430   11000 wit - -
Problem06_label27_false-unreach-call.c timeout 900   460   9400 wit - -
Problem06_label29_false-unreach-call.c timeout 900   430   10000 wit - -
Problem06_label33_false-unreach-call.c timeout 900   460   9600 wit - -
Problem06_label36_false-unreach-call.c timeout 900   460   9300 wit - -
Problem06_label37_false-unreach-call.c timeout 900   440   9300 wit - -
Problem06_label38_false-unreach-call.c timeout 900   450   9900 wit - -
Problem06_label44_false-unreach-call.c timeout 900   430   9500 wit - -
Problem06_label47_false-unreach-call.c timeout 900   430   9800 wit - -
Problem06_label48_false-unreach-call.c timeout 910   450   9600 wit - -
Problem06_label56_false-unreach-call.c timeout 900   470   10000 wit - -
Problem06_label58_false-unreach-call.c timeout 910   440   7300 wit - -
Problem06_label59_false-unreach-call.c witness timeout 130   70   4700 wit timeout 92 48   2200 timeout 91 50 2300
Problem07_label03_false-unreach-call.c timeout 900   550   7400 wit - -
Problem07_label05_false-unreach-call.c timeout 900   550   7200 wit - -
Problem07_label06_false-unreach-call.c timeout 900   570   7600 wit - -
Problem07_label07_false-unreach-call.c timeout 900   550   7300 wit - -
Problem07_label09_false-unreach-call.c timeout 900   550   7600 wit - -
Problem07_label11_false-unreach-call.c timeout 900   550   7300 wit - -
Problem07_label15_false-unreach-call.c timeout 900   560   7300 wit - -
Problem07_label18_false-unreach-call.c timeout 900   440   7200 wit - -
Problem07_label19_false-unreach-call.c timeout 900   560   7300 wit - -
Problem07_label20_false-unreach-call.c timeout 900   540   7300 wit - -
Problem07_label23_false-unreach-call.c timeout 900   570   7300 wit - -
Problem07_label30_false-unreach-call.c timeout 900   550   7700 wit - -
Problem07_label31_false-unreach-call.c timeout 900   550   7700 wit - -
Problem07_label35_false-unreach-call.c timeout 900   560   7300 wit - -
Problem07_label36_false-unreach-call.c timeout 900   560   7300 wit - -
Problem07_label37_false-unreach-call.c timeout 900   550   7300 wit - -
Problem07_label39_false-unreach-call.c timeout 900   560   7400 wit - -
Problem07_label40_false-unreach-call.c timeout 900   540   7300 wit - -
Problem07_label42_false-unreach-call.c timeout 900   570   7300 wit - -
Problem07_label44_false-unreach-call.c timeout 900   550   7400 wit - -
Problem07_label46_false-unreach-call.c timeout 900   540   7300 wit - -
Problem07_label47_false-unreach-call.c timeout 900   550   7600 wit - -
Problem07_label48_false-unreach-call.c timeout 900   550   7200 wit - -
Problem07_label58_false-unreach-call.c timeout 900   560   7300 wit - -
Problem08_label01_false-unreach-call.c timeout 900   320   9900 wit - -
Problem08_label02_false-unreach-call.c timeout 900   300   9700 wit - -
Problem08_label04_false-unreach-call.c timeout 900   330   10000 wit - -
Problem08_label05_false-unreach-call.c timeout 900   320   9900 wit - -
Problem08_label06_false-unreach-call.c timeout 900   330   9800 wit - -
Problem08_label07_false-unreach-call.c timeout 900   310   10000 wit - -
Problem08_label10_false-unreach-call.c timeout 900   380   10000 wit - -
Problem08_label13_false-unreach-call.c timeout 900   330   10000 wit - -
Problem08_label15_false-unreach-call.c timeout 900   340   10000 wit - -
Problem08_label24_false-unreach-call.c timeout 900   310   9800 wit - -
Problem08_label25_false-unreach-call.c timeout 900   300   9900 wit - -
Problem08_label26_false-unreach-call.c timeout 900   330   10000 wit - -
Problem08_label28_false-unreach-call.c timeout 900   360   10000 wit - -
Problem08_label29_false-unreach-call.c timeout 900   320   10000 wit - -
Problem08_label34_false-unreach-call.c timeout 900   370   10000 wit - -
Problem08_label37_false-unreach-call.c timeout 900   300   9700 wit - -
Problem08_label43_false-unreach-call.c timeout 900   320   9800 wit - -
Problem08_label46_false-unreach-call.c timeout 900   340   10000 wit - -
Problem08_label48_false-unreach-call.c timeout 900   320   9900 wit - -
Problem08_label49_false-unreach-call.c timeout 900   320   10000 wit - -
Problem08_label50_false-unreach-call.c timeout 910   260   8800 wit - -
Problem08_label51_false-unreach-call.c timeout 900   330   10000 wit - -
Problem08_label55_false-unreach-call.c timeout 900   420   11000 wit - -
Problem08_label59_false-unreach-call.c timeout 900   310   10000 wit - -
Problem09_label02_false-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label03_false-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label06_false-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label08_false-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label10_false-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label11_false-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label15_false-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label19_false-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label20_false-unreach-call.c timeout 900   260   11000 wit - -
Problem09_label32_false-unreach-call.c timeout 900   260   11000 wit - -
Problem09_label34_false-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label35_false-unreach-call.c timeout 910   240   11000 wit - -
Problem09_label36_false-unreach-call.c timeout 900   240   11000 wit - -
Problem09_label38_false-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label41_false-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label44_false-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label46_false-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label47_false-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label51_false-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label53_false-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label54_false-unreach-call.c timeout 900   260   11000 wit - -
Problem09_label56_false-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label57_false-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label59_false-unreach-call.c timeout 900   250   11000 wit - -
Problem10_label12_false-unreach-call.c false(reach) 15   4.4 590 wit false(reach) 22 12   640 timeout 90 75 600
Problem10_label15_false-unreach-call.c false(reach) 16   4.9 680 wit false(reach) 22 12   660 false(reach) 31 16 590
Problem10_label24_false-unreach-call.c false(reach) 16   4.9 710 wit false(reach) 21 11   620 false(reach) 33 17 600
Problem10_label26_false-unreach-call.c false(reach) 17   5.9 710 wit false(reach) 24 13   670 false(reach) 31 17 620
Problem10_label28_false-unreach-call.c false(reach) 15   4.6 690 wit false(reach) 20 10   640 timeout 90 76 590
Problem10_label29_false-unreach-call.c false(reach) 17   5.1 690 wit false(reach) 19 10   620 false(reach) 31 19 590
Problem10_label41_false-unreach-call.c false(reach) 11   3.2 410 wit false(reach) 19 10   580 false(reach) 29 17 580
Problem10_label42_false-unreach-call.c false(reach) 12   3.6 450 wit false(reach) 17 8.7 560 false(reach) 25 13 530
Problem10_label46_false-unreach-call.c false(reach) 8.9 2.9 310 wit false(reach) 15 8.0 520 false(reach) 24 13 480
Problem10_label47_false-unreach-call.c false(reach) 15   4.4 510 wit false(reach) 20 11   620 false(reach) 33 20 620
Problem10_label48_false-unreach-call.c false(reach) 17   5.6 720 wit false(reach) 21 11   630 false(reach) 31 16 590
Problem10_label50_false-unreach-call.c false(reach) 15   4.6 640 wit false(reach) 22 11   630 false(reach) 31 21 600
Problem10_label55_false-unreach-call.c false(reach) 13   3.9 440 wit false(reach) 23 12   630 false(reach) 29 17 580
Problem10_label57_false-unreach-call.c false(reach) 17   5.2 700 wit false(reach) 20 10   620 false(reach) 35 19 580
Problem10_label58_false-unreach-call.c false(reach) 16   5.4 720 wit false(reach) 22 12   630 false(reach) 31 17 600
Problem11_label00_false-unreach-call.c false(reach) 21   6.4 720 wit false(reach) 32 17   740 false(reach) 40 22 690
Problem11_label08_false-unreach-call.c false(reach) 19   5.3 710 wit false(reach) 23 12   700 false(reach) 33 18 590
Problem11_label14_false-unreach-call.c false(reach) 17   4.5 550 wit false(reach) 26 13   730 false(reach) 35 19 600
Problem11_label15_false-unreach-call.c false(reach) 18   5.1 720 wit false(reach) 25 13   680 false(reach) 32 18 550
Problem11_label20_false-unreach-call.c false(reach) 23   7.8 820 wit false(reach) 30 16   780 false(reach) 32 17 610
Problem11_label29_false-unreach-call.c false(reach) 19   5.0 650 wit false(reach) 29 15   730 false(reach) 34 19 600
Problem11_label31_false-unreach-call.c false(reach) 21   6.4 720 wit false(reach) 30 16   760 false(reach) 40 21 640
Problem11_label34_false-unreach-call.c false(reach) 20   6.1 700 wit false(reach) 31 16   750 false(reach) 38 21 650
Problem11_label36_false-unreach-call.c false(reach) 14   4.7 680 wit false(reach) 24 12   690 false(reach) 28 15 510
Problem11_label39_false-unreach-call.c false(reach) 24   7.7 820 wit false(reach) 28 15   750 false(reach) 37 19 610
Problem11_label42_false-unreach-call.c false(reach) 17   4.5 550 wit false(reach) 24 12   730 false(reach) 37 20 620
Problem11_label43_false-unreach-call.c false(reach) 19   5.4 720 wit false(reach) 24 13   740 false(reach) 34 21 600
Problem11_label49_false-unreach-call.c false(reach) 18   4.8 610 wit false(reach) 21 11   680 false(reach) 33 18 580
Problem11_label51_false-unreach-call.c false(reach) 20   5.7 720 wit false(reach) 31 16   740 false(reach) 34 19 600
Problem11_label58_false-unreach-call.c false(reach) 18   5.1 680 wit false(reach) 23 12   720 false(reach) 33 18 580
Problem12_label00_false-unreach-call.c false(reach) 110   60   4500 wit false(reach) 60 31   1000 false(reach) 63 36 1500
Problem12_label03_false-unreach-call.c false(reach) 63   27   2800 wit false(reach) 64 33   1100 false(reach) 62 36 1700
Problem12_label06_false-unreach-call.c false(reach) 110   60   4500 wit false(reach) 64 33   1200 timeout 91 69 1500
Problem12_label07_false-unreach-call.c timeout 900   620   12000 wit - -
Problem12_label08_false-unreach-call.c false(reach) 100   63   4500 wit false(reach) 54 28   1000 false(reach) 63 37 1400
Problem12_label10_false-unreach-call.c false(reach) 85   50   4100 wit false(reach) 58 29   1000 false(reach) 58 36 1400
Problem12_label13_false-unreach-call.c false(reach) 110   63   4500 wit false(reach) 62 31   1000 false(reach) 63 37 1600
Problem12_label19_false-unreach-call.c false(reach) 99   57   4400 wit false(reach) 58 29   1000 timeout 90 71 1400
Problem12_label20_false-unreach-call.c false(reach) 76   41   4000 wit false(reach) 51 26   980 false(reach) 55 31 1300
Problem12_label21_false-unreach-call.c false(reach) 88   41   4400 wit false(reach) 62 31   1200 timeout 90 70 1600
Problem12_label25_false-unreach-call.c false(reach) 70   32   3000 wit false(reach) 61 31   1100 false(reach) 62 36 1600
Problem12_label28_false-unreach-call.c false(reach) 76   35   3100 wit false(reach) 60 30   1100 false(reach) 73 45 1700
Problem12_label30_false-unreach-call.c false(reach) 87   45   4100 wit false(reach) 62 32   1100 timeout 91 68 1600
Problem12_label34_false-unreach-call.c false(reach) 100   58   4400 wit false(reach) 61 31   1100 false(reach) 62 34 1600
Problem12_label35_false-unreach-call.c false(reach) 73   40   4000 wit false(reach) 49 25   940 false(reach) 51 27 920
Problem12_label37_false-unreach-call.c false(reach) 70   32   3100 wit false(reach) 66 33   1100 false(reach) 61 37 1600
Problem12_label38_false-unreach-call.c false(reach) 86   43   4200 wit false(reach) 58 30   1100 timeout 91 68 1600
Problem12_label39_false-unreach-call.c false(reach) 110   61   4500 wit false(reach) 60 31   1100 false(reach) 79 51 1600
Problem12_label40_false-unreach-call.c false(reach) 82   48   4100 wit false(reach) 55 28   1000 false(reach) 54 29 1300
Problem12_label42_false-unreach-call.c false(reach) 86   44   4200 wit false(reach) 62 32   1100 timeout 91 68 1600
Problem12_label48_false-unreach-call.c false(reach) 110   64   4400 wit false(reach) 54 27   1000 false(reach) 55 32 1400
Problem12_label50_false-unreach-call.c false(reach) 56   26   2800 wit false(reach) 54 27   970 false(reach) 62 35 1400
Problem12_label51_false-unreach-call.c false(reach) 110   63   4500 wit false(reach) 57 29   1000 timeout 92 68 1400
Problem12_label52_false-unreach-call.c false(reach) 110   61   4500 wit false(reach) 59 30   1100 false(reach) 59 35 1500
Problem12_label55_false-unreach-call.c false(reach) 89   52   4400 wit false(reach) 54 27   1100 timeout 91 69 1200
Problem13_label04_false-unreach-call.c false(reach) 61   29   2900 wit false(reach) 59 30   1000 false(reach) 67 40 1500
Problem13_label06_false-unreach-call.c false(reach) 73   37   3200 wit false(reach) 57 29   1100 false(reach) 59 36 1500
Problem13_label07_false-unreach-call.c false(reach) 47   16   1700 wit false(reach) 63 32   1100 false(reach) 82 53 1500
Problem13_label11_false-unreach-call.c false(reach) 49   16   1900 wit false(reach) 67 34   1100 false(reach) 72 42 1500
Problem13_label12_false-unreach-call.c false(reach) 79   41   3500 wit false(reach) 64 32   1100 timeout 91 67 1400
Problem13_label16_false-unreach-call.c false(reach) 48   18   1700 wit false(reach) 69 35   1200 false(reach) 63 37 1500
Problem13_label19_false-unreach-call.c false(reach) 77   39   3200 wit false(reach) 68 35   1300 false(reach) 82 50 1800
Problem13_label21_false-unreach-call.c false(reach) 58   24   2700 wit false(reach) 59 30   1000 false(reach) 67 44 1600
Problem13_label23_false-unreach-call.c false(reach) 59   24   2700 wit false(reach) 68 35   1200 false(reach) 81 54 1600
Problem13_label24_false-unreach-call.c false(reach) 77   37   3200 wit false(reach) 63 32   1200 timeout 91 67 1600
Problem13_label25_false-unreach-call.c false(reach) 87   45   4200 wit false(reach) 63 32   1100 false(reach) 74 45 1500
Problem13_label28_false-unreach-call.c false(reach) 79   45   4200 wit false(reach) 57 29   1100 false(reach) 63 35 1200
Problem13_label29_false-unreach-call.c false(reach) 89   47   4200 wit false(reach) 61 31   1100 false(reach) 79 50 1400
Problem13_label30_false-unreach-call.c false(reach) 59   24   2700 wit false(reach) 62 32   1100 timeout 92 68 1600
Problem13_label32_false-unreach-call.c false(reach) 76   40   3200 wit false(reach) 59 30   1100 false(reach) 63 39 1400
Problem13_label35_false-unreach-call.c false(reach) 62   31   2900 wit false(reach) 54 27   980 false(reach) 61 39 1400
Problem13_label36_false-unreach-call.c false(reach) 77   40   3200 wit false(reach) 69 35   1200 timeout 91 68 1500
Problem13_label40_false-unreach-call.c false(reach) 69   38   3200 wit false(reach) 55 28   1100 timeout 90 71 1300
Problem13_label43_false-unreach-call.c false(reach) 73   35   3200 wit false(reach) 63 32   1100 false(reach) 62 37 1400
Problem13_label44_false-unreach-call.c false(reach) 48   20   1700 wit false(reach) 59 30   1100 timeout 91 66 1200
Problem13_label45_false-unreach-call.c false(reach) 66   36   3200 wit false(reach) 53 27   1100 false(reach) 62 38 1400
Problem13_label48_false-unreach-call.c false(reach) 66   32   2900 wit false(reach) 56 29   1100 timeout 91 68 1300
Problem13_label51_false-unreach-call.c false(reach) 63   28   2800 wit false(reach) 64 32   1200 false(reach) 74 47 1800
Problem13_label54_false-unreach-call.c false(reach) 50   16   1900 wit false(reach) 62 31   1200 false(reach) 69 41 1700
Problem13_label58_false-unreach-call.c false(reach) 60   26   2700 wit false(reach) 73 37   1300 false(reach) 72 45 1700
Problem14_label02_false-unreach-call.c false(reach) 27   8.4 810 wit false(reach) 53 27   1000 timeout 90 73 1500
Problem14_label08_false-unreach-call.c false(reach) 30   8.4 830 wit false(reach) 45 23   960 timeout 90 74 1400
Problem14_label10_false-unreach-call.c false(reach) 24   7.1 810 wit false(reach) 45 23   900 false(reach) 50 31 1300
Problem14_label11_false-unreach-call.c false(reach) 27   7.6 850 wit false(reach) 46 23   920 false(reach) 49 27 1400
Problem14_label12_false-unreach-call.c false(reach) 33   7.9 910 wit false(reach) 49 25   980 timeout 90 73 1400
Problem14_label13_false-unreach-call.c false(reach) 26   7.5 810 wit false(reach) 42 22   900 false(reach) 47 26 1500
Problem14_label14_false-unreach-call.c false(reach) 26   7.4 800 wit false(reach) 42 22   960 false(reach) 44 24 1400
Problem14_label18_false-unreach-call.c false(reach) 31   8.3 840 wit false(reach) 44 23   930 timeout 91 73 1500
Problem14_label22_false-unreach-call.c false(reach) 29   8.3 820 wit false(reach) 42 22   960 timeout 90 73 1400
Problem14_label27_false-unreach-call.c false(reach) 24   6.9 740 wit false(reach) 36 19   870 false(reach) 43 27 1100
Problem14_label28_false-unreach-call.c false(reach) 32   9.1 850 wit false(reach) 50 26   1100 false(reach) 67 42 1600
Problem14_label29_false-unreach-call.c false(reach) 25   7.3 800 wit false(reach) 46 24   910 false(reach) 45 25 1500
Problem14_label31_false-unreach-call.c false(reach) 25   7.0 810 wit false(reach) 46 24   930 false(reach) 46 27 1300
Problem14_label34_false-unreach-call.c false(reach) 27   7.6 870 wit false(reach) 46 23   950 timeout 90 74 1100
Problem14_label37_false-unreach-call.c false(reach) 29   7.6 830 wit false(reach) 50 26   940 false(reach) 50 29 1500
Problem14_label39_false-unreach-call.c false(reach) 25   7.4 800 wit false(reach) 46 23   910 false(reach) 49 31 1400
Problem14_label40_false-unreach-call.c false(reach) 32   8.5 860 wit false(reach) 44 23   910 false(reach) 47 26 1400
Problem14_label41_false-unreach-call.c false(reach) 34   9.2 870 wit false(reach) 45 23   970 timeout 90 72 1500
Problem14_label43_false-unreach-call.c false(reach) 31   8.3 860 wit false(reach) 51 26   960 false(reach) 52 31 1600
Problem14_label44_false-unreach-call.c false(reach) 33   9.1 850 wit false(reach) 49 25   1000 false(reach) 53 29 1600
Problem14_label52_false-unreach-call.c false(reach) 29   7.8 860 wit false(reach) 48 24   930 false(reach) 45 26 1600
Problem14_label54_false-unreach-call.c false(reach) 30   8.7 850 wit false(reach) 52 26   1000 false(reach) 51 29 1500
Problem14_label56_false-unreach-call.c false(reach) 25   7.4 810 wit false(reach) 47 24   960 false(reach) 48 28 1500
Problem14_label57_false-unreach-call.c false(reach) 26   7.6 820 wit false(reach) 40 20   920 false(reach) 56 35 1300
Problem14_label58_false-unreach-call.c false(reach) 33   8.7 890 wit false(reach) 46 24   930 false(reach) 60 33 1700
Problem15_label00_false-unreach-call.c false(reach) 24   6.7 840 wit false(reach) 34 18   870 false(reach) 41 23 820
Problem15_label02_false-unreach-call.c false(reach) 24   6.5 730 wit false(reach) 37 19   870 false(reach) 41 22 810
Problem15_label03_false-unreach-call.c false(reach) 29   8.1 830 wit false(reach) 35 18   850 false(reach) 43 23 830
Problem15_label07_false-unreach-call.c false(reach) 29   8.0 830 wit false(reach) 37 19   890 false(reach) 58 39 950
Problem15_label09_false-unreach-call.c false(reach) 29   7.7 820 wit false(reach) 41 21   890 false(reach) 46 28 910
Problem15_label14_false-unreach-call.c false(reach) 29   8.0 830 wit false(reach) 34 17   850 false(reach) 42 23 810
Problem15_label15_false-unreach-call.c false(reach) 25   6.8 740 wit false(reach) 35 18   860 false(reach) 56 37 840
Problem15_label18_false-unreach-call.c false(reach) 30   7.7 840 wit false(reach) 35 18   880 false(reach) 42 24 850
Problem15_label22_false-unreach-call.c false(reach) 25   6.7 730 wit false(reach) 35 18   900 timeout 90 74 680
Problem15_label23_false-unreach-call.c false(reach) 29   8.4 850 wit false(reach) 36 19   880 false(reach) 45 25 920
Problem15_label25_false-unreach-call.c false(reach) 28   8.0 820 wit false(reach) 38 20   880 timeout 90 72 920
Problem15_label29_false-unreach-call.c false(reach) 26   6.7 750 wit false(reach) 34 17   880 false(reach) 66 48 860
Problem15_label30_false-unreach-call.c false(reach) 29   8.4 830 wit false(reach) 36 18   870 false(reach) 41 26 760
Problem15_label33_false-unreach-call.c false(reach) 29   8.2 830 wit false(reach) 34 18   890 timeout 90 74 800
Problem15_label34_false-unreach-call.c false(reach) 30   8.1 830 wit false(reach) 37 19   860 false(reach) 42 23 830
Problem15_label37_false-unreach-call.c false(reach) 26   7.0 730 wit false(reach) 37 19   880 false(reach) 51 29 920
Problem15_label38_false-unreach-call.c false(reach) 29   7.9 830 wit false(reach) 35 18   910 false(reach) 42 24 940
Problem15_label39_false-unreach-call.c false(reach) 29   7.7 840 wit false(reach) 37 19   860 false(reach) 44 28 970
Problem15_label40_false-unreach-call.c false(reach) 25   6.5 720 wit false(reach) 38 19   860 false(reach) 41 23 820
Problem15_label41_false-unreach-call.c false(reach) 28   7.8 830 wit false(reach) 34 18   850 timeout 90 74 810
Problem15_label45_false-unreach-call.c false(reach) 26   7.4 830 wit false(reach) 36 18   880 false(reach) 38 22 830
Problem15_label47_false-unreach-call.c false(reach) 26   7.3 840 wit false(reach) 34 18   830 false(reach) 40 21 820
Problem15_label48_false-unreach-call.c false(reach) 25   6.7 720 wit false(reach) 38 19   860 false(reach) 41 22 880
Problem15_label50_false-unreach-call.c false(reach) 27   7.7 830 wit false(reach) 36 19   880 false(reach) 45 27 840
Problem15_label51_false-unreach-call.c false(reach) 28   8.2 840 wit false(reach) 35 18   880 false(reach) 75 56 800
Problem16_label00_false-unreach-call.c timeout 900   670   6200 wit - -
Problem16_label01_false-unreach-call.c timeout 900   670   6300 wit - -
Problem16_label03_false-unreach-call.c timeout 900   640   8400 wit - -
Problem16_label04_false-unreach-call.c timeout 900   670   8300 wit - -
Problem16_label05_false-unreach-call.c timeout 900   670   9100 wit - -
Problem16_label06_false-unreach-call.c timeout 900   670   8500 wit - -
Problem16_label08_false-unreach-call.c timeout 900   670   9100 wit - -
Problem16_label14_false-unreach-call.c timeout 900   670   9100 wit - -
Problem16_label15_false-unreach-call.c timeout 900   670   9100 wit - -
Problem16_label18_false-unreach-call.c timeout 900   670   8700 wit - -
Problem16_label20_false-unreach-call.c timeout 900   670   8900 wit - -
Problem16_label22_false-unreach-call.c timeout 900   670   8900 wit - -
Problem16_label27_false-unreach-call.c timeout 900   670   9200 wit - -
Problem16_label30_false-unreach-call.c timeout 900   670   8900 wit - -
Problem16_label31_false-unreach-call.c timeout 900   670   8800 wit - -
Problem16_label33_false-unreach-call.c timeout 900   670   8700 wit - -
Problem16_label37_false-unreach-call.c timeout 900   670   8900 wit - -
Problem16_label38_false-unreach-call.c timeout 900   670   8900 wit - -
Problem16_label41_false-unreach-call.c timeout 900   670   8800 wit - -
Problem16_label43_false-unreach-call.c timeout 900   670   8300 wit - -
Problem16_label44_false-unreach-call.c timeout 900   670   8700 wit - -
Problem16_label46_false-unreach-call.c timeout 900   670   8500 wit - -
Problem16_label51_false-unreach-call.c timeout 900   670   8500 wit - -
Problem16_label52_false-unreach-call.c timeout 900   670   8500 wit - -
Problem16_label54_false-unreach-call.c timeout 900   670   8500 wit - -
Problem17_label04_false-unreach-call.c false(reach) 34   12   1500 wit false(reach) 38 20   880 timeout 90 71 820
Problem17_label07_false-unreach-call.c false(reach) 37   12   1400 wit false(reach) 51 26   950 false(reach) 81 56 1400
Problem17_label09_false-unreach-call.c false(reach) 33   11   1200 wit false(reach) 53 27   960 false(reach) 53 30 1300
Problem17_label13_false-unreach-call.c false(reach) 35   12   1500 wit false(reach) 56 28   970 false(reach) 55 30 1400
Problem17_label16_false-unreach-call.c false(reach) 33   11   1200 wit false(reach) 49 25   920 false(reach) 58 33 1300
Problem17_label20_false-unreach-call.c false(reach) 35   12   1500 wit false(reach) 49 25   920 timeout 90 72 1000
Problem17_label23_false-unreach-call.c false(reach) 36   13   1500 wit false(reach) 39 20   900 timeout 90 73 840
Problem17_label25_false-unreach-call.c false(reach) 33   9.7 880 wit false(reach) 52 26   990 timeout 90 70 940
Problem17_label26_false-unreach-call.c false(reach) 36   12   1500 wit false(reach) 54 27   980 false(reach) 59 34 1200
Problem17_label30_false-unreach-call.c false(reach) 34   11   1200 wit false(reach) 47 24   930 false(reach) 55 31 900
Problem17_label31_false-unreach-call.c false(reach) 31   9.0 850 wit false(reach) 46 24   930 timeout 90 69 940
Problem17_label33_false-unreach-call.c false(reach) 37   13   1500 wit false(reach) 38 20   940 timeout 90 71 880
Problem17_label34_false-unreach-call.c false(reach) 35   12   1500 wit false(reach) 40 20   890 timeout 90 70 840
Problem17_label35_false-unreach-call.c false(reach) 29   8.8 840 wit false(reach) 53 27   950 false(reach) 61 35 1200
Problem17_label37_false-unreach-call.c false(reach) 34   12   1500 wit false(reach) 43 22   920 timeout 90 71 910
Problem17_label40_false-unreach-call.c false(reach) 32   9.5 840 wit false(reach) 43 22   940 timeout 90 71 910
Problem17_label46_false-unreach-call.c false(reach) 31   9.0 850 wit false(reach) 47 24   900 false(reach) 65 40 1200
Problem17_label49_false-unreach-call.c false(reach) 35   12   1500 wit false(reach) 41 21   920 timeout 90 70 920
Problem17_label50_false-unreach-call.c false(reach) 31   8.9 850 wit false(reach) 49 25   950 false(reach) 69 45 1100
Problem17_label52_false-unreach-call.c false(reach) 31   8.9 860 wit false(reach) 54 27   960 timeout 90 72 1200
Problem17_label53_false-unreach-call.c false(reach) 33   11   1100 wit false(reach) 47 24   920 timeout 90 72 930
Problem17_label54_false-unreach-call.c false(reach) 36   12   1200 wit false(reach) 55 28   950 timeout 91 69 1300
Problem17_label55_false-unreach-call.c false(reach) 33   11   1100 wit false(reach) 53 27   940 false(reach) 57 33 1400
Problem17_label57_false-unreach-call.c false(reach) 38   13   1500 wit false(reach) 44 23   920 timeout 90 70 1000
Problem18_label00_false-unreach-call.c false(reach) 79   40   3900 wit false(reach) 61 31   1000 timeout 91 68 1500
Problem18_label01_false-unreach-call.c false(reach) 87   46   4100 wit false(reach) 59 30   980 timeout 90 70 1300
Problem18_label03_false-unreach-call.c false(reach) 70   33   3100 wit false(reach) 63 32   1100 false(reach) 68 38 1600
Problem18_label06_false-unreach-call.c false(reach) 86   45   4100 wit false(reach) 65 33   1100 timeout 91 68 1600
Problem18_label08_false-unreach-call.c false(reach) 75   37   3100 wit false(reach) 63 32   1100 timeout 90 70 1400
Problem18_label09_false-unreach-call.c false(reach) 55   21   1900 wit false(reach) 58 30   1000 timeout 91 69 1600
Problem18_label10_false-unreach-call.c false(reach) 82   41   3900 wit false(reach) 56 28   980 timeout 91 69 1400
Problem18_label12_false-unreach-call.c false(reach) 72   39   3900 wit false(reach) 53 27   930 timeout 90 70 1400
Problem18_label19_false-unreach-call.c false(reach) 57   22   1900 wit false(reach) 59 30   1000 false(reach) 65 36 1600
Problem18_label20_false-unreach-call.c false(reach) 62   27   2700 wit false(reach) 57 29   1100 false(reach) 70 41 2100
Problem18_label25_false-unreach-call.c false(reach) 69   31   3100 wit false(reach) 63 32   1100 false(reach) 76 44 1800
Problem18_label27_false-unreach-call.c false(reach) 57   25   2800 wit false(reach) 54 28   940 false(reach) 62 37 1500
Problem18_label31_false-unreach-call.c false(reach) 55   23   2400 wit false(reach) 59 30   1000 timeout 91 69 1600
Problem18_label32_false-unreach-call.c false(reach) 81   43   4000 wit false(reach) 60 31   1100 timeout 91 68 1600
Problem18_label33_false-unreach-call.c false(reach) 71   32   3000 wit false(reach) 58 30   1200 false(reach) 81 54 1700
Problem18_label34_false-unreach-call.c false(reach) 63   25   2700 wit false(reach) 64 32   1000 false(reach) 61 38 1500
Problem18_label35_false-unreach-call.c false(reach) 58   24   2400 wit false(reach) 58 29   970 timeout 91 69 1600
Problem18_label36_false-unreach-call.c false(reach) 84   43   4100 wit false(reach) 57 29   1000 timeout 90 69 1600
Problem18_label38_false-unreach-call.c false(reach) 73   39   3900 wit false(reach) 56 28   970 timeout 90 70 1300
Problem18_label39_false-unreach-call.c false(reach) 51   23   2300 wit false(reach) 55 28   980 false(reach) 76 51 1500
Problem18_label45_false-unreach-call.c false(reach) 61   26   2900 wit false(reach) 57 29   1000 false(reach) 62 35 1500
Problem18_label49_false-unreach-call.c false(reach) 77   39   3100 wit false(reach) 57 29   990 timeout 90 70 1500
Problem18_label52_false-unreach-call.c false(reach) 74   41   3900 wit false(reach) 57 29   980 timeout 90 69 1300
Problem18_label55_false-unreach-call.c false(reach) 72   33   3100 wit false(reach) 59 30   990 false(reach) 59 37 1600
Problem18_label57_false-unreach-call.c false(reach) 54   21   1900 wit false(reach) 62 31   1000 false(reach) 60 34 1600
Problem19_label10_false-unreach-call.c out of memory 430   210   15000 wit - -
Problem19_label11_false-unreach-call.c timeout 900   650   10000 wit - -
Problem19_label14_false-unreach-call.c out of memory 430   210   15000 wit - -
Problem19_label17_false-unreach-call.c out of memory 470   220   15000 wit - -
Problem19_label18_false-unreach-call.c witness timeout 95   42   3400 wit timeout (false(reach)) 92 47   2200 timeout 92 52 2900
Problem19_label19_false-unreach-call.c timeout 900   640   11000 wit - -
Problem19_label21_false-unreach-call.c out of memory 420   200   15000 wit - -
Problem19_label22_false-unreach-call.c false(reach) 93   42   3300 wit false(reach) 76 40   2200 timeout 90 51 2200
Problem19_label26_false-unreach-call.c out of memory 410   200   15000 wit - -
Problem19_label27_false-unreach-call.c timeout 900   640   12000 wit - -
Problem19_label28_false-unreach-call.c out of memory 430   210   15000 wit - -
Problem19_label29_false-unreach-call.c out of memory 430   190   15000 wit - -
Problem19_label31_false-unreach-call.c timeout 900   650   10000 wit - -
Problem19_label32_false-unreach-call.c out of memory 450   220   15000 wit - -
Problem19_label41_false-unreach-call.c timeout 900   650   13000 wit - -
Problem19_label42_false-unreach-call.c out of memory 410   200   15000 wit - -
Problem19_label43_false-unreach-call.c out of memory 440   200   15000 wit - -
Problem19_label47_false-unreach-call.c out of memory 420   170   15000 wit - -
Problem19_label50_false-unreach-call.c out of memory 410   190   15000 wit - -
Problem19_label51_false-unreach-call.c timeout 900   640   10000 wit - -
Problem19_label53_false-unreach-call.c timeout 900   640   10000 wit - -
Problem19_label55_false-unreach-call.c timeout 900   650   10000 wit - -
Problem19_label58_false-unreach-call.c out of memory 450   220   15000 wit - -
Problem19_label59_false-unreach-call.c out of memory 410   210   15000 wit - -
Problem01_label00_true-unreach-call.c true 8.4 3.2 440 wit - -
Problem01_label01_true-unreach-call.c true 9.8 3.7 450 wit - -
Problem01_label02_true-unreach-call.c true 8.3 3.1 450 wit - -
Problem01_label03_true-unreach-call.c true 8.1 3.1 450 wit - -
Problem01_label04_true-unreach-call.c true 9.6 3.7 450 wit - -
Problem01_label05_true-unreach-call.c true 8.1 3.1 450 wit - -
Problem01_label06_true-unreach-call.c true 9.5 3.5 450 wit - -
Problem01_label07_true-unreach-call.c true 9.7 3.6 450 wit - -
Problem01_label08_true-unreach-call.c true 8.3 3.1 450 wit - -
Problem01_label09_true-unreach-call.c true 9.9 3.7 450 wit - -
Problem01_label10_true-unreach-call.c true 7.9 3.1 450 wit - -
Problem01_label11_true-unreach-call.c true 8.2 3.0 450 wit - -
Problem01_label12_true-unreach-call.c true 8.2 3.0 450 wit - -
Problem01_label13_true-unreach-call.c true 9.3 3.1 450 wit - -
Problem01_label14_true-unreach-call.c true 8.1 3.1 450 wit - -
Problem01_label16_true-unreach-call.c true 8.5 3.1 460 wit - -
Problem01_label17_true-unreach-call.c true 9.8 3.6 450 wit - -
Problem01_label18_true-unreach-call.c true 9.3 3.4 450 wit - -
Problem01_label19_true-unreach-call.c true 8.3 3.2 440 wit - -
Problem01_label22_true-unreach-call.c true 8.3 3.1 450 wit - -
Problem01_label23_true-unreach-call.c true 8.9 3.0 450 wit - -
Problem01_label24_true-unreach-call.c true 9.9 3.6 450 wit - -
Problem01_label25_true-unreach-call.c true 8.5 3.2 450 wit - -
Problem01_label26_true-unreach-call.c true 9.7 3.7 450 wit - -
Problem01_label27_true-unreach-call.c true 9.6 3.5 450 wit - -
Problem01_label28_true-unreach-call.c true 9.5 3.6 450 wit - -
Problem01_label29_true-unreach-call.c true 9.2 3.4 440 wit - -
Problem01_label30_true-unreach-call.c true 8.2 3.1 450 wit - -
Problem01_label31_true-unreach-call.c true 9.7 3.6 450 wit - -
Problem01_label34_true-unreach-call.c true 8.2 3.1 450 wit - -
Problem01_label36_true-unreach-call.c true 9.8 3.6 450 wit - -
Problem01_label39_true-unreach-call.c true 8.6 3.1 450 wit - -
Problem01_label40_true-unreach-call.c true 8.3 3.1 460 wit - -
Problem01_label41_true-unreach-call.c true 9.5 3.5 450 wit - -
Problem01_label42_true-unreach-call.c true 9.4 3.5 450 wit - -
Problem01_label43_true-unreach-call.c true 9.9 3.7 450 wit - -
Problem01_label45_true-unreach-call.c true 9.6 3.6 440 wit - -
Problem01_label46_true-unreach-call.c true 9.2 3.5 450 wit - -
Problem01_label48_true-unreach-call.c true 9.5 3.6 450 wit - -
Problem01_label49_true-unreach-call.c true 9.7 3.6 450 wit - -
Problem01_label51_true-unreach-call.c true 9.7 3.6 460 wit - -
Problem01_label52_true-unreach-call.c true 9.8 3.6 450 wit - -
Problem01_label53_true-unreach-call.c true 7.9 3.1 450 wit - -
Problem01_label54_true-unreach-call.c true 8.5 3.0 450 wit - -
Problem01_label55_true-unreach-call.c true 9.9 3.5 450 wit - -
Problem01_label58_true-unreach-call.c true 9.6 3.6 450 wit - -
Problem01_label59_true-unreach-call.c true 8.1 3.1 450 wit - -
Problem02_label00_true-unreach-call.c true 8.1 2.8 380 wit - -
Problem02_label01_true-unreach-call.c true 8.2 2.8 380 wit - -
Problem02_label02_true-unreach-call.c true 7.9 2.8 390 wit - -
Problem02_label03_true-unreach-call.c true 9.0 2.9 390 wit - -
Problem02_label04_true-unreach-call.c true 9.7 3.3 390 wit - -
Problem02_label05_true-unreach-call.c true 7.8 2.8 380 wit - -
Problem02_label06_true-unreach-call.c true 9.5 3.3 380 wit - -
Problem02_label07_true-unreach-call.c true 8.1 2.8 390 wit - -
Problem02_label08_true-unreach-call.c true 9.3 3.3 390 wit - -
Problem02_label09_true-unreach-call.c true 9.5 3.3 380 wit - -
Problem02_label10_true-unreach-call.c true 9.3 3.2 390 wit - -
Problem02_label11_true-unreach-call.c true 9.1 3.1 400 wit - -
Problem02_label12_true-unreach-call.c true 9.2 3.2 390 wit - -
Problem02_label14_true-unreach-call.c true 9.5 3.3 390 wit - -
Problem02_label15_true-unreach-call.c true 9.5 3.3 380 wit - -
Problem02_label17_true-unreach-call.c true 7.9 2.8 390 wit - -
Problem02_label18_true-unreach-call.c true 9.1 3.1 390 wit - -
Problem02_label19_true-unreach-call.c true 9.4 3.2 380 wit - -
Problem02_label20_true-unreach-call.c true 9.5 3.3 390 wit - -
Problem02_label21_true-unreach-call.c true 8.3 2.8 390 wit - -
Problem02_label22_true-unreach-call.c true 9.3 3.3 380 wit - -
Problem02_label23_true-unreach-call.c true 7.9 2.8 380 wit - -
Problem02_label24_true-unreach-call.c true 9.3 3.3 390 wit - -
Problem02_label25_true-unreach-call.c true 9.5 3.3 380 wit - -
Problem02_label26_true-unreach-call.c true 7.9 2.8 380 wit - -
Problem02_label27_true-unreach-call.c true 9.6 3.3 390 wit - -
Problem02_label28_true-unreach-call.c true 7.7 2.5 380 wit - -
Problem02_label29_true-unreach-call.c true 9.6 3.3 390 wit - -
Problem02_label30_true-unreach-call.c true 9.4 3.2 380 wit - -
Problem02_label31_true-unreach-call.c true 7.9 2.7 390 wit - -
Problem02_label32_true-unreach-call.c true 9.2 3.2 380 wit - -
Problem02_label33_true-unreach-call.c true 8.1 2.8 380 wit - -
Problem02_label34_true-unreach-call.c true 9.2 3.2 390 wit - -
Problem02_label35_true-unreach-call.c true 9.4 3.2 390 wit - -
Problem02_label36_true-unreach-call.c true 9.2 3.2 390 wit - -
Problem02_label37_true-unreach-call.c true 9.3 3.2 390 wit - -
Problem02_label38_true-unreach-call.c true 9.4 3.2 390 wit - -
Problem02_label39_true-unreach-call.c true 9.4 3.3 390 wit - -
Problem02_label40_true-unreach-call.c true 9.3 3.2 390 wit - -
Problem02_label41_true-unreach-call.c true 7.7 2.7 390 wit - -
Problem02_label42_true-unreach-call.c true 7.9 2.7 390 wit - -
Problem02_label46_true-unreach-call.c true 9.3 3.2 380 wit - -
Problem02_label47_true-unreach-call.c true 7.9 2.8 390 wit - -
Problem02_label48_true-unreach-call.c true 9.3 3.2 380 wit - -
Problem02_label49_true-unreach-call.c true 9.0 3.1 390 wit - -
Problem02_label51_true-unreach-call.c true 8.1 2.9 380 wit - -
Problem02_label52_true-unreach-call.c true 9.4 3.2 390 wit - -
Problem02_label53_true-unreach-call.c true 9.0 3.1 380 wit - -
Problem02_label54_true-unreach-call.c true 7.9 2.7 380 wit - -
Problem02_label55_true-unreach-call.c true 7.9 2.8 380 wit - -
Problem02_label56_true-unreach-call.c true 9.3 3.2 380 wit - -
Problem02_label57_true-unreach-call.c true 9.2 3.2 390 wit - -
Problem02_label58_true-unreach-call.c true 9.1 3.1 390 wit - -
Problem03_label00_true-unreach-call.c true 19   6.4 710 wit - -
Problem03_label01_true-unreach-call.c true 18   6.3 700 wit - -
Problem03_label02_true-unreach-call.c true 18   6.0 700 wit - -
Problem03_label03_true-unreach-call.c true 17   5.9 700 wit - -
Problem03_label04_true-unreach-call.c true 17   6.0 710 wit - -
Problem03_label05_true-unreach-call.c true 18   6.2 720 wit - -
Problem03_label06_true-unreach-call.c true 18   6.1 700 wit - -
Problem03_label07_true-unreach-call.c true 19   6.3 700 wit - -
Problem03_label08_true-unreach-call.c true 18   6.2 700 wit - -
Problem03_label10_true-unreach-call.c true 18   6.3 710 wit - -
Problem03_label11_true-unreach-call.c true 19   6.3 700 wit - -
Problem03_label12_true-unreach-call.c true 19   6.4 710 wit - -
Problem03_label14_true-unreach-call.c true 18   6.3 700 wit - -
Problem03_label15_true-unreach-call.c true 17   6.1 710 wit - -
Problem03_label16_true-unreach-call.c true 19   6.4 700 wit - -
Problem03_label17_true-unreach-call.c true 19   6.5 720 wit - -
Problem03_label18_true-unreach-call.c true 18   6.0 720 wit - -
Problem03_label19_true-unreach-call.c true 18   6.0 720 wit - -
Problem03_label20_true-unreach-call.c true 18   6.2 710 wit - -
Problem03_label21_true-unreach-call.c true 19   6.5 710 wit - -
Problem03_label22_true-unreach-call.c true 18   5.3 710 wit - -
Problem03_label23_true-unreach-call.c true 17   6.1 720 wit - -
Problem03_label24_true-unreach-call.c true 18   6.0 710 wit - -
Problem03_label25_true-unreach-call.c true 19   6.3 720 wit - -
Problem03_label29_true-unreach-call.c true 17   5.9 710 wit - -
Problem03_label30_true-unreach-call.c true 18   6.3 710 wit - -
Problem03_label32_true-unreach-call.c true 18   6.3 710 wit - -
Problem03_label33_true-unreach-call.c true 19   6.3 710 wit - -
Problem03_label34_true-unreach-call.c true 18   5.9 710 wit - -
Problem03_label36_true-unreach-call.c true 19   6.3 750 wit - -
Problem03_label38_true-unreach-call.c true 18   6.1 710 wit - -
Problem03_label40_true-unreach-call.c true 19   6.5 710 wit - -
Problem03_label41_true-unreach-call.c true 18   6.2 720 wit - -
Problem03_label42_true-unreach-call.c true 19   6.3 730 wit - -
Problem03_label44_true-unreach-call.c true 19   6.3 710 wit - -
Problem03_label46_true-unreach-call.c true 20   6.4 720 wit - -
Problem03_label47_true-unreach-call.c true 19   6.4 700 wit - -
Problem03_label48_true-unreach-call.c true 19   6.4 710 wit - -
Problem03_label49_true-unreach-call.c true 19   6.3 710 wit - -
Problem03_label51_true-unreach-call.c true 19   6.5 700 wit - -
Problem03_label53_true-unreach-call.c true 20   6.7 740 wit - -
Problem03_label54_true-unreach-call.c true 18   6.0 710 wit - -
Problem03_label55_true-unreach-call.c true 18   6.1 710 wit - -
Problem03_label56_true-unreach-call.c true 18   6.0 720 wit - -
Problem03_label57_true-unreach-call.c true 19   6.4 710 wit - -
Problem03_label58_true-unreach-call.c true 18   6.2 710 wit - -
Problem03_label59_true-unreach-call.c true 19   6.3 730 wit - -
Problem04_label00_true-unreach-call.c true 65   40   3200 wit - -
Problem04_label01_true-unreach-call.c true 66   40   3200 wit - -
Problem04_label02_true-unreach-call.c true 65   39   3200 wit - -
Problem04_label03_true-unreach-call.c true 52   27   3200 wit - -
Problem04_label05_true-unreach-call.c true 67   40   3200 wit - -
Problem04_label07_true-unreach-call.c true 65   39   3200 wit - -
Problem04_label08_true-unreach-call.c true 65   40   3200 wit - -
Problem04_label10_true-unreach-call.c true 66   40   3200 wit - -
Problem04_label16_true-unreach-call.c true 66   40   3200 wit - -
Problem04_label20_true-unreach-call.c true 68   42   3200 wit - -
Problem04_label21_true-unreach-call.c true 66   41   3200 wit - -
Problem04_label22_true-unreach-call.c true 65   39   3200 wit - -
Problem04_label23_true-unreach-call.c true 67   41   3200 wit - -
Problem04_label24_true-unreach-call.c true 68   43   3200 wit - -
Problem04_label25_true-unreach-call.c true 68   40   3200 wit - -
Problem04_label28_true-unreach-call.c true 68   41   3200 wit - -
Problem04_label29_true-unreach-call.c true 68   42   3200 wit - -
Problem04_label30_true-unreach-call.c true 67   40   3200 wit - -
Problem04_label33_true-unreach-call.c true 65   39   3200 wit - -
Problem04_label34_true-unreach-call.c true 66   39   3200 wit - -
Problem04_label37_true-unreach-call.c true 65   40   3200 wit - -
Problem04_label41_true-unreach-call.c true 66   40   3200 wit - -
Problem04_label42_true-unreach-call.c true 67   40   3200 wit - -
Problem04_label43_true-unreach-call.c true 67   41   3200 wit - -
Problem04_label44_true-unreach-call.c true 68   42   3200 wit - -
Problem04_label46_true-unreach-call.c true 68   41   3200 wit - -
Problem04_label47_true-unreach-call.c true 67   42   3200 wit - -
Problem04_label48_true-unreach-call.c true 67   41   3200 wit - -
Problem04_label49_true-unreach-call.c true 68   41   3200 wit - -
Problem04_label50_true-unreach-call.c true 70   44   3200 wit - -
Problem04_label51_true-unreach-call.c true 67   40   3200 wit - -
Problem04_label53_true-unreach-call.c true 67   41   3200 wit - -
Problem04_label54_true-unreach-call.c true 65   39   3200 wit - -
Problem04_label56_true-unreach-call.c true 66   40   3200 wit - -
Problem04_label57_true-unreach-call.c true 65   39   3200 wit - -
Problem04_label59_true-unreach-call.c true 55   27   3200 wit - -
Problem05_label02_true-unreach-call.c true 630   350   5700 wit - -
Problem05_label03_true-unreach-call.c true 560   320   5200 wit - -
Problem05_label04_true-unreach-call.c true 160   71   5200 wit - -
Problem05_label05_true-unreach-call.c true 160   100   5100 wit - -
Problem05_label06_true-unreach-call.c true 200   110   5200 wit - -
Problem05_label07_true-unreach-call.c true 200   110   5200 wit - -
Problem05_label08_true-unreach-call.c true 220   110   5300 wit - -
Problem05_label09_true-unreach-call.c true 590   350   5500 wit - -
Problem05_label10_true-unreach-call.c true 620   330   6400 wit - -
Problem05_label12_true-unreach-call.c true 580   340   5400 wit - -
Problem05_label14_true-unreach-call.c true 610   370   5600 wit - -
Problem05_label16_true-unreach-call.c true 640   400   5600 wit - -
Problem05_label17_true-unreach-call.c true 600   360   5500 wit - -
Problem05_label19_true-unreach-call.c true 350   170   5100 wit - -
Problem05_label20_true-unreach-call.c true 570   340   5600 wit - -
Problem05_label21_true-unreach-call.c true 600   320   6600 wit - -
Problem05_label22_true-unreach-call.c true 660   400   5700 wit - -
Problem05_label23_true-unreach-call.c true 540   300   5400 wit - -
Problem05_label25_true-unreach-call.c true 600   360   5300 wit - -
Problem05_label27_true-unreach-call.c true 570   330   5400 wit - -
Problem05_label28_true-unreach-call.c true 320   150   5100 wit - -
Problem05_label29_true-unreach-call.c true 450   200   6200 wit - -
Problem05_label31_true-unreach-call.c true 360   170   5100 wit - -
Problem05_label34_true-unreach-call.c true 280   140   5100 wit - -
Problem05_label35_true-unreach-call.c true 370   180   5200 wit - -
Problem05_label42_true-unreach-call.c true 680   390   6600 wit - -
Problem05_label43_true-unreach-call.c true 460   230   5300 wit - -
Problem05_label45_true-unreach-call.c true 240   120   5100 wit - -
Problem05_label46_true-unreach-call.c true 330   160   5100 wit - -
Problem05_label49_true-unreach-call.c true 260   130   5100 wit - -
Problem05_label50_true-unreach-call.c timeout 900   660   5500 wit - -
Problem05_label52_true-unreach-call.c true 600   360   5200 wit - -
Problem05_label53_true-unreach-call.c true 260   130   5100 wit - -
Problem05_label54_true-unreach-call.c true 600   320   6100 wit - -
Problem05_label56_true-unreach-call.c true 620   330   6400 wit - -
Problem05_label59_true-unreach-call.c true 160   100   5100 wit - -
Problem06_label03_true-unreach-call.c timeout 900   640   8100 wit - -
Problem06_label06_true-unreach-call.c true 170   110   4800 wit - -
Problem06_label07_true-unreach-call.c true 600   350   5300 wit - -
Problem06_label08_true-unreach-call.c true 630   390   5300 wit - -
Problem06_label13_true-unreach-call.c true 650   350   6400 wit - -
Problem06_label14_true-unreach-call.c true 640   320   6500 wit - -
Problem06_label16_true-unreach-call.c true 610   360   5400 wit - -
Problem06_label17_true-unreach-call.c timeout 900   650   9200 wit - -
Problem06_label18_true-unreach-call.c true 600   340   5300 wit - -
Problem06_label19_true-unreach-call.c true 600   340   5400 wit - -
Problem06_label22_true-unreach-call.c true 600   350   5500 wit - -
Problem06_label23_true-unreach-call.c true 590   340   5400 wit - -
Problem06_label25_true-unreach-call.c timeout 900   650   8800 wit - -
Problem06_label26_true-unreach-call.c true 700   370   6600 wit - -
Problem06_label28_true-unreach-call.c timeout 900   650   9600 wit - -
Problem06_label30_true-unreach-call.c true 610   370   5400 wit - -
Problem06_label31_true-unreach-call.c true 590   350   5300 wit - -
Problem06_label32_true-unreach-call.c true 590   360   5400 wit - -
Problem06_label34_true-unreach-call.c true 580   330   5300 wit - -
Problem06_label35_true-unreach-call.c true 610   350   5300 wit - -
Problem06_label39_true-unreach-call.c true 590   340   5300 wit - -
Problem06_label40_true-unreach-call.c true 580   340   5300 wit - -
Problem06_label41_true-unreach-call.c true 670   400   5500 wit - -
Problem06_label42_true-unreach-call.c true 570   330   5500 wit - -
Problem06_label43_true-unreach-call.c true 610   360   5300 wit - -
Problem06_label45_true-unreach-call.c timeout 900   640   8900 wit - -
Problem06_label46_true-unreach-call.c true 580   330   5200 wit - -
Problem06_label49_true-unreach-call.c true 660   400   5400 wit - -
Problem06_label50_true-unreach-call.c true 580   330   5300 wit - -
Problem06_label51_true-unreach-call.c true 790   540   6800 wit - -
Problem06_label52_true-unreach-call.c true 640   400   5600 wit - -
Problem06_label53_true-unreach-call.c true 600   340   5200 wit - -
Problem06_label54_true-unreach-call.c true 580   340   5400 wit - -
Problem06_label55_true-unreach-call.c timeout 900   660   6600 wit - -
Problem06_label57_true-unreach-call.c true 230   130   5100 wit - -
Problem07_label00_true-unreach-call.c timeout 900   550   7500 wit - -
Problem07_label01_true-unreach-call.c timeout 900   560   7200 wit - -
Problem07_label02_true-unreach-call.c timeout 900   560   7200 wit - -
Problem07_label04_true-unreach-call.c timeout 900   560   7600 wit - -
Problem07_label08_true-unreach-call.c timeout 900   560   7700 wit - -
Problem07_label10_true-unreach-call.c timeout 900   560   7000 wit - -
Problem07_label12_true-unreach-call.c timeout 900   550   7300 wit - -
Problem07_label13_true-unreach-call.c timeout 900   550   7600 wit - -
Problem07_label14_true-unreach-call.c timeout 900   550   7600 wit - -
Problem07_label16_true-unreach-call.c timeout 900   560   7300 wit - -
Problem07_label17_true-unreach-call.c timeout 900   560   7400 wit - -
Problem07_label21_true-unreach-call.c timeout 900   560   7300 wit - -
Problem07_label22_true-unreach-call.c timeout 900   550   7400 wit - -
Problem07_label24_true-unreach-call.c timeout 900   510   8000 wit - -
Problem07_label25_true-unreach-call.c timeout 900   550   7400 wit - -
Problem07_label26_true-unreach-call.c timeout 900   540   7700 wit - -
Problem07_label27_true-unreach-call.c timeout 900   540   7300 wit - -
Problem07_label28_true-unreach-call.c timeout 900   560   7600 wit - -
Problem07_label29_true-unreach-call.c timeout 900   550   7200 wit - -
Problem07_label32_true-unreach-call.c timeout 900   560   7200 wit - -
Problem07_label33_true-unreach-call.c timeout 900   560   7600 wit - -
Problem07_label34_true-unreach-call.c timeout 900   530   8000 wit - -
Problem07_label38_true-unreach-call.c timeout 900   560   7900 wit - -
Problem07_label41_true-unreach-call.c timeout 900   540   7600 wit - -
Problem07_label43_true-unreach-call.c timeout 900   560   7300 wit - -
Problem07_label45_true-unreach-call.c timeout 900   540   8000 wit - -
Problem07_label49_true-unreach-call.c timeout 900   550   7200 wit - -
Problem07_label50_true-unreach-call.c timeout 900   570   7300 wit - -
Problem07_label51_true-unreach-call.c timeout 900   570   7600 wit - -
Problem07_label52_true-unreach-call.c timeout 900   560   7300 wit - -
Problem07_label53_true-unreach-call.c timeout 900   540   7700 wit - -
Problem07_label54_true-unreach-call.c timeout 900   550   7600 wit - -
Problem07_label55_true-unreach-call.c timeout 900   550   7400 wit - -
Problem07_label56_true-unreach-call.c timeout 900   510   7900 wit - -
Problem07_label57_true-unreach-call.c timeout 900   560   7300 wit - -
Problem07_label59_true-unreach-call.c timeout 900   540   7300 wit - -
Problem08_label00_true-unreach-call.c timeout 900   320   9800 wit - -
Problem08_label03_true-unreach-call.c timeout 900   320   9900 wit - -
Problem08_label08_true-unreach-call.c timeout 900   320   10000 wit - -
Problem08_label09_true-unreach-call.c timeout 900   320   9800 wit - -
Problem08_label11_true-unreach-call.c timeout 900   330   10000 wit - -
Problem08_label12_true-unreach-call.c timeout 900   340   10000 wit - -
Problem08_label14_true-unreach-call.c timeout 900   310   9800 wit - -
Problem08_label16_true-unreach-call.c timeout 900   410   11000 wit - -
Problem08_label17_true-unreach-call.c timeout 900   310   9900 wit - -
Problem08_label18_true-unreach-call.c timeout 900   330   9900 wit - -
Problem08_label19_true-unreach-call.c timeout 900   330   10000 wit - -
Problem08_label20_true-unreach-call.c timeout 900   320   9900 wit - -
Problem08_label21_true-unreach-call.c timeout 900   410   12000 wit - -
Problem08_label22_true-unreach-call.c timeout 900   360   10000 wit - -
Problem08_label23_true-unreach-call.c timeout 900   400   11000 wit - -
Problem08_label27_true-unreach-call.c timeout 900   330   10000 wit - -
Problem08_label30_true-unreach-call.c timeout 900   320   9900 wit - -
Problem08_label31_true-unreach-call.c timeout 900   320   10000 wit - -
Problem08_label32_true-unreach-call.c timeout 900   320   10000 wit - -
Problem08_label33_true-unreach-call.c timeout 900   330   10000 wit - -
Problem08_label35_true-unreach-call.c timeout 900   310   9800 wit - -
Problem08_label36_true-unreach-call.c timeout 900   320   9900 wit - -
Problem08_label38_true-unreach-call.c timeout 900   330   10000 wit - -
Problem08_label39_true-unreach-call.c timeout 900   320   9900 wit - -
Problem08_label40_true-unreach-call.c timeout 900   300   9800 wit - -
Problem08_label41_true-unreach-call.c timeout 900   340   10000 wit - -
Problem08_label42_true-unreach-call.c timeout 900   320   9900 wit - -
Problem08_label44_true-unreach-call.c timeout 900   430   11000 wit - -
Problem08_label45_true-unreach-call.c timeout 900   310   9800 wit - -
Problem08_label47_true-unreach-call.c timeout 900   350   10000 wit - -
Problem08_label52_true-unreach-call.c timeout 900   320   9900 wit - -
Problem08_label53_true-unreach-call.c timeout 900   330   9800 wit - -
Problem08_label54_true-unreach-call.c timeout 900   320   9900 wit - -
Problem08_label56_true-unreach-call.c timeout 900   330   10000 wit - -
Problem08_label57_true-unreach-call.c timeout 900   320   10000 wit - -
Problem08_label58_true-unreach-call.c timeout 900   320   9900 wit - -
Problem09_label00_true-unreach-call.c timeout 900   240   11000 wit - -
Problem09_label01_true-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label04_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label05_true-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label07_true-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label09_true-unreach-call.c timeout 910   240   11000 wit - -
Problem09_label12_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label13_true-unreach-call.c timeout 910   240   11000 wit - -
Problem09_label14_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label16_true-unreach-call.c timeout 900   260   11000 wit - -
Problem09_label17_true-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label18_true-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label21_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label22_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label23_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label24_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label25_true-unreach-call.c timeout 900   260   11000 wit - -
Problem09_label26_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label27_true-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label28_true-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label29_true-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label30_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label31_true-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label33_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label37_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label39_true-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label40_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label42_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label43_true-unreach-call.c timeout 900   230   11000 wit - -
Problem09_label45_true-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label48_true-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label49_true-unreach-call.c timeout 910   260   11000 wit - -
Problem09_label50_true-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label52_true-unreach-call.c timeout 910   250   11000 wit - -
Problem09_label55_true-unreach-call.c timeout 900   250   11000 wit - -
Problem09_label58_true-unreach-call.c timeout 910   280   11000 wit - -
Problem10_label00_true-unreach-call.c true 190   120   5200 wit - -
Problem10_label01_true-unreach-call.c true 190   120   5300 wit - -
Problem10_label02_true-unreach-call.c true 180   120   5200 wit - -
Problem10_label03_true-unreach-call.c true 100   74   4400 wit - -
Problem10_label04_true-unreach-call.c true 100   74   4400 wit - -
Problem10_label05_true-unreach-call.c true 100   72   4400 wit - -
Problem10_label06_true-unreach-call.c true 99   74   4400 wit - -
Problem10_label07_true-unreach-call.c true 100   74   4400 wit - -
Problem10_label08_true-unreach-call.c true 100   74   4400 wit - -
Problem10_label09_true-unreach-call.c true 100   74   4400 wit - -
Problem10_label10_true-unreach-call.c true 100   74   4400 wit - -
Problem10_label11_true-unreach-call.c true 190   120   5200 wit - -
Problem10_label13_true-unreach-call.c true 190   120   5300 wit - -
Problem10_label14_true-unreach-call.c true 180   120   5200 wit - -
Problem10_label16_true-unreach-call.c true 190   120   5300 wit - -
Problem10_label17_true-unreach-call.c true 180   120   5300 wit - -
Problem10_label18_true-unreach-call.c true 190   120   5200 wit - -
Problem10_label19_true-unreach-call.c true 98   74   4400 wit - -
Problem10_label20_true-unreach-call.c true 97   74   4300 wit - -
Problem10_label21_true-unreach-call.c true 97   73   4400 wit - -
Problem10_label22_true-unreach-call.c true 98   73   4400 wit - -
Problem10_label23_true-unreach-call.c true 200   120   5300 wit - -
Problem10_label25_true-unreach-call.c true 190   120   5300 wit - -
Problem10_label27_true-unreach-call.c true 180   120   5200 wit - -
Problem10_label30_true-unreach-call.c true 190   120   5300 wit - -
Problem10_label31_true-unreach-call.c true 99   75   4400 wit - -
Problem10_label32_true-unreach-call.c true 99   74   4400 wit - -
Problem10_label33_true-unreach-call.c true 100   74   4400 wit - -
Problem10_label34_true-unreach-call.c true 100   75   4400 wit - -
Problem10_label35_true-unreach-call.c true 100   75   4400 wit - -
Problem10_label36_true-unreach-call.c true 100   74   4400 wit - -
Problem10_label37_true-unreach-call.c true 100   74   4400 wit - -
Problem10_label38_true-unreach-call.c true 99   74   4400 wit - -
Problem10_label39_true-unreach-call.c true 200   120   5200 wit - -
Problem10_label40_true-unreach-call.c true 190   120   5200 wit - -
Problem10_label43_true-unreach-call.c true 180   120   5300 wit - -
Problem10_label44_true-unreach-call.c true 180   120   5200 wit - -
Problem10_label45_true-unreach-call.c true 180   120   5300 wit - -
Problem10_label49_true-unreach-call.c true 180   120   5200 wit - -
Problem10_label51_true-unreach-call.c true 99   74   4400 wit - -
Problem10_label52_true-unreach-call.c true 100   75   4400 wit - -
Problem10_label53_true-unreach-call.c true 100   74   4400 wit - -
Problem10_label54_true-unreach-call.c true 99   73   4400 wit - -
Problem10_label56_true-unreach-call.c timeout 900   680   7300 wit - -
Problem10_label59_true-unreach-call.c true 270   150   5600 wit - -
Problem11_label01_true-unreach-call.c true 360   190   5600 wit - -
Problem11_label02_true-unreach-call.c timeout 900   680   8700 wit - -
Problem11_label03_true-unreach-call.c true 240   140   5500 wit - -
Problem11_label04_true-unreach-call.c true 280   150   5600 wit - -
Problem11_label05_true-unreach-call.c timeout 900   680   7800 wit - -
Problem11_label06_true-unreach-call.c timeout 900   680   6700 wit - -
Problem11_label07_true-unreach-call.c true 240   130   6400 wit - -
Problem11_label09_true-unreach-call.c timeout 900   680   8400 wit - -
Problem11_label10_true-unreach-call.c true 330   180   6300 wit - -
Problem11_label11_true-unreach-call.c timeout 900   680   8400 wit - -
Problem11_label12_true-unreach-call.c true 230   130   6500 wit - -
Problem11_label13_true-unreach-call.c true 200   120   5600 wit - -
Problem11_label16_true-unreach-call.c true 230   130   5700 wit - -
Problem11_label17_true-unreach-call.c true 240   130   6300 wit - -
Problem11_label18_true-unreach-call.c true 210   120   5600 wit - -
Problem11_label19_true-unreach-call.c timeout 900   680   6400 wit - -
Problem11_label21_true-unreach-call.c true 250   140   5600 wit - -
Problem11_label22_true-unreach-call.c timeout 900   680   7700 wit - -
Problem11_label23_true-unreach-call.c true 310   170   5700 wit - -
Problem11_label24_true-unreach-call.c timeout 900   680   7700 wit - -
Problem11_label25_true-unreach-call.c timeout 900   680   6400 wit - -
Problem11_label26_true-unreach-call.c timeout 900   680   7200 wit - -
Problem11_label27_true-unreach-call.c true 210   120   5600 wit - -
Problem11_label28_true-unreach-call.c timeout 900   680   7400 wit - -
Problem11_label30_true-unreach-call.c true 320   170   6500 wit - -
Problem11_label32_true-unreach-call.c true 210   120   5700 wit - -
Problem11_label33_true-unreach-call.c true 220   120   5500 wit - -
Problem11_label35_true-unreach-call.c timeout 900   680   6500 wit - -
Problem11_label37_true-unreach-call.c true 210   120   5600 wit - -
Problem11_label38_true-unreach-call.c true 210   120   5600 wit - -
Problem11_label40_true-unreach-call.c timeout 900   680   8300 wit - -
Problem11_label41_true-unreach-call.c timeout 900   670   8400 wit - -
Problem11_label44_true-unreach-call.c timeout 900   680   6000 wit - -
Problem11_label45_true-unreach-call.c timeout 900   680   8400 wit - -
Problem11_label46_true-unreach-call.c timeout 900   680   8000 wit - -
Problem11_label47_true-unreach-call.c timeout 900   680   8600 wit - -
Problem11_label48_true-unreach-call.c timeout 900   680   6400 wit - -
Problem11_label50_true-unreach-call.c timeout 900   680   8100 wit - -
Problem11_label52_true-unreach-call.c timeout 900   670   7600 wit - -
Problem11_label53_true-unreach-call.c true 230   130   5600 wit - -
Problem11_label54_true-unreach-call.c timeout 900   680   8300 wit - -
Problem11_label55_true-unreach-call.c timeout 900   680   7800 wit - -
Problem11_label56_true-unreach-call.c timeout 900   680   8400 wit - -
Problem11_label57_true-unreach-call.c timeout 900   680   8300 wit - -
Problem11_label59_true-unreach-call.c timeout 900   680   6000 wit - -
Problem12_label01_true-unreach-call.c timeout 900   680   9600 wit - -
Problem12_label02_true-unreach-call.c timeout 900   640   8000 wit - -
Problem12_label04_true-unreach-call.c timeout 900   670   9700 wit - -
Problem12_label05_true-unreach-call.c timeout 900   640   8000 wit - -
Problem12_label09_true-unreach-call.c timeout 900   660   9700 wit - -
Problem12_label11_true-unreach-call.c timeout 900   650   7100 wit - -
Problem12_label12_true-unreach-call.c timeout 900   570   8700 wit - -
Problem12_label14_true-unreach-call.c timeout 900   650   7900 wit - -
Problem12_label15_true-unreach-call.c true 330   160   6900 wit - -
Problem12_label16_true-unreach-call.c true 300   150   6900 wit - -
Problem12_label17_true-unreach-call.c timeout 900   640   9900 wit - -
Problem12_label18_true-unreach-call.c timeout 900   660   7900 wit - -
Problem12_label22_true-unreach-call.c true 260   140   7100 wit - -
Problem12_label23_true-unreach-call.c true 420   200   7000 wit - -
Problem12_label24_true-unreach-call.c timeout 900   640   8000 wit - -
Problem12_label26_true-unreach-call.c timeout 900   650   8000 wit - -
Problem12_label27_true-unreach-call.c timeout 900   650   7900 wit - -
Problem12_label29_true-unreach-call.c true 420   210   7100 wit - -
Problem12_label31_true-unreach-call.c true 410   200   7000 wit - -
Problem12_label32_true-unreach-call.c timeout 900   640   8000 wit - -
Problem12_label33_true-unreach-call.c timeout 900   650   7900 wit - -
Problem12_label36_true-unreach-call.c timeout 900   660   7000 wit - -
Problem12_label41_true-unreach-call.c timeout 900   670   9600 wit - -
Problem12_label43_true-unreach-call.c true 290   140   7000 wit - -
Problem12_label44_true-unreach-call.c timeout 900   670   7100 wit - -
Problem12_label45_true-unreach-call.c timeout 900   660   8000 wit - -
Problem12_label46_true-unreach-call.c true 280   140   7000 wit - -
Problem12_label47_true-unreach-call.c true 300   140   7100 wit - -
Problem12_label49_true-unreach-call.c true 320   160   7000 wit - -
Problem12_label53_true-unreach-call.c true 370   120   8300 wit - -
Problem12_label54_true-unreach-call.c true 270   140   7200 wit - -
Problem12_label56_true-unreach-call.c true 260   130   7000 wit - -
Problem12_label57_true-unreach-call.c true 290   150   7000 wit - -
Problem12_label58_true-unreach-call.c true 250   130   7000 wit - -
Problem12_label59_true-unreach-call.c timeout 900   650   7100 wit - -
Problem13_label00_true-unreach-call.c timeout 900   580   13000 wit - -
Problem13_label01_true-unreach-call.c timeout 900   580   9100 wit - -
Problem13_label02_true-unreach-call.c timeout 900   590   12000 wit - -
Problem13_label03_true-unreach-call.c timeout 900   600   11000 wit - -
Problem13_label05_true-unreach-call.c timeout 900   600   9200 wit - -
Problem13_label08_true-unreach-call.c timeout 900   670   12000 wit - -
Problem13_label09_true-unreach-call.c timeout 900   580   13000 wit - -
Problem13_label10_true-unreach-call.c timeout 900   600   9500 wit - -
Problem13_label13_true-unreach-call.c timeout 900   590   13000 wit - -
Problem13_label14_true-unreach-call.c timeout 900   620   13000 wit - -
Problem13_label15_true-unreach-call.c timeout 900   610   9000 wit - -
Problem13_label17_true-unreach-call.c timeout 900   620   13000 wit - -
Problem13_label18_true-unreach-call.c timeout 900   600   13000 wit - -
Problem13_label20_true-unreach-call.c timeout 900   610   8400 wit - -
Problem13_label22_true-unreach-call.c timeout 900   630   12000 wit - -
Problem13_label26_true-unreach-call.c timeout 900   580   9200 wit - -
Problem13_label27_true-unreach-call.c timeout 900   600   12000 wit - -
Problem13_label31_true-unreach-call.c timeout 900   600   9400 wit - -
Problem13_label33_true-unreach-call.c timeout 900   610   9000 wit - -
Problem13_label34_true-unreach-call.c timeout 900   620   9900 wit - -
Problem13_label37_true-unreach-call.c timeout 900   560   12000 wit - -
Problem13_label38_true-unreach-call.c timeout 900   640   13000 wit - -
Problem13_label39_true-unreach-call.c timeout 900   630   13000 wit - -
Problem13_label41_true-unreach-call.c timeout 900   620   13000 wit - -
Problem13_label42_true-unreach-call.c timeout 900   620   11000 wit - -
Problem13_label46_true-unreach-call.c timeout 900   600   9300 wit - -
Problem13_label47_true-unreach-call.c timeout 900   610   13000 wit - -
Problem13_label49_true-unreach-call.c timeout 900   670   11000 wit - -
Problem13_label50_true-unreach-call.c timeout 900   600   13000 wit - -
Problem13_label52_true-unreach-call.c timeout 900   590   13000 wit - -
Problem13_label53_true-unreach-call.c timeout 900   600   13000 wit - -
Problem13_label55_true-unreach-call.c timeout 900   620   11000 wit - -
Problem13_label56_true-unreach-call.c timeout 900   620   13000 wit - -
Problem13_label57_true-unreach-call.c timeout 900   670   13000 wit - -
Problem13_label59_true-unreach-call.c timeout 900   600   13000 wit - -
Problem14_label00_true-unreach-call.c true 220   130   5300 wit - -
Problem14_label01_true-unreach-call.c true 210   130   5300 wit - -
Problem14_label03_true-unreach-call.c true 230   140   5200 wit - -
Problem14_label04_true-unreach-call.c true 310   170   5600 wit - -
Problem14_label05_true-unreach-call.c true 220   130   5300 wit - -
Problem14_label06_true-unreach-call.c true 190   130   5200 wit - -
Problem14_label07_true-unreach-call.c true 230   140   5200 wit - -
Problem14_label09_true-unreach-call.c true 300   170   5700 wit - -
Problem14_label15_true-unreach-call.c true 220   130   5300 wit - -
Problem14_label16_true-unreach-call.c true 210   130   5300 wit - -
Problem14_label17_true-unreach-call.c true 260   150   5300 wit - -
Problem14_label19_true-unreach-call.c true 220   130   5300 wit - -
Problem14_label20_true-unreach-call.c true 100   76   4300 wit - -
Problem14_label21_true-unreach-call.c true 200   130   5200 wit - -
Problem14_label23_true-unreach-call.c true 240   140   5300 wit - -
Problem14_label24_true-unreach-call.c true 230   130   5300 wit - -
Problem14_label25_true-unreach-call.c true 100   75   4300 wit - -
Problem14_label26_true-unreach-call.c true 200   130   5200 wit - -
Problem14_label30_true-unreach-call.c true 100   76   4300 wit - -
Problem14_label32_true-unreach-call.c timeout 900   690   7800 wit - -
Problem14_label33_true-unreach-call.c true 210   130   5300 wit - -
Problem14_label35_true-unreach-call.c true 100   76   4300 wit - -
Problem14_label36_true-unreach-call.c true 220   130   5200 wit - -
Problem14_label38_true-unreach-call.c true 190   130   5100 wit - -
Problem14_label42_true-unreach-call.c true 220   130   5300 wit - -
Problem14_label45_true-unreach-call.c true 240   140   5700 wit - -
Problem14_label46_true-unreach-call.c timeout 900   680   7600 wit - -
Problem14_label47_true-unreach-call.c true 220   130   5300 wit - -
Problem14_label48_true-unreach-call.c timeout 900   690   7700 wit - -
Problem14_label49_true-unreach-call.c true 230   140   5300 wit - -
Problem14_label50_true-unreach-call.c true 240   140   5600 wit - -
Problem14_label51_true-unreach-call.c timeout 900   680   7800 wit - -
Problem14_label53_true-unreach-call.c timeout 900   620   6500 wit - -
Problem14_label55_true-unreach-call.c true 240   130   5600 wit - -
Problem14_label59_true-unreach-call.c true 210   130   5300 wit - -
Problem15_label01_true-unreach-call.c timeout 900   680   8300 wit - -
Problem15_label04_true-unreach-call.c timeout 900   680   8200 wit - -
Problem15_label05_true-unreach-call.c timeout 900   680   8800 wit - -
Problem15_label06_true-unreach-call.c timeout 900   680   8200 wit - -
Problem15_label08_true-unreach-call.c timeout 900   680   8400 wit - -
Problem15_label10_true-unreach-call.c timeout 900   670   8300 wit - -
Problem15_label11_true-unreach-call.c timeout 900   650   8200 wit - -
Problem15_label12_true-unreach-call.c timeout 900   670   8500 wit - -
Problem15_label13_true-unreach-call.c timeout 900   680   8200 wit - -
Problem15_label16_true-unreach-call.c timeout 900   670   8900 wit - -
Problem15_label17_true-unreach-call.c timeout 900   680   9100 wit - -
Problem15_label19_true-unreach-call.c timeout 900   680   8200 wit - -
Problem15_label20_true-unreach-call.c timeout 900   670   7300 wit - -
Problem15_label21_true-unreach-call.c true 450   240   6600 wit - -
Problem15_label24_true-unreach-call.c timeout 900   680   8200 wit - -
Problem15_label26_true-unreach-call.c timeout 900   670   8900 wit - -
Problem15_label27_true-unreach-call.c timeout 900   680   8200 wit - -
Problem15_label28_true-unreach-call.c true 460   240   6600 wit - -
Problem15_label31_true-unreach-call.c true 340   180   6600 wit - -
Problem15_label32_true-unreach-call.c timeout 900   670   11000 wit - -
Problem15_label35_true-unreach-call.c timeout 900   670   8600 wit - -
Problem15_label36_true-unreach-call.c timeout 900   670   9500 wit - -
Problem15_label42_true-unreach-call.c timeout 900   680   8200 wit - -
Problem15_label43_true-unreach-call.c timeout 900   680   6300 wit - -
Problem15_label44_true-unreach-call.c timeout 900   680   9400 wit - -
Problem15_label46_true-unreach-call.c timeout 900   680   8500 wit - -
Problem15_label49_true-unreach-call.c timeout 900   680   8100 wit - -
Problem15_label52_true-unreach-call.c timeout 900   660   8800 wit - -
Problem15_label53_true-unreach-call.c timeout 900   670   8800 wit - -
Problem15_label54_true-unreach-call.c timeout 900   680   8800 wit - -
Problem15_label55_true-unreach-call.c true 280   150   6700 wit - -
Problem15_label56_true-unreach-call.c true 360   190   8200 wit - -
Problem15_label57_true-unreach-call.c timeout 900   670   8400 wit - -
Problem15_label58_true-unreach-call.c true 260   140   6600 wit - -
Problem15_label59_true-unreach-call.c timeout 900   680   8200 wit - -
Problem16_label02_true-unreach-call.c timeout 900   670   6400 wit - -
Problem16_label07_true-unreach-call.c true 210   120   5500 wit - -
Problem16_label09_true-unreach-call.c true 210   120   5500 wit - -
Problem16_label10_true-unreach-call.c true 200   120   5500 wit - -
Problem16_label11_true-unreach-call.c true 200   120   5500 wit - -
Problem16_label12_true-unreach-call.c true 200   110   5500 wit - -
Problem16_label13_true-unreach-call.c true 210   120   5600 wit - -
Problem16_label16_true-unreach-call.c true 200   110   5600 wit - -
Problem16_label17_true-unreach-call.c true 200   110   5500 wit - -
Problem16_label19_true-unreach-call.c true 250   130   5700 wit - -
Problem16_label21_true-unreach-call.c true 210   120   5600 wit - -
Problem16_label23_true-unreach-call.c true 100   72   4400 wit - -
Problem16_label24_true-unreach-call.c true 110   71   4400 wit - -
Problem16_label25_true-unreach-call.c true 110   72   4400 wit - -
Problem16_label26_true-unreach-call.c true 110   72   4400 wit - -
Problem16_label28_true-unreach-call.c true 210   120   5500 wit - -
Problem16_label29_true-unreach-call.c true 210   120   5600 wit - -
Problem16_label32_true-unreach-call.c true 210   120   5600 wit - -
Problem16_label34_true-unreach-call.c true 240   130   6400 wit - -
Problem16_label35_true-unreach-call.c true 230   130   6200 wit - -
Problem16_label36_true-unreach-call.c true 230   120   6400 wit - -
Problem16_label39_true-unreach-call.c true 200   110   5600 wit - -
Problem16_label40_true-unreach-call.c true 210   120   5600 wit - -
Problem16_label42_true-unreach-call.c true 210   120   5700 wit - -
Problem16_label45_true-unreach-call.c true 240   130   6200 wit - -
Problem16_label47_true-unreach-call.c true 110   72   4400 wit - -
Problem16_label48_true-unreach-call.c true 110   72   4400 wit - -
Problem16_label49_true-unreach-call.c true 110   72   4400 wit - -
Problem16_label50_true-unreach-call.c true 110   73   4400 wit - -
Problem16_label53_true-unreach-call.c true 260   140   6400 wit - -
Problem16_label55_true-unreach-call.c true 110   72   4400 wit - -
Problem16_label56_true-unreach-call.c true 110   72   4400 wit - -
Problem16_label57_true-unreach-call.c true 110   72   4400 wit - -
Problem16_label58_true-unreach-call.c true 110   72   4400 wit - -
Problem16_label59_true-unreach-call.c true 200   110   5500 wit - -
Problem17_label00_true-unreach-call.c timeout 900   670   9200 wit - -
Problem17_label01_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label02_true-unreach-call.c timeout 900   660   11000 wit - -
Problem17_label03_true-unreach-call.c timeout 900   670   7600 wit - -
Problem17_label05_true-unreach-call.c timeout 900   680   10000 wit - -
Problem17_label06_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label08_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label10_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label11_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label12_true-unreach-call.c timeout 900   670   8400 wit - -
Problem17_label14_true-unreach-call.c timeout 900   670   7400 wit - -
Problem17_label15_true-unreach-call.c timeout 900   670   7500 wit - -
Problem17_label17_true-unreach-call.c timeout 900   670   7900 wit - -
Problem17_label18_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label19_true-unreach-call.c timeout 900   670   7400 wit - -
Problem17_label21_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label22_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label24_true-unreach-call.c timeout 900   680   11000 wit - -
Problem17_label27_true-unreach-call.c timeout 900   680   8600 wit - -
Problem17_label28_true-unreach-call.c timeout 900   670   7500 wit - -
Problem17_label29_true-unreach-call.c timeout 900   670   7400 wit - -
Problem17_label32_true-unreach-call.c timeout 900   670   7500 wit - -
Problem17_label36_true-unreach-call.c timeout 900   680   11000 wit - -
Problem17_label38_true-unreach-call.c timeout 900   670   7600 wit - -
Problem17_label39_true-unreach-call.c timeout 900   670   8500 wit - -
Problem17_label41_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label42_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label43_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label44_true-unreach-call.c timeout 900   620   8600 wit - -
Problem17_label45_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label47_true-unreach-call.c timeout 900   670   7400 wit - -
Problem17_label48_true-unreach-call.c timeout 900   670   8400 wit - -
Problem17_label51_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label56_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label58_true-unreach-call.c timeout 900   670   11000 wit - -
Problem17_label59_true-unreach-call.c timeout 900   670   7600 wit - -
Problem18_label02_true-unreach-call.c true 230   120   6200 wit - -
Problem18_label04_true-unreach-call.c timeout 900   660   8200 wit - -
Problem18_label05_true-unreach-call.c timeout 900   670   11000 wit - -
Problem18_label07_true-unreach-call.c true 250   130   5800 wit - -
Problem18_label11_true-unreach-call.c true 300   130   5800 wit - -
Problem18_label13_true-unreach-call.c true 250   130   6000 wit - -
Problem18_label14_true-unreach-call.c timeout 900   650   8700 wit - -
Problem18_label15_true-unreach-call.c timeout 900   640   8700 wit - -
Problem18_label16_true-unreach-call.c true 220   120   6200 wit - -
Problem18_label17_true-unreach-call.c true 280   130   5900 wit - -
Problem18_label18_true-unreach-call.c true 230   120   6100 wit - -
Problem18_label21_true-unreach-call.c true 240   130   6200 wit - -
Problem18_label22_true-unreach-call.c true 260   130   5900 wit - -
Problem18_label23_true-unreach-call.c true 230   130   5900 wit - -
Problem18_label24_true-unreach-call.c timeout 900   660   8700 wit - -
Problem18_label26_true-unreach-call.c true 250   130   5800 wit - -
Problem18_label28_true-unreach-call.c true 250   130   5800 wit - -
Problem18_label29_true-unreach-call.c timeout 900   650   8700 wit - -
Problem18_label30_true-unreach-call.c true 290   120   6900 wit - -
Problem18_label37_true-unreach-call.c true 250   130   5900 wit - -
Problem18_label40_true-unreach-call.c true 360   180   5900 wit - -
Problem18_label41_true-unreach-call.c true 120   76   4700 wit - -
Problem18_label42_true-unreach-call.c true 260   130   5900 wit - -
Problem18_label43_true-unreach-call.c true 120   75   4700 wit - -
Problem18_label44_true-unreach-call.c true 250   130   5900 wit - -
Problem18_label46_true-unreach-call.c true 120   76   4700 wit - -
Problem18_label47_true-unreach-call.c true 270   140   5800 wit - -
Problem18_label48_true-unreach-call.c true 120   75   4700 wit - -
Problem18_label50_true-unreach-call.c true 230   120   6300 wit - -
Problem18_label51_true-unreach-call.c true 120   75   4700 wit - -
Problem18_label53_true-unreach-call.c true 120   76   4700 wit - -
Problem18_label54_true-unreach-call.c true 220   120   6300 wit - -
Problem18_label56_true-unreach-call.c true 120   75   4700 wit - -
Problem18_label58_true-unreach-call.c true 120   77   4700 wit - -
Problem18_label59_true-unreach-call.c true 360   180   5900 wit - -
Problem19_label00_true-unreach-call.c out of memory 440   210   15000 wit - -
Problem19_label01_true-unreach-call.c timeout 900   650   10000 wit - -
Problem19_label02_true-unreach-call.c out of memory 430   210   15000 wit - -
Problem19_label03_true-unreach-call.c timeout 900   650   10000 wit - -
Problem19_label04_true-unreach-call.c timeout 900   650   11000 wit - -
Problem19_label05_true-unreach-call.c timeout 900   600   11000 wit - -
Problem19_label06_true-unreach-call.c timeout 900   640   10000 wit - -
Problem19_label07_true-unreach-call.c out of memory 440   210   15000 wit - -
Problem19_label08_true-unreach-call.c out of memory 430   210   15000 wit - -
Problem19_label09_true-unreach-call.c timeout 900   600   11000 wit - -
Problem19_label12_true-unreach-call.c out of memory 410   200   15000 wit - -
Problem19_label13_true-unreach-call.c timeout 900   650   15000 wit - -
Problem19_label15_true-unreach-call.c out of memory 420   200   15000 wit - -
Problem19_label16_true-unreach-call.c out of memory 440   210   15000 wit - -
Problem19_label20_true-unreach-call.c timeout 900   650   10000 wit - -
Problem19_label23_true-unreach-call.c out of memory 460   190   15000 wit - -
Problem19_label24_true-unreach-call.c timeout 900   650   10000 wit - -
Problem19_label25_true-unreach-call.c out of memory 430   210   15000 wit - -
Problem19_label30_true-unreach-call.c out of memory 420   200   15000 wit - -
Problem19_label33_true-unreach-call.c out of memory 470   230   15000 wit - -
Problem19_label34_true-unreach-call.c timeout 900   650   10000 wit - -
Problem19_label35_true-unreach-call.c timeout 900   650   11000 wit - -
Problem19_label36_true-unreach-call.c out of memory 430   210   15000 wit - -
Problem19_label37_true-unreach-call.c out of memory 430   200   15000 wit - -
Problem19_label38_true-unreach-call.c out of memory 420   210   15000 wit - -
Problem19_label39_true-unreach-call.c out of memory 410   190   15000 wit - -
Problem19_label40_true-unreach-call.c timeout 900   650   10000 wit - -
Problem19_label44_true-unreach-call.c out of memory 430   200   15000 wit - -
Problem19_label45_true-unreach-call.c out of memory 450   180   15000 wit - -
Problem19_label46_true-unreach-call.c out of memory 440   210   15000 wit - -
Problem19_label48_true-unreach-call.c timeout 900   650   14000 wit - -
Problem19_label49_true-unreach-call.c out of memory 450   210   15000 wit - -
Problem19_label52_true-unreach-call.c true 300   140   10000 wit - -
Problem19_label54_true-unreach-call.c out of memory 410   200   15000 wit - -
Problem19_label56_true-unreach-call.c out of memory 430   210   15000 wit - -
Problem19_label57_true-unreach-call.c out of memory 440   210   15000 wit - -
../../sv-benchmarks/c/eca-rers2012/ status cputime (s) walltime (s) memUsage (MB) witness wit1_status wit1_cputime (s) wit1_walltime (s) wit1_memUsage (MB) wit2_status wit2_cputime (s) wit2_walltime (s) wit2_memUsage (MB)
total tasks 1140 490000 280000 6600000 1140 12000   6400   270000   1140 16000   10000   360000  
    correct results 641 83000 46000 1900000 216 9800   5000   210000   146 14000   9000   280000  
        correct true 425 74000 42000 1500000 0 0   0   0   0 0   0   0  
        correct false 216 9400 4000 380000 216 9800   5000   210000   146 14000   9000   280000  
    incorrect results 0
        incorrect true 0
        incorrect false 0
score (1140 tasks, max score: 1874) 1066
Run set sv-comp16.ECA