<
Tool 2LS 0.6.0 CBMC 5.8 CPAchecker 1.6.1-svn 26725 CPAchecker 1.6.1-svn 26758M CPAchecker 1.6.1-svn 26773 DepthK DepthK version 3.0 - Fri Jan 6 18:14:20 AMT 2017 ESBMC ESBMC version 4.6.0 64-bit x86_64 linux CPAchecker symbiotic 5.0.0-KLEE:1faddfe0-dg:12c34aac-symbiotic:5e14b94d-minisat:3db58943-llvm-instrumentation:cd767593-stp:17249213 ULTIMATE Automizer 0.1.23-3204b741 ULTIMATE Kojak 0.1.23-3204b741 ULTIMATE Taipan 0.1.23-3204b741 VeriAbs
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host apollon*
OS Linux 4.4.0-101-generic
System CPU: Intel Xeon E3-1230 v5 @ 3.40 GHz, cores: 8, frequency: 3.8 GHz, Turbo Boost: disabled; RAM: 33553 MB
Date of execution 2017-11-30 11:20:26 CET 2017-11-30 16:01:31 CET 2017-12-01 08:49:27 CET 2017-12-01 12:59:33 CET 2017-12-01 19:00:34 CET 2017-12-01 22:41:19 CET 2017-12-02 01:06:24 CET 2017-12-02 02:33:02 CET 2017-12-02 17:23:13 CET 2017-12-02 18:04:04 CET
Run set 2ls.sv-comp18.ReachSafety-Sequentialized cbmc.sv-comp18.ReachSafety-Sequentialized cpa-bam-bnb.sv-comp18.ReachSafety-Sequentialized cpa-bam-slicing.sv-comp18.ReachSafety-Sequentialized cpa-seq.sv-comp18.ReachSafety-Sequentialized depthk.sv-comp18.ReachSafety-Sequentialized esbmc-incr.sv-comp18.ReachSafety-Sequentialized esbmc-kind.sv-comp18.ReachSafety-Sequentialized interpchecker.sv-comp18.ReachSafety-Sequentialized symbiotic.sv-comp18.ReachSafety-Sequentialized uautomizer.sv-comp18.ReachSafety-Sequentialized ukojak.sv-comp18.ReachSafety-Sequentialized utaipan.sv-comp18.ReachSafety-Sequentialized veriabs.sv-comp18.ReachSafety-Sequentialized
Options --graphml-witness witness.graphml --graphml-witness witness.graphml -svcomp18-bam-bnb -disable-java-assertions -heap 10000m -ldv-bam-svcomp -disable-java-assertions -heap 10000m -svcomp18 -heap 10000M -benchmark -timelimit 900s -s incr -s kinduction -sv-comp18-interpcpachecker -heap 10000M -disable-java-assertions --witness witness.graphml --full-output --full-output --full-output
../sv-benchmarks/c/ status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score status cpu (s) mem (MB) energy (J) score
systemc/kundu1_false-unreach-call_false-termination.cil.c .12  24 .77 0 3.4  74 38   1 14   560 110 1 18   690 140 1 5.3 300 48 1 480    280 5900   1 1.3  29 15   1 2.1  32 18   1 46 2300 380 1 .22 11 2.2 1 48   1400 410 1 900   1700 12000 0 900   5400 12000 0 12 230 96 1
systemc/kundu2_false-unreach-call_false-termination.cil.c .11  24 .83 0 .48 35 4.9 1 21   790 170 1 19   760 150 1 5.7 290 52 1 480    180 5500   1 1.6  31 13   1 1.1  30 7.4 1 30 1200 230 1 .23 11 2.4 1 660   11000 5200 1 900   5000 11000 0 900   6100 12000 0 15 240 130 1
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c .10  23 .80 0 .33 34 3.0 1 4.1 290 36 1 3.9 290 32 1 2.9 260 28 1 .47 110 6.5 1 .16 29 1.3 1 .14 29 1.5 1 15 660 120 1 .19 11 2.4 1 5.7 300 43 1 5.6 310 44 1 5.7 290 43 1 110 260 1000 1
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c .11  23 .67 0 .34 34 3.2 1 6.6 330 57 1 4.2 300 40 1 3.4 270 31 1 .52 110 6.1 1 .13 29 1.3 1 .17 29 1.7 1 33 1500 280 1 .21 11 2.5 1 12   550 110 1 7.7 390 58 1 12   540 96 1 89 230 800 1
systemc/pipeline_false-unreach-call_false-termination.cil.c 900     950 12000    0 16    390 200   1 280   8500 2100 1 19   740 150 1 31   1600 290 1 550    15000 5900   1 11    160 120   1 13    220 110   1 920 4600 11000 0 330    3100 2600   1 910   13000 4200 0 900   5100 11000 0 900   3800 13000 0 690 380 4100 1
systemc/token_ring.01_false-unreach-call_false-termination.cil.c .10  24 .64 0 2.0  61 24   1 8.3 470 69 1 7.0 380 53 1 9.5 440 78 1 2.4  110 28   1 .95 30 7.9 1 1.3  33 16   1 53 2100 560 1 .21 11 2.5 1 21   780 160 1 26   910 220 1 180   3000 2000 1 86 230 820 1
systemc/token_ring.02_false-unreach-call_false-termination.cil.c .12  24 .87 0 3.2  95 41   1 12   540 90 1 14   520 100 1 12   560 110 1 5.7  130 67   1 1.3  31 11   1 2.1  38 18   1 840 4000 12000 1 .30 13 3.4 1 47   1600 370 1 900   3700 12000 0 900   2500 12000 0 220 360 1400 1
systemc/token_ring.03_false-unreach-call_false-termination.cil.c .12  24 .82 0 5.0  140 59   1 18   720 150 1 25   1100 190 1 16   670 130 1 79    1200 850   1 1.7  33 13   1 2.5  47 25   1 910 3800 14000 0 .65 22 8.8 1 79   3900 640 1 900   2000 11000 0 900   3400 11000 0 460 510 2500 1
systemc/token_ring.04_false-unreach-call_false-termination.cil.c .12  25 .83 0 7.4  180 100   1 31   1300 240 1 95   3700 520 1 28   1000 270 1 490    15000 6600   1 2.0  37 19   1 3.6  55 37   1 910 4400 11000 0 2.5  66 28   1 120   5200 1300 1 900   6000 12000 0 900   4300 10000 0 490 400 2800 1
systemc/token_ring.05_false-unreach-call_false-termination.cil.c .12  25 .99 0 11    250 130   1 61   2800 420 1 440   10000 2900 1 50   1900 550 1 490    11000 5600   1 2.4  42 25   1 5.2  65 49   1 910 4200 11000 0 13    260 150   1 900   13000 7100 0 900   6000 14000 0 900   3500 11000 0 630 510 3500 1
systemc/token_ring.06_false-unreach-call_false-termination.cil.c .13  26 1.1  0 16    310 210   1 150   6000 990 1 910   11000 4300 0 84   2700 850 1 490    8700 6300   1 2.9  48 30   1 6.1  74 60   1 910 4400 12000 0 73    1100 680   1 250   6700 2400 1 900   5900 14000 0 900   4900 12000 0 810 650 4600 1
systemc/token_ring.07_false-unreach-call_false-termination.cil.c .12  26 1.1  0 22    380 220   1 900   11000 4300 0 910   11000 4700 0 100   2800 1200 1 490    5900 7100   1 3.8  54 34   1 6.9  88 79   1 910 4600 11000 0 210    2000 2200   1 900   9900 9100 0 900   6100 13000 0 900   4800 11000 0 630 310 3900 1
systemc/token_ring.08_false-unreach-call_false-termination.cil.c .16  27 1.2  0 31    470 330   1 910   11000 4500 0 910   11000 4200 0 140   3700 1700 1 500    5800 6500   1 4.2  61 38   1 9.4  100 79   1 920 4800 13000 0 360    2600 2700   1 910   14000 7100 0 900   6100 12000 0 900   4000 10000 0 640 310 3000 1
systemc/token_ring.09_false-unreach-call_false-termination.cil.c .15  27 1.1  0 44    550 430   1 900   11000 4400 0 900   11000 4800 0 260   4000 2800 1 500    6900 6700   1 4.8  67 48   1 8.5  120 98   1 920 5000 14000 0 390    2800 2600   1 900   10000 9700 0 900   6100 13000 0 900   8900 11000 0 640 320 3600 1
systemc/token_ring.10_false-unreach-call_false-termination.cil.c .18  27 1.2  0 58    670 450   1 910   11000 4400 0 910   11000 4800 0 400   3700 5400 1 510    7300 5800   1 5.7  75 51   1 15    140 140   1 930 5200 9800 0 530    3200 3700   1 900   11000 10000 0 900   6200 12000 0 900   5300 11000 0 650 320 3500 1
systemc/token_ring.11_false-unreach-call_false-termination.cil.c .17  27 1.2  0 77    770 640   1 900   11000 4800 0 900   11000 5800 0 420   3600 4300 1 520    12000 7500   1 6.8  83 52   1 11    150 120   1 930 5500 11000 0 540    2800 3900   1 910   13000 9000 0 900   6100 12000 0 900   4600 13000 0 660 320 4000 1
systemc/token_ring.12_false-unreach-call_false-termination.cil.c .16  28 1.6  0 99    870 670   1 910   11000 3900 0 910   11000 6100 0 410   4000 4800 1 520    13000 7400   1 7.7  93 72   1 14    170 120   1 940 5700 11000 0 450    2800 4900   1 910   13000 7100 0 900   6400 12000 0 900   4600 12000 0 670 410 3800 1
systemc/token_ring.13_false-unreach-call_false-termination.cil.c .17  28 1.4  0 130    1000 800   1 910   11000 4800 0 900   11000 5300 0 420   4000 4600 1 530    12000 7200   1 9.0  100 79   1 15    190 160   1 910 4100 12000 0 610    3200 5500   1 900   12000 9200 0 900   6500 13000 0 910   12000 9200 0 680 450 4200 1
systemc/token_ring.14_false-unreach-call_false-termination.cil.c .15  28 1.8  0 98    870 830   1 900   11000 4500 0 910   11000 5600 0 410   3600 4300 1 520    13000 6300   1 7.3  93 72   1 13    170 160   1 940 5700 11000 0 580    3200 5300   1 900   13000 7600 0 900   6300 12000 0 900   4600 12000 0 670 400 4100 1
systemc/token_ring.15_false-unreach-call_false-termination.cil.c .18  29 1.4  0 120    1000 1000   1 900   11000 4000 0 910   11000 5300 0 420   4300 4400 1 530    12000 6400   1 8.4  100 84   1 14    190 140   1 910 4100 12000 0 600    2900 5000   1 900   11000 9100 0 900   6600 11000 0 900   11000 9400 0 690 440 4000 1
systemc/toy1_false-unreach-call_false-termination.cil.c .13  25 .73 0 3.2  65 42   1 900   5300 11000 0 43   1700 300 1 5.8 300 55 1 47    150 500   1 1.2  30 9.4 1 1.7  34 17   1 46 1600 460 0 1.3  56 16   1 76   2900 640 1 900   5500 15000 0 900   5200 10000 0 470 300 2100 1
systemc/toy2_false-unreach-call_false-termination.cil.c .12  24 .79 0 3.2  63 38   1 900   5300 11000 0 41   1700 300 1 5.9 290 45 1 480    250 5600   1 1.0  30 9.5 1 1.8  34 17   1 42 1800 410 1 1.3  55 16   1 51   2000 520 1 620   4600 10000 1 900   5400 10000 0 470 290 2500 1
systemc/transmitter.01_false-unreach-call_false-termination.cil.c .11  24 .79 0 .29 34 2.4 1 6.9 400 63 1 5.8 310 54 1 3.9 280 32 1 1.2  110 16   1 .56 29 4.0 1 .39 29 3.5 1 20 810 160 1 .20 11 2.1 1 15   600 120 1 900   1500 11000 0 48   1200 440 1 52 230 480 1
systemc/transmitter.02_false-unreach-call_false-termination.cil.c .11  24 .94 0 .34 34 3.1 1 9.9 460 75 1 9.0 440 69 1 4.6 270 41 1 2.4  110 32   1 .65 29 5.6 1 .50 30 4.5 1 44 1600 430 1 .24 11 3.1 1 27   970 210 1 900   2000 11000 0 900   2200 11000 0 140 240 1200 1
systemc/transmitter.03_false-unreach-call_false-termination.cil.c .094 24 .95 0 .39 35 4.1 1 14   600 110 1 16   700 120 1 5.6 300 46 1 23    370 260   1 1.1  30 10   1 .66 30 5.8 1 240 3800 3100 1 .35 15 4.1 1 54   2200 470 1 900   1500 13000 0 900   3000 9500 0 310 330 2600 1
systemc/transmitter.04_false-unreach-call_false-termination.cil.c .14  25 .88 0 .48 38 4.8 1 19   710 140 1 33   1700 230 1 7.6 300 55 1 480    15000 5800   1 1.4  32 11   1 .82 30 6.0 1 280 3900 3200 1 .75 30 9.3 1 120   5300 1100 1 900   5400 12000 0 900   6100 9900 0 600 490 2900 1
systemc/transmitter.05_false-unreach-call_false-termination.cil.c .12  25 .85 0 .55 40 6.5 1 26   1000 200 1 130   4600 750 1 11   350 72 1 480    14000 5600   1 1.5  36 13   1 .92 31 9.5 1 910 4000 13000 0 3.8  120 43   1 200   6700 2300 1 900   6600 14000 0 900   4600 12000 0 550 370 3300 1
systemc/transmitter.06_false-unreach-call_false-termination.cil.c .15  26 .96 0 .64 43 8.9 1 41   1700 290 1 910   11000 4200 0 13   500 110 1 480    8700 6900   1 2.6  41 19   1 1.1  31 10   1 130 3800 1500 1 18    480 200   1 390   7800 4000 1 900   6300 12000 0 900   5400 13000 0 680 500 4900 1
systemc/transmitter.07_false-unreach-call_false-termination.cil.c .15  26 .94 0 .77 45 10   1 47   2500 330 1 900   11000 5100 0 18   810 150 1 480    3700 5600   1 2.3  47 26   1 1.2  32 9.6 1 220 3900 2500 1 79    1800 950   1 900   11000 8900 0 900   6100 15000 0 900   9200 12000 0 830 640 5800 1
systemc/transmitter.08_false-unreach-call_false-termination.cil.c .14  26 1.1  0 .93 50 11   1 72   4000 520 1 910   11000 4500 0 34   1500 320 1 480    6400 5400   1 3.0  53 31   1 1.4  33 12   1 970 6600 9100 0 310    2400 2200   1 900   13000 8500 0 900   6100 13000 0 900   4900 11000 0 630 300 3200 1
systemc/transmitter.09_false-unreach-call_false-termination.cil.c .16  26 1.0  0 1.1  55 13   1 170   5800 1200 1 900   11000 4800 0 170   2600 1700 1 490    6900 5200   1 4.4  59 37   1 1.6  35 15   1 960 6200 9900 0 310    2500 3500   1 910   11000 8800 0 900   6300 12000 0 900   9900 9200 0 640 320 5000 1
systemc/transmitter.10_false-unreach-call_false-termination.cil.c .16  27 1.2  0 1.3  59 18   1 430   8500 3500 1 910   11000 4300 0 160   1600 2000 1 490    8200 5700   1 4.6  66 38   1 1.9  37 16   1 910 4200 12000 0 430    2600 3500   1 900   10000 9700 0 910   6400 13000 0 900   10000 9100 0 640 320 5400 1
systemc/transmitter.11_false-unreach-call_false-termination.cil.c .17  28 1.1  0 1.5  66 18   1 910   11000 6200 0 910   11000 5300 0 160   1600 1800 1 490    9100 5900   1 4.0  75 35   1 2.1  40 18   1 930 5100 11000 0 510    3000 3500   1 900   11000 8600 0 900   6200 12000 0 900   8200 10000 0 650 320 4000 1
systemc/transmitter.12_false-unreach-call_false-termination.cil.c .16  28 1.7  0 1.7  71 20   1 910   11000 4800 0 900   11000 5700 0 160   2400 2000 1 490    12000 6800   1 6.1  83 62   1 2.3  43 20   1 910 5300 11000 0 540    3000 4300   1 900   13000 7900 0 900   6300 12000 0 910   13000 8200 0 660 380 4200 1
systemc/transmitter.13_false-unreach-call_false-termination.cil.c .19  28 1.3  0 2.0  81 21   1 900   11000 4600 0 910   11000 5800 0 170   1700 1800 1 490    13000 6300   1 5.9  92 48   1 2.4  46 19   1 910 5800 11000 0 640    3000 4400   1 900   9700 11000 0 900   6400 12000 0 900   6500 11000 0 680 440 3800 1
systemc/transmitter.15_false-unreach-call_false-termination.cil.c .20  28 1.3  0 1.6  65 23   1 29   1400 230 1 8.5 420 71 0 5.3 290 42 1 480    13000 5800   1 .15 34 1.6 1 .57 43 6.2 1 960 5800 13000 0 .33 30 3.9 1 780   9100 8700 0 70   1300 760 1 430   6800 5500 1 670 430 5200 1
systemc/transmitter.16_false-unreach-call_false-termination.cil.c .18  29 1.4  0 1.8  69 20   1 32   1600 250 1 9.2 430 83 0 5.5 290 43 1 480    12000 6200   1 .16 35 2.1 1 .63 44 7.2 1 920 4700 11000 0 .34 32 4.0 1 900   10000 9300 0 79   1300 910 1 910   14000 7300 0 680 440 4200 1
systemc/bist_cell_true-unreach-call_false-termination.cil.c .66  37 7.0  2 870    1800 5300   0 910   9200 11000 0 9.9 480 82 1 3.4 250 28 2 900    770 12000   0 900    2800 8600   0 900    2700 8200   0 37 1300 320 2 900    93 10000   0 340   5300 4500 2 900   3000 12000 0 900   2500 11000 0 900 230 11000 0
systemc/kundu_true-unreach-call_false-termination.cil.c .12  24 .65 0 870    680 5500   0 25   1200 190 1 20   1100 180 1 13   720 96 1 890    310 11000   0 900    1400 10000   0 900    1500 10000   0 36 1900 360 -16 900    4500 6900   0 910   14000 4800 0 900   2300 12000 0 900   6200 9500 0 900 330 7400 0
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c .13  27 .90 0 870    2100 6000   0 11   510 86 1 11   490 80 1 4.3 260 40 1 900    1300 8400   0 900    2200 11000   0 900    2300 9400   0 67 2000 750 1 900    4100 12000   0 900   11000 9300 0 900   6500 12000 0 900   12000 8200 0 900 580 7800 0
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c .14  27 .88 0 870    610 5100   0 14   670 110 1 12   490 96 1 4.6 270 34 1 900    1400 8800   0 900    2300 8100   0 900    2300 9300   0 57 2000 560 -16 900    3000 9200   0 900   12000 8400 0 900   6500 13000 0 900   12000 8300 0 900 780 8100 0
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c .15  27 .78 0 870    630 4900   0 16   710 120 1 14   640 110 1 4.9 270 42 1 900    1500 12000   0 900    2700 8900   0 900    2400 9100   0 51 1900 530 -16 900    3100 6900   0 900   11000 9400 0 900   6500 12000 0 900   11000 8500 0 900 790 7600 0
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c .13  27 .84 0 870    640 5700   0 19   930 160 1 18   680 140 1 5.3 280 44 1 900    1300 9400   0 900    2500 9800   0 900    2400 11000   0 56 1900 530 -16 900    2800 8100   0 900   11000 9400 0 910   6500 12000 0 900   11000 8100 0 900 720 7900 0
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c .13  27 .86 0 870    670 6400   0 21   1100 190 1 19   950 180 1 5.2 280 47 1 890    1200 9200   0 900    2900 11000   0 900    2600 8800   0 59 2000 570 -16 900    3200 8300   0 900   9400 9900 0 910   6500 11000 0 900   11000 7900 0 900 600 9300 0
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c .11  23 .64 0 870    920 4300   0 33   1700 250 1 34   1500 270 1 12   470 90 2 900    480 9500   0 900    1500 9500   0 900    1400 9800   0 20 890 170 2 900    3200 8000   0 36   1200 320 2 900   2100 13000 0 900   5900 13000 0 240 440 2100 0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c .12  23 .80 0 870    730 7700   0 22   890 180 1 25   940 210 1 13   490 120 2 900    470 7200   0 900    1100 10000   0 900    1100 9400   0 39 2000 330 1 900    3700 5100   0 110   4500 1300 2 900   3000 11000 0 900   5500 13000 0 280 360 2000 0
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c .10  24 .75 0 870    690 4600   0 5.6 310 48 2 4.4 290 38 1 3.5 250 33 2 900    930 8100   0 900    3900 8200   0 900    3700 7500   0 26 1300 210 2 900    2300 8400   0 22   940 200 2 900   2400 11000 0 23   850 200 2 900 340 11000 0
systemc/pipeline_true-unreach-call_false-termination.cil.c 900     920 9100    0 870    440 3400   0 910   11000 5000 0 900   7400 8900 0 900   4400 9300 0 900    15000 10000   0 900    2300 9800   0 900    2500 9000   0 900 4700 14000 0 900    4600 9600   0 910   13000 3400 0 900   5000 12000 0 900   3600 12000 0 900 600 7600 0
systemc/token_ring.01_true-unreach-call_false-termination.cil.c .12  23 .69 0 870    780 4500   0 11   470 82 2 9.9 480 78 1 11   460 90 2 900    800 9300   0 900    1500 9800   0 900    1500 11000   0 52 2300 520 1 900    770 9700   0 42   1300 390 2 900   1800 14000 0 900   4800 13000 0 900 380 9800 0
systemc/token_ring.02_true-unreach-call_false-termination.cil.c .11  24 .88 0 870    820 4000   0 31   1100 220 2 16   670 150 1 16   570 130 2 890    590 11000   0 900    1000 11000   0 900    910 12000   0 780 4000 9300 1 900    1200 8600   0 81   2800 860 2 900   3400 12000 0 900   2400 9600 0 900 370 11000 0
systemc/token_ring.03_true-unreach-call_false-termination.cil.c .11  24 .91 0 870    1200 6800   0 41   1700 330 2 41   1700 280 1 22   710 210 2 890    1200 12000   0 900    550 12000   0 900    630 10000   0 910 3800 13000 0 900    2500 11000   0 210   4600 2600 1 900   2300 13000 0 900   2800 11000 0 900 620 8000 0
systemc/token_ring.04_true-unreach-call_false-termination.cil.c .12  25 .84 0 870    810 4400   0 120   5200 890 2 210   5800 1400 1 57   1800 560 2 890    14000 11000   0 900    980 11000   0 900    850 12000   0 910 4900 11000 0 900    4100 7500   0 900   5400 12000 0 900   6100 13000 0 900   4600 12000 0 900 500 6200 0
systemc/token_ring.05_true-unreach-call_false-termination.cil.c .11  25 .99 0 870    1100 6000   0 260   7000 1500 1 910   11000 4700 0 120   2100 1300 1 890    11000 11000   0 900    940 12000   0 900    790 11000   0 910 4100 11000 0 900    4200 5800   0 910   13000 7100 0 900   6100 12000 0 900   3500 11000 0 900 630 9200 0
systemc/token_ring.06_true-unreach-call_false-termination.cil.c .14  26 1.0  0 870    1400 6900   0 900   11000 4500 0 910   11000 4000 0 900   5400 9000 0 890    8700 11000   0 900    850 11000   0 900    1000 11000   0 910 4500 12000 0 900    3600 5700   0 900   7300 10000 0 900   6000 14000 0 900   4900 12000 0 900 760 7600 0
systemc/token_ring.07_true-unreach-call_false-termination.cil.c .13  26 .90 0 870    1800 4200   0 910   11000 4200 0 900   11000 4600 0 900   5800 8400 0 890    7300 11000   0 900    710 9600   0 900    870 11000   0 920 4700 11000 0 900    4500 6900   0 910   10000 9400 0 900   6100 12000 0 900   4700 11000 0 900 430 9000 0
systemc/token_ring.08_true-unreach-call_false-termination.cil.c .14  26 .93 0 870    500 3600   0 900   11000 4500 0 910   11000 4900 0 900   5700 10000 0 890    7200 12000   0 900    850 11000   0 900    690 12000   0 920 4800 12000 0 900    4500 4800   0 910   13000 7100 0 900   6100 12000 0 900   3900 12000 0 900 550 6800 0
systemc/token_ring.09_true-unreach-call_false-termination.cil.c .15  27 1.0  0 870    570 4100   0 900   11000 4300 0 900   11000 5200 0 900   6400 9500 0 890    7800 11000   0 900    990 9900   0 900    800 11000   0 930 5100 12000 0 900    4500 5800   0 900   10000 8500 0 900   6200 13000 0 900   8900 9800 0 900 570 6800 0
systemc/token_ring.10_true-unreach-call_false-termination.cil.c .16  27 1.3  0 870    690 4000   0 910   11000 4600 0 900   11000 5500 0 900   5700 8800 0 890    10000 12000   0 900    750 11000   0 900    930 12000   0 930 5300 12000 0 900    4600 6400   0 900   9700 10000 0 900   6200 12000 0 900   5300 12000 0 900 670 7000 0
systemc/token_ring.11_true-unreach-call_false-termination.cil.c .15  28 1.2  0 870    790 4100   0 910   11000 4400 0 910   11000 4900 0 900   6500 8200 0 890    12000 10000   0 900    850 11000   0 900    1100 12000   0 910 4400 11000 0 900    4200 6300   0 900   13000 8200 0 900   6300 13000 0 900   4600 11000 0 900 750 6500 0
systemc/token_ring.12_true-unreach-call_false-termination.cil.c .16  28 1.5  0 870    920 5000   0 900   11000 4500 0 910   11000 6100 0 900   7100 8200 0 890    14000 11000   0 900    960 9400   0 900    1200 12000   0 940 5700 12000 0 900    4400 6400   0 910   13000 7300 0 900   6200 11000 0 900   4500 13000 0 900 830 8500 0
systemc/token_ring.13_true-unreach-call_false-termination.cil.c .19  28 1.5  0 870    1100 4800   0 900   11000 4200 0 910   11000 6400 0 900   7200 7800 0 890    12000 10000   0 900    1100 11000   0 900    1300 10000   0 910 3900 12000 0 900    4400 6600   0 910   12000 8400 0 900   6400 12000 0 910   12000 7700 0 900 920 7400 0
systemc/toy_true-unreach-call_false-termination.cil.c .11  24 1.0  0 870    700 9200   0 900   5300 11000 0 140   5000 1000 1 210   4200 2600 2 890    220 11000   0 900    690 13000   0 900    800 13000   0 45 1700 390 -16 900    4700 9500   0 290   4800 3300 2 900   5400 12000 0 900   5400 13000 0 900 450 5500 0
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c .23  27 2.1  1 .44 36 4.4 1 20   760 160 1 15   610 110 0 5.5 290 43 1 1.3  85 17   1 1.5  31 12   1 1.9  31 19   1 150 3900 1500 1 .26 12 3.2 1 46   1400 390 1 900   1800 9300 0 50   1300 420 1 18 250 150 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c .24  27 2.1  1 .43 35 6.1 1 19   780 150 1 14   620 110 0 11   500 89 1 .90 85 11   1 1.4  31 11   1 1.9  31 17   1 140 3900 1600 1 .24 12 2.7 1 45   1300 390 1 900   1400 12000 0 48   1400 420 1 20 250 190 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c .65  49 7.9  1 .49 35 4.4 1 51   2000 370 1 30   1400 230 0 15   560 110 1 2.6  86 41   1 3.4  31 47   1 3.3  31 30   1 75 3400 750 1 .26 11 2.8 1 130   4600 1400 1 900   1800 9700 0 130   1900 1300 1 19 250 170 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c .60  48 6.6  1 .48 35 5.2 1 47   2000 350 1 29   1300 220 0 16   570 110 1 2.2  85 27   1 4.1  31 33   1 4.1  31 30   1 70 3100 650 1 .27 12 2.7 1 140   4500 1400 1 900   1800 10000 0 130   2000 1200 1 19 240 160 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c .61  49 7.6  1 .50 36 4.9 1 900   9200 8700 0 37   1400 300 0 15   600 120 1 2.6  86 36   1 4.4  31 36   1 3.2  31 27   1 82 3700 890 1 .24 12 3.1 1 200   4900 2400 1 900   1900 10000 0 140   2700 1400 1 19 240 190 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c .60  48 7.1  1 .47 37 5.8 1 900   9200 8500 0 37   1500 270 0 14   580 110 1 2.2  85 29   1 3.9  31 43   1 2.9  31 32   1 87 3700 880 1 .26 12 3.0 1 200   4800 2200 1 900   1600 12000 0 150   2500 1500 1 20 250 160 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 1.4   84 18    1 1.8  43 21   1 900   7200 8800 0 900   7000 9400 0 94   960 1200 1 5.5  86 67   1 11    31 80   1 13    33 110   1 110 3800 1100 0 2.8  120 30   0 900   7100 11000 0 900   1700 11000 0 900   7700 9700 0 18 250 160 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 1.2   80 17    1 1.8  44 24   1 900   6900 9800 0 900   6300 9500 0 28   770 260 1 7.3  85 97   1 12    31 86   1 14    32 110   1 150 3900 1900 0 2.7  110 34   0 900   5900 9500 0 900   1700 11000 0 900   7500 11000 0 21 250 200 1
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 1.6   85 18    0 1.3  42 15   1 31   1100 260 1 52   2200 470 0 31   940 250 1 4.1  200 56   1 7.2  31 51   1 3.0  31 24   1 900 4900 12000 0 .27 13 2.8 1 540   6300 6100 1 900   2700 10000 0 900   6400 13000 0 15 240 120 1
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1.9   85 19    0 1.4  42 14   1 33   1100 260 1 56   2300 460 0 32   960 250 1 3.9  190 61   1 8.0  31 61   1 2.7  31 32   1 900 4900 11000 0 .27 13 3.4 1 390   5900 4500 1 900   2500 12000 0 900   6700 12000 0 13 240 99 1
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 1.5   88 17    0 1.5  41 18   1 900   7600 10000 0 75   3700 630 0 32   970 290 1 4.1  190 52   1 3.4  31 28   1 5.0  31 47   1 900 4900 13000 0 .33 14 3.7 1 460   4800 5800 1 900   2000 14000 0 900   5400 12000 0 15 240 130 1
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1.6   87 22    0 1.5  42 19   1 900   7500 9300 0 67   3700 580 0 31   1000 300 1 3.8  190 44   1 3.1  31 30   1 5.4  31 44   1 900 4900 13000 0 .33 14 3.4 1 450   5100 6400 1 900   2900 15000 0 900   5400 11000 0 13 240 90 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1.4   62 18    1 1.1  41 13   1 900   2100 12000 0 110   3200 1000 0 42   2700 400 1 6.2  85 89   1 3.0  31 23   0 2.6  31 30   0 290 4000 3300 0 .91 16 11   1 900   13000 6500 0 170   2700 1900 1 900   13000 7600 0 13 250 93 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1.1   61 12    1 1.1  39 12   1 900   3400 13000 0 170   3800 2000 0 39   2600 390 1 5.5  85 83   1 3.0  31 24   0 3.0  31 27   0 120 3800 1200 0 .88 16 12   1 910   13000 6800 0 140   2200 1900 1 910   13000 6100 0 13 240 100 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c .54  38 7.1  1 .35 35 3.6 1 17   680 160 0 12   610 110 1 22   1100 210 1 2.3  85 29   1 3.6  31 26   0 2.7  31 26   0 110 3800 1100 1 .43 13 4.5 1 900   12000 7100 0 54   1300 560 1 910   13000 6900 0 13 240 120 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c .49  35 4.4  1 .39 35 3.6 1 18   690 140 1 11   610 90 1 22   1000 200 1 2.2  85 26   1 2.6  31 40   0 3.0  31 25   0 230 3900 2500 1 .44 13 5.7 1 900   13000 6200 0 46   1000 450 1 900   13000 6800 0 14 240 110 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 2.0   68 21    1 1.1  39 11   1 34   1200 300 0 13   610 120 0 38   2600 370 1 4.2  86 60   1 4.2  31 34   0 3.9  31 28   0 230 3900 2400 0 .70 14 7.8 1 910   13000 7100 0 150   2400 2000 0 900   13000 7300 0 13 240 100 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 2.1   69 34    1 1.0  39 11   1 40   1500 340 1 14   590 120 0 33   2500 330 1 4.9  85 64   1 3.9  31 34   0 3.7  31 35   0 300 4000 3700 0 .72 14 10   1 900   11000 6800 0 140   2200 1800 0 900   12000 6300 0 14 240 110 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 1.4   63 18    1 1.0  40 14   1 900   1800 13000 0 900   4000 5900 0 31   1700 280 1 4.5  85 45   1 4.3  31 35   0 4.5  31 35   0 900 4600 13000 0 1.1  15 14   1 910   12000 7000 0 180   2800 2000 0 910   13000 6900 0 13 250 100 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1.2   62 13    1 1.1  38 12   1 900   3700 11000 0 900   8200 8200 0 38   2500 340 1 5.3  85 85   1 3.9  31 37   0 3.9  31 37   0 900 4500 11000 0 1.4  15 14   1 900   13000 6600 0 120   2000 1300 0 910   13000 5700 0 13 240 98 1
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     3200 10000    0 870    1300 4800   0 910   7700 8700 0 900   4200 5300 0 900   6300 10000 0 890    220 12000   0 900    3500 9800   0 900    3400 9900   0 910 4500 11000 0 22    47 260   1 900   13000 7700 0 900   4000 13000 0 900   13000 7400 0 66 240 730 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 3.9   140 50    1 1.7  45 21   1 900   6100 9500 0 910   11000 6800 0 180   4100 1700 1 15    97 190   1 7.5  41 79   0 7.7  37 65   0 900 4700 12000 0 100    1100 1200   1 900   14000 6600 0 900   5200 12000 0 900   13000 5900 0 18 250 150 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 3.4   130 39    1 1.8  46 24   1 900   4600 9100 0 910   9800 11000 0 140   3900 1400 1 22    97 300   1 8.4  39 57   0 7.3  37 63   0 900 4700 11000 0 100    1100 1100   1 900   13000 5400 0 900   4600 10000 0 910   13000 6200 0 19 250 160 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 3.3   120 42    1 1.8  46 22   1 900   4500 6700 0 900   8400 7800 0 160   2400 2200 1 11    100 140   1 9.1  35 66   0 7.4  34 81   0 900 4700 11000 0 25    150 340   1 910   13000 6200 0 690   3900 11000 0 910   14000 5800 0 18 250 160 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 2.8   120 36    1 1.8  47 22   1 900   5300 7400 0 900   8300 8100 0 160   2600 1400 1 13    98 180   1 7.9  35 80   0 9.1  36 59   0 900 4800 11000 0 26    140 310   1 900   11000 6600 0 900   2800 11000 0 910   11000 6700 0 19 250 160 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 67     240 860    1 1.8  46 20   1 900   4600 6300 0 900   8100 9100 0 170   2500 1700 1 17    99 220   1 11    40 97   0 11    38 85   0 900 4600 13000 0 45    270 540   1 910   13000 5500 0 900   5200 11000 0 900   14000 5500 0 18 250 150 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 90     280 1100    1 1.8  46 21   1 900   6600 12000 0 900   8200 7700 0 180   2300 2000 1 23    98 280   1 11    42 110   0 9.9  38 96   0 900 4600 11000 0 45    240 530   1 910   11000 6300 0 900   5200 12000 0 900   12000 6100 0 41 250 480 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 4.1   140 56    1 1.9  46 21   1 900   4700 9000 0 900   8200 7600 0 190   3000 2000 1 19    98 260   1 12    41 86   0 10    39 86   0 900 4500 12000 0 96    510 1200   1 900   14000 5400 0 900   5200 13000 0 900   13000 6300 0 18 250 150 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 3.3   130 44    1 1.8  49 21   1 900   4500 6800 0 900   8100 9200 0 220   2100 2400 1 28    98 410   1 11    42 73   0 11    41 83   0 900 4600 10000 0 95    480 1100   1 910   14000 7000 0 900   3600 12000 0 900   13000 6700 0 19 250 150 1
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     2600 11000    0 870    830 6900   0 900   4000 7300 0 900   8300 8200 0 900   4400 7500 0 890    150 12000   0 900    780 11000   0 900    770 12000   0 900 4700 11000 0 900    1700 11000   0 900   13000 7800 0 900   4700 11000 0 900   13000 8300 0 480 250 7100 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 12     300 140    1 9.7  80 120   1 900   7600 9100 0 900   4400 11000 0 290   4400 2600 1 60    150 760   1 21    66 200   0 23    63 140   0 900 4800 12000 0 900    3100 9500   0 910   13000 6100 0 900   5300 10000 0 900   13000 5500 0 31 310 280 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 11     290 130    1 10    89 130   1 900   7400 8700 0 900   3900 11000 0 330   4200 2900 1 98    150 1100   1 25    66 220   0 22    63 170   0 900 4600 11000 0 900    3200 8400   0 910   14000 5000 0 900   5200 11000 0 900   13000 5300 0 33 300 300 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 9.9   270 130    1 5.0  61 64   1 900   7500 8800 0 900   10000 7400 0 180   3300 2200 1 47    140 650   1 22    60 150   0 21    58 160   0 900 4500 11000 0 880    2700 8700   1 910   13000 6200 0 900   5300 11000 0 900   13000 6800 0 33 330 310 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 8.5   260 93    1 5.1  61 61   1 900   8300 10000 0 900   10000 8100 0 180   3200 2000 1 75    130 960   1 23    60 170   0 20    57 180   0 900 4600 13000 0 540    2500 4200   1 910   14000 5500 0 900   5200 12000 0 900   13000 5600 0 34 320 310 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 900     660 11000    0 10    80 130   1 910   7800 8000 0 900   10000 7700 0 210   2400 2000 1 65    130 870   1 29    69 200   0 28    66 210   0 900 4700 11000 0 650    2600 4700   1 910   13000 6700 0 900   5400 13000 0 900   14000 6300 0 33 330 320 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900     660 11000    0 11    91 130   1 900   7400 10000 0 900   10000 8300 0 300   4200 2900 1 110    150 1200   1 27    69 210   0 25    66 190   0 900 4300 13000 0 900    2700 7100   0 900   14000 5400 0 900   5300 14000 0 910   14000 5600 0 900 310 11000 0
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 13     300 150    1 10    80 140   1 900   7500 10000 0 900   10000 8800 0 460   4700 4800 1 91    170 1300   1 22    67 180   0 22    65 160   0 900 4500 11000 0 900    2800 6900   0 910   13000 6300 0 900   5100 12000 0 910   14000 6800 0 33 320 310 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 12     290 140    1 12    92 160   1 900   7600 9100 0 900   10000 8100 0 440   4700 4000 1 150    180 2100   1 24    67 180   0 21    64 210   0 900 4300 12000 0 900    2800 7800   0 910   14000 6300 0 900   5300 13000 0 910   13000 4700 0 34 320 310 1
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     560 8600    0 870    200 9700   0 900   7400 9700 0 900   10000 7600 0 900   5400 7600 0 890    230 9700   0 900    140 9900   0 900    140 13000   0 900 4600 11000 0 900    2700 6900   0 900   13000 5300 0 900   5300 11000 0 910   13000 4800 0 900 310 11000 0
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c .68  37 8.6  1 .85 37 8.5 1 900   8900 9100 0 910   11000 9800 0 22   530 210 1 4.2  81 54   1 3.0  30 25   1 3.3  29 27   1 330 4000 4600 1 .33 12 4.5 1 900   11000 9800 0 97   1300 1200 0 900   7600 11000 0 11 230 79 1
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c .58  35 6.4  1 .85 36 10   1 900   9200 10000 0 900   4500 10000 0 16   490 160 1 5.9  80 76   1 3.4  29 24   1 3.1  29 25   1 200 3800 2600 1 .36 13 3.9 1 900   12000 8400 0 65   1100 680 0 900   8000 10000 0 11 230 86 1
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c .65  39 7.7  1 .86 34 8.5 1 900   6000 8600 0 900   4900 10000 0 220   890 2600 1 4.2  80 42   1 2.8  30 29   1 2.9  29 29   1 31 1300 270 1 .28 12 3.5 1 900   7700 12000 0 87   2400 860 0 900   8500 11000 0 11 230 83 1
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c .62  38 8.2  1 .89 35 10   1 910   6800 9100 0 900   4400 14000 0 27   570 340 1 5.8  80 70   1 2.8  30 26   1 3.2  30 24   1 25 900 200 1 .29 12 3.4 1 910   13000 8100 0 56   1200 540 1 900   9700 9900 0 11 230 86 1
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1.9   56 26    1 1.7  38 23   1 900   9400 9900 0 910   9500 9700 0 240   1100 2800 1 7.4  83 98   1 5.1  30 39   1 5.3  30 43   1 280 4000 3500 0 .68 14 7.4 1 900   11000 7600 0 900   7900 12000 0 900   12000 8900 0 12 230 110 1
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1.7   53 22    1 1.9  41 24   1 900   4200 8200 0 900   4900 11000 0 240   1100 2700 1 11    83 120   1 6.2  30 53   1 5.4  30 46   1 910 4500 13000 0 .67 14 9.3 1 900   13000 7200 0 900   6800 13000 0 900   11000 9200 0 13 240 93 1
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 1.7   57 23    1 1.7  38 23   1 900   7700 9500 0 900   5900 10000 0 230   1000 2700 1 11    85 150   1 5.4  31 41   1 5.1  31 43   1 120 3800 1500 1 .40 13 5.0 1 900   11000 7500 0 900   6900 14000 0 900   11000 7700 0 12 240 94 1
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1.7   54 22    1 1.9  40 23   1 900   9700 8800 0 900   4800 11000 0 230   1500 3300 1 11    82 150   1 4.9  30 35   1 4.5  30 45   1 33 1700 230 1 .39 13 5.3 1 900   13000 7600 0 900   6500 15000 0 910   13000 7600 0 12 230 87 1
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 6.6   92 83    1 2.1  41 20   1 900   9600 7600 0 900   4800 9600 0 250   2000 3200 1 23    86 310   1 8.8  34 70   1 8.1  33 71   1 900 4500 13000 0 2.2  19 25   1 900   12000 7100 0 900   5400 12000 0 900   13000 7300 0 13 240 97 1
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 7.0   91 97    1 2.1  42 25   1 900   9300 9000 0 900   4800 12000 0 260   1800 3300 1 23    87 320   1 9.1  33 99   1 9.4  35 73   1 900 4500 11000 0 2.5  19 31   1 910   14000 6000 0 900   5300 13000 0 910   13000 6700 0 12 240 110 1
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 9.0   93 110    1 2.1  41 23   1 900   6000 8600 0 900   7100 9200 0 260   2500 2800 1 22    87 250   1 6.6  32 75   1 8.1  32 74   1 160 3800 2000 1 .93 15 7.4 1 910   13000 5200 0 900   6500 14000 0 900   13000 8600 0 13 240 100 1
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 7.3   93 110    1 2.1  42 23   1 900   4500 6500 0 900   8700 9300 0 260   2100 2800 1 23    85 300   1 8.0  35 67   1 7.8  32 65   1 900 4800 11000 0 .96 15 8.3 1 900   12000 7000 0 900   6300 12000 0 900   10000 7100 0 13 230 97 1
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 35     180 390    1 2.3  48 28   1 900   6700 10000 0 900   9800 9600 0 310   4200 2900 1 46    91 690   1 13    41 130   1 14    41 130   1 900 4600 11000 0 6.0  34 73   1 910   14000 7700 0 900   5800 15000 0 900   13000 5600 0 14 240 100 1
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 43     190 420    1 2.5  47 27   1 900   4900 6900 0 900   8900 8300 0 330   4200 4000 1 51    88 620   1 13    42 130   1 12    40 100   1 900 4400 11000 0 7.2  37 100   1 900   13000 5100 0 900   6500 14000 0 910   14000 5200 0 14 240 97 1
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c 38     180 500    1 2.4  45 26   1 900   5300 5500 0 900   9700 9200 0 350   4300 4400 1 27    88 340   1 13    40 120   1 13    40 100   1 680 4300 8300 1 1.7  21 24   1 900   14000 7900 0 900   8200 11000 0 910   13000 6200 0 15 240 120 1
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 38     180 490    1 2.3  45 25   1 900   4800 6600 0 900   4000 4500 0 350   4300 3900 1 48    90 680   1 13    42 120   1 12    38 110   1 89 3800 1000 1 1.7  21 25   1 910   13000 5000 0 900   6400 14000 0 910   13000 5400 0 13 240 110 1
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c .59  36 6.8  1 .82 37 9.1 1 900   6500 12000 0 58   2000 540 1 11   470 93 1 4.0  79 46   1 3.0  29 22   1 3.2  29 24   1 73 3700 730 1 .37 12 4.1 1 900   5900 12000 0 560   2000 7200 1 900   5400 11000 0 11 240 78 1
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c .53  35 5.7  1 .83 36 8.2 1 900   8300 7500 0 86   2300 1000 1 170   830 2500 1 6.1  79 78   1 3.2  29 28   1 2.9  29 29   1 86 3700 890 1 .35 12 3.9 1 900   5500 11000 0 900   1600 11000 0 900   7000 10000 0 11 230 84 1
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     2500 11000    0 460    2300 4600   1 900   10000 8500 0 780   3900 9200 -32 900   6200 8700 0 900    200 13000   0 900    1200 11000   0 900    1200 11000   0 130 3700 1400 -32 .90 15 11   1 900   5500 11000 0 900   2200 11000 0 900   5000 12000 0 210 240 2500 1
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 1.1   52 15    1 1.6  37 18   1 910   7400 11000 0 900   5400 11000 0 230   810 2300 1 11    81 130   1 5.0  30 38   1 4.9  30 44   1 490 4100 6100 1 .97 13 12   1 900   10000 8000 0 900   1800 11000 0 900   8500 9600 0 12 240 96 1
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1.0   45 12    1 1.7  38 17   1 900   10000 8500 0 900   5000 11000 0 220   810 2400 1 12    80 170   1 5.1  30 42   1 4.8  30 35   1 670 4300 8100 1 1.0  13 12   1 900   13000 6900 0 900   2000 11000 0 900   8900 9100 0 12 230 85 1
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     2100 10000    0 870    900 8300   0 910   10000 7800 0 900   8800 9300 0 900   6000 7900 0 890    210 13000   0 900    740 11000   0 900    740 11000   0 71 3400 660 0 3.1  20 39   1 900   13000 7200 0 900   1200 10000 0 900   8200 12000 0 900 230 11000 0
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 2.1   71 25    1 1.8  39 20   1 900   5700 6700 0 910   8400 9200 0 240   1100 3100 1 21    83 300   1 7.2  30 65   1 7.6  30 63   1 900 4200 13000 0 4.8  17 53   1 910   11000 7900 0 900   1800 12000 0 910   10000 8900 0 12 240 97 1
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 2.3   76 32    1 1.8  42 21   1 900   5500 7600 0 900   4100 6000 0 240   1300 2800 1 24    83 320   1 8.0  30 65   1 6.9  30 68   1 900 3900 11000 0 5.2  16 58   1 900   13000 8400 0 900   2000 11000 0 910   9000 9700 0 12 240 100 1
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     1300 10000    0 870    1100 6100   0 900   4400 5600 0 900   8200 9000 0 900   4900 8600 0 890    200 11000   0 900    490 11000   0 900    500 12000   0 900 4100 10000 0 13    36 180   1 910   13000 7700 0 900   2400 12000 0 900   9100 9500 0 900 240 13000 0
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c 4.5   97 58    1 2.0  44 18   1 900   9500 8900 0 900   8100 9500 0 260   1400 3000 1 45    86 580   1 11    36 92   1 11    36 130   1 900 4100 13000 0 18    29 190   1 910   13000 8100 0 900   1900 11000 0 900   8800 9500 0 14 250 110 1
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 3.9   87 48    1 2.0  44 26   1 900   7200 7000 0 900   7500 10000 0 260   1900 3200 1 51    85 640   1 12    35 88   1 11    35 97   1 900 4000 12000 0 19    28 210   1 900   12000 8800 0 900   2300 12000 0 900   10000 10000 0 13 250 100 1
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     380 10000    0 870    990 7900   0 900   7700 7100 0 910   8200 8600 0 900   4700 9400 0 890    150 10000   0 900    350 11000   0 900    340 11000   0 900 4100 13000 0 48    77 600   1 910   13000 7600 0 900   3000 12000 0 900   8400 8900 0 900 240 12000 0
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c 10     150 130    1 5.0  47 59   1 900   6600 6800 0 910   9600 8800 0 300   2000 3700 1 100    110 1300   1 16    41 190   1 17    43 160   1 900 4100 14000 0 63    68 780   1 910   13000 6800 0 900   4400 13000 0 910   11000 8300 0 15 240 100 1
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 9.1   120 140    1 5.1  53 58   1 900   8500 7900 0 900   8300 8600 0 290   1900 3300 1 110    110 1400   1 18    42 150   1 13    41 210   1 900 4200 12000 0 62    64 780   1 910   12000 7300 0 900   2200 11000 0 900   10000 8100 0 25 240 250 1
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     380 13000    0 870    560 7000   0 900   7600 7100 0 900   8600 11000 0 900   4500 9500 0 890    150 12000   0 900    250 11000   0 900    240 12000   0 900 4200 11000 0 210    210 2600   1 900   13000 7700 0 900   2800 10000 0 900   8700 9100 0 900 240 9500 0
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c 18     170 220    1 6.3  55 83   1 900   6600 11000 0 900   4400 7500 0 350   3400 3900 1 54    110 620   1 26    51 280   1 26    51 310   1 900 4100 13000 0 210    180 2200   1 900   13000 6700 0 900   3600 12000 0 900   13000 7100 0 16 240 130 1
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c 20     200 250    1 5.7  56 72   1 900   6600 8600 0 900   8500 8700 0 360   3900 3700 1 180    130 2700   1 27    53 240   1 27    51 240   1 900 4100 12000 0 210    190 2900   1 910   13000 8200 0 900   2200 11000 0 900   9300 8800 0 27 230 270 1
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     410 9700    0 870    620 8000   0 910   8400 9900 0 900   4500 5500 0 900   4300 10000 0 890    140 11000   0 900    210 11000   0 900    200 11000   0 900 4100 12000 0 900    590 9700   0 900   13000 7100 0 900   2000 10000 0 900   12000 6300 0 900 240 12000 0
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c 1.3   62 19    1 1.1  40 11   1 900   3200 4300 0 900   4300 5500 0 85   3900 930 1 4.6  87 65   1 3.4  31 27   0 3.1  31 22   0 140 3900 1600 0 .92 16 13   1 910   13000 6200 0 260   3200 3500 1 900   13000 7500 0 14 240 110 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 1.1   60 13    1 1.1  38 11   1 900   3800 3800 0 490   4100 3800 0 100   3900 1100 1 6.0  86 84   1 3.3  31 28   0 2.9  31 27   0 110 3800 1100 0 .91 16 13   1 910   13000 6200 0 170   2400 1900 1 910   13000 6700 0 14 240 110 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c .56  40 7.3  1 .38 35 3.5 1 18   840 150 0 12   610 95 1 24   1300 190 1 3.3  86 42   1 3.4  31 25   0 2.9  31 24   0 190 3900 2100 1 .46 13 5.4 1 900   13000 6200 0 60   1400 690 1 910   13000 6900 0 14 240 110 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c .50  37 5.8  1 .37 35 3.6 1 21   850 150 1 12   590 110 1 23   1300 190 1 2.6  86 31   1 3.2  31 29   0 2.8  31 30   0 85 3800 850 1 .46 13 5.5 1 910   14000 6000 0 51   1300 470 1 900   13000 5600 0 14 240 110 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c 1.8   69 24    1 1.1  39 12   1 900   5800 9600 0 15   610 130 0 110   3900 1000 1 5.1  86 71   1 4.2  31 35   0 4.6  31 33   0 370 4200 4400 1 .76 14 9.4 1 910   13000 6500 0 180   2800 2400 0 910   14000 7900 0 14 240 110 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 1.7   67 22    1 1.1  39 12   1 570   6500 5200 1 13   610 100 0 110   3900 970 1 5.8  86 74   1 4.7  31 34   0 4.1  31 47   0 200 4000 2200 0 .87 14 11   1 900   13000 6200 0 220   2800 3000 1 900   13000 6300 0 14 240 120 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c 1.3   63 16    1 1.1  39 13   1 900   7200 11000 0 900   4000 6500 0 110   3900 1000 1 5.1  87 66   1 4.4  31 29   0 4.4  31 33   0 460 4200 6800 1 1.2  15 15   1 910   13000 6600 0 200   3000 2300 1 910   13000 7400 0 14 240 100 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 1.1   61 14    1 1.1  38 10   1 900   4200 12000 0 900   5600 7200 0 79   3900 850 1 5.8  86 80   1 4.0  31 34   0 4.2  31 34   0 900 4500 11000 0 1.5  15 15   1 900   13000 5500 0 180   2300 2300 1 910   13000 6100 0 14 240 120 1
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     3300 11000    0 870    1500 4800   0 900   6600 6900 0 900   7100 8400 0 900   6300 8900 0 890    240 10000   0 900    3300 9500   0 900    3300 11000   0 900 4600 12000 0 24    49 310   1 900   12000 7000 0 900   6100 14000 0 910   14000 7000 0 93 230 1100 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c 3.7   140 52    1 2.0  46 23   1 900   4700 10000 0 910   8100 8700 0 150   3900 1400 1 17    100 250   1 8.2  41 79   0 7.8  39 77   0 910 4600 11000 0 130    1200 1600   1 910   14000 5900 0 900   4400 15000 0 910   13000 6100 0 18 240 140 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 3.2   130 40    1 1.9  47 22   1 900   5100 7800 0 900   7500 9700 0 140   4000 1200 1 25    99 350   1 9.0  41 68   0 7.9  39 64   0 900 4700 10000 0 130    1200 1400   1 910   12000 6300 0 900   6300 12000 0 900   13000 5800 0 19 250 180 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c 3.1   130 38    1 2.0  49 25   1 900   4200 7000 0 910   8200 9200 0 160   2600 1700 1 14    100 180   1 8.3  36 66   0 8.5  36 73   0 900 4700 12000 0 28    160 380   1 900   13000 7200 0 660   4900 9800 0 900   13000 7000 0 18 250 150 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 2.7   120 30    1 2.0  47 22   1 900   5700 7000 0 900   8200 7400 0 170   2400 1600 1 14    100 200   1 9.9  36 81   0 7.8  35 65   0 910 4900 11000 0 28    160 370   1 900   13000 6600 0 900   3100 12000 0 910   12000 5700 0 20 260 150 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c 62     230 860    1 1.9  47 29   1 900   4700 7200 0 900   8400 9700 0 170   3800 1700 1 19    100 290   1 10    43 100   0 12    39 76   0 900 4600 11000 0 49    260 660   1 910   13000 6800 0 900   4700 13000 0 900   13000 6600 0 19 250 160 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 73     260 870    1 2.0  47 24   1 900   4000 6500 0 900   8200 8900 0 160   3900 1700 1 25    100 320   1 11    43 85   0 10    39 89   0 900 4600 13000 0 48    250 550   1 900   13000 5600 0 900   4700 11000 0 910   13000 6300 0 28 250 290 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c 4.0   140 53    1 2.0  47 23   1 900   4200 7500 0 910   8200 8600 0 230   2800 2600 1 25    100 310   1 11    41 85   0 11    42 78   0 900 4600 11000 0 95    450 1100   1 900   13000 6000 0 900   5200 11000 0 910   13000 7700 0 18 240 150 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 3.6   130 40    1 2.2  47 28   1 900   4000 6900 0 900   8500 7900 0 290   3000 2200 1 25    100 290   1 11    43 86   0 9.8  41 79   0 900 4600 13000 0 110    490 1200   1 910   14000 5400 0 900   4900 11000 0 910   14000 5100 0 20 250 170 1
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     3000 11000    0 870    1100 7400   0 900   4600 8100 0 900   8400 8500 0 900   4700 7600 0 890    160 13000   0 900    800 11000   0 900    790 13000   0 900 4600 11000 0 900    1600 10000   0 900   12000 6200 0 900   5300 13000 0 900   13000 6800 0 630 250 8200 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c 11     290 140    1 11    85 150   1 910   7500 10000 0 900   4700 10000 0 410   4800 3100 1 70    140 1100   1 20    68 180   0 18    68 130   0 900 4700 11000 0 900    3400 7400   0 900   13000 6500 0 900   5000 12000 0 910   13000 6400 0 34 330 290 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 9.7   280 87    1 11    97 130   1 900   5400 7600 0 900   4500 11000 0 420   4500 3400 1 94    160 1100   1 19    71 170   0 18    67 160   0 900 4800 13000 0 900    3300 9700   0 910   14000 4600 0 900   5100 13000 0 910   14000 4800 0 36 320 340 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c 8.9   270 95    1 5.5  63 58   1 900   6900 9800 0 900   10000 7800 0 220   2400 2600 1 50    140 750   1 21    62 160   0 20    59 130   0 900 4600 11000 0 900    2800 7100   0 910   13000 6400 0 900   5300 12000 0 900   14000 6700 0 34 330 300 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 7.7   260 86    1 5.5  65 62   1 910   8300 9600 0 900   10000 9400 0 250   3700 2500 1 68    130 800   1 21    62 200   0 18    59 220   0 900 5000 11000 0 900    2600 7000   0 910   14000 4400 0 900   5100 12000 0 910   14000 4700 0 36 320 390 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c 900     660 8900    0 11    85 140   1 900   6500 9000 0 900   10000 6800 0 210   2900 2600 1 58    140 780   1 24    71 190   0 23    68 170   0 900 4700 13000 0 900    2900 6900   0 910   13000 6500 0 900   5300 12000 0 900   14000 5700 0 34 330 310 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 900     660 13000    0 12    98 160   1 900   7500 9000 0 900   10000 6900 0 440   4700 4300 1 99    160 1400   1 24    72 200   0 23    67 230   0 900 4800 12000 0 900    2700 7700   0 900   14000 4300 0 900   5000 11000 0 900   14000 4900 0 900 320 11000 0
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c 12     300 140    1 12    88 150   1 910   6700 10000 0 900   10000 7300 0 440   3900 3900 1 110    180 1400   1 25    71 220   0 21    68 250   0 900 4600 11000 0 900    2700 6900   0 910   12000 6300 0 900   5300 13000 0 900   13000 6400 0 34 330 340 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 10     290 110    1 12    99 150   1 900   6300 7600 0 900   10000 8200 0 480   4800 4500 1 140    180 1800   1 23    71 270   0 22    68 210   0 900 4800 12000 0 900    2700 6300   0 910   14000 4700 0 900   5000 11000 0 900   13000 5600 0 37 310 360 1
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c 900     630 8400    0 870    200 11000   0 910   7900 8100 0 900   10000 8000 0 900   5400 7500 0 890    220 9800   0 900    140 11000   0 900    140 11000   0 900 4700 12000 0 900    2700 6500   0 900   13000 5100 0 900   5000 11000 0 910   13000 5400 0 900 330 12000 0
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c .92  120 7.5  0 870    1500 7200   0 150   3500 1700 0 100   3900 1200 0 910   14000 6300 0 890    520 11000   0 81    470 830   0 36    240 370   0 900 4200 10000 0 900    500 10000   0 900   2900 9600 0 900   4400 9600 0 900   5400 11000 0 900 1400 7300 0
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c 7.7   610 64    0 880    5000 4600   0 900   4100 11000 0 900   4100 11000 0 310   15000 4000 0 890    6200 9300   0 900    2100 8400   0 900    2000 8400   0 910 4900 9200 0 900    1300 9700   0 900   4900 11000 0 900   5400 11000 0 900   7000 12000 0 900 5400 5900 0
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c 1.0   87 7.0  0 870    1500 5800   0 110   3900 1100 0 210   3000 2200 0 910   15000 7000 0 890    520 10000   0 56    300 580   0 41    220 370   0 900 4300 11000 0 900    500 14000   0 900   4700 12000 0 900   4700 11000 0 900   5400 13000 0 900 1400 6900 0
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c 12     450 71    0 870    5000 4900   0 900   4100 11000 0 900   4200 12000 0 310   15000 3500 0 900    6200 8000   0 900    2100 8200   0 900    2000 9300   0 900 4700 8900 0 900    1300 9000   0 900   6000 10000 0 900   5400 12000 0 900   6000 11000 0 900 5400 6800 0
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c 1.1   110 11    0 870    1500 5900   0 160   3900 1600 0 110   4900 1300 0 880   15000 6700 0 890    690 8700   0 89    330 920   0 140    500 1300   0 900 4000 10000 0 900    520 11000   0 900   4900 12000 0 900   6500 11000 0 900   5300 12000 0 900 1500 7300 0
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c 10     580 70    0 870    5800 6100   0 900   4200 12000 0 900   4100 12000 0 910   2900 11000 0 900    7300 8400   0 900    2500 9600   0 900    2500 8200   0 910 4300 8700 0 900    1900 12000   0 900   5900 11000 0 900   5500 8600 0 900   6500 10000 0 900 6400 8600 0
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c 1.1   110 7.4  0 870    1500 6700   0 100   4000 1000 0 100   4300 1100 0 910   15000 6400 0 890    670 10000   0 78    370 740   0 84    360 910   0 900 4000 8500 0 900    500 9900   0 900   5900 9300 0 900   4700 12000 0 900   5400 11000 0 900 1500 7600 0
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c 9.7   570 68    0 880    5700 4600   0 900   4200 10000 0 900   4200 10000 0 900   2600 9400 0 890    7100 8000   0 900    2300 7900   0 900    2300 12000   0 910 4400 9600 0 900    1900 8000   0 900   5700 11000 0 900   5600 10000 0 900   6400 9700 0 900 6200 9200 0
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c 900     11000 6800    0 180    1000 1500   0 900   4500 10000 0 900   4200 12000 0 920   9500 7100 0 890    3700 6200   0 900    900 10000   0 900    900 8200   0 910 3600 8500 0 900    780 10000   0 900   6300 12000 0 900   7200 10000 0 900   5900 10000 0 310 950 3000 0
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c 47     15000 450    0 870    2100 6200   0 900   4200 11000 0 900   4200 12000 0 960   12000 7900 0 890    7500 6800   0 900    1100 11000   0 900    1000 11000   0 910 4800 9800 0 900    1500 9200   0 900   7900 11000 0 900   5800 10000 0 900   6300 12000 0 900 2000 8700 0
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c .48  74 5.3  0 870    1400 6300   0 49   2100 440 0 41   2100 400 0 910   12000 6700 0 890    1500 9600   0 900    1200 11000   0 900    1200 6100   0 900 4000 12000 0 900    500 9400   0 900   6200 9500 0 900   4200 11000 0 900   6400 9500 0 900 1500 6100 0
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c 2.4   380 19    0 870    4700 4500   0 900   4200 11000 0 900   4100 11000 0 550   15000 4300 0 900    12000 7800   0 900    2900 8800   0 900    2800 7700   0 900 3700 11000 0 900    1100 9000   0 900   4900 12000 0 900   5800 10000 0 900   5700 12000 0 900 5000 8400 0
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c .70  64 5.5  0 870    1500 6700   0 56   2400 480 0 47   2600 380 0 910   12000 7600 0 890    1900 9800   0 900    1200 11000   0 900    1200 6800   0 900 4200 11000 0 900    510 12000   0 900   3100 11000 0 900   3000 11000 0 900   5300 12000 0 900 1500 8000 0
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c 6.1   350 51    0 870    4800 4600   0 900   4300 11000 0 900   4300 12000 0 560   15000 5500 0 17    15000 150   0 900    1800 10000   0 900    1900 9100   0 900 4700 9000 0 900    1100 11000   0 900   4800 14000 0 900   5400 10000 0 900   7000 11000 0 900 5200 5800 0
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c 1.7   250 17    0 870    1500 6900   0 28   800 250 0 48   1400 510 0 910   11000 7500 0 620    2000 6800   0 32    160 330   0 28    160 260   0 900 4200 13000 0 900    1300 7600   0 900   3300 10000 0 900   2000 13000 0 900   4800 12000 0 900 1600 9600 0
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c 13     940 98    0 870    4600 7900   0 26   810 240 0 48   1300 470 0 420   15000 3800 0 890    5700 8000   0 900    1600 9200   0 900    1800 9300   0 900 4200 10000 0 770    990 9600   0 900   3000 11000 0 900   3100 9700 0 910   8600 9500 0 900 4600 7200 0
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c 2.0   190 16    0 870    1500 5900   0 29   840 230 0 47   1400 500 0 910   10000 6500 0 640    1800 6700   0 31    160 300   0 27    160 260   0 900 3800 11000 0 900    1500 9900   0 900   2400 11000 0 900   4700 11000 0 900   4800 12000 0 900 1600 8000 0
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c 20     680 120    0 880    4600 5200   0 25   810 220 0 47   1400 590 0 410   15000 3200 0 890    5900 12000   0 900    1600 8000   0 900    1700 8300   0 910 4300 11000 0 900    1300 10000   0 900   3500 11000 0 900   4600 11000 0 900   4800 13000 0 900 4600 6700 0
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c 2.3   240 21    0 870    1600 6700   0 43   1200 420 0 84   3000 780 0 930   10000 5900 0 600    2900 5800   0 40    210 440   0 44    210 360   0 900 4500 11000 0 900    1100 9500   0 900   3700 11000 0 900   5100 12000 0 900   5300 9700 0 900 1600 11000 0
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c 19     880 110    0 870    5800 5900   0 44   1300 400 0 81   3000 790 0 430   15000 3100 0 900    13000 7700   0 900    2000 9000   0 900    2000 7500   0 910 3900 9200 0 900    1100 9600   0 900   4600 11000 0 900   4900 12000 0 900   5100 11000 0 900 4900 7500 0
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c 280     7000 2100    1 16    460 170   0 53   1400 500 0 35   1800 240 0 900   8000 7400 0 890    2600 11000   0 110    300 960   0 92    300 980   0 910 4500 11000 0 900    1000 13000   0 900   4900 11000 0 900   4600 13000 0 900   4700 13000 0 59 430 680 0
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c 900     11000 6100    0 33    710 370   0 39   1200 370 0 48   1500 590