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-05 07:52:24 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 error (6) .12  24 .77 0 false(unreach-call) 3.4  74 38   1 false(unreach-call) 14   560 110 1 false(unreach-call) 18   690 140 1 false(unreach-call) 5.3 300 48 1 false(unreach-call) 480    280 5900   1 false(unreach-call) 1.3  29 15   1 false(unreach-call) 2.1  32 18   1 false(unreach-call) 45 2200 380 1 false(unreach-call) .22 11 2.2 1 false(unreach-call) 48   1400 410 1 timeout 900   1700 12000 0 timeout 900   5400 12000 0 false(unreach-call) 12 230 96 1
systemc/kundu2_false-unreach-call_false-termination.cil.c error (6) .11  24 .83 0 false(unreach-call) .48 35 4.9 1 false(unreach-call) 21   790 170 1 false(unreach-call) 19   760 150 1 false(unreach-call) 5.7 290 52 1 false(unreach-call) 480    180 5500   1 false(unreach-call) 1.6  31 13   1 false(unreach-call) 1.1  30 7.4 1 false(unreach-call) 31 1300 260 1 false(unreach-call) .23 11 2.4 1 false(unreach-call) 660   11000 5200 1 timeout 900   5000 11000 0 timeout 900   6100 12000 0 false(unreach-call) 15 240 130 1
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c error (6) .10  23 .80 0 false(unreach-call) .33 34 3.0 1 false(unreach-call) 4.1 290 36 1 false(unreach-call) 3.9 290 32 1 false(unreach-call) 2.9 260 28 1 false(unreach-call) .47 110 6.5 1 false(unreach-call) .16 29 1.3 1 false(unreach-call) .14 29 1.5 1 false(unreach-call) 17 640 140 1 false(unreach-call) .19 11 2.4 1 false(unreach-call) 5.7 300 43 1 false(unreach-call) 5.6 310 44 1 false(unreach-call) 5.7 290 43 1 false(unreach-call) 110 260 1000 1
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c error (6) .11  23 .67 0 false(unreach-call) .34 34 3.2 1 false(unreach-call) 6.6 330 57 1 false(unreach-call) 4.2 300 40 1 false(unreach-call) 3.4 270 31 1 false(unreach-call) .52 110 6.1 1 false(unreach-call) .13 29 1.3 1 false(unreach-call) .17 29 1.7 1 false(unreach-call) 37 1500 320 1 false(unreach-call) .21 11 2.5 1 false(unreach-call) 12   550 110 1 false(unreach-call) 7.7 390 58 1 false(unreach-call) 12   540 96 1 false(unreach-call) 89 230 800 1
systemc/pipeline_false-unreach-call_false-termination.cil.c timeout 900     950 12000    0 false(unreach-call) 16    390 200   1 false(unreach-call) 280   8500 2100 1 false(unreach-call) 19   740 150 1 false(unreach-call) 31   1600 290 1 false(unreach-call) 550    15000 5900   1 false(unreach-call) 11    160 120   1 false(unreach-call) 13    220 110   1 timeout 910 4600 12000 0 false(unreach-call) 330    3100 2600   1 timeout 910   13000 4200 0 timeout 900   5100 11000 0 timeout 900   3800 13000 0 false(unreach-call) 690 380 4100 1
systemc/token_ring.01_false-unreach-call_false-termination.cil.c error (6) .10  24 .64 0 false(unreach-call) 2.0  61 24   1 false(unreach-call) 8.3 470 69 1 false(unreach-call) 7.0 380 53 1 false(unreach-call) 9.5 440 78 1 false(unreach-call) 2.4  110 28   1 false(unreach-call) .95 30 7.9 1 false(unreach-call) 1.3  33 16   1 false(unreach-call) 48 2400 510 1 false(unreach-call) .21 11 2.5 1 false(unreach-call) 21   780 160 1 false(unreach-call) 26   910 220 1 false(unreach-call) 180   3000 2000 1 false(unreach-call) 86 230 820 1
systemc/token_ring.02_false-unreach-call_false-termination.cil.c error (6) .12  24 .87 0 false(unreach-call) 3.2  95 41   1 false(unreach-call) 12   540 90 1 false(unreach-call) 14   520 100 1 false(unreach-call) 12   560 110 1 false(unreach-call) 5.7  130 67   1 false(unreach-call) 1.3  31 11   1 false(unreach-call) 2.1  38 18   1 false(unreach-call) 870 4000 11000 1 false(unreach-call) .30 13 3.4 1 false(unreach-call) 47   1600 370 1 timeout 900   3700 12000 0 timeout 900   2500 12000 0 false(unreach-call) 220 360 1400 1
systemc/token_ring.03_false-unreach-call_false-termination.cil.c error (6) .12  24 .82 0 false(unreach-call) 5.0  140 59   1 false(unreach-call) 18   720 150 1 false(unreach-call) 25   1100 190 1 false(unreach-call) 16   670 130 1 false(unreach-call) 79    1200 850   1 false(unreach-call) 1.7  33 13   1 false(unreach-call) 2.5  47 25   1 timeout 910 3800 11000 0 false(unreach-call) .65 22 8.8 1 false(unreach-call) 79   3900 640 1 timeout 900   2000 11000 0 timeout 900   3400 11000 0 false(unreach-call) 460 510 2500 1
systemc/token_ring.04_false-unreach-call_false-termination.cil.c error (6) .12  25 .83 0 false(unreach-call) 7.4  180 100   1 false(unreach-call) 31   1300 240 1 false(unreach-call) 95   3700 520 1 false(unreach-call) 28   1000 270 1 false(unreach-call) 490    15000 6600   1 false(unreach-call) 2.0  37 19   1 false(unreach-call) 3.6  55 37   1 timeout 910 4300 12000 0 false(unreach-call) 2.5  66 28   1 false(unreach-call) 120   5200 1300 1 timeout 900   6000 12000 0 timeout 900   4300 10000 0 false(unreach-call) 490 400 2800 1
systemc/token_ring.05_false-unreach-call_false-termination.cil.c error (6) .12  25 .99 0 false(unreach-call) 11    250 130   1 false(unreach-call) 61   2800 420 1 false(unreach-call) 440   10000 2900 1 false(unreach-call) 50   1900 550 1 false(unreach-call) 490    11000 5600   1 false(unreach-call) 2.4  42 25   1 false(unreach-call) 5.2  65 49   1 timeout 910 4200 14000 0 false(unreach-call) 13    260 150   1 timeout 900   13000 7100 0 timeout 900   6000 14000 0 timeout 900   3500 11000 0 false(unreach-call) 630 510 3500 1
systemc/token_ring.06_false-unreach-call_false-termination.cil.c error (6) .13  26 1.1  0 false(unreach-call) 16    310 210   1 false(unreach-call) 150   6000 990 1 timeout 910   11000 4300 0 false(unreach-call) 84   2700 850 1 false(unreach-call) 490    8700 6300   1 false(unreach-call) 2.9  48 30   1 false(unreach-call) 6.1  74 60   1 timeout 910 4500 12000 0 false(unreach-call) 73    1100 680   1 false(unreach-call) 250   6700 2400 1 timeout 900   5900 14000 0 timeout 900   4900 12000 0 false(unreach-call) 810 650 4600 1
systemc/token_ring.07_false-unreach-call_false-termination.cil.c error (6) .12  26 1.1  0 false(unreach-call) 22    380 220   1 timeout 900   11000 4300 0 timeout 910   11000 4700 0 false(unreach-call) 100   2800 1200 1 false(unreach-call) 490    5900 7100   1 false(unreach-call) 3.8  54 34   1 false(unreach-call) 6.9  88 79   1 timeout 920 4800 11000 0 false(unreach-call) 210    2000 2200   1 timeout 900   9900 9100 0 timeout 900   6100 13000 0 timeout 900   4800 11000 0 false(unreach-call) 630 310 3900 1
systemc/token_ring.08_false-unreach-call_false-termination.cil.c error (6) .16  27 1.2  0 false(unreach-call) 31    470 330   1 timeout 910   11000 4500 0 timeout 910   11000 4200 0 false(unreach-call) 140   3700 1700 1 false(unreach-call) 500    5800 6500   1 false(unreach-call) 4.2  61 38   1 false(unreach-call) 9.4  100 79   1 timeout 920 4800 11000 0 false(unreach-call) 360    2600 2700   1 timeout 910   14000 7100 0 timeout 900   6100 12000 0 timeout 900   4000 10000 0 false(unreach-call) 640 310 3000 1
systemc/token_ring.09_false-unreach-call_false-termination.cil.c error (6) .15  27 1.1  0 false(unreach-call) 44    550 430   1 timeout 900   11000 4400 0 timeout 900   11000 4800 0 false(unreach-call) 260   4000 2800 1 false(unreach-call) 500    6900 6700   1 false(unreach-call) 4.8  67 48   1 false(unreach-call) 8.5  120 98   1 timeout 920 5300 11000 0 false(unreach-call) 390    2800 2600   1 timeout 900   10000 9700 0 timeout 900   6100 13000 0 timeout 900   8900 11000 0 false(unreach-call) 640 320 3600 1
systemc/token_ring.10_false-unreach-call_false-termination.cil.c error (6) .18  27 1.2  0 false(unreach-call) 58    670 450   1 timeout 910   11000 4400 0 timeout 910   11000 4800 0 false(unreach-call) 400   3700 5400 1 false(unreach-call) 510    7300 5800   1 false(unreach-call) 5.7  75 51   1 false(unreach-call) 15    140 140   1 timeout 930 5300 11000 0 false(unreach-call) 530    3200 3700   1 timeout 900   11000 10000 0 timeout 900   6200 12000 0 timeout 900   5300 11000 0 false(unreach-call) 650 320 3500 1
systemc/token_ring.11_false-unreach-call_false-termination.cil.c error (6) .17  27 1.2  0 false(unreach-call) 77    770 640   1 timeout 900   11000 4800 0 timeout 900   11000 5800 0 false(unreach-call) 420   3600 4300 1 false(unreach-call) 520    12000 7500   1 false(unreach-call) 6.8  83 52   1 false(unreach-call) 11    150 120   1 timeout 930 5300 12000 0 false(unreach-call) 540    2800 3900   1 timeout 910   13000 9000 0 timeout 900   6100 12000 0 timeout 900   4600 13000 0 false(unreach-call) 660 320 4000 1
systemc/token_ring.12_false-unreach-call_false-termination.cil.c error (6) .16  28 1.6  0 false(unreach-call) 99    870 670   1 timeout 910   11000 3900 0 timeout 910   11000 6100 0 false(unreach-call) 410   4000 4800 1 false(unreach-call) 520    13000 7400   1 false(unreach-call) 7.7  93 72   1 false(unreach-call) 14    170 120   1 timeout 940 5800 11000 0 false(unreach-call) 450    2800 4900   1 timeout 910   13000 7100 0 timeout 900   6400 12000 0 timeout 900   4600 12000 0 false(unreach-call) 670 410 3800 1
systemc/token_ring.13_false-unreach-call_false-termination.cil.c error (6) .17  28 1.4  0 false(unreach-call) 130    1000 800   1 timeout 910   11000 4800 0 timeout 900   11000 5300 0 false(unreach-call) 420   4000 4600 1 false(unreach-call) 530    12000 7200   1 false(unreach-call) 9.0  100 79   1 false(unreach-call) 15    190 160   1 timeout 950 6100 10000 0 false(unreach-call) 610    3200 5500   1 timeout 900   12000 9200 0 timeout 900   6500 13000 0 timeout 910   12000 9200 0 false(unreach-call) 680 450 4200 1
systemc/token_ring.14_false-unreach-call_false-termination.cil.c error (6) .15  28 1.8  0 false(unreach-call) 98    870 830   1 timeout 900   11000 4500 0 timeout 910   11000 5600 0 false(unreach-call) 410   3600 4300 1 false(unreach-call) 520    13000 6300   1 false(unreach-call) 7.3  93 72   1 false(unreach-call) 13    170 160   1 timeout 940 5700 13000 0 false(unreach-call) 580    3200 5300   1 timeout 900   13000 7600 0 timeout 900   6300 12000 0 timeout 900   4600 12000 0 false(unreach-call) 670 400 4100 1
systemc/token_ring.15_false-unreach-call_false-termination.cil.c error (6) .18  29 1.4  0 false(unreach-call) 120    1000 1000   1 timeout 900   11000 4000 0 timeout 910   11000 5300 0 false(unreach-call) 420   4300 4400 1 false(unreach-call) 530    12000 6400   1 false(unreach-call) 8.4  100 84   1 false(unreach-call) 14    190 140   1 timeout 910 4000 10000 0 false(unreach-call) 600    2900 5000   1 timeout 900   11000 9100 0 timeout 900   6600 11000 0 timeout 900   11000 9400 0 false(unreach-call) 690 440 4000 1
systemc/toy1_false-unreach-call_false-termination.cil.c error (6) .13  25 .73 0 false(unreach-call) 3.2  65 42   1 timeout 900   5300 11000 0 false(unreach-call) 43   1700 300 1 false(unreach-call) 5.8 300 55 1 false(unreach-call) 47    150 500   1 false(unreach-call) 1.2  30 9.4 1 false(unreach-call) 1.7  34 17   1 false(unreach-call) 47 1600 430 0 false(unreach-call) 1.3  56 16   1 false(unreach-call) 76   2900 640 1 timeout 900   5500 15000 0 timeout 900   5200 10000 0 false(unreach-call) 470 300 2100 1
systemc/toy2_false-unreach-call_false-termination.cil.c error (6) .12  24 .79 0 false(unreach-call) 3.2  63 38   1 timeout 900   5300 11000 0 false(unreach-call) 41   1700 300 1 false(unreach-call) 5.9 290 45 1 false(unreach-call) 480    250 5600   1 false(unreach-call) 1.0  30 9.5 1 false(unreach-call) 1.8  34 17   1 false(unreach-call) 40 1600 390 1 false(unreach-call) 1.3  55 16   1 false(unreach-call) 51   2000 520 1 false(unreach-call) 620   4600 10000 1 timeout 900   5400 10000 0 false(unreach-call) 470 290 2500 1
systemc/transmitter.01_false-unreach-call_false-termination.cil.c error (6) .11  24 .79 0 false(unreach-call) .29 34 2.4 1 false(unreach-call) 6.9 400 63 1 false(unreach-call) 5.8 310 54 1 false(unreach-call) 3.9 280 32 1 false(unreach-call) 1.2  110 16   1 false(unreach-call) .56 29 4.0 1 false(unreach-call) .39 29 3.5 1 false(unreach-call) 19 810 140 1 false(unreach-call) .20 11 2.1 1 false(unreach-call) 15   600 120 1 timeout 900   1500 11000 0 false(unreach-call) 48   1200 440 1 false(unreach-call) 52 230 480 1
systemc/transmitter.02_false-unreach-call_false-termination.cil.c error (6) .11  24 .94 0 false(unreach-call) .34 34 3.1 1 false(unreach-call) 9.9 460 75 1 false(unreach-call) 9.0 440 69 1 false(unreach-call) 4.6 270 41 1 false(unreach-call) 2.4  110 32   1 false(unreach-call) .65 29 5.6 1 false(unreach-call) .50 30 4.5 1 false(unreach-call) 41 1800 440 1 false(unreach-call) .24 11 3.1 1 false(unreach-call) 27   970 210 1 timeout 900   2000 11000 0 timeout 900   2200 11000 0 false(unreach-call) 140 240 1200 1
systemc/transmitter.03_false-unreach-call_false-termination.cil.c error (6) .094 24 .95 0 false(unreach-call) .39 35 4.1 1 false(unreach-call) 14   600 110 1 false(unreach-call) 16   700 120 1 false(unreach-call) 5.6 300 46 1 false(unreach-call) 23    370 260   1 false(unreach-call) 1.1  30 10   1 false(unreach-call) .66 30 5.8 1 false(unreach-call) 250 3800 3100 1 false(unreach-call) .35 15 4.1 1 false(unreach-call) 54   2200 470 1 timeout 900   1500 13000 0 timeout 900   3000 9500 0 false(unreach-call) 310 330 2600 1
systemc/transmitter.04_false-unreach-call_false-termination.cil.c error (6) .14  25 .88 0 false(unreach-call) .48 38 4.8 1 false(unreach-call) 19   710 140 1 false(unreach-call) 33   1700 230 1 false(unreach-call) 7.6 300 55 1 false(unreach-call) 480    15000 5800   1 false(unreach-call) 1.4  32 11   1 false(unreach-call) .82 30 6.0 1 false(unreach-call) 280 3900 3400 1 false(unreach-call) .75 30 9.3 1 false(unreach-call) 120   5300 1100 1 timeout 900   5400 12000 0 timeout 900   6100 9900 0 false(unreach-call) 600 490 2900 1
systemc/transmitter.05_false-unreach-call_false-termination.cil.c error (6) .12  25 .85 0 false(unreach-call) .55 40 6.5 1 false(unreach-call) 26   1000 200 1 false(unreach-call) 130   4600 750 1 false(unreach-call) 11   350 72 1 false(unreach-call) 480    14000 5600   1 false(unreach-call) 1.5  36 13   1 false(unreach-call) .92 31 9.5 1 timeout 910 4000 15000 0 false(unreach-call) 3.8  120 43   1 false(unreach-call) 200   6700 2300 1 timeout 900   6600 14000 0 timeout 900   4600 12000 0 false(unreach-call) 550 370 3300 1
systemc/transmitter.06_false-unreach-call_false-termination.cil.c error (6) .15  26 .96 0 false(unreach-call) .64 43 8.9 1 false(unreach-call) 41   1700 290 1 timeout 910   11000 4200 0 false(unreach-call) 13   500 110 1 false(unreach-call) 480    8700 6900   1 false(unreach-call) 2.6  41 19   1 false(unreach-call) 1.1  31 10   1 false(unreach-call) 140 3800 1500 1 false(unreach-call) 18    480 200   1 false(unreach-call) 390   7800 4000 1 timeout 900   6300 12000 0 timeout 900   5400 13000 0 false(unreach-call) 680 500 4900 1
systemc/transmitter.07_false-unreach-call_false-termination.cil.c error (6) .15  26 .94 0 false(unreach-call) .77 45 10   1 false(unreach-call) 47   2500 330 1 timeout 900   11000 5100 0 false(unreach-call) 18   810 150 1 false(unreach-call) 480    3700 5600   1 false(unreach-call) 2.3  47 26   1 false(unreach-call) 1.2  32 9.6 1 false(unreach-call) 230 3900 3000 1 false(unreach-call) 79    1800 950   1 timeout 900   11000 8900 0 timeout 900   6100 15000 0 timeout 900   9200 12000 0 false(unreach-call) 830 640 5800 1
systemc/transmitter.08_false-unreach-call_false-termination.cil.c error (6) .14  26 1.1  0 false(unreach-call) .93 50 11   1 false(unreach-call) 72   4000 520 1 timeout 910   11000 4500 0 false(unreach-call) 34   1500 320 1 false(unreach-call) 480    6400 5400   1 false(unreach-call) 3.0  53 31   1 false(unreach-call) 1.4  33 12   1 timeout 960 6400 9500 0 false(unreach-call) 310    2400 2200   1 timeout 900   13000 8500 0 timeout 900   6100 13000 0 timeout 900   4900 11000 0 false(unreach-call) 630 300 3200 1
systemc/transmitter.09_false-unreach-call_false-termination.cil.c error (6) .16  26 1.0  0 false(unreach-call) 1.1  55 13   1 false(unreach-call) 170   5800 1200 1 timeout 900   11000 4800 0 false(unreach-call) 170   2600 1700 1 false(unreach-call) 490    6900 5200   1 false(unreach-call) 4.4  59 37   1 false(unreach-call) 1.6  35 15   1 timeout 910 6700 9800 0 false(unreach-call) 310    2500 3500   1 timeout 910   11000 8800 0 timeout 900   6300 12000 0 timeout 900   9900 9200 0 false(unreach-call) 640 320 5000 1
systemc/transmitter.10_false-unreach-call_false-termination.cil.c error (6) .16  27 1.2  0 false(unreach-call) 1.3  59 18   1 false(unreach-call) 430   8500 3500 1 timeout 910   11000 4300 0 false(unreach-call) 160   1600 2000 1 false(unreach-call) 490    8200 5700   1 false(unreach-call) 4.6  66 38   1 false(unreach-call) 1.9  37 16   1 timeout 910 4200 11000 0 false(unreach-call) 430    2600 3500   1 timeout 900   10000 9700 0 timeout 910   6400 13000 0 timeout 900   10000 9100 0 false(unreach-call) 640 320 5400 1
systemc/transmitter.11_false-unreach-call_false-termination.cil.c error (6) .17  28 1.1  0 false(unreach-call) 1.5  66 18   1 timeout 910   11000 6200 0 timeout 910   11000 5300 0 false(unreach-call) 160   1600 1800 1 false(unreach-call) 490    9100 5900   1 false(unreach-call) 4.0  75 35   1 false(unreach-call) 2.1  40 18   1 timeout 920 5100 12000 0 false(unreach-call) 510    3000 3500   1 timeout 900   11000 8600 0 timeout 900   6200 12000 0 timeout 900   8200 10000 0 false(unreach-call) 650 320 4000 1
systemc/transmitter.12_false-unreach-call_false-termination.cil.c error (6) .16  28 1.7  0 false(unreach-call) 1.7  71 20   1 timeout 910   11000 4800 0 timeout 900   11000 5700 0 false(unreach-call) 160   2400 2000 1 false(unreach-call) 490    12000 6800   1 false(unreach-call) 6.1  83 62   1 false(unreach-call) 2.3  43 20   1 timeout 910 5500 12000 0 false(unreach-call) 540    3000 4300   1 timeout 900   13000 7900 0 timeout 900   6300 12000 0 timeout 910   13000 8200 0 false(unreach-call) 660 380 4200 1
systemc/transmitter.13_false-unreach-call_false-termination.cil.c error (6) .19  28 1.3  0 false(unreach-call) 2.0  81 21   1 timeout 900   11000 4600 0 timeout 910   11000 5800 0 false(unreach-call) 170   1700 1800 1 false(unreach-call) 490    13000 6300   1 false(unreach-call) 5.9  92 48   1 false(unreach-call) 2.4  46 19   1 timeout 920 5200 12000 0 false(unreach-call) 640    3000 4400   1 timeout 900   9700 11000 0 timeout 900   6400 12000 0 timeout 900   6500 11000 0 false(unreach-call) 680 440 3800 1
systemc/transmitter.15_false-unreach-call_false-termination.cil.c error (6) .20  28 1.3  0 false(unreach-call) 1.6  65 23   1 false(unreach-call) 29   1400 230 1 false(unreach-call) 8.5 420 71 0 false(unreach-call) 5.3 290 42 1 false(unreach-call) 480    13000 5800   1 false(unreach-call) .15 34 1.6 1 false(unreach-call) .57 43 6.2 1 timeout 970 6500 8800 0 false(unreach-call) .33 30 3.9 1 false(unreach-call) 780   9100 8700 0 false(unreach-call) 70   1300 760 1 false(unreach-call) 430   6800 5500 1 false(unreach-call) 670 430 5200 1
systemc/transmitter.16_false-unreach-call_false-termination.cil.c error (6) .18  29 1.4  0 false(unreach-call) 1.8  69 20   1 false(unreach-call) 32   1600 250 1 false(unreach-call) 9.2 430 83 0 false(unreach-call) 5.5 290 43 1 false(unreach-call) 480    12000 6200   1 false(unreach-call) .16 35 2.1 1 false(unreach-call) .63 44 7.2 1 timeout 920 4700 11000 0 false(unreach-call) .34 32 4.0 1 timeout 900   10000 9300 0 false(unreach-call) 79   1300 910 1 timeout 910   14000 7300 0 false(unreach-call) 680 440 4200 1
systemc/bist_cell_true-unreach-call_false-termination.cil.c true .66  37 7.0  2 error (42) 870    1800 5300   0 timeout 910   9200 11000 0 true 9.9 480 82 1 true 3.4 250 28 2 unknown 900    770 12000   0 timeout 900    2800 8600   0 timeout 900    2700 8200   0 true 38 1500 290 2 timeout (timeout) 900    93 10000   0 true 340   5300 4500 2 timeout 900   3000 12000 0 timeout 900   2500 11000 0 timeout 900 230 11000 0
systemc/kundu_true-unreach-call_false-termination.cil.c error (6) .12  24 .65 0 error (42) 870    680 5500   0 true 25   1200 190 1 true 20   1100 180 1 true 13   720 96 1 unknown 890    310 11000   0 timeout 900    1400 10000   0 timeout 900    1500 10000   0 false(unreach-call) 40 1800 390 -16 timeout (timeout) 900    4500 6900   0 timeout 910   14000 4800 0 timeout 900   2300 12000 0 timeout 900   6200 9500 0 timeout 900 330 7400 0
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c error (6) .13  27 .90 0 error (42) 870    2100 6000   0 true 11   510 86 1 true 11   490 80 1 true 4.3 260 40 1 unknown 900    1300 8400   0 timeout 900    2200 11000   0 timeout 900    2300 9400   0 true 65 1900 640 1 timeout (timeout) 900    4100 12000   0 timeout 900   11000 9300 0 timeout 900   6500 12000 0 timeout 900   12000 8200 0 timeout 900 580 7800 0
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c error (6) .14  27 .88 0 error (42) 870    610 5100   0 true 14   670 110 1 true 12   490 96 1 true 4.6 270 34 1 unknown 900    1400 8800   0 timeout 900    2300 8100   0 timeout 900    2300 9300   0 false(unreach-call) 56 1800 520 -16 timeout (timeout) 900    3000 9200   0 timeout 900   12000 8400 0 timeout 900   6500 13000 0 timeout 900   12000 8300 0 timeout 900 780 8100 0
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c error (6) .15  27 .78 0 error (42) 870    630 4900   0 true 16   710 120 1 true 14   640 110 1 true 4.9 270 42 1 unknown 900    1500 12000   0 timeout 900    2700 8900   0 timeout 900    2400 9100   0 false(unreach-call) 48 2000 440 -16 timeout (timeout) 900    3100 6900   0 timeout 900   11000 9400 0 timeout 900   6500 12000 0 timeout 900   11000 8500 0 timeout 900 790 7600 0
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c error (6) .13  27 .84 0 error (42) 870    640 5700   0 true 19   930 160 1 true 18   680 140 1 true 5.3 280 44 1 unknown 900    1300 9400   0 timeout 900    2500 9800   0 timeout 900    2400 11000   0 false(unreach-call) 53 1900 480 -16 timeout (timeout) 900    2800 8100   0 timeout 900   11000 9400 0 timeout 910   6500 12000 0 timeout 900   11000 8100 0 timeout 900 720 7900 0
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c error (6) .13  27 .86 0 error (42) 870    670 6400   0 true 21   1100 190 1 true 19   950 180 1 true 5.2 280 47 1 unknown 890    1200 9200   0 timeout 900    2900 11000   0 timeout 900    2600 8800   0 false(unreach-call) 57 1900 540 -16 timeout (timeout) 900    3200 8300   0 timeout 900   9400 9900 0 timeout 910   6500 11000 0 timeout 900   11000 7900 0 timeout 900 600 9300 0
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c error (6) .11  23 .64 0 error (42) 870    920 4300   0 true 33   1700 250 1 true 34   1500 270 1 true 12   470 90 2 unknown 900    480 9500   0 timeout 900    1500 9500   0 timeout 900    1400 9800   0 true 18 920 140 2 timeout (timeout) 900    3200 8000   0 true 36   1200 320 2 timeout 900   2100 13000 0 timeout 900   5900 13000 0 unknown 240 440 2100 0
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c error (6) .12  23 .80 0 error (42) 870    730 7700   0 true 22   890 180 1 true 25   940 210 1 true 13   490 120 2 unknown 900    470 7200   0 timeout 900    1100 10000   0 timeout 900    1100 9400   0 true 41 1500 360 1 timeout (timeout) 900    3700 5100   0 true 110   4500 1300 2 timeout 900   3000 11000 0 timeout 900   5500 13000 0 unknown 280 360 2000 0
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c error (6) .10  24 .75 0 error (42) 870    690 4600   0 true 5.6 310 48 2 true 4.4 290 38 1 true 3.5 250 33 2 unknown 900    930 8100   0 timeout 900    3900 8200   0 timeout 900    3700 7500   0 true 25 1300 190 2 timeout (timeout) 900    2300 8400   0 true 22   940 200 2 timeout 900   2400 11000 0 true 23   850 200 2 timeout 900 340 11000 0
systemc/pipeline_true-unreach-call_false-termination.cil.c timeout 900     920 9100    0 error (42) 870    440 3400   0 timeout 910   11000 5000 0 timeout 900   7400 8900 0 timeout 900   4400 9300 0 unknown 900    15000 10000   0 timeout 900    2300 9800   0 timeout 900    2500 9000   0 timeout 900 4300 11000 0 timeout (timeout) 900    4600 9600   0 timeout 910   13000 3400 0 timeout 900   5000 12000 0 timeout 900   3600 12000 0 timeout 900 600 7600 0
systemc/token_ring.01_true-unreach-call_false-termination.cil.c error (6) .12  23 .69 0 error (42) 870    780 4500   0 true 11   470 82 2 true 9.9 480 78 1 true 11   460 90 2 unknown 900    800 9300   0 timeout 900    1500 9800   0 timeout 900    1500 11000   0 true 56 2200 510 1 timeout (timeout) 900    770 9700   0 true 42   1300 390 2 timeout 900   1800 14000 0 timeout 900   4800 13000 0 timeout 900 380 9800 0
systemc/token_ring.02_true-unreach-call_false-termination.cil.c error (6) .11  24 .88 0 error (42) 870    820 4000   0 true 31   1100 220 2 true 16   670 150 1 true 16   570 130 2 unknown 890    590 11000   0 timeout 900    1000 11000   0 timeout 900    910 12000   0 true 790 4000 9600 1 timeout (timeout) 900    1200 8600   0 true 81   2800 860 2 timeout 900   3400 12000 0 timeout 900   2400 9600 0 timeout 900 370 11000 0
systemc/token_ring.03_true-unreach-call_false-termination.cil.c error (6) .11  24 .91 0 error (42) 870    1200 6800   0 true 41   1700 330 2 true 41   1700 280 1 true 22   710 210 2 unknown 890    1200 12000   0 timeout 900    550 12000   0 timeout 900    630 10000   0 timeout 910 3800 12000 0 timeout (timeout) 900    2500 11000   0 true 210   4600 2600 1 timeout 900   2300 13000 0 timeout 900   2800 11000 0 timeout 900 620 8000 0
systemc/token_ring.04_true-unreach-call_false-termination.cil.c error (6) .12  25 .84 0 error (42) 870    810 4400   0 true 120   5200 890 2 true 210   5800 1400 1 true 57   1800 560 2 unknown 890    14000 11000   0 timeout 900    980 11000   0 timeout 900    850 12000   0 timeout 960 5700 11000 0 timeout (timeout) 900    4100 7500   0 timeout 900   5400 12000 0 timeout 900   6100 13000 0 timeout 900   4600 12000 0 timeout 900 500 6200 0
systemc/token_ring.05_true-unreach-call_false-termination.cil.c error (6) .11  25 .99 0 error (42) 870    1100 6000   0 true 260   7000 1500 1 timeout 910   11000 4700 0 true 120   2100 1300 1 unknown 890    11000 11000   0 timeout 900    940 12000   0 timeout 900    790 11000   0 timeout 910 4100 12000 0 timeout (timeout) 900    4200 5800   0 timeout 910   13000 7100 0 timeout 900   6100 12000 0 timeout 900   3500 11000 0 timeout 900 630 9200 0
systemc/token_ring.06_true-unreach-call_false-termination.cil.c error (6) .14  26 1.0  0 error (42) 870    1400 6900   0 timeout 900   11000 4500 0 timeout 910   11000 4000 0 timeout 900   5400 9000 0 unknown 890    8700 11000   0 timeout 900    850 11000   0 timeout 900    1000 11000   0 timeout 910 4400 12000 0 timeout (timeout) 900    3600 5700   0 timeout 900   7300 10000 0 timeout 900   6000 14000 0 timeout 900   4900 12000 0 timeout 900 760 7600 0
systemc/token_ring.07_true-unreach-call_false-termination.cil.c error (6) .13  26 .90 0 error (42) 870    1800 4200   0 timeout 910   11000 4200 0 timeout 900   11000 4600 0 timeout 900   5800 8400 0 unknown 890    7300 11000   0 timeout 900    710 9600   0 timeout 900    870 11000   0 timeout 910 4600 12000 0 timeout (timeout) 900    4500 6900   0 timeout 910   10000 9400 0 timeout 900   6100 12000 0 timeout 900   4700 11000 0 timeout 900 430 9000 0
systemc/token_ring.08_true-unreach-call_false-termination.cil.c error (6) .14  26 .93 0 error (42) 870    500 3600   0 timeout 900   11000 4500 0 timeout 910   11000 4900 0 timeout 900   5700 10000 0 unknown 890    7200 12000   0 timeout 900    850 11000   0 timeout 900    690 12000   0 timeout 920 4800 11000 0 timeout (timeout) 900    4500 4800   0 timeout 910   13000 7100 0 timeout 900   6100 12000 0 timeout 900   3900 12000 0 timeout 900 550 6800 0
systemc/token_ring.09_true-unreach-call_false-termination.cil.c error (6) .15  27 1.0  0 error (42) 870    570 4100   0 timeout 900   11000 4300 0 timeout 900   11000 5200 0 timeout 900   6400 9500 0 unknown 890    7800 11000   0 timeout 900    990 9900   0 timeout 900    800 11000   0 timeout 920 5100 11000 0 timeout (timeout) 900    4500 5800   0 timeout 900   10000 8500 0 timeout 900   6200 13000 0 timeout 900   8900 9800 0 timeout 900 570 6800 0
systemc/token_ring.10_true-unreach-call_false-termination.cil.c error (6) .16  27 1.3  0 error (42) 870    690 4000   0 timeout 910   11000 4600 0 timeout 900   11000 5500 0 timeout 900   5700 8800 0 unknown 890    10000 12000   0 timeout 900    750 11000   0 timeout 900    930 12000   0 timeout 930 5300 12000 0 timeout (timeout) 900    4600 6400   0 timeout 900   9700 10000 0 timeout 900   6200 12000 0 timeout 900   5300 12000 0 timeout 900 670 7000 0
systemc/token_ring.11_true-unreach-call_false-termination.cil.c error (6) .15  28 1.2  0 error (42) 870    790 4100   0 timeout 910   11000 4400 0 timeout 910   11000 4900 0 timeout 900   6500 8200 0 unknown 890    12000 10000   0 timeout 900    850 11000   0 timeout 900    1100 12000   0 timeout 910 4600 12000 0 timeout (timeout) 900    4200 6300   0 timeout 900   13000 8200 0 timeout 900   6300 13000 0 timeout 900   4600 11000 0 timeout 900 750 6500 0
systemc/token_ring.12_true-unreach-call_false-termination.cil.c error (6) .16  28 1.5  0 error (42) 870    920 5000   0 timeout 900   11000 4500 0 timeout 910   11000 6100 0 timeout 900   7100 8200 0 unknown 890    14000 11000   0 timeout 900    960 9400   0 timeout 900    1200 12000   0 timeout 940 5700 12000 0 timeout (timeout) 900    4400 6400   0 timeout 910   13000 7300 0 timeout 900   6200 11000 0 timeout 900   4500 13000 0 timeout 900 830 8500 0
systemc/token_ring.13_true-unreach-call_false-termination.cil.c error (6) .19  28 1.5  0 error (42) 870    1100 4800   0 timeout 900   11000 4200 0 timeout 910   11000 6400 0 timeout 900   7200 7800 0 unknown 890    12000 10000   0 timeout 900    1100 11000   0 timeout 900    1300 10000   0 timeout 910 4000 12000 0 timeout (timeout) 900    4400 6600   0 timeout 910   12000 8400 0 timeout 900   6400 12000 0 timeout 910   12000 7700 0 timeout 900 920 7400 0
systemc/toy_true-unreach-call_false-termination.cil.c error (6) .11  24 1.0  0 error (42) 870    700 9200   0 timeout 900   5300 11000 0 true 140   5000 1000 1 true 210   4200 2600 2 unknown 890    220 11000   0 timeout 900    690 13000   0 timeout 900    800 13000   0 false(unreach-call) 45 1700 410 -16 timeout (timeout) 900    4700 9500   0 true 290   4800 3300 2 timeout 900   5400 12000 0 timeout 900   5400 13000 0 timeout 900 450 5500 0
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c false(unreach-call) .23  27 2.1  1 false(unreach-call) .44 36 4.4 1 false(unreach-call) 20   760 160 1 false(unreach-call) 15   610 110 0 false(unreach-call) 5.5 290 43 1 false(unreach-call) 1.3  85 17   1 false(unreach-call) 1.5  31 12   1 false(unreach-call) 1.9  31 19   1 false(unreach-call) 140 3900 1700 1 false(unreach-call) .26 12 3.2 1 false(unreach-call) 46   1400 390 1 timeout 900   1800 9300 0 false(unreach-call) 50   1300 420 1 false(unreach-call) 18 250 150 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) .24  27 2.1  1 false(unreach-call) .43 35 6.1 1 false(unreach-call) 19   780 150 1 false(unreach-call) 14   620 110 0 false(unreach-call) 11   500 89 1 false(unreach-call) .90 85 11   1 false(unreach-call) 1.4  31 11   1 false(unreach-call) 1.9  31 17   1 false(unreach-call) 140 3900 1600 1 false(unreach-call) .24 12 2.7 1 false(unreach-call) 45   1300 390 1 timeout 900   1400 12000 0 false(unreach-call) 48   1400 420 1 false(unreach-call) 20 250 190 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c false(unreach-call) .65  49 7.9  1 false(unreach-call) .49 35 4.4 1 false(unreach-call) 51   2000 370 1 false(unreach-call) 30   1400 230 0 false(unreach-call) 15   560 110 1 false(unreach-call) 2.6  86 41   1 false(unreach-call) 3.4  31 47   1 false(unreach-call) 3.3  31 30   1 false(unreach-call) 73 3300 640 1 false(unreach-call) .26 11 2.8 1 false(unreach-call) 130   4600 1400 1 timeout 900   1800 9700 0 false(unreach-call) 130   1900 1300 1 false(unreach-call) 19 250 170 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c false(unreach-call) .60  48 6.6  1 false(unreach-call) .48 35 5.2 1 false(unreach-call) 47   2000 350 1 false(unreach-call) 29   1300 220 0 false(unreach-call) 16   570 110 1 false(unreach-call) 2.2  85 27   1 false(unreach-call) 4.1  31 33   1 false(unreach-call) 4.1  31 30   1 false(unreach-call) 72 3300 720 1 false(unreach-call) .27 12 2.7 1 false(unreach-call) 140   4500 1400 1 timeout 900   1800 10000 0 false(unreach-call) 130   2000 1200 1 false(unreach-call) 19 240 160 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c false(unreach-call) .61  49 7.6  1 false(unreach-call) .50 36 4.9 1 timeout 900   9200 8700 0 false(unreach-call) 37   1400 300 0 false(unreach-call) 15   600 120 1 false(unreach-call) 2.6  86 36   1 false(unreach-call) 4.4  31 36   1 false(unreach-call) 3.2  31 27   1 false(unreach-call) 85 3700 1000 1 false(unreach-call) .24 12 3.1 1 false(unreach-call) 200   4900 2400 1 timeout 900   1900 10000 0 false(unreach-call) 140   2700 1400 1 false(unreach-call) 19 240 190 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c false(unreach-call) .60  48 7.1  1 false(unreach-call) .47 37 5.8 1 timeout 900   9200 8500 0 false(unreach-call) 37   1500 270 0 false(unreach-call) 14   580 110 1 false(unreach-call) 2.2  85 29   1 false(unreach-call) 3.9  31 43   1 false(unreach-call) 2.9  31 32   1 false(unreach-call) 81 3700 900 1 false(unreach-call) .26 12 3.0 1 false(unreach-call) 200   4800 2200 1 timeout 900   1600 12000 0 false(unreach-call) 150   2500 1500 1 false(unreach-call) 20 250 160 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c false(unreach-call) 1.4   84 18    1 false(unreach-call) 1.8  43 21   1 timeout 900   7200 8800 0 timeout 900   7000 9400 0 false(unreach-call) 94   960 1200 1 false(unreach-call) 5.5  86 67   1 false(unreach-call) 11    31 80   1 false(unreach-call) 13    33 110   1 false(unreach-call) 110 3800 1300 0 false(unreach-call) 2.8  120 30   0 timeout 900   7100 11000 0 timeout 900   1700 11000 0 timeout 900   7700 9700 0 false(unreach-call) 18 250 160 1
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c false(unreach-call) 1.2   80 17    1 false(unreach-call) 1.8  44 24   1 timeout 900   6900 9800 0 timeout 900   6300 9500 0 false(unreach-call) 28   770 260 1 false(unreach-call) 7.3  85 97   1 false(unreach-call) 12    31 86   1 false(unreach-call) 14    32 110   1 false(unreach-call) 150 3900 1700 0 false(unreach-call) 2.7  110 34   0 timeout 900   5900 9500 0 timeout 900   1700 11000 0 timeout 900   7500 11000 0 false(unreach-call) 21 250 200 1
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1.6   85 18    0 false(unreach-call) 1.3  42 15   1 false(unreach-call) 31   1100 260 1 false(unreach-call) 52   2200 470 0 false(unreach-call) 31   940 250 1 false(unreach-call) 4.1  200 56   1 false(unreach-call) 7.2  31 51   1 false(unreach-call) 3.0  31 24   1 timeout 900 4900 12000 0 false(unreach-call) .27 13 2.8 1 false(unreach-call) 540   6300 6100 1 timeout 900   2700 10000 0 timeout 900   6400 13000 0 false(unreach-call) 15 240 120 1
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1.9   85 19    0 false(unreach-call) 1.4  42 14   1 false(unreach-call) 33   1100 260 1 false(unreach-call) 56   2300 460 0 false(unreach-call) 32   960 250 1 false(unreach-call) 3.9  190 61   1 false(unreach-call) 8.0  31 61   1 false(unreach-call) 2.7  31 32   1 timeout 900 4900 12000 0 false(unreach-call) .27 13 3.4 1 false(unreach-call) 390   5900 4500 1 timeout 900   2500 12000 0 timeout 900   6700 12000 0 false(unreach-call) 13 240 99 1
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 1.5   88 17    0 false(unreach-call) 1.5  41 18   1 timeout 900   7600 10000 0 false(unreach-call) 75   3700 630 0 false(unreach-call) 32   970 290 1 false(unreach-call) 4.1  190 52   1 false(unreach-call) 3.4  31 28   1 false(unreach-call) 5.0  31 47   1 timeout 900 4900 13000 0 false(unreach-call) .33 14 3.7 1 false(unreach-call) 460   4800 5800 1 timeout 900   2000 14000 0 timeout 900   5400 12000 0 false(unreach-call) 15 240 130 1
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1.6   87 22    0 false(unreach-call) 1.5  42 19   1 timeout 900   7500 9300 0 false(unreach-call) 67   3700 580 0 false(unreach-call) 31   1000 300 1 false(unreach-call) 3.8  190 44   1 false(unreach-call) 3.1  31 30   1 false(unreach-call) 5.4  31 44   1 timeout 900 4900 13000 0 false(unreach-call) .33 14 3.4 1 false(unreach-call) 450   5100 6400 1 timeout 900   2900 15000 0 timeout 900   5400 11000 0 false(unreach-call) 13 240 90 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1.4   62 18    1 false(unreach-call) 1.1  41 13   1 timeout 900   2100 12000 0 false(unreach-call) 110   3200 1000 0 false(unreach-call) 42   2700 400 1 false(unreach-call) 6.2  85 89   1 false(unreach-call) 3.0  31 23   0 false(unreach-call) 2.6  31 30   0 false(unreach-call) 290 4000 3600 0 false(unreach-call) .91 16 11   1 timeout 900   13000 6500 0 false(unreach-call) 170   2700 1900 1 timeout 900   13000 7600 0 false(unreach-call) 13 250 93 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1.1   61 12    1 false(unreach-call) 1.1  39 12   1 timeout 900   3400 13000 0 false(unreach-call) 170   3800 2000 0 false(unreach-call) 39   2600 390 1 false(unreach-call) 5.5  85 83   1 false(unreach-call) 3.0  31 24   0 false(unreach-call) 3.0  31 27   0 false(unreach-call) 120 3800 1300 0 false(unreach-call) .88 16 12   1 timeout 910   13000 6800 0 false(unreach-call) 140   2200 1900 1 timeout 910   13000 6100 0 false(unreach-call) 13 240 100 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) .54  38 7.1  1 false(unreach-call) .35 35 3.6 1 false(unreach-call) 17   680 160 0 false(unreach-call) 12   610 110 1 false(unreach-call) 22   1100 210 1 false(unreach-call) 2.3  85 29   1 false(unreach-call) 3.6  31 26   0 false(unreach-call) 2.7  31 26   0 false(unreach-call) 110 3800 1100 1 false(unreach-call) .43 13 4.5 1 timeout 900   12000 7100 0 false(unreach-call) 54   1300 560 1 timeout 910   13000 6900 0 false(unreach-call) 13 240 120 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) .49  35 4.4  1 false(unreach-call) .39 35 3.6 1 false(unreach-call) 18   690 140 1 false(unreach-call) 11   610 90 1 false(unreach-call) 22   1000 200 1 false(unreach-call) 2.2  85 26   1 false(unreach-call) 2.6  31 40   0 false(unreach-call) 3.0  31 25   0 false(unreach-call) 230 3900 2600 1 false(unreach-call) .44 13 5.7 1 timeout 900   13000 6200 0 false(unreach-call) 46   1000 450 1 timeout 900   13000 6800 0 false(unreach-call) 14 240 110 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 2.0   68 21    1 false(unreach-call) 1.1  39 11   1 false(unreach-call) 34   1200 300 0 false(unreach-call) 13   610 120 0 false(unreach-call) 38   2600 370 1 false(unreach-call) 4.2  86 60   1 false(unreach-call) 4.2  31 34   0 false(unreach-call) 3.9  31 28   0 false(unreach-call) 230 3900 3100 0 false(unreach-call) .70 14 7.8 1 timeout 910   13000 7100 0 false(unreach-call) 150   2400 2000 0 timeout 900   13000 7300 0 false(unreach-call) 13 240 100 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 2.1   69 34    1 false(unreach-call) 1.0  39 11   1 false(unreach-call) 40   1500 340 1 false(unreach-call) 14   590 120 0 false(unreach-call) 33   2500 330 1 false(unreach-call) 4.9  85 64   1 false(unreach-call) 3.9  31 34   0 false(unreach-call) 3.7  31 35   0 false(unreach-call) 310 4000 3300 0 false(unreach-call) .72 14 10   1 timeout 900   11000 6800 0 false(unreach-call) 140   2200 1800 0 timeout 900   12000 6300 0 false(unreach-call) 14 240 110 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1.4   63 18    1 false(unreach-call) 1.0  40 14   1 timeout 900   1800 13000 0 timeout 900   4000 5900 0 false(unreach-call) 31   1700 280 1 false(unreach-call) 4.5  85 45   1 false(unreach-call) 4.3  31 35   0 false(unreach-call) 4.5  31 35   0 timeout (false(unreach-call)) 900 4700 11000 0 false(unreach-call) 1.1  15 14   1 timeout 910   12000 7000 0 false(unreach-call) 180   2800 2000 0 timeout 910   13000 6900 0 false(unreach-call) 13 250 100 1
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1.2   62 13    1 false(unreach-call) 1.1  38 12   1 timeout 900   3700 11000 0 timeout 900   8200 8200 0 false(unreach-call) 38   2500 340 1 false(unreach-call) 5.3  85 85   1 false(unreach-call) 3.9  31 37   0 false(unreach-call) 3.9  31 37   0 timeout 900 4500 11000 0 false(unreach-call) 1.4  15 14   1 timeout 900   13000 6600 0 false(unreach-call) 120   2000 1300 0 timeout 910   13000 5700 0 false(unreach-call) 13 240 98 1
seq-mthreaded/pals_floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     3200 10000    0 error (42) 870    1300 4800   0 timeout 910   7700 8700 0 timeout 900   4200 5300 0 timeout 900   6300 10000 0 unknown 890    220 12000   0 timeout 900    3500 9800   0 timeout 900    3400 9900   0 timeout 910 4500 12000 0 false(unreach-call) 22    47 260   1 timeout 900   13000 7700 0 timeout 900   4000 13000 0 timeout 900   13000 7400 0 false(unreach-call) 66 240 730 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 3.9   140 50    1 false(unreach-call) 1.7  45 21   1 timeout 900   6100 9500 0 timeout 910   11000 6800 0 false(unreach-call) 180   4100 1700 1 false(unreach-call) 15    97 190   1 false(unreach-call) 7.5  41 79   0 false(unreach-call) 7.7  37 65   0 timeout 900 4500 11000 0 false(unreach-call) 100    1100 1200   1 timeout 900   14000 6600 0 timeout 900   5200 12000 0 timeout 900   13000 5900 0 false(unreach-call) 18 250 150 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 3.4   130 39    1 false(unreach-call) 1.8  46 24   1 timeout 900   4600 9100 0 timeout 910   9800 11000 0 false(unreach-call) 140   3900 1400 1 false(unreach-call) 22    97 300   1 false(unreach-call) 8.4  39 57   0 false(unreach-call) 7.3  37 63   0 timeout 900 4600 12000 0 false(unreach-call) 100    1100 1100   1 timeout 900   13000 5400 0 timeout 900   4600 10000 0 timeout 910   13000 6200 0 false(unreach-call) 19 250 160 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 3.3   120 42    1 false(unreach-call) 1.8  46 22   1 timeout 900   4500 6700 0 timeout 900   8400 7800 0 false(unreach-call) 160   2400 2200 1 false(unreach-call) 11    100 140   1 false(unreach-call) 9.1  35 66   0 false(unreach-call) 7.4  34 81   0 timeout 900 4700 12000 0 false(unreach-call) 25    150 340   1 timeout 910   13000 6200 0 false(unreach-call) 690   3900 11000 0 timeout 910   14000 5800 0 false(unreach-call) 18 250 160 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 2.8   120 36    1 false(unreach-call) 1.8  47 22   1 timeout 900   5300 7400 0 timeout 900   8300 8100 0 false(unreach-call) 160   2600 1400 1 false(unreach-call) 13    98 180   1 false(unreach-call) 7.9  35 80   0 false(unreach-call) 9.1  36 59   0 timeout 900 4700 11000 0 false(unreach-call) 26    140 310   1 timeout 900   11000 6600 0 timeout 900   2800 11000 0 timeout 910   11000 6700 0 false(unreach-call) 19 250 160 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 67     240 860    1 false(unreach-call) 1.8  46 20   1 timeout 900   4600 6300 0 timeout 900   8100 9100 0 false(unreach-call) 170   2500 1700 1 false(unreach-call) 17    99 220   1 false(unreach-call) 11    40 97   0 false(unreach-call) 11    38 85   0 timeout 900 4600 14000 0 false(unreach-call) 45    270 540   1 timeout 910   13000 5500 0 timeout 900   5200 11000 0 timeout 900   14000 5500 0 false(unreach-call) 18 250 150 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 90     280 1100    1 false(unreach-call) 1.8  46 21   1 timeout 900   6600 12000 0 timeout 900   8200 7700 0 false(unreach-call) 180   2300 2000 1 false(unreach-call) 23    98 280   1 false(unreach-call) 11    42 110   0 false(unreach-call) 9.9  38 96   0 timeout 900 4500 10000 0 false(unreach-call) 45    240 530   1 timeout 910   11000 6300 0 timeout 900   5200 12000 0 timeout 900   12000 6100 0 false(unreach-call) 41 250 480 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 4.1   140 56    1 false(unreach-call) 1.9  46 21   1 timeout 900   4700 9000 0 timeout 900   8200 7600 0 false(unreach-call) 190   3000 2000 1 false(unreach-call) 19    98 260   1 false(unreach-call) 12    41 86   0 false(unreach-call) 10    39 86   0 timeout 900 4500 11000 0 false(unreach-call) 96    510 1200   1 timeout 900   14000 5400 0 timeout 900   5200 13000 0 timeout 900   13000 6300 0 false(unreach-call) 18 250 150 1
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 3.3   130 44    1 false(unreach-call) 1.8  49 21   1 timeout 900   4500 6800 0 timeout 900   8100 9200 0 false(unreach-call) 220   2100 2400 1 false(unreach-call) 28    98 410   1 false(unreach-call) 11    42 73   0 false(unreach-call) 11    41 83   0 timeout 900 4600 11000 0 false(unreach-call) 95    480 1100   1 timeout 910   14000 7000 0 timeout 900   3600 12000 0 timeout 900   13000 6700 0 false(unreach-call) 19 250 150 1
seq-mthreaded/pals_floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     2600 11000    0 error (42) 870    830 6900   0 timeout 900   4000 7300 0 timeout 900   8300 8200 0 timeout 900   4400 7500 0 unknown 890    150 12000   0 timeout 900    780 11000   0 timeout 900    770 12000   0 timeout 900 4700 8900 0 timeout (timeout) 900    1700 11000   0 timeout 900   13000 7800 0 timeout 900   4700 11000 0 timeout 900   13000 8300 0 false(unreach-call) 480 250 7100 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 12     300 140    1 false(unreach-call) 9.7  80 120   1 timeout 900   7600 9100 0 timeout 900   4400 11000 0 false(unreach-call) 290   4400 2600 1 false(unreach-call) 60    150 760   1 false(unreach-call) 21    66 200   0 false(unreach-call) 23    63 140   0 timeout 900 4700 12000 0 timeout (timeout) 900    3100 9500   0 timeout 910   13000 6100 0 timeout 900   5300 10000 0 timeout 900   13000 5500 0 false(unreach-call) 31 310 280 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 11     290 130    1 false(unreach-call) 10    89 130   1 timeout 900   7400 8700 0 timeout 900   3900 11000 0 false(unreach-call) 330   4200 2900 1 false(unreach-call) 98    150 1100   1 false(unreach-call) 25    66 220   0 false(unreach-call) 22    63 170   0 timeout 900 4600 13000 0 timeout (timeout) 900    3200 8400   0 timeout 910   14000 5000 0 timeout 900   5200 11000 0 timeout 900   13000 5300 0 false(unreach-call) 33 300 300 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 9.9   270 130    1 false(unreach-call) 5.0  61 64   1 timeout 900   7500 8800 0 timeout 900   10000 7400 0 false(unreach-call) 180   3300 2200 1 false(unreach-call) 47    140 650   1 false(unreach-call) 22    60 150   0 false(unreach-call) 21    58 160   0 timeout 900 4400 11000 0 false(unreach-call) 880    2700 8700   1 timeout 910   13000 6200 0 timeout 900   5300 11000 0 timeout 900   13000 6800 0 false(unreach-call) 33 330 310 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 8.5   260 93    1 false(unreach-call) 5.1  61 61   1 timeout 900   8300 10000 0 timeout 900   10000 8100 0 false(unreach-call) 180   3200 2000 1 false(unreach-call) 75    130 960   1 false(unreach-call) 23    60 170   0 false(unreach-call) 20    57 180   0 timeout 900 4600 11000 0 false(unreach-call) 540    2500 4200   1 timeout 910   14000 5500 0 timeout 900   5200 12000 0 timeout 900   13000 5600 0 false(unreach-call) 34 320 310 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 900     660 11000    0 false(unreach-call) 10    80 130   1 timeout 910   7800 8000 0 timeout 900   10000 7700 0 false(unreach-call) 210   2400 2000 1 false(unreach-call) 65    130 870   1 false(unreach-call) 29    69 200   0 false(unreach-call) 28    66 210   0 timeout 900 4700 12000 0 false(unreach-call) 650    2600 4700   1 timeout 910   13000 6700 0 timeout 900   5400 13000 0 timeout 900   14000 6300 0 false(unreach-call) 33 330 320 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900     660 11000    0 false(unreach-call) 11    91 130   1 timeout 900   7400 10000 0 timeout 900   10000 8300 0 false(unreach-call) 300   4200 2900 1 false(unreach-call) 110    150 1200   1 false(unreach-call) 27    69 210   0 false(unreach-call) 25    66 190   0 timeout 900 4500 11000 0 timeout (timeout) 900    2700 7100   0 timeout 900   14000 5400 0 timeout 900   5300 14000 0 timeout 910   14000 5600 0 timeout 900 310 11000 0
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 13     300 150    1 false(unreach-call) 10    80 140   1 timeout 900   7500 10000 0 timeout 900   10000 8800 0 false(unreach-call) 460   4700 4800 1 false(unreach-call) 91    170 1300   1 false(unreach-call) 22    67 180   0 false(unreach-call) 22    65 160   0 timeout 900 4400 10000 0 timeout (timeout) 900    2800 6900   0 timeout 910   13000 6300 0 timeout 900   5100 12000 0 timeout 910   14000 6800 0 false(unreach-call) 33 320 310 1
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 12     290 140    1 false(unreach-call) 12    92 160   1 timeout 900   7600 9100 0 timeout 900   10000 8100 0 false(unreach-call) 440   4700 4000 1 false(unreach-call) 150    180 2100   1 false(unreach-call) 24    67 180   0 false(unreach-call) 21    64 210   0 timeout 900 4600 12000 0 timeout (timeout) 900    2800 7800   0 timeout 910   14000 6300 0 timeout 900   5300 13000 0 timeout 910   13000 4700 0 false(unreach-call) 34 320 310 1
seq-mthreaded/pals_floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     560 8600    0 error (42) 870    200 9700   0 timeout 900   7400 9700 0 timeout 900   10000 7600 0 timeout 900   5400 7600 0 unknown 890    230 9700   0 timeout 900    140 9900   0 timeout 900    140 13000   0 timeout 900 4600 12000 0 timeout (timeout) 900    2700 6900   0 timeout 900   13000 5300 0 timeout 900   5300 11000 0 timeout 910   13000 4800 0 timeout 900 310 11000 0
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) .68  37 8.6  1 false(unreach-call) .85 37 8.5 1 timeout 900   8900 9100 0 timeout 910   11000 9800 0 false(unreach-call) 22   530 210 1 false(unreach-call) 4.2  81 54   1 false(unreach-call) 3.0  30 25   1 false(unreach-call) 3.3  29 27   1 false(unreach-call) 330 4000 4100 1 false(unreach-call) .33 12 4.5 1 timeout 900   11000 9800 0 error (7) 97   1300 1200 0 timeout 900   7600 11000 0 false(unreach-call) 11 230 79 1
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) .58  35 6.4  1 false(unreach-call) .85 36 10   1 timeout 900   9200 10000 0 timeout 900   4500 10000 0 false(unreach-call) 16   490 160 1 false(unreach-call) 5.9  80 76   1 false(unreach-call) 3.4  29 24   1 false(unreach-call) 3.1  29 25   1 false(unreach-call) 200 3800 2200 1 false(unreach-call) .36 13 3.9 1 timeout 900   12000 8400 0 error (7) 65   1100 680 0 timeout 900   8000 10000 0 false(unreach-call) 11 230 86 1
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) .65  39 7.7  1 false(unreach-call) .86 34 8.5 1 timeout 900   6000 8600 0 timeout 900   4900 10000 0 false(unreach-call) 220   890 2600 1 false(unreach-call) 4.2  80 42   1 false(unreach-call) 2.8  30 29   1 false(unreach-call) 2.9  29 29   1 false(unreach-call) 35 1300 270 1 false(unreach-call) .28 12 3.5 1 timeout 900   7700 12000 0 error (7) 87   2400 860 0 timeout 900   8500 11000 0 false(unreach-call) 11 230 83 1
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) .62  38 8.2  1 false(unreach-call) .89 35 10   1 timeout 910   6800 9100 0 timeout 900   4400 14000 0 false(unreach-call) 27   570 340 1 false(unreach-call) 5.8  80 70   1 false(unreach-call) 2.8  30 26   1 false(unreach-call) 3.2  30 24   1 false(unreach-call) 25 950 180 1 false(unreach-call) .29 12 3.4 1 timeout 910   13000 8100 0 false(unreach-call) 56   1200 540 1 timeout 900   9700 9900 0 false(unreach-call) 11 230 86 1
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1.9   56 26    1 false(unreach-call) 1.7  38 23   1 timeout 900   9400 9900 0 timeout 910   9500 9700 0 false(unreach-call) 240   1100 2800 1 false(unreach-call) 7.4  83 98   1 false(unreach-call) 5.1  30 39   1 false(unreach-call) 5.3  30 43   1 false(unreach-call) 280 4000 3400 0 false(unreach-call) .68 14 7.4 1 timeout 900   11000 7600 0 timeout 900   7900 12000 0 timeout 900   12000 8900 0 false(unreach-call) 12 230 110 1
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1.7   53 22    1 false(unreach-call) 1.9  41 24   1 timeout 900   4200 8200 0 timeout 900   4900 11000 0 false(unreach-call) 240   1100 2700 1 false(unreach-call) 11    83 120   1 false(unreach-call) 6.2  30 53   1 false(unreach-call) 5.4  30 46   1 timeout 910 4500 11000 0 false(unreach-call) .67 14 9.3 1 timeout 900   13000 7200 0 timeout 900   6800 13000 0 timeout 900   11000 9200 0 false(unreach-call) 13 240 93 1
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1.7   57 23    1 false(unreach-call) 1.7  38 23   1 timeout 900   7700 9500 0 timeout 900   5900 10000 0 false(unreach-call) 230   1000 2700 1 false(unreach-call) 11    85 150   1 false(unreach-call) 5.4  31 41   1 false(unreach-call) 5.1  31 43   1 false(unreach-call) 120 3800 1200 1 false(unreach-call) .40 13 5.0 1 timeout 900   11000 7500 0 timeout 900   6900 14000 0 timeout 900   11000 7700 0 false(unreach-call) 12 240 94 1
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 1.7   54 22    1 false(unreach-call) 1.9  40 23   1 timeout 900   9700 8800 0 timeout 900   4800 11000 0 false(unreach-call) 230   1500 3300 1 false(unreach-call) 11    82 150   1 false(unreach-call) 4.9  30 35   1 false(unreach-call) 4.5  30 45   1 false(unreach-call) 30 1700 260 1 false(unreach-call) .39 13 5.3 1 timeout 900   13000 7600 0 timeout 900   6500 15000 0 timeout 910   13000 7600 0 false(unreach-call) 12 230 87 1
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 6.6   92 83    1 false(unreach-call) 2.1  41 20   1 timeout 900   9600 7600 0 timeout 900   4800 9600 0 false(unreach-call) 250   2000 3200 1 false(unreach-call) 23    86 310   1 false(unreach-call) 8.8  34 70   1 false(unreach-call) 8.1  33 71   1 timeout 900 4400 11000 0 false(unreach-call) 2.2  19 25   1 timeout 900   12000 7100 0 timeout 900   5400 12000 0 timeout 900   13000 7300 0 false(unreach-call) 13 240 97 1
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 7.0   91 97    1 false(unreach-call) 2.1  42 25   1 timeout 900   9300 9000 0 timeout 900   4800 12000 0 false(unreach-call) 260   1800 3300 1 false(unreach-call) 23    87 320   1 false(unreach-call) 9.1  33 99   1 false(unreach-call) 9.4  35 73   1 timeout 900 4600 11000 0 false(unreach-call) 2.5  19 31   1 timeout 910   14000 6000 0 timeout 900   5300 13000 0 timeout 910   13000 6700 0 false(unreach-call) 12 240 110 1
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 9.0   93 110    1 false(unreach-call) 2.1  41 23   1 timeout 900   6000 8600 0 timeout 900   7100 9200 0 false(unreach-call) 260   2500 2800 1 false(unreach-call) 22    87 250   1 false(unreach-call) 6.6  32 75   1 false(unreach-call) 8.1  32 74   1 false(unreach-call) 160 3800 2000 1 false(unreach-call) .93 15 7.4 1 timeout 910   13000 5200 0 timeout 900   6500 14000 0 timeout 900   13000 8600 0 false(unreach-call) 13 240 100 1
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 7.3   93 110    1 false(unreach-call) 2.1  42 23   1 timeout 900   4500 6500 0 timeout 900   8700 9300 0 false(unreach-call) 260   2100 2800 1 false(unreach-call) 23    85 300   1 false(unreach-call) 8.0  35 67   1 false(unreach-call) 7.8  32 65   1 timeout 900 4700 12000 0 false(unreach-call) .96 15 8.3 1 timeout 900   12000 7000 0 timeout 900   6300 12000 0 timeout 900   10000 7100 0 false(unreach-call) 13 230 97 1
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 35     180 390    1 false(unreach-call) 2.3  48 28   1 timeout 900   6700 10000 0 timeout 900   9800 9600 0 false(unreach-call) 310   4200 2900 1 false(unreach-call) 46    91 690   1 false(unreach-call) 13    41 130   1 false(unreach-call) 14    41 130   1 timeout 900 4600 12000 0 false(unreach-call) 6.0  34 73   1 timeout 910   14000 7700 0 timeout 900   5800 15000 0 timeout 900   13000 5600 0 false(unreach-call) 14 240 100 1
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 43     190 420    1 false(unreach-call) 2.5  47 27   1 timeout 900   4900 6900 0 timeout 900   8900 8300 0 false(unreach-call) 330   4200 4000 1 false(unreach-call) 51    88 620   1 false(unreach-call) 13    42 130   1 false(unreach-call) 12    40 100   1 timeout 900 4400 13000 0 false(unreach-call) 7.2  37 100   1 timeout 900   13000 5100 0 timeout 900   6500 14000 0 timeout 910   14000 5200 0 false(unreach-call) 14 240 97 1
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 38     180 500    1 false(unreach-call) 2.4  45 26   1 timeout 900   5300 5500 0 timeout 900   9700 9200 0 false(unreach-call) 350   4300 4400 1 false(unreach-call) 27    88 340   1 false(unreach-call) 13    40 120   1 false(unreach-call) 13    40 100   1 false(unreach-call) 680 4300 8800 1 false(unreach-call) 1.7  21 24   1 timeout 900   14000 7900 0 timeout 900   8200 11000 0 timeout 910   13000 6200 0 false(unreach-call) 15 240 120 1
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 38     180 490    1 false(unreach-call) 2.3  45 25   1 timeout 900   4800 6600 0 timeout 900   4000 4500 0 false(unreach-call) 350   4300 3900 1 false(unreach-call) 48    90 680   1 false(unreach-call) 13    42 120   1 false(unreach-call) 12    38 110   1 false(unreach-call) 88 3700 890 1 false(unreach-call) 1.7  21 25   1 timeout 910   13000 5000 0 timeout 900   6400 14000 0 timeout 910   13000 5400 0 false(unreach-call) 13 240 110 1
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) .59  36 6.8  1 false(unreach-call) .82 37 9.1 1 timeout 900   6500 12000 0 false(unreach-call) 58   2000 540 1 false(unreach-call) 11   470 93 1 false(unreach-call) 4.0  79 46   1 false(unreach-call) 3.0  29 22   1 false(unreach-call) 3.2  29 24   1 false(unreach-call) 75 3700 750 1 false(unreach-call) .37 12 4.1 1 timeout 900   5900 12000 0 false(unreach-call) 560   2000 7200 1 timeout 900   5400 11000 0 false(unreach-call) 11 240 78 1
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) .53  35 5.7  1 false(unreach-call) .83 36 8.2 1 timeout 900   8300 7500 0 false(unreach-call) 86   2300 1000 1 false(unreach-call) 170   830 2500 1 false(unreach-call) 6.1  79 78   1 false(unreach-call) 3.2  29 28   1 false(unreach-call) 2.9  29 29   1 false(unreach-call) 85 3700 980 1 false(unreach-call) .35 12 3.9 1 timeout 900   5500 11000 0 timeout 900   1600 11000 0 timeout 900   7000 10000 0 false(unreach-call) 11 230 84 1
seq-mthreaded/pals_lcr.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     2500 11000    0 false(unreach-call) 460    2300 4600   1 timeout 900   10000 8500 0 true 780   3900 9200 -32 timeout 900   6200 8700 0 unknown 900    200 13000   0 timeout 900    1200 11000   0 timeout 900    1200 11000   0 true 140 3800 1400 -32 false(unreach-call) .90 15 11   1 timeout 900   5500 11000 0 timeout 900   2200 11000 0 timeout 900   5000 12000 0 false(unreach-call) 210 240 2500 1
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 1.1   52 15    1 false(unreach-call) 1.6  37 18   1 timeout 910   7400 11000 0 timeout 900   5400 11000 0 false(unreach-call) 230   810 2300 1 false(unreach-call) 11    81 130   1 false(unreach-call) 5.0  30 38   1 false(unreach-call) 4.9  30 44   1 false(unreach-call) 480 4100 6800 1 false(unreach-call) .97 13 12   1 timeout 900   10000 8000 0 timeout 900   1800 11000 0 timeout 900   8500 9600 0 false(unreach-call) 12 240 96 1
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1.0   45 12    1 false(unreach-call) 1.7  38 17   1 timeout 900   10000 8500 0 timeout 900   5000 11000 0 false(unreach-call) 220   810 2400 1 false(unreach-call) 12    80 170   1 false(unreach-call) 5.1  30 42   1 false(unreach-call) 4.8  30 35   1 false(unreach-call) 670 4300 8800 1 false(unreach-call) 1.0  13 12   1 timeout 900   13000 6900 0 timeout 900   2000 11000 0 timeout 900   8900 9100 0 false(unreach-call) 12 230 85 1
seq-mthreaded/pals_lcr.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     2100 10000    0 error (42) 870    900 8300   0 timeout 910   10000 7800 0 timeout 900   8800 9300 0 timeout 900   6000 7900 0 unknown 890    210 13000   0 timeout 900    740 11000   0 timeout 900    740 11000   0 false(unreach-call) 70 3600 730 0 false(unreach-call) 3.1  20 39   1 timeout 900   13000 7200 0 timeout 900   1200 10000 0 timeout 900   8200 12000 0 timeout 900 230 11000 0
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 2.1   71 25    1 false(unreach-call) 1.8  39 20   1 timeout 900   5700 6700 0 timeout 910   8400 9200 0 false(unreach-call) 240   1100 3100 1 false(unreach-call) 21    83 300   1 false(unreach-call) 7.2  30 65   1 false(unreach-call) 7.6  30 63   1 timeout 900 4100 13000 0 false(unreach-call) 4.8  17 53   1 timeout 910   11000 7900 0 timeout 900   1800 12000 0 timeout 910   10000 8900 0 false(unreach-call) 12 240 97 1
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 2.3   76 32    1 false(unreach-call) 1.8  42 21   1 timeout 900   5500 7600 0 timeout 900   4100 6000 0 false(unreach-call) 240   1300 2800 1 false(unreach-call) 24    83 320   1 false(unreach-call) 8.0  30 65   1 false(unreach-call) 6.9  30 68   1 timeout 900 3900 12000 0 false(unreach-call) 5.2  16 58   1 timeout 900   13000 8400 0 timeout 900   2000 11000 0 timeout 910   9000 9700 0 false(unreach-call) 12 240 100 1
seq-mthreaded/pals_lcr.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     1300 10000    0 error (42) 870    1100 6100   0 timeout 900   4400 5600 0 timeout 900   8200 9000 0 timeout 900   4900 8600 0 unknown 890    200 11000   0 timeout 900    490 11000   0 timeout 900    500 12000   0 timeout 900 4100 12000 0 false(unreach-call) 13    36 180   1 timeout 910   13000 7700 0 timeout 900   2400 12000 0 timeout 900   9100 9500 0 timeout 900 240 13000 0
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals_true-termination.c false(unreach-call) 4.5   97 58    1 false(unreach-call) 2.0  44 18   1 timeout 900   9500 8900 0 timeout 900   8100 9500 0 false(unreach-call) 260   1400 3000 1 false(unreach-call) 45    86 580   1 false(unreach-call) 11    36 92   1 false(unreach-call) 11    36 130   1 timeout 900 4100 13000 0 false(unreach-call) 18    29 190   1 timeout 910   13000 8100 0 timeout 900   1900 11000 0 timeout 900   8800 9500 0 false(unreach-call) 14 250 110 1
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 3.9   87 48    1 false(unreach-call) 2.0  44 26   1 timeout 900   7200 7000 0 timeout 900   7500 10000 0 false(unreach-call) 260   1900 3200 1 false(unreach-call) 51    85 640   1 false(unreach-call) 12    35 88   1 false(unreach-call) 11    35 97   1 timeout 900 4100 11000 0 false(unreach-call) 19    28 210   1 timeout 900   12000 8800 0 timeout 900   2300 12000 0 timeout 900   10000 10000 0 false(unreach-call) 13 250 100 1
seq-mthreaded/pals_lcr.6_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     380 10000    0 error (42) 870    990 7900   0 timeout 900   7700 7100 0 timeout 910   8200 8600 0 timeout 900   4700 9400 0 unknown 890    150 10000   0 timeout 900    350 11000   0 timeout 900    340 11000   0 timeout 900 4100 12000 0 false(unreach-call) 48    77 600   1 timeout 910   13000 7600 0 timeout 900   3000 12000 0 timeout 900   8400 8900 0 timeout 900 240 12000 0
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals_true-termination.c false(unreach-call) 10     150 130    1 false(unreach-call) 5.0  47 59   1 timeout 900   6600 6800 0 timeout 910   9600 8800 0 false(unreach-call) 300   2000 3700 1 false(unreach-call) 100    110 1300   1 false(unreach-call) 16    41 190   1 false(unreach-call) 17    43 160   1 timeout 900 4100 14000 0 false(unreach-call) 63    68 780   1 timeout 910   13000 6800 0 timeout 900   4400 13000 0 timeout 910   11000 8300 0 false(unreach-call) 15 240 100 1
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 9.1   120 140    1 false(unreach-call) 5.1  53 58   1 timeout 900   8500 7900 0 timeout 900   8300 8600 0 false(unreach-call) 290   1900 3300 1 false(unreach-call) 110    110 1400   1 false(unreach-call) 18    42 150   1 false(unreach-call) 13    41 210   1 timeout 900 4300 13000 0 false(unreach-call) 62    64 780   1 timeout 910   12000 7300 0 timeout 900   2200 11000 0 timeout 900   10000 8100 0 false(unreach-call) 25 240 250 1
seq-mthreaded/pals_lcr.7_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     380 13000    0 error (42) 870    560 7000   0 timeout 900   7600 7100 0 timeout 900   8600 11000 0 timeout 900   4500 9500 0 unknown 890    150 12000   0 timeout 900    250 11000   0 timeout 900    240 12000   0 timeout 900 4300 11000 0 false(unreach-call) 210    210 2600   1 timeout 900   13000 7700 0 timeout 900   2800 10000 0 timeout 900   8700 9100 0 timeout 900 240 9500 0
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals_true-termination.c false(unreach-call) 18     170 220    1 false(unreach-call) 6.3  55 83   1 timeout 900   6600 11000 0 timeout 900   4400 7500 0 false(unreach-call) 350   3400 3900 1 false(unreach-call) 54    110 620   1 false(unreach-call) 26    51 280   1 false(unreach-call) 26    51 310   1 timeout 900 4200 11000 0 false(unreach-call) 210    180 2200   1 timeout 900   13000 6700 0 timeout 900   3600 12000 0 timeout 900   13000 7100 0 false(unreach-call) 16 240 130 1
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 20     200 250    1 false(unreach-call) 5.7  56 72   1 timeout 900   6600 8600 0 timeout 900   8500 8700 0 false(unreach-call) 360   3900 3700 1 false(unreach-call) 180    130 2700   1 false(unreach-call) 27    53 240   1 false(unreach-call) 27    51 240   1 timeout 900 4100 11000 0 false(unreach-call) 210    190 2900   1 timeout 910   13000 8200 0 timeout 900   2200 11000 0 timeout 900   9300 8800 0 false(unreach-call) 27 230 270 1
seq-mthreaded/pals_lcr.8_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     410 9700    0 error (42) 870    620 8000   0 timeout 910   8400 9900 0 timeout 900   4500 5500 0 timeout 900   4300 10000 0 unknown 890    140 11000   0 timeout 900    210 11000   0 timeout 900    200 11000   0 timeout 900 4100 12000 0 timeout (timeout) 900    590 9700   0 timeout 900   13000 7100 0 timeout 900   2000 10000 0 timeout 900   12000 6300 0 timeout 900 240 12000 0
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1.3   62 19    1 false(unreach-call) 1.1  40 11   1 timeout 900   3200 4300 0 timeout 900   4300 5500 0 false(unreach-call) 85   3900 930 1 false(unreach-call) 4.6  87 65   1 false(unreach-call) 3.4  31 27   0 false(unreach-call) 3.1  31 22   0 false(unreach-call) 140 3900 1500 0 false(unreach-call) .92 16 13   1 timeout 910   13000 6200 0 false(unreach-call) 260   3200 3500 1 timeout 900   13000 7500 0 false(unreach-call) 14 240 110 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 1.1   60 13    1 false(unreach-call) 1.1  38 11   1 timeout 900   3800 3800 0 false(unreach-call) 490   4100 3800 0 false(unreach-call) 100   3900 1100 1 false(unreach-call) 6.0  86 84   1 false(unreach-call) 3.3  31 28   0 false(unreach-call) 2.9  31 27   0 false(unreach-call) 110 3800 1300 0 false(unreach-call) .91 16 13   1 timeout 910   13000 6200 0 false(unreach-call) 170   2400 1900 1 timeout 910   13000 6700 0 false(unreach-call) 14 240 110 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) .56  40 7.3  1 false(unreach-call) .38 35 3.5 1 false(unreach-call) 18   840 150 0 false(unreach-call) 12   610 95 1 false(unreach-call) 24   1300 190 1 false(unreach-call) 3.3  86 42   1 false(unreach-call) 3.4  31 25   0 false(unreach-call) 2.9  31 24   0 false(unreach-call) 190 3900 2300 1 false(unreach-call) .46 13 5.4 1 timeout 900   13000 6200 0 false(unreach-call) 60   1400 690 1 timeout 910   13000 6900 0 false(unreach-call) 14 240 110 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) .50  37 5.8  1 false(unreach-call) .37 35 3.6 1 false(unreach-call) 21   850 150 1 false(unreach-call) 12   590 110 1 false(unreach-call) 23   1300 190 1 false(unreach-call) 2.6  86 31   1 false(unreach-call) 3.2  31 29   0 false(unreach-call) 2.8  31 30   0 false(unreach-call) 93 3800 1100 1 false(unreach-call) .46 13 5.5 1 timeout 910   14000 6000 0 false(unreach-call) 51   1300 470 1 timeout 900   13000 5600 0 false(unreach-call) 14 240 110 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1.8   69 24    1 false(unreach-call) 1.1  39 12   1 timeout 900   5800 9600 0 false(unreach-call) 15   610 130 0 false(unreach-call) 110   3900 1000 1 false(unreach-call) 5.1  86 71   1 false(unreach-call) 4.2  31 35   0 false(unreach-call) 4.6  31 33   0 false(unreach-call) 380 4200 5100 1 false(unreach-call) .76 14 9.4 1 timeout 910   13000 6500 0 false(unreach-call) 180   2800 2400 0 timeout 910   14000 7900 0 false(unreach-call) 14 240 110 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 1.7   67 22    1 false(unreach-call) 1.1  39 12   1 false(unreach-call) 570   6500 5200 1 false(unreach-call) 13   610 100 0 false(unreach-call) 110   3900 970 1 false(unreach-call) 5.8  86 74   1 false(unreach-call) 4.7  31 34   0 false(unreach-call) 4.1  31 47   0 false(unreach-call) 190 4000 2500 0 false(unreach-call) .87 14 11   1 timeout 900   13000 6200 0 false(unreach-call) 220   2800 3000 1 timeout 900   13000 6300 0 false(unreach-call) 14 240 120 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals_true-termination.c false(unreach-call) 1.3   63 16    1 false(unreach-call) 1.1  39 13   1 timeout 900   7200 11000 0 timeout 900   4000 6500 0 false(unreach-call) 110   3900 1000 1 false(unreach-call) 5.1  87 66   1 false(unreach-call) 4.4  31 29   0 false(unreach-call) 4.4  31 33   0 false(unreach-call) 460 4200 5300 1 false(unreach-call) 1.2  15 15   1 timeout 910   13000 6600 0 false(unreach-call) 200   3000 2300 1 timeout 910   13000 7400 0 false(unreach-call) 14 240 100 1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 1.1   61 14    1 false(unreach-call) 1.1  38 10   1 timeout 900   4200 12000 0 timeout 900   5600 7200 0 false(unreach-call) 79   3900 850 1 false(unreach-call) 5.8  86 80   1 false(unreach-call) 4.0  31 34   0 false(unreach-call) 4.2  31 34   0 timeout 900 4600 11000 0 false(unreach-call) 1.5  15 15   1 timeout 900   13000 5500 0 false(unreach-call) 180   2300 2300 1 timeout 910   13000 6100 0 false(unreach-call) 14 240 120 1
seq-mthreaded/pals_opt-floodmax.3_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     3300 11000    0 error (42) 870    1500 4800   0 timeout 900   6600 6900 0 timeout 900   7100 8400 0 timeout 900   6300 8900 0 unknown 890    240 10000   0 timeout 900    3300 9500   0 timeout 900    3300 11000   0 timeout 900 4600 11000 0 false(unreach-call) 24    49 310   1 timeout 900   12000 7000 0 timeout 900   6100 14000 0 timeout 910   14000 7000 0 false(unreach-call) 93 230 1100 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 3.7   140 52    1 false(unreach-call) 2.0  46 23   1 timeout 900   4700 10000 0 timeout 910   8100 8700 0 false(unreach-call) 150   3900 1400 1 false(unreach-call) 17    100 250   1 false(unreach-call) 8.2  41 79   0 false(unreach-call) 7.8  39 77   0 timeout 900 4700 13000 0 false(unreach-call) 130    1200 1600   1 timeout 910   14000 5900 0 timeout 900   4400 15000 0 timeout 910   13000 6100 0 false(unreach-call) 18 240 140 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 3.2   130 40    1 false(unreach-call) 1.9  47 22   1 timeout 900   5100 7800 0 timeout 900   7500 9700 0 false(unreach-call) 140   4000 1200 1 false(unreach-call) 25    99 350   1 false(unreach-call) 9.0  41 68   0 false(unreach-call) 7.9  39 64   0 timeout 900 4600 10000 0 false(unreach-call) 130    1200 1400   1 timeout 910   12000 6300 0 timeout 900   6300 12000 0 timeout 900   13000 5800 0 false(unreach-call) 19 250 180 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 3.1   130 38    1 false(unreach-call) 2.0  49 25   1 timeout 900   4200 7000 0 timeout 910   8200 9200 0 false(unreach-call) 160   2600 1700 1 false(unreach-call) 14    100 180   1 false(unreach-call) 8.3  36 66   0 false(unreach-call) 8.5  36 73   0 timeout 900 4700 10000 0 false(unreach-call) 28    160 380   1 timeout 900   13000 7200 0 false(unreach-call) 660   4900 9800 0 timeout 900   13000 7000 0 false(unreach-call) 18 250 150 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 2.7   120 30    1 false(unreach-call) 2.0  47 22   1 timeout 900   5700 7000 0 timeout 900   8200 7400 0 false(unreach-call) 170   2400 1600 1 false(unreach-call) 14    100 200   1 false(unreach-call) 9.9  36 81   0 false(unreach-call) 7.8  35 65   0 timeout 910 4800 12000 0 false(unreach-call) 28    160 370   1 timeout 900   13000 6600 0 timeout 900   3100 12000 0 timeout 910   12000 5700 0 false(unreach-call) 20 260 150 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 62     230 860    1 false(unreach-call) 1.9  47 29   1 timeout 900   4700 7200 0 timeout 900   8400 9700 0 false(unreach-call) 170   3800 1700 1 false(unreach-call) 19    100 290   1 false(unreach-call) 10    43 100   0 false(unreach-call) 12    39 76   0 timeout 900 4600 14000 0 false(unreach-call) 49    260 660   1 timeout 910   13000 6800 0 timeout 900   4700 13000 0 timeout 900   13000 6600 0 false(unreach-call) 19 250 160 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c false(unreach-call) 73     260 870    1 false(unreach-call) 2.0  47 24   1 timeout 900   4000 6500 0 timeout 900   8200 8900 0 false(unreach-call) 160   3900 1700 1 false(unreach-call) 25    100 320   1 false(unreach-call) 11    43 85   0 false(unreach-call) 10    39 89   0 timeout 900 4500 11000 0 false(unreach-call) 48    250 550   1 timeout 900   13000 5600 0 timeout 900   4700 11000 0 timeout 910   13000 6300 0 false(unreach-call) 28 250 290 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals_true-termination.c false(unreach-call) 4.0   140 53    1 false(unreach-call) 2.0  47 23   1 timeout 900   4200 7500 0 timeout 910   8200 8600 0 false(unreach-call) 230   2800 2600 1 false(unreach-call) 25    100 310   1 false(unreach-call) 11    41 85   0 false(unreach-call) 11    42 78   0 timeout 900 4600 11000 0 false(unreach-call) 95    450 1100   1 timeout 900   13000 6000 0 timeout 900   5200 11000 0 timeout 910   13000 7700 0 false(unreach-call) 18 240 150 1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 3.6   130 40    1 false(unreach-call) 2.2  47 28   1 timeout 900   4000 6900 0 timeout 900   8500 7900 0 false(unreach-call) 290   3000 2200 1 false(unreach-call) 25    100 290   1 false(unreach-call) 11    43 86   0 false(unreach-call) 9.8  41 79   0 timeout 900 4600 9600 0 false(unreach-call) 110    490 1200   1 timeout 910   14000 5400 0 timeout 900   4900 11000 0 timeout 910   14000 5100 0 false(unreach-call) 20 250 170 1
seq-mthreaded/pals_opt-floodmax.4_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     3000 11000    0 error (42) 870    1100 7400   0 timeout 900   4600 8100 0 timeout 900   8400 8500 0 timeout 900   4700 7600 0 unknown 890    160 13000   0 timeout 900    800 11000   0 timeout 900    790 13000   0 timeout 900 4600 11000 0 timeout (timeout) 900    1600 10000   0 timeout 900   12000 6200 0 timeout 900   5300 13000 0 timeout 900   13000 6800 0 false(unreach-call) 630 250 8200 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 11     290 140    1 false(unreach-call) 11    85 150   1 timeout 910   7500 10000 0 timeout 900   4700 10000 0 false(unreach-call) 410   4800 3100 1 false(unreach-call) 70    140 1100   1 false(unreach-call) 20    68 180   0 false(unreach-call) 18    68 130   0 timeout 900 4800 11000 0 timeout (timeout) 900    3400 7400   0 timeout 900   13000 6500 0 timeout 900   5000 12000 0 timeout 910   13000 6400 0 false(unreach-call) 34 330 290 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c false(unreach-call) 9.7   280 87    1 false(unreach-call) 11    97 130   1 timeout 900   5400 7600 0 timeout 900   4500 11000 0 false(unreach-call) 420   4500 3400 1 false(unreach-call) 94    160 1100   1 false(unreach-call) 19    71 170   0 false(unreach-call) 18    67 160   0 timeout 900 4800 11000 0 timeout (timeout) 900    3300 9700   0 timeout 910   14000 4600 0 timeout 900   5100 13000 0 timeout 910   14000 4800 0 false(unreach-call) 36 320 340 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 8.9   270 95    1 false(unreach-call) 5.5  63 58   1 timeout 900   6900 9800 0 timeout 900   10000 7800 0 false(unreach-call) 220   2400 2600 1 false(unreach-call) 50    140 750   1 false(unreach-call) 21    62 160   0 false(unreach-call) 20    59 130   0 timeout 900 4500 11000 0 timeout (timeout) 900    2800 7100   0 timeout 910   13000 6400 0 timeout 900   5300 12000 0 timeout 900   14000 6700 0 false(unreach-call) 34 330 300 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c false(unreach-call) 7.7   260 86    1 false(unreach-call) 5.5  65 62   1 timeout 910   8300 9600 0 timeout 900   10000 9400 0 false(unreach-call) 250   3700 2500 1 false(unreach-call) 68    130 800   1 false(unreach-call) 21    62 200   0 false(unreach-call) 18    59 220   0 timeout 900 5100 11000 0 timeout (timeout) 900    2600 7000   0 timeout 910   14000 4400 0 timeout 900   5100 12000 0 timeout 910   14000 4700 0 false(unreach-call) 36 320 390 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals_true-termination.c timeout 900     660 8900    0 false(unreach-call) 11    85 140   1 timeout 900   6500 9000 0 timeout 900   10000 6800 0 false(unreach-call) 210   2900 2600 1 false(unreach-call) 58    140 780   1 false(unreach-call) 24    71 190   0 false(unreach-call) 23    68 170   0 timeout 900 4800 10000 0 timeout (timeout) 900    2900 6900   0 timeout 910   13000 6500 0 timeout 900   5300 12000 0 timeout 900   14000 5700 0 false(unreach-call) 34 330 310 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 900     660 13000    0 false(unreach-call) 12    98 160   1 timeout 900   7500 9000 0 timeout 900   10000 6900 0 false(unreach-call) 440   4700 4300 1 false(unreach-call) 99    160 1400   1 false(unreach-call) 24    72 200   0 false(unreach-call) 23    67 230   0 timeout 900 4800 9700 0 timeout (timeout) 900    2700 7700   0 timeout 900   14000 4300 0 timeout 900   5000 11000 0 timeout 900   14000 4900 0 timeout 900 320 11000 0
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals_true-termination.c false(unreach-call) 12     300 140    1 false(unreach-call) 12    88 150   1 timeout 910   6700 10000 0 timeout 900   10000 7300 0 false(unreach-call) 440   3900 3900 1 false(unreach-call) 110    180 1400   1 false(unreach-call) 25    71 220   0 false(unreach-call) 21    68 250   0 timeout 900 4700 11000 0 timeout (timeout) 900    2700 6900   0 timeout 910   12000 6300 0 timeout 900   5300 13000 0 timeout 900   13000 6400 0 false(unreach-call) 34 330 340 1
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c false(unreach-call) 10     290 110    1 false(unreach-call) 12    99 150   1 timeout 900   6300 7600 0 timeout 900   10000 8200 0 false(unreach-call) 480   4800 4500 1 false(unreach-call) 140    180 1800   1 false(unreach-call) 23    71 270   0 false(unreach-call) 22    68 210   0 timeout 900 4700 10000 0 timeout (timeout) 900    2700 6300   0 timeout 910   14000 4700 0 timeout 900   5000 11000 0 timeout 900   13000 5600 0 false(unreach-call) 37 310 360 1
seq-mthreaded/pals_opt-floodmax.5_overflow_false-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     630 8400    0 error (42) 870    200 11000   0 timeout 910   7900 8100 0 timeout 900   10000 8000 0 timeout 900   5400 7500 0 unknown 890    220 9800   0 timeout 900    140 11000   0 timeout 900    140 11000   0 timeout 900 4800 8900 0 timeout (timeout) 900    2700 6500   0 timeout 900   13000 5100 0 timeout 900   5000 11000 0 timeout 910   13000 5400 0 timeout 900 330 12000 0
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c error (134) .92  120 7.5  0 error (1) 870    1500 7200   0 error 150   3500 1700 0 unknown 100   3900 1200 0 timeout 910   14000 6300 0 unknown 890    520 11000   0 false(unreach-call) 81    470 830   0 false(unreach-call) 36    240 370   0 timeout 900 4200 11000 0 timeout (timeout) 900    500 10000   0 timeout 900   2900 9600 0 timeout 900   4400 9600 0 timeout 900   5400 11000 0 timeout 900 1400 7300 0
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c error (134) 7.7   610 64    0 error (1) 880    5000 4600   0 timeout 900   4100 11000 0 timeout 900   4100 11000 0 out of memory 310   15000 4000 0 unknown 890    6200 9300   0 timeout 900    2100 8400   0 timeout 900    2000 8400   0 timeout 900 4800 9000 0 timeout (timeout) 900    1300 9700   0 timeout 900   4900 11000 0 timeout 900   5400 11000 0 timeout 900   7000 12000 0 timeout 900 5400 5900 0
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c error (134) 1.0   87 7.0  0 error (1) 870    1500 5800   0 false(unreach-call) 110   3900 1100 0 false(unreach-call) 210   3000 2200 0 timeout 910   15000 7000 0 unknown 890    520 10000   0 false(unreach-call) 56    300 580   0 false(unreach-call) 41    220 370   0 timeout 900 4200 11000 0 timeout (timeout) 900    500 14000   0 timeout 900   4700 12000 0 timeout 900   4700 11000 0 timeout 900   5400 13000 0 timeout 900 1400 6900 0
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c error (134) 12     450 71    0 error (1) 870    5000 4900   0 timeout 900   4100 11000 0 timeout 900   4200 12000 0 out of memory 310   15000 3500 0 unknown 900    6200 8000   0 timeout 900    2100 8200   0 timeout 900    2000 9300   0 timeout 900 4700 9800 0 timeout (timeout) 900    1300 9000   0 timeout 900   6000 10000 0 timeout 900   5400 12000 0 timeout 900   6000 11000 0 timeout 900 5400 6800 0
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c error (134) 1.1   110 11    0 error (1) 870    1500 5900   0 error 160   3900 1600 0 unknown 110   4900 1300 0 out of memory 880   15000 6700 0 unknown 890    690 8700   0 false(unreach-call) 89    330 920   0 false(unreach-call) 140    500 1300   0 timeout 900 4100 11000 0 timeout (timeout) 900    520 11000   0 timeout 900   4900 12000 0 timeout 900   6500 11000 0 timeout 900   5300 12000 0 timeout 900 1500 7300 0
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c error (134) 10     580 70    0 error (1) 870    5800 6100   0 timeout 900   4200 12000 0 timeout 900   4100 12000 0 timeout 910   2900 11000 0 unknown 900    7300 8400   0 timeout 900    2500 9600   0 timeout 900    2500 8200   0 timeout 910 4000 11000 0 timeout (timeout) 900    1900 12000   0 timeout 900   5900 11000 0 timeout 900   5500 8600 0 timeout 900   6500 10000 0 timeout 900 6400 8600 0
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c error (134) 1.1   110 7.4  0 error (1) 870    1500 6700   0 error 100   4000 1000 0 unknown 100   4300 1100 0 timeout 910   15000 6400 0 unknown 890    670 10000   0 false(unreach-call) 78    370 740   0 false(unreach-call) 84    360 910   0 timeout 900 4000 8900 0 timeout (timeout) 900    500 9900   0 timeout 900   5900 9300 0 timeout 900   4700 12000 0 timeout 900   5400 11000 0 timeout 900 1500 7600 0
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c error (134) 9.7   570 68    0 error (1) 880    5700 4600   0 timeout 900   4200 10000 0 timeout 900   4200 10000 0 timeout 900   2600 9400 0 unknown 890    7100 8000   0 timeout 900    2300 7900   0 timeout 900    2300 12000   0 timeout 910 4200 11000 0 timeout (timeout) 900    1900 8000   0 timeout 900   5700 11000 0 timeout 900   5600 10000 0 timeout 900   6400 9700 0 timeout 900 6200 9200 0
seq-mthreaded/rekcba_ctm_false-unreach-call.2_true-termination.c timeout 900     11000 6800    0 false(unreach-call) 180    1000 1500   0 timeout 900   4500 10000 0 timeout 900   4200 12000 0 timeout 920   9500 7100 0 unknown 890    3700 6200   0 timeout 900    900 10000   0 timeout 900    900 8200   0 timeout 910 3500 8300 0 timeout (timeout) 900    780 10000   0 timeout 900   6300 12000 0 timeout 900   7200 10000 0 timeout 900   5900 10000 0 false(unreach-call) 310 950 3000 0
seq-mthreaded/rekcba_ctm_false-unreach-call.3_true-termination.c out of memory 47     15000 450    0 error (1) 870    2100 6200   0 timeout 900   4200 11000 0 timeout 900   4200 12000 0 timeout 960   12000 7900 0 unknown 890    7500 6800   0 timeout 900    1100 11000   0 timeout 900    1000 11000   0 timeout 910 4800 8900 0 timeout (timeout) 900    1500 9200   0 timeout 900   7900 11000 0 timeout 900   5800 10000 0 timeout 900   6300 12000 0 timeout 900 2000 8700 0
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c error (134) .48  74 5.3  0 error (1) 870    1400 6300   0 error 49   2100 440 0 unknown 41   2100 400 0 timeout 910   12000 6700 0 unknown 890    1500 9600   0 timeout 900    1200 11000   0 timeout 900    1200 6100   0 timeout 900 4000 11000 0 timeout (timeout) 900    500 9400   0 timeout 900   6200 9500 0 timeout 900   4200 11000 0 timeout 900   6400 9500 0 timeout 900 1500 6100 0
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c error (134) 2.4   380 19    0 error (1) 870    4700 4500   0 timeout 900   4200 11000 0 timeout 900   4100 11000 0 out of memory 550   15000 4300 0 unknown 900    12000 7800   0 timeout 900    2900 8800   0 timeout 900    2800 7700   0 timeout 900 4300 11000 0 timeout (timeout) 900    1100 9000   0 timeout 900   4900 12000 0 timeout 900   5800 10000 0 timeout 900   5700 12000 0 timeout 900 5000 8400 0
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c error (134) .70  64 5.5  0 error (1) 870    1500 6700   0 error 56   2400 480 0 unknown 47   2600 380 0 timeout 910   12000 7600 0 unknown 890    1900 9800   0 timeout 900    1200 11000   0 timeout 900    1200 6800   0 timeout 900 4200 10000 0 timeout (timeout) 900    510 12000   0 timeout 900   3100 11000 0 timeout 900   3000 11000 0 timeout 900   5300 12000 0 timeout 900 1500 8000 0
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c error (134) 6.1   350 51    0 error (1) 870    4800 4600   0 timeout 900   4300 11000 0 timeout 900   4300 12000 0 out of memory 560   15000 5500 0 out of memory 17    15000 150   0 timeout 900    1800 10000   0 timeout 900    1900 9100   0 timeout 900 4600 9200 0 timeout (timeout) 900    1100 11000   0 timeout 900   4800 14000 0 timeout 900   5400 10000 0 timeout 900   7000 11000 0 timeout 900 5200 5800 0
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c error (134) 1.7   250 17    0 error (1) 870    1500 6900   0 false(unreach-call) 28   800 250 0 unknown 48   1400 510 0 timeout 910   11000 7500 0 false(unreach-call) 620    2000 6800   0 false(unreach-call) 32    160 330   0 false(unreach-call) 28    160 260   0 timeout 900 4200 11000 0 timeout (timeout) 900    1300 7600   0 timeout 900   3300 10000 0 timeout 900   2000 13000 0 timeout 900   4800 12000 0 timeout 900 1600 9600 0
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c error (134) 13     940 98    0 error (1) 870    4600 7900   0 false(unreach-call) 26   810 240 0 unknown 48   1300 470 0 out of memory 420   15000 3800 0 unknown 890    5700 8000   0 timeout 900    1600 9200   0 timeout 900    1800 9300   0 timeout 910 4200 11000 0 false(unreach-call) 770    990 9600   0 timeout 900   3000 11000 0 timeout 900   3100 9700 0 timeout 910   8600 9500 0 timeout 900 4600 7200 0
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c error (134) 2.0   190 16    0 error (1) 870    1500 5900   0 false(unreach-call) 29   840 230 0 unknown 47   1400 500 0 timeout 910   10000 6500 0 false(unreach-call) 640    1800 6700   0 false(unreach-call) 31    160 300   0 false(unreach-call) 27    160 260   0 timeout 900 4000 10000 0 timeout (timeout) 900    1500 9900   0 timeout 900   2400 11000 0 timeout 900   4700 11000 0 timeout 900   4800 12000 0 timeout 900 1600 8000 0
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c error (134) 20     680 120    0 error (1) 880    4600 5200   0 false(unreach-call) 25   810 220 0 unknown 47   1400 590 0 out of memory 410   15000 3200 0 unknown 890    5900 12000   0 timeout 900    1600 8000   0 timeout 900    1700 8300   0 timeout 910 4300 12000 0 timeout (timeout) 900    1300 10000   0 timeout 900   3500 11000 0 timeout 900   4600 11000 0 timeout 900   4800 13000 0 timeout 900 4600 6700 0
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c error (134) 2.3   240 21    0 error (1) 870    1600 6700   0 false(unreach-call) 43   1200 420 0 unknown 84   3000 780 0 timeout 930   10000 5900 0 false(unreach-call) 600    2900 5800   0 false(unreach-call) 40    210 440   0 false(unreach-call) 44    210 360   0 timeout 900 4500 11000 0 timeout (timeout) 900    1100 9500   0 timeout 900   3700 11000 0 timeout 900   5100 12000 0 timeout 900   5300 9700 0 timeout 900 1600 11000 0
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c error (134) 19     880 110    0 error (1) 870    5800 5900   0 false(unreach-call) 44   1300 400 0 unknown 81   3000 790 0 out of memory 430   15000 3100 0 unknown 900    13000 7700   0 timeout 900    2000 9000   0 timeout 900    2000 7500   0 timeout (exception) 910 4000 6900 0 timeout (timeout) 900    1100 9600   0 timeout 900   4600 11000 0 timeout 900   4900 12000 0 timeout 900   5100 11000 0 timeout 900 4900 7500 0
seq-mthreaded/rekh_ctm_false-unreach-call.2_true-termination.c false(unreach-call) 280     7000 2100    1 false(unreach-call) 16    460 170   0 false(unreach-call) 53   1400 500 0 unknown 35   1800 240 0 timeout 900   8000 7400 0 unknown 890    2600 11000   0 false(unreach-call) 110    300 960   0 false(unreach-call) 92    300 980   0 timeout 910 4600 11000 0 timeout (timeout) 900    1000 13000   0 timeout 900   4900 11000 0 timeout 900   4600 13000 0 timeout 900   4700 13000 0 false(unreach-call) 59 430 680 0
seq-mthreaded/rekh_ctm_false-unreach-call.3_true-termination.c timeout 900     11000 6100    0 false(unreach-call) 33    710 370   0 false(unreach-call) 39   1200 370 0 unknown 48   1500 590 0 timeout 910   8100 6100 0 unknown 890    4000 6500   0 false(unreach-call) 250    460 2600   0 false(unreach-call) 230    440 2700   0 timeout (exception) 910 4800 8900 0 timeout (timeout) 900    1000 12000   0 timeout 900   5100 11000 0 timeout 900   4500 11000 0 timeout 900   4700 12000 0 false(unreach-call) 110 640 1100 0
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c error (134) .80  130 7.0  0 error (1) 870    1400 7000   0 false(unreach-call) 30   1000 250 0 unknown 57   1300 590 0 timeout 910   12000 7300 0 false(unreach-call) 740    4200 7900   0 false(unreach-call) 33    130 310   0 false(unreach-call) 38    130 410   0 timeout 900 3900 11000 0 unknown 22    74 300   0 timeout 900   5200 9300 0 timeout 900   5000 13000 0 timeout 900   4900 11000 0 timeout 900 1500 7500 0
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c error (134) 2.4   480 26    0 error (1) 870    4400 5200   0 false(unreach-call) 140   2900 1500 0 unknown 290   4200 2300 0 out of memory 530   15000 4900 0 out of memory 23    15000 190   0 false(unreach-call) 300    700 3000   0 false(unreach-call) 180    450 2000   0 timeout 900 4100 12000 0 timeout (timeout) 900    750 11000   0 timeout 900   5900 13000 0 timeout 900   4900 9500 0 timeout 900   5400 10000 0 timeout 900 4500 7300 0
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c error (134) 1.4   140 9.6  0 error (1) 870    1400 6800   0 false(unreach-call) 26   790 230 0 unknown 44   1300 460 0 timeout 910   10000 7000 0 unknown 890    4800 9700   0 false(unreach-call) 35    150 330   0 false(unreach-call) 82    160 1100   0 timeout 900 4000 11000 0 unknown 24    110 290   0 timeout 900   1600 12000 0 timeout 900   1600 12000 0 timeout 900   4700 9800 0 timeout 900 1500 7700 0
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c error (134) 10     520 63    0 error (1) 870    4400 5400   0 false(unreach-call) 26   780 230 0 unknown 45   1300 470 0 out of memory 420   15000 3500 0 out of memory 29    15000 270   0 false(unreach-call) 530    1200 5700   0 timeout 900    1300 12000   0 timeout 900 4300 9100 0 false(unreach-call) 100    140 1500   0 timeout 900   4700 11000 0 timeout 900   4700 12000 0 timeout 900   4300 11000 0 timeout 900 4500 6700 0
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c true 2.1   160 28    2 true 5.7  64 69   1 timeout 900   7100 8600 0 timeout 900   6100 8900 0 true 40   750 420 2 true 170    960 1900   2 true 1.4  35 16   2 true 1.7  36 20   2 timeout 920 5000 11000 0 timeout (timeout) 900    3400 6800   0 timeout 900   6400 13000 0 timeout 900   2000 11000 0 timeout 900   7500 10000 0 true 18 250 150 2
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     3300 10000    0 error (42) 870    1600 4000   0 timeout 900   7100 9000 0 timeout 900   6500 11000 0 true 31   730 330 1 unknown 900    410 13000   0 timeout 900    3200 10000   0 timeout 900    3200 9600   0 timeout 920 5500 11000 0 timeout (timeout) 900    4100 5700   0 timeout 900   6300 11000 0 timeout 900   1400 11000 0 timeout 900   7700 13000 0 timeout 900 240 12000 0
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 3.7   140 36    2 true 4.0  52 51   2 timeout 900   7400 11000 0 timeout 900   6500 9000 0 true 32   980 300 2 true 52    1100 500   2 true 1.4  34 17   2 true .21 29 2.7 2 timeout 900 4900 12000 0 timeout (timeout) 900    3100 5300   0 timeout 900   4700 12000 0 timeout 900   2400 14000 0 timeout 900   5900 13000 0 true 15 240 130 2
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c true 3.4   140 35    2 error (42) 870    1000 4400   0 timeout 910   7900 10000 0 timeout 900   7000 8900 0 true 31   1000 340 2 unknown 900    530 10000   0 timeout 900    2800 13000   0 timeout 900    2800 10000   0 timeout 900 4900 12000 0 timeout (timeout) 900    3000 6000   0 timeout 900   5000 13000 0 timeout 900   2200 13000 0 timeout 900   6300 11000 0 timeout 900 240 13000 0
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 4.1   94 51    2 true 3.8  40 52   2 timeout 900   7800 11000 0 timeout 900   4100 8100 0 true 270   3900 2900 2 true 300    4100 3300   2 true .64 29 8.6 2 true .98 29 13   2 timeout 900 4500 13000 0 true 1.9  16 23   2 timeout 900   13000 7000 0 timeout 900   5700 13000 0 timeout 910   13000 6900 0 true 15 250 120 2
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 4.4   77 60    2 error (42) 870    1400 4500   0 timeout 900   8200 8800 0 timeout 910   9900 7800 0 true 260   3500 2600 2 true 470    4000 5100   2 timeout 900    3500 8900   0 timeout 900    3500 9600   0 timeout 900 4500 11000 0 timeout (timeout) 900    210 8900   0 timeout 900   13000 6600 0 timeout 900   5800 12000 0 timeout 900   13000 5700 0 timeout 900 240 13000 0
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 240     410 3600    1 true 120    68 1500   1 timeout 900   5000 6900 0 timeout 900   8200 8100 0 timeout 900   4800 8900 0 timeout 900    2800 10000   0 true 29    50 390   1 true 43    52 530   1 timeout 900 4600 11000 0 timeout (timeout) 900    1400 7900   0 timeout 910   13000 5400 0 timeout 900   5200 12000 0 timeout 910   13000 5700 0 true 160 250 2200 1
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 370     430 4800    1 error (42) 870    1000 9100   0 timeout 900   4800 9900 0 timeout 910   8300 8200 0 timeout 900   4600 9100 0 unknown 890    98 15000   0 timeout 900    780 11000   0 timeout 900    790 11000   0 timeout 900 4600 12000 0 timeout (timeout) 900    1700 11000   0 timeout 900   13000 7300 0 timeout 900   5200 11000 0 timeout 900   13000 5300 0 timeout 900 240 11000 0
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 900     670 7600    0 error (42) 870    190 10000   0 timeout 900   5500 7100 0 timeout 900   10000 7400 0 timeout 900   5400 7900 0 unknown 890    230 11000   0 timeout 900    150 14000   0 timeout 900    150 11000   0 timeout 900 4600 12000 0 timeout (timeout) 900    2700 7800   0 timeout 900   13000 6300 0 timeout 900   5300 11000 0 timeout 900   13000 6600 0 timeout 900 320 12000 0
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     620 12000    0 error (42) 870    190 13000   0 timeout 900   5900 8300 0 timeout 900   10000 8300 0 timeout 900   5300 9300 0 unknown 890    240 12000   0 timeout 900    140 10000   0 timeout 900    140 11000   0 timeout 900 4500 14000 0 timeout (timeout) 900    2800 7500   0 timeout 910   13000 5600 0 timeout 900   3500 11000 0 timeout 910   14000 5100 0 timeout 900 320 13000 0
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 1.2   42 16    2 true 2.1  34 22   2 timeout 900   7400 9600 0 timeout 910   8500 7800 0 true 230   1000 2600 2 true 240    770 2500   2 true .37 28 3.7 2 true .51 28 5.9 2 true 540 4200 6900 2 true .32 12 3.6 2 timeout 900   11000 10000 0 timeout 900   7100 14000 0 timeout 900   7000 11000 0 true 12 230 110 2
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 3.5   47 45    2 error (42) 870    1300 6000   0 timeout 900   6800 8700 0 timeout 900   5300 10000 0 true 170   770 2000 2 true 260    960 2800   2 timeout 900    1100 12000   0 timeout 900    1100 10000   0 timeout 900 4500 13000 0 timeout (timeout) 900    270 12000   0 timeout 900   8600 9900 0 timeout 900   7300 11000 0 timeout 900   6900 11000 0 timeout 900 240 10000 0
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 8.0   87 99    2 true 4.5  38 54   2 timeout 910   11000 9400 0 timeout 900   9400 9200 0 true 260   1500 2900 2 true 270    1400 3200   2 true .74 28 10   2 true 1.1  28 12   2 false(unreach-call) 92 3800 1100 -16 true .74 15 9.2 2 timeout 900   11000 8300 0 timeout 900   5600 12000 0 timeout 900   11000 7900 0 true 32 230 350 2
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 25     93 330    2 error (42) 870    1400 9600   0 timeout 900   9900 7700 0 timeout 900   4800 9900 0 true 280   1800 3000 2 true 370    1400 4000   2 timeout 900    610 11000   0 timeout 900    600 12000   0 timeout 900 4500 12000 0 timeout (timeout) 900    530 14000   0 timeout 900   12000 8200 0 timeout 900   6800 11000 0 timeout 900   11000 7700 0 timeout 900 240 12000 0
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 52     180 640    2 true 36    54 490   2 timeout 900   8800 7700 0 timeout 900   5000 9600 0 true 460   4200 5500 2 true 410    4200 4100   2 true 2.4  32 31   2 true 3.5  33 41   2 timeout 900 4500 14000 0 true 3.5  25 47   2 timeout 910   13000 7500 0 timeout 900   5800 12000 0 timeout 900   13000 7000 0 true 100 240 1400 2
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 160     180 1900    2 error (42) 870    420 6800   0 timeout 900   8800 8400 0 timeout 900   5300 10000 0 true 590   4400 5900 2 timeout 900    3000 11000   0 timeout 900    300 12000   0 timeout 900    290 13000   0 timeout 900 4200 13000 0 timeout (timeout) 900    930 11000   0 timeout 910   14000 6500 0 error (7) 110   1700 1200 0 timeout 900   11000 7300 0 timeout 900 240 13000 0
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 300     280 4000    1 true 160    71 2500   1 timeout 900   4900 9300 0 timeout 910   10000 8600 0 timeout 900   4600 9200 0 timeout 900    4300 10000   0 true 7.1  41 86   2 true 12    42 150   1 timeout 900 4500 11000 0 true 21    80 270   1 timeout 910   13000 7100 0 timeout 900   5800 11000 0 timeout 910   13000 6700 0 true 410 230 5700 1
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c true 670     330 7800    1 error (42) 870    140 14000   0 timeout 900   6400 8300 0 timeout 900   9700 10000 0 timeout 900   4800 10000 0 unknown 890    160 12000   0 timeout 900    210 11000   0 timeout 900    210 11000   0 timeout 900 4400 13000 0 timeout (timeout) 900    1300 11000   0 timeout 910   13000 5100 0 timeout 900   7000 12000 0 timeout 910   13000 5800 0 timeout 900 240 10000 0
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true .79  40 10    2 true 1.7  37 17   2 timeout 900   6700 10000 0 true 220   2400 2500 2 true 19   500 180 2 true 220    790 2500   2 true .24 27 2.9 2 true .39 27 5.0 2 true 120 3700 1200 2 true .33 12 3.5 2 timeout 900   6000 10000 0 timeout 900   1700 11000 0 timeout 900   5000 14000 0 true 11 230 78 2
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 1.6   39 18    2 error (42) 870    2300 7300   0 timeout 900   9000 8200 0 true 670   3900 7900 2 true 12   470 110 2 true 190    830 2100   2 timeout 900    1200 11000   0 timeout 900    1200 11000   0 true 130 3800 1600 2 timeout (timeout) 900    110 13000   0 timeout 900   5900 13000 0 timeout 900   1500 12000 0 timeout 900   6100 11000 0 timeout 900 230 10000 0
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 2.4   56 27    2 true 2.7  36 35   2 timeout 900   11000 7600 0 timeout 900   7700 9700 0 true 230   1200 2500 2 true 240    880 2700   2 true .62 28 7.9 2 true .90 28 14   2 true 750 4300 8400 2 true .87 13 9.9 2 timeout 900   11000 8600 0 timeout 900   1600 12000 0 timeout 900   7900 10000 0 true 15 230 130 2
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 7.6   68 98    2 error (42) 870    950 8000   0 timeout 900   4800 7100 0 timeout 900   8700 8400 0 true 240   1000 2200 2 true 320    1000 3500   2 timeout 900    750 11000   0 timeout 900    750 13000   0 true 840 4500 9800 2 timeout (timeout) 900    200 12000   0 timeout 900   12000 8100 0 timeout 900   3500 11000 0 timeout 900   8300 9300 0 timeout 900 240 12000 0
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c true 11     120 130    2 true 5.1  40 58   2 timeout 900   7300 6600 0 timeout 900   9000 11000 0 true 260   1700 2900 2 true 290    1600 3100   2 true 1.3  29 15   2 true 1.8  29 27   2 timeout 900 4100 14000 0 true 5.2  19 62   2 timeout 900   13000 8400 0 timeout 900   1400 12000 0 timeout 900   9300 9200 0 true 40 240 450 2
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c true 23     120 290    2 error (42) 870    1100 6400   0 timeout 910   9600 9200 0 timeout 900   4100 6300 0 true 300   2000 3200 2 true 670    2300 7500   2 timeout 900    490 12000   0 timeout 900    500 11000   0 timeout 900 4100 12000 0 timeout (timeout) 900    380 11000   0 timeout 900   12000 8300 0 timeout 900   1700 12000 0 timeout 900   8600 9200 0 timeout 900 250 13000 0
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals_true-termination.c true 43     180 520    2 true 18    49 250   2 timeout 900   6400 5500 0 timeout 900   8100 10000 0 true 460   4200 5700 2 true 450    1800 5500   2 true 3.8  34 47   2 true 4.2  35 50   2 timeout 900 4000 12000 0 true 29    40 330   2 timeout 900   14000 7900 0 timeout 900   4200 11000 0 timeout 900   9000 8400 0 true 90 240 1200 2
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c true 91     190 1100    2 error (42) 870    490 6500   0 timeout 900   8100 8900 0 timeout 900   7900 9400 0 true 440   4100 4900 2 unknown 890    150 14000   0 timeout 900    350 8800   0 timeout 900    350 14000   0 timeout 900 4100 13000 0 timeout (timeout) 900    630 12000   0 timeout 900   12000 9800 0 timeout 900   1800 13000 0 timeout 900   8600 9400 0 timeout 900 250 11000 0
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals_true-termination.c true 140     220 2000    1 true 38    66 510   1 timeout 900   5800 7900 0 timeout 900   9800 9800 0 timeout 900   4600 9600 0 true 880    2800 9800   1 true 9.1  44 120   2 true 13    45 170   1 timeout 900 4000 13000 0 true 180    120 2100   1 timeout 900   13000 7700 0 timeout 900   1800 11000 0 timeout 910   12000 8000 0 true 140 240 1600 1
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c true 260     240 3300    2 error (42) 870    560 7100   0 timeout 900   6800 7800 0 timeout 900   8100 9300 0 timeout 900   4600 8800 0 unknown 890    170 11000   0 timeout 900    250 10000   0 timeout 900    250 11000   0 timeout 900 4100 12000 0 timeout (timeout) 900    860 10000   0 timeout 900   12000 7500 0 timeout 900   2000 10000 0 timeout 900   10000 11000 0 timeout 900 230 11000 0
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals_true-termination.c true 500     430 6100    1 true 85    81 1200   1 timeout 900   5300 11000 0 timeout 900   4500 5800 0 timeout 900   4600 9000 0 timeout 900    2600 11000   0 true 16    53 220   1 true 25    54 300   1 timeout 900 4100 13000 0 timeout (timeout) 900    450 8400   0 timeout 910   13000 6800 0 timeout 900   3600 11000 0 timeout 900   13000 8000 0 timeout 900 240 12000 0
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c true 720     340 9300    1 error (42) 870    630 7200   0 timeout 900   5300 9400 0 timeout 900   8600 8900 0 timeout 900   4700 10000 0 unknown 890    180 12000   0 timeout 900    210 14000   0 timeout 900    190 11000   0 timeout 900 4100 13000 0 timeout (timeout) 900    530 10000   0 timeout 910   13000 7700 0 timeout 900   1700 11000 0 timeout 910   11000 6900 0 timeout 900 240 11000 0
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals_true-termination.c true 3.1   85 38    2 true 2.6  41 36   2 timeout 900   7100 10000 0 timeout 900   4200 7000 0 true 330   4300 3200 2 true 350    3800 3600   2 true .71 29 8.2 2 true 1.0  30 16   2 timeout 900 4500 10000 0 true 1.8  17 20   2 timeout 900   13000 7200 0 error (7) 170   2400 2300 0 timeout 910   13000 6300 0 true 15 240 120 2
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c true 4.0   80 52    2 error (42) 870    1500 4500   0 timeout 900   4400 9800 0 timeout 910   5900 8700 0 true 330   4200 3400 2 true 390    4000 5000   2 timeout 900    3300 11000   0 timeout 900    3300 10000   0 timeout 910 4600 11000 0 timeout (timeout) 900    210 11000   0 timeout 900   13000 5900 0 timeout 900   5300 13000 0 timeout 910   13000 5400 0 timeout 900 240 11000 0
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals_true-termination.c true 270     350 3400    1 true 93    70 1100   1 timeout 900   5100 6900 0 timeout 900   8500 8600 0 timeout 900   4500 8900 0 timeout 900    3500 9500   0 true 29    56 340   1 true 42    56 480   1 timeout 900 4500 11000 0 timeout (timeout) 900    1500 8800   0 timeout 900   13000 6400 0 timeout 900   6500 12000 0 timeout 910   13000 6400 0 true 110 260 1200 1
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c true 310     360 3900    1 error (42) 870    1100 7100   0 timeout 900   4800 8200 0 timeout 900   8200 7900 0 timeout 900   4900 8700 0 unknown 890    100 12000   0 timeout 900    820 11000   0 timeout 900    840 10000   0 timeout 900 4600 11000 0 timeout (timeout) 900    1700 10000   0 timeout 900   14000 5500 0 timeout 900   5300 12000 0 timeout 910   13000 6200 0 timeout 900 260 10000 0
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals_true-termination.c timeout 900     700 9500    0 error (42) 870    190 13000   0 timeout 900   6700 8600 0 timeout 900   10000 8000 0 timeout 900   4900 8900 0 unknown 890    230 9500   0 timeout 900    140 10000   0 timeout 900    140 11000   0 timeout 900 4800 11000 0 timeout (timeout) 900    2800 8600   0 timeout 900   13000 6900 0 timeout 900   5200 12000 0 timeout 910   13000 6200 0 timeout 900 330 9500 0
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900     660 11000    0 error (42) 870    200 10000   0 timeout 900   6800 8400 0 timeout 900   10000 9300 0 timeout 900   5200 7200 0 unknown 890    230 10000   0 timeout 900    150 12000   0 timeout 900    140 11000   0 timeout 900 4800 11000 0 timeout (timeout) 900    2600 6000   0 timeout 900   14000 4800 0 timeout 900   5100 11000 0 timeout 910   14000 5100 0 timeout 900 320 13000 0
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c error (134) .80  84 7.0  0 error (1) 870    1500 6400   0 error 120   3800 1400 0 unknown 100   4100 1300 0 timeout 910   14000 6400 0 unknown 890    520 12000   0 true 73    280 960   1 true 69    250 950   1 timeout 900 4200 11000 0 timeout (timeout) 900    510 12000   0 timeout 900   2700 11000 0 timeout 900   4800 11000 0 timeout 900   5300 12000 0 true 200 4400 1900 1
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c error (134) 7.6   440 60    0 error (1) 870    5100 4000   0 timeout 900   4100 11000 0 timeout 900   4300 10000 0 out of memory 310   15000 3200 0 unknown 900    6200 11000   0 timeout 900    2300 12000   0 timeout 900    2300 7500   0 timeout 900 4600 10000 0 timeout (timeout) 900    1300 7800   0 timeout 900   5000 12000 0 timeout 900   5700 9900 0 timeout 900   6900 12000 0 timeout 900 5400 7900 0
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c error (134) 1.1   110 7.8  0 error (1) 870    1500 5900   0 error 100   4000 1100 0 unknown 100   4400 1100 0 out of memory 800   15000 5900 0 unknown 890    680 9700   0 false(unreach-call) 71    300 520   -16 false(unreach-call) 240    740 2300   -16 timeout 900 4200 10000 0 timeout (timeout) 900    510 8200   0 timeout 900   5900 9800 0 timeout 900   4600 10000 0 timeout 900   5300 13000 0 timeout 900 1500 9900 0
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c error (134) 10     570 74    0 error (1) 870    5700 4800   0 timeout 900   4200 12000 0 timeout 900   4500 11000 0 timeout 910   2400 7000 0 unknown 890    7400 9700   0 timeout 900    2100 9600   0 timeout 900    2200 9000   0 timeout 910 4500 9000 0 timeout (timeout) 900    1900 10000   0 timeout 900   5200 12000 0 timeout 900   6400 8300 0 timeout 900   6400 11000 0 timeout 900 6300 7800 0
seq-mthreaded/rekcba_ctm_true-unreach-call.1_true-termination.c timeout 900     11000 7800    0 error (1) 870    1100 4800   0 timeout 900   4700 12000 0 timeout 900   4300 12000 0 timeout 920   10000 8700 0 unknown 890    3900 6700   0 timeout 900    960 12000   0 timeout 900    950 11000   0 timeout 910 3600 9100 0 timeout (timeout) 900    780 9100   0 timeout 900   6300 9900 0 timeout 900   5000 13000 0 timeout 900   6200 11000 0 timeout 900 1000 8000 0
seq-mthreaded/rekcba_ctm_true-unreach-call.2_true-termination.c timeout 900     11000 8500    0 error (1) 870    1100 6600   0 timeout 900   4500 12000 0 timeout 900   4300 10000 0 timeout 930   9900 7100 0 unknown 890    3800 5800   0 timeout 900    1000 9000   0 timeout 900    1000 8700   0 timeout 910 3700 8900 0 timeout (timeout) 900    780 9400   0 timeout 900   7100 9400 0 timeout 900   6000 12000 0 timeout 900   6200 11000 0 timeout 900 1000 7900 0
seq-mthreaded/rekcba_ctm_true-unreach-call.3_true-termination.c out of memory 46     15000 490    0 error (1) 870    2200 6400   0 timeout 900   4200 13000 0 timeout 900   4200 11000 0 timeout 900   12000 8700 0 unknown 890    7600 7100   0 timeout 900    1100 11000   0 timeout 900    1100 12000   0 timeout 910 4900 8000 0 timeout (timeout) 900    1500 10000   0 timeout 900   7400 9300 0 timeout 900   5700 11000 0 timeout 900   6100 12000 0 timeout 900 2100 8800 0
seq-mthreaded/rekcba_ctm_true-unreach-call.4_true-termination.c out of memory 55     15000 490    0 error (1) 870    3500 6300   0 timeout 900   4300 10000 0 timeout 900   4100 11000 0 timeout 920   4800 11000 0 unknown 900    12000 6800   0 timeout 900    1400 11000   0 timeout 900    1400 11000   0 timeout 910 7500 7900 0 timeout (timeout) 900    2600 9500   0 timeout 900   6600 9800 0 timeout 900   6400 9200 0 timeout 900   6500 9500 0 timeout 900 3400 12000 0
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c error (134) .47  74 5.5  0 error (1) 870    1400 7700   0 error 51   2100 480 0 unknown 39   2000 360 0 timeout 900   12000 5600 0 unknown 890    1500 9000   0 timeout 900    1200 8500   0 timeout 900    1200 8000   0 timeout 900 4000 11000 0 timeout (timeout) 900    510 11000   0 timeout 900   5500 11000 0 timeout 900   4400 13000 0 timeout 900   5100 10000 0 true 180 4500 2000 1
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c error (134) 2.4   380 20    0 error (1) 870    4700 5400   0 timeout 900   4200 8700 0 timeout 900   4100 11000 0 out of memory 570   15000 5300 0 unknown 890    12000 8700   0 timeout 900    2600 7900   0 timeout 900    2600 8200   0 timeout 900 4500 10000 0 timeout (timeout) 900    1100 11000   0 timeout 900   5100 10000 0 timeout 900   5400 10000 0 timeout 900   5600 12000 0 witness invalid (true) 520 4900 3400 0
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c error (134) .59  76 5.6  0 error (1) 870    1400 6500   0 error 48   1900 440 0 timeout 900   6600 9100 0 timeout 910   12000 6800 0 unknown 890    1600 9700   0 timeout 900    1000 8700   0 timeout 900    1100 11000   0 timeout 900 4000 11000 0 timeout (timeout) 900    480 10000   0 timeout 900   2500 13000 0 timeout 900   4400 12000 0 timeout 900   4700 11000 0 true 190 4400 1700 1
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c error (134) 5.1   390 41    0 error (1) 870    5900 6100   0 timeout 900   4200 14000 0 timeout 900   6100 6000 0 out of memory 550   15000 4900 0 unknown 890    13000 8500   0 timeout 900    2000 9200   0 timeout 900    2000 8800   0 timeout 900 4800 10000 0 timeout (timeout) 900    1100 7700   0 timeout 900   5200 12000 0 timeout 900   5500 11000 0 timeout 900   5200 11000 0 witness invalid (true) 670 5100 4400 0
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c error (134) .70  64 4.9  0 error (1) 870    1400 6400   0 error 55   1900 540 0 unknown 48   2400 490 0 timeout 910   12000 6500 0 unknown 890    1900 9300   0 true 41    190 480   1 true 31    160 430   1 timeout 910 4200 10000 0 timeout (timeout) 900    520 13000   0 timeout 900   2900 13000 0 timeout 900   3300 10000 0 timeout 900   5300 11000 0 true 200 4500 2000 1
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c error (134) 6.3   350 48    0 error (1) 880    4800 4600   0 timeout 900   4300 10000 0 timeout 900   4300 10000 0 out of memory 560   15000 5400 0 out of memory 17    15000 130   0 timeout 900    1900 9000   0 timeout 900    1800 9300   0 timeout 900 4600 9200 0 timeout (timeout) 900    1100 9900   0 timeout 900   4800 13000 0 timeout 900   5400 11000 0 timeout 900   7000 9900 0 timeout 900 5200 5200 0
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c error (134) 1.5   180 13    0 error (1) 870    1500 6200   0 false(unreach-call) 26   830 260 -16 unknown 48   1400 580 0 timeout 900   10000 8200 0 timeout 900    5600 8900   0 true 16    160 180   1 true 19    170 250   1 timeout 900 4200 10000 0 timeout (timeout) 900    1000 8300   0 timeout 900   3100 11000 0 timeout 900   4700 11000 0 timeout 900   4700 11000 0 true 210 4300 2100 1
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c error (134) 12     660 82    0 error (1) 870    5500 6000   0 false(unreach-call) 25   820 230 -16 unknown 48   1400 480 0 out of memory 410   15000 3900 0 unknown 890    5700 8300   0 true 470    1000 5200   1 true 360    940 4600   1 timeout 910 4200 9600 0 timeout (timeout) 900    1100 11000   0 timeout 900   2000 11000 0 timeout 900   1300 12000 0 timeout 900   4800 12000 0 true 280 4600 2700 1
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c error (134) 2.4   240 19    0 error (1) 870    1500 6300   0 false(unreach-call) 44   1200 450 -16 unknown 83   3000 840 0 timeout 910   10000 7100 0 false(unreach-call) 640    2900 6700   -16 false(unreach-call) 75    210 620   -16 false(unreach-call) 80    210 620   -16 timeout 900 4600 11000 0 timeout (timeout) 900    1100 8000   0 timeout 900   4200 11000 0 timeout 900   4200 11000 0 timeout 900   5300 13000 0 timeout 900 1600 8400 0
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c error (134) 19     890 110    0 error (1) 870    4800 5600   0 false(unreach-call) 43   1200 390 -16 unknown 80   3000 820 0 out of memory 420   15000 3300 0 unknown 900    13000 8200   0 timeout 900    2200 9000   0 timeout 900    2200 7900   0 timeout (exception) 910 3700 8300 0 timeout (timeout) 900    1200 8900   0 timeout 900   4600 12000 0 timeout 900   4800 11000 0 timeout 900   5000 11000 0 timeout 900 4900 7400 0
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c error (134) 2.3   240 23    0 error (1) 870    1600 7300   0 false(unreach-call) 47   1400 410 -16 unknown 98   3400 910 0 timeout 900   10000 7100 0 false(unreach-call) 680    2900 6700   -16 false(unreach-call) 60    220 500   -16 false(unreach-call) 61    220 480   -16 timeout 900 4500 11000 0 timeout (timeout) 900    1000 9400   0 timeout 900   2200 10000 0 timeout 900   5100 13000 0 timeout 900   5300 12000 0 timeout 900 1600 7300 0
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c error (134) 18     890 140    0 error (1) 870    5900 7600   0 false(unreach-call) 44   1200 410 -16 unknown 100   3400 970 0 out of memory 430   15000 3700 0 unknown 900    13000 7300   0 timeout 900    2100 7700   0 timeout 900    2100 7900   0 timeout (exception) 910 3700 9200 0 timeout (timeout) 900    990 9500   0 timeout 900   4600 13000 0 timeout 900   5200 11000 0 timeout 900   5100 12000 0 timeout 900 4900 7000 0
seq-mthreaded/rekh_ctm_true-unreach-call.1_true-termination.c true 77     8100 560    1 true 32    480 330   1 false(unreach-call) 41   1300 410 -16 unknown 65   1800 540 0 timeout 920   8000 7100 0 unknown 890    2700 8200   0 true 41    310 490   1 true 39    310 580   1 timeout 910 4600 11000 0 timeout (timeout) 900    950 8900   0 timeout 900   4900 11000 0 timeout 900   4700 13000 0 timeout 900   4700 12000 0 true 210 4000 1800 1
seq-mthreaded/rekh_ctm_true-unreach-call.2_true-termination.c true 170     8000 1000    1 true 28    480 360   1 false(unreach-call) 53   1400 540 -16 unknown 37   1800 270 0 timeout 910   8100 6700 0 unknown 890    2600 9700   0 true 31    300 350   1 true 35    300 440   1 timeout 910 4600 11000 0 timeout (timeout) 900    990 10000   0 timeout 900   4900 13000 0 timeout 900   5100 13000 0 timeout 900   4700 10000 0 true 210 3900 2000 1
seq-mthreaded/rekh_ctm_true-unreach-call.3_true-termination.c true 170     12000 1200    1 true 59    730 660   1 false(unreach-call) 45   1200 360 -16 unknown 49   1500 490 0 timeout 900   8100 6700 0 unknown 890    4100 6900   0 true 94    430 1100   1 true 120    440 1400   1 timeout (exception) 910 4500 9000 0 timeout (timeout) 900    980 9700   0 timeout 900   4800 8100 0 timeout 900   4000 13000 0 timeout 900   4700 12000 0 true 240 1800 2400 1
seq-mthreaded/rekh_ctm_true-unreach-call.4_true-termination.c timeout 900     14000 8800    0 true 110    1000 1000   1 false(unreach-call) 45   1400 370 -16 unknown 68   1800 650 0 timeout 900   9000 6500 0 unknown 890    5200 6300   0 true 290    630 4100   1 true 280    660 2800   1 timeout (exception) 910 4900 9500 0 timeout (timeout) 900    1000 12000   0 timeout 900   4700 9600 0 timeout 900   5000 12000 0 timeout 900   4700 10000 0 true 270 1400 2500 1
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c error (134) .78  130 7.9  0 error (1) 870    1400 6100   0 false(unreach-call) 35   1100 260 -16 unknown 54   1300 470 0 timeout 900   12000 9800 0 timeout 900    5600 8500   0 true 15    120 180   1 true 14    130 210   1 timeout 900 3500 13000 0 unknown 22    74 250   0 timeout 900   5100 9400 0 timeout 900   5000 13000 0 timeout 900   5100 11000 0 true 180 4600 1700 1
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c error (134) 2.4   480 32    0 error (1) 870    5300 8000   0 false(unreach-call) 110   3100 1000 -16 unknown 260   4200 2000 0 out of memory 540   15000 5500 0 out of memory 22    15000 190   0 true 74    340 830   1 true 150    510 1800   1 timeout 900 4300 13000 0 timeout (timeout) 900    740 11000   0 timeout 900   6000 10000 0 timeout 900   4900 11000 0 timeout 900   5400 13000 0 true 300 4500 2800 1
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c error (134) 1.1   130 9.4  0 error (1) 870    1400 6200   0 false(unreach-call) 19   640 150 -16 unknown 36   1100 330 0 timeout 900   9100 8900 0 timeout 900    12000 11000   0 true 16    140 210   1 true 15    140 150   1 timeout 900 3900 13000 0 unknown 22    81 310   0 timeout 900   1800 13000 0 timeout 900   2700 10000 0 timeout 900   1800 13000 0 true 190 4700 2200 1
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c error (134) 7.2   490 50    0 error (1) 870    5300 5400   0 false(unreach-call) 19   610 160 -16 unknown 36   1100 360 0 out of memory 420   15000 3900 0 out of memory 23    15000 260   0 true 310    750 3300   1 true 440    740 4600   1 timeout 910 4500 10000 0 timeout (timeout) 900    720 13000   0 timeout 900   2000 11000 0 timeout 910   14000 4700 0 timeout 900   1800 11000 0 true 270 4500 2700 1
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c error (134) 1.4   140 11    0 error (1) 870    1400 7300   0 false(unreach-call) 25   800 240 -16 unknown 46   1300 460 0 timeout 910   10000 9600 0 timeout 900    11000 9000   0 true 17    150 210   1 true 15    150 200   1 timeout 900 3900 11000 0 unknown 24    110 310   0 timeout 900   1600 10000 0 timeout 900   3400 11000 0 timeout 900   4700 10000 0 true 190 4500 1900 1
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c error (134) 9.5   520 83    0 error (1) 870    4400 5800   0 false(unreach-call) 26   810 230 -16 unknown 45   1300 490 0 out of memory 420   15000 3600 0 out of memory 28    15000 270   0 true 120    440 1400   1 true 110    400 1300   1 timeout 900 4300 11000 0 timeout (timeout) 900    680 11000   0 timeout 900   4300 11000 0 timeout 900   4700 14000 0 timeout 900   4300 10000 0 true 270 4500 2500 1
seq-pthread/cs_fib_false-unreach-call.i false(unreach-call) 29     240 340    0 false(unreach-call) 2.9  71 36   0 false(unreach-call) 12   510 110 0 unknown 10   520 90 0 timeout 900   3100 6900 0 unknown 890    120 11000   0 unknown 37    61 550   0 unknown 28    63 390   0 timeout 900 3700 12000 0 timeout (timeout) 900    140 11000   0 timeout 900   2500 12000 0 timeout 900   4500 14000 0 error (7) 670   11000 4700 0 false(unreach-call) 18 260 160 0
seq-pthread/cs_fib_longer_false-unreach-call.i false(unreach-call) 77     280 740    0 false(unreach-call) 18    89 210   0 false(unreach-call) 13   530 110 0 unknown 10   550 84 0 timeout 900   2500 6900 0 unknown 890    160 11000   0 unknown 160    80 2000   0 unknown 180    82 2200   0 timeout 900 2800 11000 0 timeout (timeout) 900    180 11000   0 timeout 900   4300 11000 0 timeout 900   4500 12000 0 error (7) 580   13000 2900 0 false(unreach-call) 31 250 330 0
seq-pthread/cs_lazy_false-unreach-call_true-termination.i error (134) .14  26 1.3  0 false(unreach-call) .66 47 7.1 0 false(unreach-call) 18   550 150 0 unknown 10   520 89 0 false(unreach-call) 680   4500 4200 1 unknown 47    64 640   0 unknown .82 36 9.3 0 unknown .83 36 9.6 0 false(unreach-call) 50 2200 410 0 false(unreach-call) .34 12 3.5 0 timeout 900   2200 11000 0 timeout 900   1400 14000 0 timeout 900   4800 13000 0 false(unreach-call) 11 250 95 0
seq-pthread/cs_queue_false-unreach-call.i error (134) .22  31 1.9  0 false(unreach-call) 36    580 430   0 timeout 900   2900 9300 0 unknown 24   1300 210 0 timeout 900   5500 6300 0 unknown 890    640 13000   0 timeout 900    1900 9500   0 timeout 900    650 9300   0 timeout 900 4000 11000 0 unknown 9.6  25 110   0 timeout 900   3500 12000 0 timeout 900   3800 11000 0 error (7) 560   4900 7000 0 timeout 900 2100 10000 0
seq-pthread/cs_read_write_lock_false-unreach-call.i false(unreach-call) .85  99 8.5  1 false(unreach-call) 1.0  60 11   1 false(unreach-call) 22   710 190 0 unknown 13   550 110 0 timeout 900   4900 6100 0 false(unreach-call) 17    140 200   0 unknown 1.6  50 21   0 unknown 1.5  51 18   0 timeout 900 3800 12000 0 timeout (timeout) 900    310 13000   0 error (7) 530   3100 6300 0 timeout 900   2700 11000 0 error (7) 290   5200 3700 0 false(unreach-call) 12 250 100 0
seq-pthread/cs_stack_false-unreach-call.i error (134) .19  29 1.7  0 false(unreach-call) 1.2  69 14   0 false(unreach-call) 16   560 120 0 unknown 9.1 500 78 0 timeout 900   4900 6500 0 unknown 140    89 1700   0 unknown 15    83 200   0 unknown 2.8  56 35   0 timeout 900 4000 13000 0 timeout (timeout) 900    400 13000   0 error (7) 4.0 230 33 0 error (7) 4.1 230 34 0 error (7) 4.2 230 33 0 false(unreach-call) 21 250 190 0
seq-pthread/cs_stateful_false-unreach-call_true-termination.i error (134) .14  27 1.0  0 false(unreach-call) .68 44 8.3 0 error 18   550 160 0 unknown 11   510 80 0 timeout 900   4200 5800 0 unknown 44    65 560   0 unknown .55 35 7.6 0 unknown .53 35 6.7 0 timeout 900 4100 11000 0 false(unreach-call) 230    100 3200   0 timeout 900   3000 10000 0 timeout 900   1800 9600 0 error (7) 130   3500 1400 0 false(unreach-call) 11 250 95 0
seq-pthread/cs_dekker_true-unreach-call.i timeout 900     6800 5100    0 error (42) 870    420 11000   0 false(unreach-call) 19   590 180 -16 unknown 30   700 230 0 timeout 900   2800 6600 0 unknown 890    2800 10000   0 timeout 900    340 10000   0 timeout 900    400 9200   0 timeout 900 3600 12000 0 true 1.1  14 14   1 error (7) 120   3700 1500 0 timeout 900   3000 13000 0 timeout 900   6400 12000 0 timeout 900 260 12000 0
seq-pthread/cs_fib_longer_true-unreach-call.i true 180     630 1600    1 true 22    92 270   1 false(unreach-call) 22   640 200 -16 unknown 26   1300 240 0 timeout 900   3800 9500 0 unknown 890    430 12000   0 true 47    71 670   1 true 47    72 580   1 timeout 900 3200 13000 0 timeout (timeout) 900    220 12000   0 timeout 900   6000 14000 0 timeout 900   4600 9300 0 timeout 910   13000 4100 0 true 180 830 1800 1
seq-pthread/cs_fib_true-unreach-call.i true 50     420 470    1 true 8.4  73 99   1 false(unreach-call) 23   630 190 -16 unknown 22   1000 180 0 timeout 900   3500 11000 0 unknown 890    310 11000   0 true 33    62 400   1 true 33    63 410   1 timeout 900 4600 11000 0 timeout (timeout) 900    160 14000   0 timeout 900   13000 10000 0 timeout 900   4500 13000 0 timeout 900   13000 3500 0 true 130 850 1300 1
seq-pthread/cs_lamport_true-unreach-call.i timeout 900     5500 4900    0 error (42) 870    430 12000   0 false(unreach-call) 26   750 220 -16 unknown 32   710 280 0 timeout 900   2800 6300 0 unknown 890    430 8700   0 timeout 900    440 9800   0 timeout 900    430 7300   0 timeout 900 3600 12000 0 true .85 14 10   1 timeout 900   3000 8900 0 timeout 900   2700 12000 0 error (7) 240   5200 3200 0 true 180 950 1700 1
seq-pthread/cs_peterson_true-unreach-call.i timeout 900     12000 5000    0 error (42) 870    550 11000   0 false(unreach-call) 29   750 230 -16 unknown 34   660 260 0 timeout 900   3200 6400 0 true 120    220 1400   1 timeout 900    250 11000   0 timeout 900    280 11000   0 timeout 900 3100 11000 0 true .81 14 9.9 1 timeout 900   3400 12000 0 timeout 900   2900 11000 0 error (7) 270   5300 3200 0 true 81 930 720 1
seq-pthread/cs_queue_true-unreach-call.i error (134) .21  31 1.8  0 error (42) 870    2200 6600   0 timeout 900   6800 9700 0 unknown 270   6900 2100 0 timeout 900   6000 6200 0 unknown 900    610 11000   0 timeout 900    1900 12000   0 timeout 900    2500 9500   0 timeout 900 4200 11000 0 unknown 26    33 340   0 timeout 900   3800 10000 0 timeout 900   4800 11000 0 timeout 900   4900 11000 0 timeout 900 1600 12000 0
seq-pthread/cs_read_write_lock_true-unreach-call.i true .90  110 9.6  1 true 2.9  59 39   1 false(unreach-call) 69   880 590 -16 unknown 20   800 170 0 timeout 900   4900 9000 0 true 31    130 360   1 true 2.9  57 35   1 true 2.0  52 28   1 timeout 900 3800 13000 0 timeout (timeout) 900    350 9600   0 timeout 900   6400 9900 0 timeout 900   2900 8500 0 error (7) 430   4800 5200 0 true 110 1100 980 1
seq-pthread/cs_stack_true-unreach-call.i error (134) .17  29 1.6  0 true 7.1  150 84   1 false(unreach-call) 39   830 310 -16 unknown 15   630 110 0 timeout 900   5500 9200 0 unknown 150    150 1900   0 true 420    280 5400   1 true 370    250 4000   1 timeout 900 4200 12000 0 unknown 2.3  18 36   0 error (7) 4.1 230 34 0 error (7) 4.1 230 31 0 error (7) 4.1 220 34 0 true 120 1100 1000 1
seq-pthread/cs_stateful_true-unreach-call.i error (134) .16  27 1.0  0 true 1.8  44 23   1 false(unreach-call) 56   810 430 -16 unknown 20   730 150 0 timeout 900   4600 5900 0 unknown 48    120 680   0 true .94 36 13   1 true 1.3  39 18   1 timeout 900 4100 11000 0 true 230    110 3000   1 timeout 900   2100 10000 0 timeout 900   2200 15000 0 error (7) 180   4300 1800 0 true 100 950 930 1
seq-pthread/cs_sync_true-unreach-call.i error (134) .15  29 1.3  0 true 3.5  94 42   1 error 35   730 290 0 unknown 19   770 170 0 timeout 900   4300 10000 0 true 160    780 1400   1 true 6.4  75 83   1 true 7.3  100 87   1 timeout 900 4000 13000 0 timeout (timeout) 900    180 14000   0 timeout 900   1500 13000 0 timeout 900   2300 13000 0 error (7) 190   4300 1900 0 true 110 1100 890 1
seq-pthread/cs_szymanski_true-unreach-call.i timeout 900     7900 5100    0 error (42) 870    580 11000   0 false(unreach-call) 26   750 220 -16 unknown 28   640 230 0 timeout 900   3200 6400 0 unknown 890    570 7500   0 timeout 900    270 9700   0 timeout 900    320 9800   0 timeout 900 3000 12000 0 true .82 14 8.6 1 timeout 900   3100 10000 0 timeout 900   3000 11000 0 timeout 900   4900 12000 0 true 91 910 730 1
seq-pthread/cs_time_var_mutex_true-unreach-call.i error (134) .15  27 1.2  0 true 2.0  49 23   1 false(unreach-call) 47   660 370 -16 unknown 44   730 460 0 timeout 900   4200 6200 0 true 23    120 280   1 true 1.8  45 26   1 true 2.1  49 27   1 timeout 900 2500 11000 0 true 2.2  16 28   1 timeout 900   3500 12000 0 timeout 900   3000 14000 0 error (7) 330   6700 3500 0 true 100 910 780 1
../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
total 273 35000 240000 370000 143 273 99000 230000 750000 164 273 160000 1300000 1500000 -364 273 150000 1400000 1400000 10 273 120000 1300000 1100000 194 273 120000 840000 1400000 134 273 85000 140000 970000 79 273 86000 140000 970000 77 273 200000 1100000 2400000 -86 273 130000 290000 1300000 143 273 220000 2400000 2100000 42 273 220000 1100000 2900000 19 273 230000 2300000 2300000 13 273 110000 270000 1100000 180
    correct results 105 1700 19000 20000 128 137 1600 16000 15000 147 38 2600 77000 20000 43 25 2000 43000 18000 27 156 26000 340000 280000 186 143 22000 310000 270000 161 90 480 3800 4400 103 88 490 4300 4800 99 46 9500 140000 110000 54 126 12000 67000 110000 135 34 5700 120000 62000 41 19 3000 36000 39000 19 12 1400 25000 14000 13 139 22000 39000 150000 150
        correct true 23 710 2500 8800 46 10 80 420 1100 20 5 210 8700 1600 10 2 900 6300 10000 4 30 5600 57000 60000 60 18 5600 36000 63000 36 13 30 420 380 26 11 16 330 210 22 8 2500 24000 29000 16 9 44 170 510 18 7 920 21000 11000 14 0 1 23 850 200 2 11 360 2600 4300 22
        correct false 82 1000 17000 11000 82 127 1500 16000 14000 127 33 2300 68000 19000 33 23 1100 36000 8000 23 126 21000 280000 220000 126 125 17000 270000 210000 125 77 450 3400 4000 77 77 480 3900 4600 77 38 7100 120000 86000 38 117 12000 67000 100000 117 27 4800 100000 51000 27 19 3000 36000 39000 19 11 1300 24000 14000 11 128 22000 37000 150000 128
    correct-unconfimed results 21 4300 34000 51000 15 26 1100 6800 13000 17 30 1200 38000 10000 9 35 2000 57000 17000 15 8 190 4900 1900 8 10 3800 15000 41000 5 85 4400 13000 48000 24 86 3900 12000 42000 26 17 3000 56000 36000 4 14 1500 1900 20000 8 2 980 14000 11000 1 7 2100 21000 30000 0 0 39 6200 79000 62000 30
        correct-unconfirmed true 15 4200 33000 50000 15 17 770 3700 9800 17 9 420 15000 2800 9 15 580 21000 4300 15 8 190 4900 1900 8 5 1200 4000 13000 5 24 2200 6100 27000 24 26 2300 6200 26000 26 4 950 9600 11000 4 8 440 390 5400 8 1 210 4600 2600 1 0 0 30 5600 76000 56000 30
        correct-unconfirmed false 6 110 860 1200 0 9 290 3100 2800 0 21 770 23000 7200 0 20 1500 36000 13000 0 0 5 2600 11000 27000 0 61 2300 7100 22000 0 60 1600 5500 16000 0 13 2100 46000 25000 0 6 1100 1500 14000 0 1 780 9100 8700 0 7 2100 21000 30000 0 0 9 580 3500 5800 0
    incorrect results 0 0 26 1000 26000 8800 -416 1 780 3900 9200 -32 0 2 1300 5800 13000 -32 3 210 740 1600 -48 3 380 1200 3400 -48 8 530 19000 5300 -144 0 0 0 0 0
        incorrect true 0 0 0 1 780 3900 9200 -32 0 0 0 0 1 140 3800 1400 -32 0 0 0 0 0
        incorrect false 0 0 26 1000 26000 8800 -416 0 0 2 1300 5800 13000 -32 3 210 740 1600 -48 3 380 1200 3400 -48 7 390 15000 3800 -112 0 0 0 0 0
score (273 tasks, max score: 376) 143 164 -364 10 194 134 79 77 -86 143 42 19 13 180
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