Tool 2LS 0.3.4 BLAST 2.7.3 CBMC CPAchecker 1.4-svcomp16c CPAchecker 1.4-svn 18373 CPAchecker 1.4-svcomp16c ESBMC ESBMC version 2.0.0 64-bit x86_64 linux DepthK ESBMC+DepthK version 2.1 impara 0.45 CPAchecker 1.4-svn 18356M SeaHorn-F16 0.1.0 skink SMACK+Corral 1.5.2 symbiotic 3.0.1 ULTIMATE Automizer cfb9fd9e ULTIMATE Kojak fd30d3d8 VVT prerelease
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 8
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 4.2.0-22-generic Linux 4.2.0-23-generic Linux 4.2.0-22-generic Linux 4.2.0-23-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz, cores: 32, frequency: 3.4 GHz; RAM: 135149 MB
Date of execution 2016-01-02 22:42:27 CET [[ 2016-01-15 08:01:51 CET ]] [[ 2016-01-15 21:37:22 CET ]] 2016-01-03 17:36:26 CET [[ 2016-01-15 08:15:11 CET ]] [[ 2016-01-15 21:49:51 CET ]] 2016-01-03 00:42:25 CET [[ 2016-01-15 08:22:02 CET ]] [[ 2016-01-15 21:54:19 CET ]] 2016-01-04 06:25:51 CET [[ 2016-01-15 08:31:02 CET ]] [[ 2016-01-15 21:59:57 CET ]] 2016-01-04 01:42:53 CET [[ 2016-01-15 08:36:34 CET ]] [[ 2016-01-15 22:02:40 CET ]] 2016-01-04 20:04:07 CET [[ 2016-01-15 08:41:31 CET ]] [[ 2016-01-15 22:05:37 CET ]] 2016-01-04 13:17:38 CET [[ 2016-01-15 08:48:20 CET ]] [[ 2016-01-15 22:10:37 CET ]] 2016-01-16 17:45:19 CET [[ 2016-01-17 00:36:28 CET ]] [[ 2016-01-17 00:39:38 CET ]] 2016-01-05 14:06:34 CET [[ 2016-01-15 09:00:06 CET ]] [[ 2016-01-15 22:17:52 CET ]] 2016-01-13 07:41:14 CET [[ 2016-01-15 09:11:00 CET ]] [[ 2016-01-15 22:23:23 CET ]] 2016-01-10 22:01:17 CET [[ 2016-01-15 09:16:15 CET ]] [[ 2016-01-15 22:26:01 CET ]] 2016-01-11 21:35:00 [[ 2016-01-15 18:20:27 CET ]] [[ 2016-01-15 22:30:28 CET ]] 2016-01-15 22:52:00 CET [[ 2016-01-16 00:34:30 CET ]] [[ 2016-01-16 00:56:26 CET ]] 2016-01-07 09:05:16 CET [[ 2016-01-15 09:34:34 CET ]] [[ 2016-01-15 22:36:10 CET ]] 2016-01-07 09:04:54 CET [[ 2016-01-15 09:39:10 CET ]] [[ 2016-01-15 22:39:28 CET ]] 2016-01-14 23:51:13 CET [[ 2016-01-15 09:43:48 CET ]] [[ 2016-01-15 22:41:15 CET ]] 2016-01-08 15:10:30 CET [[ 2016-01-15 09:49:48 CET ]] [[ 2016-01-15 22:43:29 CET ]] 2016-01-17 23:14:00 CET [[ 2016-01-18 06:54:01 CET ]] [[ 2016-01-18 07:05:55 CET ]]
Run set 2ls.sv-comp16.Sequentialized blast.sv-comp16.Sequentialized cbmc.sv-comp16.Sequentialized cpa-bam.sv-comp16.Sequentialized cpa-kind.sv-comp16.Sequentialized cpa-refsel.sv-comp16.Sequentialized cpa-seq.sv-comp16.Sequentialized esbmc.sv-comp16.Sequentialized esbmcdepthk.sv-comp16.Sequentialized impara.sv-comp16.Sequentialized lpi.sv-comp16.Sequentialized seahorn.sv-comp16.Sequentialized skink.sv-comp16.Sequentialized smack.sv-comp16.Sequentialized symbiotic3.sv-comp16.Sequentialized uautomizer.sv-comp16.Sequentialized ukojak.sv-comp16.Sequentialized vvt.sv-comp16.Sequentialized
Options --k-induction --competition-mode --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/2ls.2016-01-02_2242.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/2ls.2016-01-02_2242.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -alias empty -enable-recursion -noprofile -cref -sv-comp -lattice -include-lattice symb -nosserr -svcomp-witness error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/blast.2016-01-03_1736.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/blast.2016-01-03_1736.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cbmc.2016-01-03_0042.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cbmc.2016-01-03_0042.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16-bam -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-bam.2016-01-04_0625.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-bam.2016-01-04_0625.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16--k-induction -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-kind.2016-01-04_0142.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-kind.2016-01-04_0142.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16--refsel -disable-java-assertions -heap 12500m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-refsel.2016-01-04_2004.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-refsel.2016-01-04_2004.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -sv-comp16 -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/cpa-seq.2016-01-04_1317.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/cpa-seq.2016-01-04_1317.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/esbmc.2016-01-16_1745.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/esbmc.2016-01-16_1745.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/esbmcdepthk.2016-01-05_1406.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/esbmcdepthk.2016-01-05_1406.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] --eager --graphml-cex error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/impara.2016-01-13_0741.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/impara.2016-01-13_0741.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -lpi-svcomp16 -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/lpi.2016-01-10_2201.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/lpi.2016-01-10_2201.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] --cex=error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/seahorn.2016-01-11_2135.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/seahorn.2016-01-11_2135.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/skink.2016-01-15_2252.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/skink.2016-01-15_2252.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] -w error-witness.graphml [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/smack.2016-01-07_0905.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/smack.2016-01-07_0905.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/symbiotic3.2016-01-07_0904.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/symbiotic3.2016-01-07_0904.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/uautomizer.2016-01-14_2351.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/uautomizer.2016-01-14_2351.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/ukojak.2016-01-08_1510.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/ukojak.2016-01-08_1510.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]] [[ -witness-check -disable-java-assertions -heap 10000m -setprop cpa.arg.errorPath.graphml=error-witness.graphml -spec ../../results-verified/vvt.2016-01-17_2314.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]][[ ../../results-verified/vvt.2016-01-17_2314.logfiles/sv-comp16.${inputfile_name}.files/error-witness.graphml ]]
../../sv-benchmarks/c/ status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB)
systemc/kundu1_false-unreach-call_false-termination.cil.c 8.1  120 220     96 4.6  61 35   1100 71   1500 9.3 450 8.5 330 82    15000 5.0  170 1.2  25 65   1100 11    180 8.6 370 7.0 100 18 7.6 65   1400 49   940 .73  35  
systemc/kundu2_false-unreach-call_false-termination.cil.c 27    200 2.9   36 .40 29 56   1900 45   960 11   470 8.9 320 95    15000 4.9  170 .56 25 29   730 14    300 8.1 360 5.4 100 18 7.5 290   5600 65   900 .57  27  
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c .26 33 .089 22 .18 28 4.3 240 6.1 340 4.9 240 4.5 220 110    15000 3.8  160 .15 24 6.6 330 .77 56 10   360 3.5 85 18 6.5 11   340 10   330 .24  22  
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c .23 31 .13  23 .17 26 7.1 400 7.5 340 5.5 250 4.9 220 110    15000 4.0  170 .13 25 7.1 350 .68 49 8.7 360 3.6 93 18 6.7 26   500 12   350 .26  23  
systemc/pipeline_false-unreach-call_false-termination.cil.c 900    760 720     450 21    340 600   5700 900   7600 87   2600 39   1600 130    15000 49    350 900    120 900   7800 510    1600 10   390 26   310 900 2500   910   11000 30   560 40     190  
systemc/token_ring.01_false-unreach-call_false-termination.cil.c 72    380 2.0   34 2.5  53 12   480 38   960 9.0 400 42   970 170    15000 4.7  170 .36 25 22   570 1.7  110 9.3 360 4.4 98 87 7.0 46   820 35   510 .41  27  
systemc/token_ring.02_false-unreach-call_false-termination.cil.c 490    900 46     48 4.5  83 20   770 46   980 12   440 54   1000 190    15000 5.0  180 .72 25 26   660 2.6  140 9.3 380 5.1 110 350 9.8 58   970 49   760 .65  22  
systemc/token_ring.03_false-unreach-call_false-termination.cil.c 900    1100 260     110 7.6  120 36   1000 48   1200 19   650 65   1000 210    15000 7.1  180 1.5  26 32   730 6.5  230 7.9 380 6.5 120 790 18   76   2500 47   860 .81  31  
systemc/token_ring.04_false-unreach-call_false-termination.cil.c 900    1100 670     290 12    170 97   4000 54   1500 26   840 80   2500 230    15000 8.3  180 45    45 38   930 8.4  220 9.4 400 9.8 140 900 44   150   5000 39   760 1.1   30  
systemc/token_ring.05_false-unreach-call_false-termination.cil.c 900    1200 660     270 18    220 500   4500 61   1400 900   2100 140   3600 240    15000 9.8  180 160    94 42   970 21    320 9.9 400 10   150 900 62   910   8200 46   710 1.4   45  
systemc/token_ring.06_false-unreach-call_false-termination.cil.c 900    870 720     860 27    280 900   7000 70   1400 900   1900 150   4600 270    15000 12    180 450    190 48   950 38    470 9.1 410 14   150 900 130   900   10000 36   740 1.7   40  
systemc/token_ring.07_false-unreach-call_false-termination.cil.c 900    760 680     250 36    350 900   6700 80   1800 900   2000 170   4500 270    15000 14    180 340    160 47   980 98    910 9.5 420 18   200 900 290   910   9000 35   590 2.3   44  
systemc/token_ring.08_false-unreach-call_false-termination.cil.c 900    680 690     500 49    430 900   7500 91   2200 900   2600 200   4800 290    15000 19    180 900    260 55   1100 180    1200 10   440 25   210 900 500   900   9400 36   590 2.7   67  
systemc/token_ring.09_false-unreach-call_false-termination.cil.c 900    750 690     400 65    510 900   7500 93   2400 900   2600 250   5000 300    15000 22    190 900    250 60   1200 320    1700 11   450 32   230 900 1200   900   9100 38   760 3.2   72  
systemc/token_ring.10_false-unreach-call_false-termination.cil.c 900    810 690     470 74    610 900   6600 100   3000 900   2600 270   4500 310    15000 30    190 900    250 61   1200 560    2400 11   460 41   240 900 2500   910   11000 37   590 3.8   68  
systemc/token_ring.11_false-unreach-call_false-termination.cil.c 900    890 690     630 110    700 900   5500 100   3100 900   2600 260   5100 320    15000 36    190 900    240 900   4800 760    3100 12   450 56   280 900 2500   900   9200 39   770 4.2   75  
systemc/token_ring.12_false-unreach-call_false-termination.cil.c 900    960 700     790 140    800 900   6100 120   3700 900   2500 280   4300 330    15000 45    220 900    250 76   1500 720    3800 12   470 57   310 900 2500   900   9500 41   820 4.9   110  
systemc/token_ring.13_false-unreach-call_false-termination.cil.c 900    1100 710     1200 170    940 900   6800 130   4000 900   2600 290   3900 330    15000 52    250 900    240 84   1600 900    5000 11   470 54   320 900 2500   910   11000 43   770 5.5   120  
systemc/token_ring.14_false-unreach-call_false-termination.cil.c 900    960 700     790 140    800 910   6200 120   4100 900   2500 320   4800 330    15000 44    220 900    250 74   1500 730    3800 11   470 45   310 900 2500   910   9600 43   710 4.9   110  
systemc/token_ring.15_false-unreach-call_false-termination.cil.c 900    1100 710     1200 170    930 900   6900 130   4200 900   2200 290   4100 330    15000 52    250 900    250 89   1600 900    5200 12   480 63   320 900 2500   900   10000 43   800 5.4   120  
systemc/toy1_false-unreach-call_false-termination.cil.c 170    560 170     66 5.4  58 900   3700 77   2000 8.7 440 8.8 320 140    15000 5.7  180 3.1  27 71   1200 59    720 8.2 360 7.0 120 19 40   68   2100 67   1300 1.5   42  
systemc/toy2_false-unreach-call_false-termination.cil.c 150    500 160     65 5.2  56 900   3800 76   2200 10   440 9.2 320 150    15000 5.4  180 3.0  28 67   1100 30    150 8.4 370 8.2 130 19 35   64   2000 69   970 1.7   43  
systemc/transmitter.01_false-unreach-call_false-termination.cil.c 5.1  94 .87  27 .17 26 8.8 430 18   560 6.8 270 6.1 240 390    15000 4.1  170 .25 24 9.8 350 .60 53 8.4 380 3.9 89 18 6.7 25   440 16   360 .28  16  
systemc/transmitter.02_false-unreach-call_false-termination.cil.c 14    170 8.4   39 .17 27 17   660 24   580 9.3 420 7.3 260 320    15000 4.5  170 .56 25 15   410 2.1  110 8.8 370 4.5 93 18 7.5 49   990 41   690 .47  23  
systemc/transmitter.03_false-unreach-call_false-termination.cil.c 45    320 110     72 .24 29 34   950 33   850 11   460 9.4 310 290    15000 4.7  180 1.5  28 22   510 4.3  190 8.4 380 4.9 110 18 12   67   2300 48   590 .62  27  
systemc/transmitter.04_false-unreach-call_false-termination.cil.c 150    520 670     350 .26 31 62   2100 41   950 17   670 11   400 290    15000 5.0  170 6.7  27 25   630 7.7  280 8.9 410 6.3 110 18 30   130   5000 43   740 .92  30  
systemc/transmitter.05_false-unreach-call_false-termination.cil.c 490    820 660     480 .32 34 190   4500 45   970 780   1600 16   540 .11 18 5.5  180 21    33 26   690 7.9  260 9.1 430 7.6 120 21 130   900   8400 42   700 1.2   39  
systemc/transmitter.06_false-unreach-call_false-termination.cil.c 900    830 690     470 .54 36 900   6200 48   1200 900   2200 20   700 300    15000 5.9  180 220    120 32   780 12    380 11   410 11   140 30 390   910   9900 41   700 1.6   43  
systemc/transmitter.07_false-unreach-call_false-termination.cil.c 900    780 700     830 .68 39 900   5200 58   1500 910   2300 29   1300 310    15000 7.2  180 320    150 36   910 51    750 10   430 11   150 88 2000   910   10000 35   700 1.8   40  
systemc/transmitter.08_false-unreach-call_false-termination.cil.c 900    660 780     1600 .87 43 900   6300 58   1500 900   2600 66   2600 320    15000 8.3  180 900    250 42   900 67    1000 11   430 14   170 900 2800   900   9700 38   660 2.2   54  
systemc/transmitter.09_false-unreach-call_false-termination.cil.c 900    730 730     980 1.0  48 900   8100 66   1700 900   2200 220   4700 330    15000 9.2  180 900    250 45   950 110    1400 11   430 20   200 900 2700   900   10000 39   780 2.8   65  
systemc/transmitter.10_false-unreach-call_false-termination.cil.c 900    790 750     1400 1.1  51 910   8300 71   1800 900   2400 220   4300 .10 22 9.9  180 900    250 50   980 140    1800 10   450 19   210 900 2600   900   9200 41   620 3.3   66  
systemc/transmitter.11_false-unreach-call_false-termination.cil.c 900    860 740     1300 1.5  58 900   6600 70   1900 900   2600 220   3200 340    15000 11    190 900    250 53   1000 190    2500 11   450 35   240 900 2500   910   10000 39   670 3.8   67  
systemc/transmitter.12_false-unreach-call_false-termination.cil.c 900    940 710     730 1.6  70 900   7400 79   2400 900   2700 250   3200 .11 24 12    190 900    250 57   1100 250    3300 12   470 29   240 900 2500   900   10000 39   600 4.3   94  
systemc/transmitter.13_false-unreach-call_false-termination.cil.c 900    1000 740     1300 2.1  77 900   9700 88   2900 900   2600 240   3600 350    15000 14    190 900    250 61   1300 370    4200 12   480 54   280 900 2500   910   11000 41   770 4.9   110  
systemc/transmitter.15_false-unreach-call_false-termination.cil.c 2.4  350 .21  30 2.0  62 45   1600 17   570 11   450 8.9 320 .15 25 7.2  190 1.0  29 14   490 49    1500 11   480 5.2 140 18 19   450   6500 28   540 4.4   95  
systemc/transmitter.16_false-unreach-call_false-termination.cil.c 2.6  380 .32  30 2.2  67 47   1600 19   590 8.8 450 7.5 320 .13 26 8.1  190 1.3  30 16   510 21    1600 12   490 5.7 160 19 21   900   9300 28   540 5.0   97  
systemc/bist_cell_true-unreach-call_false-termination.cil.c 2.9  62 1.8   27 850    1700 17   680 900   6400 4.7 220 4.1 200 180    13000 890    560 .27 24 21   510 .34 39 8.3 370 890   310 900 7.8 78   1900 41   740 54     90  
systemc/kundu_true-unreach-call_false-termination.cil.c 32    220 2.7   37 850    750 94   4100 900   5400 26   960 14   660 97    15000 890    680 900    220 900   6100 210    490 7.9 360 880   290 900 4800   330   5800 62   1100 900     140  
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c 900    910 61     49 850    1600 16   630 120   4000 6.7 260 5.5 220 870    15000 890    530 .91 28 900   9200 770    1900 12   480 880   520 900 41   76   3100 91   1700 900     210  
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c 900    880 290     94 850    530 19   790 110   3900 7.3 280 4.9 230 820    15000 890    510 1.7  28 900   8800 610    1900 11   490 880   490 900 330   110   4100 97   1400 900     240  
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c 900    860 670     300 850    530 900   3700 120   4000 8.2 300 5.2 240 900    9700 890    450 3.0  28 900   8700 900    2000 11   480 880   470 900 2800   130   4900 83   1500 900     230  
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c 900    830 110     64 850    550 26   870 170   4600 8.7 320 6.5 240 900    7700 890    430 4.8  30 900   9000 900    1500 11   490 880   490 900 2900   130   3900 97   1400 900     230  
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c 900    790 120     69 850    560 900   3600 170   4400 10   350 7.3 260 900    6200 890    500 6.7  30 910   9200 900    1800 11   500 880   510 900 2900   160   4600 95   1400 900     260  
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c 900    1500 13     46 850    750 900   1600 900   7200 910   2800 310   4900 120    15000 890    570 .22 24 900   6500 4.1  77 9.2 360 880   180 900 2500   900   2300 53   920 36     75  
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c 13    140 11     46 850    610 900   4300 900   7900 900   1800 320   5000 120    15000 890    730 .29 24 900   7100 25    310 8.2 340 890   320 900 7.9 900   3400 44   770 300     110  
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c 900    1500 1.2   37 850    490 9.0 440 14   540 5.4 230 4.8 200 120    15000 890    810 .67 25 900   5800 .63 45 7.8 380 890   360 900 17   35   540 40   700 6.3   67  
systemc/pipeline_true-unreach-call_false-termination.cil.c 900    750 680     320 850    430 910   6600 900   7600 900   5500 900   5500 130    15000 890    2500 900    120 900   7900 540    1600 9.5 370 880   580 900 2500   900   11000 32   530 7.0   110  
systemc/token_ring.01_true-unreach-call_false-termination.cil.c 390    880 2.3   27 850    650 20   780 30   780 7.0 280 33   860 170    15000 890    740 .32 24 900   6400 3.2  100 8.3 370 880   280 900 10   41   780 38   580 4.8   60  
systemc/token_ring.02_true-unreach-call_false-termination.cil.c 900    1300 54     50 850    750 29   890 110   3100 10   330 120   3500 190    15000 890    470 1.0  25 900   4400 6.7  130 8.6 370 880   240 900 14   53   1100 39   720 21     78  
systemc/token_ring.03_true-unreach-call_false-termination.cil.c 900    1100 320     130 850    1200 74   2900 460   4200 12   490 330   4300 210    15000 890    400 5.4  26 900   4900 18    220 9.3 390 880   300 900 28   62   1400 50   800 96     91  
systemc/token_ring.04_true-unreach-call_false-termination.cil.c 900    1100 660     270 850    950 200   4800 900   4600 23   750 400   4500 230    15000 890    450 900    180 900   5900 61    330 9.2 410 880   370 900 46   160   5200 42   770 340     130  
systemc/token_ring.05_true-unreach-call_false-termination.cil.c 900    840 670     320 850    1300 910   5700 900   5200 900   2500 600   4700 250    15000 890    560 900    210 900   6000 83    310 8.8 400 880   380 900 69   900   8000 39   730 900     160  
systemc/token_ring.06_true-unreach-call_false-termination.cil.c 900    850 720     660 850    1400 900   7400 900   5100 900   1800 900   5100 270    15000 890    570 900    270 900   5200 160    470 9.2 420 880   410 900 130   910   10000 38   690 900     14000  
systemc/token_ring.07_true-unreach-call_false-termination.cil.c 900    750 690     250 850    1700 910   7100 900   5400 900   2300 900   5500 280    15000 900    530 900    230 900   5500 900    1000 10   430 880   500 900 290   910   10000 38   700 900     470  
systemc/token_ring.08_true-unreach-call_false-termination.cil.c 900    680 700     500 850    520 900   7100 900   5600 900   2700 900   5700 290    15000 890    640 900    250 900   4700 900    1300 11   430 880   520 900 550   900   9000 34   690 510     15000  
systemc/token_ring.09_true-unreach-call_false-termination.cil.c 900    740 690     390 850    670 910   7800 900   5600 900   2600 900   6100 300    15000 890    780 900    250 900   7300 900    1700 11   440 890   480 900 1100   900   10000 37   640 900     410  
systemc/token_ring.10_true-unreach-call_false-termination.cil.c 900    810 690     470 850    700 900   6800 900   6000 900   2700 900   6000 300    15000 890    920 900    250 900   7400 900    2200 11   460 890   520 900 2500   910   9600 37   600 180     15000  
systemc/token_ring.11_true-unreach-call_false-termination.cil.c 900    890 690     630 850    880 900   5500 900   6300 900   2600 900   5300 320    15000 890    1000 900    250 900   6900 900    2900 11   460 890   580 900 2500   910   9500 38   810 270     15000  
systemc/token_ring.12_true-unreach-call_false-termination.cil.c 900    960 700     790 850    980 910   6200 900   6400 900   2400 900   6000 340    15000 890    1000 900    250 900   7100 900    3700 11   480 880   510 900 2500   900   10000 41   640 330     15000  
systemc/token_ring.13_true-unreach-call_false-termination.cil.c 900    1100 700     1100 850    1100 900   6800 900   6500 900   2100 900   5800 330    15000 890    1300 900    240 900   7100 900    4800 12   490 890   590 900 2500   910   11000 40   820 210     15000  
systemc/toy_true-unreach-call_false-termination.cil.c 190    530 500     100 850    770 900   3700 900   7100 900   7700 520   5500 150    15000 890    650 3.0  28 900   6000 230    840 8.4 370 880   270 900 2600   66   1600 67   1400 900     200  
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c .31 31 1.8   45 .28 29 30   950 23   640 9.3 450 9.6 320 820    9100 4.1  180 .24 26 17   550 .72 69 13   550 8.1 150 35 10   63   960 67   940 .069 12  
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c .30 31 1.9   46 .28 29 31   970 23   670 11   450 10   320 820    8200 5.0  180 .25 28 17   560 .58 67 13   540 5.3 120 35 9.7 54   1100 50   860 .074 8.5
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c 2.9  100 1.7   42 .28 29 900   5900 120   1400 83   1600 130   1700 820    8800 5.7  180 4.5  29 110   1200 1.3  71 13   570 21   180 35 10   110   1600 54   910 .090 8.4
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c 2.8  94 2.0   42 .32 29 900   6000 120   1600 86   1400 130   1600 810    8500 4.2  180 4.3  27 110   1100 1.4  69 12   570 9.7 140 36 10   110   1600 47   680 .057 8.5
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c 3.3  99 2.0   44 .28 31 910   5900 120   1600 90   1300 130   1600 910    9100 5.7  180 4.9  27 120   1200 1.0  72 12   540 40   220 36 9.9 130   2100 67   1000 .080 14  
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c 2.6  96 2.2   44 .31 30 910   5900 130   1600 87   2400 130   1700 820    8800 5.4  180 4.6  29 120   1200 1.1  71 12   540 13   140 36 10   130   1900 58   1100 .070 8.9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c 18    290 1.9   44 1.3  36 900   6100 900   2500 900   2400 900   2400 810    9100 7.0  180 900    620 900   2300 2.8  75 14   570 880   390 900 900   900   6200 62   1100 .064 8.5
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c 16    270 2.1   42 1.3  37 910   6100 900   2500 900   1300 900   2800 820    8600 6.3  180 900    790 900   2300 3.1  74 13   570 230   220 37 9.9 900   6300 62   1000 .061 9.5
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c 16    200 15     47 .84 34 900   4100 530   4900 900   1500 540   5000 810    8500 6.1  170 22    78 450   3100 .95 81 11   480 400   410 89 17   180   2800 49   880 .070 7.8
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c 16    190 14     47 .85 35 900   4100 900   5200 900   1500 900   5100 910    8000 6.3  180 20    79 900   4400 .88 77 11   460 63   210 89 16   190   2900 46   680 .068 8.5
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c 15    200 16     47 .82 35 47   1600 520   4900 100   4600 530   4900 910    8000 5.9  180 900    5600 460   3100 .83 78 12   450 33   210 90 90   220   3600 50   1000 .076 7.9
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c 16    190 16     49 .80 35 47   1600 900   5100 100   4800 900   5100 810    8200 6.1  180 900    11000 230   3800 .78 72 11   440 32   200 90 17   220   3800 48   880 .060 8.1
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 3.2  85 .32  30 .51 34 900   4000 31   880 900   2400 130   3800 810    6300 6.0  180 100    44 32   760 6.0  77 10   430 8.0 140 20 12   910   11000 93   1100 .065 8.2
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 2.9  81 .30  31 .50 34 900   4300 28   830 900   2300 130   3800 810    6900 5.4  180 900    90 30   670 21    81 11   440 7.5 130 900 220   900   10000 120   1400 .087 11  
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c 1.1  40 .23  33 .15 28 900   3700 21   570 900   1700 63   2500 810    6800 5.1  180 12    28 19   520 2.5  76 11   490 5.5 110 19 11   910   9800 32   570 .076 9.3
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c .95 39 .25  34 .22 30 900   4200 20   550 900   1300 65   1800 810    6900 5.0  180 12    28 18   520 3.4  77 11   480 4.5 120 900 770   900   11000 31   660 .069 8.5
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c 3.3  85 .31  31 .50 32 900   4600 31   880 900   1400 140   3800 810    6700 5.8  180 38    31 31   710 8.6  81 11   490 7.8 140 20 11   910   9200 120   1400 .063 8.3
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 2.9  84 .18  32 .52 32 900   4400 31   880 900   1400 140   3900 810    7200 4.6  180 270    48 31   680 14    83 11   480 8.8 140 900 770   900   11000 90   1200 .088 8.1
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c 3.2  85 .23  30 .38 32 900   3700 33   880 900   1400 140   3800 810    6900 6.3  180 380    59 32   820 18    83 12   480 8.3 150 110 13   900   11000 85   1100 .072 9.2
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 2.8  87 .27  31 .53 31 900   4100 36   900 900   1400 140   3800 810    7400 5.7  180 280    52 31   820 22    83 11   480 8.5 150 900 770   910   11000 91   1200 .093 8.7
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 19    270 .93  56 1.1  38 900   3700 69   1500 900   2700 170   3900 820    7600 11    190 900    610 67   1500 170    130 16   820 12   200 200 1500   910   11000 90   1000 .075 8.3
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 16    250 .94  56 1.2  38 900   4000 64   1400 900   2700 180   3800 810    8300 9.6  190 900    610 60   1400 150    120 16   790 14   190 900 4100   900   11000 110   1400 .078 14  
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c 8.3  170 .92  54 1.3  39 900   3700 50   1200 900   5900 200   3700 820    7900 9.4  190 900    550 51   920 150    110 16   820 8.3 190 110 340   910   9300 100   1200 .082 14  
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 7.9  170 .88  54 1.2  39 900   3700 48   960 900   6400 200   3800 810    8400 8.3  190 900    540 46   940 120    100 14   720 8.4 190 900 3800   910   10000 91   1000 .075 14  
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c 19    260 .91  54 1.2  40 900   3700 68   1500 900   6200 220   3600 820    7300 9.7  190 900    520 67   1400 690    140 16   810 12   190 130 480   900   9600 100   1300 .082 14  
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 17    250 .92  54 1.3  40 900   3700 67   1600 900   5800 220   3700 810    8400 11    190 900    540 57   1300 320    120 14   720 14   200 900 3800   910   10000 97   1200 .094 12  
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c 19    260 .66  54 1.3  39 900   3800 75   1700 900   6200 230   3700 810    8600 10    190 900    530 76   2000 750    140 16   800 12   200 770 1500   910   10000 100   1300 .080 9.7
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 17    250 .88  54 1.4  40 900   3700 72   1600 900   6000 220   3700 810    7400 10    190 900    550 72   1500 900    130 14   730 14   200 900 3800   910   11000 86   1300 .076 12  
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 88    670 3.4   170 8.1  73 900   3700 170   3200 900   1800 310   4500 820    7600 24    210 900    890 160   3100 900    140 22   1200 120   470 900 2300   910   11000 52   840 .13  12  
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 80    650 3.2   170 9.1  81 900   3900 180   3500 900   1800 320   4500 810    8400 29    210 900    880 160   3000 900    140 21   1200 120   450 900 2300   910   11000 43   660 .12  14  
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 50    530 3.2   170 4.6  53 900   3900 130   2400 900   5700 280   4000 840    7700 27    210 900    900 120   2200 900    150 19   1200 29   360 900 2300   900   10000 50   760 .093 9.8
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 48    490 3.3   160 4.7  53 900   3800 130   2400 900   5800 280   4100 800    8200 22    210 900    910 120   1900 420    150 19   1200 34   330 900 2300   900   10000 43   760 .11  9.9
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c 89    680 3.1   160 8.9  74 900   3700 170   3800 900   5800 320   4400 820    7800 25    210 900    890 180   3500 900    150 18   1200 81   410 900 2300   900   11000 51   780 .092 14  
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 80    660 3.3   160 9.5  84 900   4100 170   3500 900   5500 320   4400 860    9400 28    210 900    890 170   3400 900    150 19   1200 85   390 900 2300   900   11000 43   650 .11  9.8
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c 86    670 3.0   160 8.9  73 900   3600 190   4000 900   5800 340   4400 810    7300 29    210 900    790 220   4100 900    150 21   1300 150   510 900 2300   900   11000 48   760 .078 12  
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 83    680 3.3   160 10    82 900   3600 190   3800 900   5600 350   4400 810    7500 30    210 900    870 260   4100 900    160 18   1300 180   540 900 2300   900   10000 44   640 .10  12  
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 3.1  71 .21  31 .39 28 900   6200 39   920 900   800 49   950 910    9200 4.6  170 33    29 28   620 28    98 9.9 420 17   130 110 8.5 810   6300 100   1300 .064 8.1
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 2.5  67 .15  28 .35 30 900   6100 32   890 900   800 44   920 900    2400 5.5  170 58    30 30   630 24    88 10   400 33   130 900 46   900   7700 110   1200 .065 7.9
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c 3.2  71 .21  31 .36 28 900   6300 40   910 900   800 51   920 820    8900 4.7  170 12    28 29   620 31    87 11   390 15   120 18 8.0 900   6300 110   1500 .074 9.0
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 2.9  69 .13  27 .28 30 900   6700 37   920 900   820 54   1100 890    8100 5.4  170 9.5  28 26   610 11    78 11   390 27   130 900 45   590   5800 96   860 .10  14  
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 9.1  130 .17  30 .92 33 900   6700 48   1200 900   810 74   1500 810    9100 5.5  180 270    53 42   870 310    120 10   450 91   170 180 11   910   8900 120   1600 .084 9.1
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 7.5  120 .19  31 1.0  35 900   6700 43   1300 900   820 72   1400 820    8000 6.4  180 320    55 38   900 350    130 11   430 260   170 900 45   910   9800 120   860 .067 8.2
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c 8.2  130 .18  28 .96 31 900   6800 54   1400 900   810 83   1500 820    8800 4.9  170 120    34 36   870 130    120 11   490 77   170 18 8.9 910   10000 80   930 .064 8.1
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 7.9  120 .17  31 1.1  34 900   6700 48   1400 900   810 67   1200 910    9000 6.9  170 130    35 42   880 250    160 10   450 250   170 900 45   910   11000 110   1200 .087 9.2
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 18    220 .23  30 1.2  35 900   6800 69   2100 900   810 110   3800 810    7500 6.1  180 900    100 51   1200 900    150 12   560 880   230 250 20   910   9400 97   1100 .057 8.1
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 16    180 .16  30 1.3  35 900   7000 70   1900 900   820 110   3700 810    8100 13    180 900    94 55   1200 900    150 12   530 880   190 900 50   900   9500 87   1100 .075 8.7
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 19    230 .22  28 1.2  34 900   6300 70   1900 900   1300 99   3200 810    7400 6.5  180 900    96 56   1200 900    150 12   520 530   230 20 12   910   10000 89   910 .068 9.7
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 17    190 .21  28 1.3  34 900   6800 70   2000 900   810 100   3800 910    8600 13    180 810    94 53   1200 900    160 11   490 880   190 900 49   900   9500 130   1000 .070 12  
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c 57    310 .29  28 1.4  37 900   7000 120   4000 900   820 220   3700 810    7700 7.3  180 900    110 89   1600 900    150 11   530 880   240 340 49   50   1100 65   830 .068 12  
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 47    280 .21  33 1.4  38 900   7300 120   3700 900   820 230   3700 890    8600 37    180 900    94 82   1600 900    160 11   460 880   220 900 49   53   1000 64   790 .078 8.5
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c 53    300 .17  30 1.4  37 900   7100 120   2900 900   810 220   3800 860    7400 6.9  180 900    110 88   1800 900    150 11   540 880   240 24 20   48   860 64   780 .067 8.6
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c 57    290 .31  31 1.3  37 900   7100 130   4000 900   810 230   3800 830    8400 30    180 900    100 74   1600 900    160 11   520 880   220 900 48   45   880 68   1100 .069 8.0
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 3.0  71 .19  25 .34 27 900   6200 27   780 900   790 41   890 850    8400 4.7  170 12    27 27   550 8.2  63 8.8 350 12   120 88 8.0 90   1600 110   1500 .084 8.1
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 2.5  68 .19  28 .37 27 900   6200 28   760 900   780 34   880 890    550 4.2  180 19    29 21   510 9.4  63 8.4 360 27   120 900 57   140   2500 110   1300 .079 9.3
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 7.1  140 .18  27 .69 32 900   6500 40   920 900   760 49   1100 910    9300 5.1  170 83    34 36   830 39    84 9.5 360 58   230 91 9.7 130   3300 99   1700 .066 7.7
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 6.3  120 .15  31 .67 32 900   6100 40   1100 900   800 51   1000 910    8400 6.4  170 200    59 34   850 29    77 9.1 360 140   160 900 55   420   3700 140   760 .080 8.3
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 11    180 .17  31 .85 33 900   7000 56   1400 900   790 67   1500 890    7800 5.7  170 680    72 48   1000 180    110 11   390 260   210 100 15   900   11000 100   790 .083 8.1
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 10    160 .21  30 .93 35 900   6800 51   1400 900   790 71   1500 810    8300 8.2  170 770    150 48   970 210    120 9.4 390 800   210 900 52   900   8300 160   1300 .053 9.4
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c 17    240 .30  32 .79 36 900   7000 84   2200 900   770 95   1900 830    7200 6.2  180 550    94 72   1300 900    150 10   430 880   220 150 34   900   9200 85   1300 .078 8.4
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c 14    210 .22  31 1.0  37 900   7100 74   2200 900   760 87   2300 840    8700 14    180 900    230 69   1500 900    160 12   480 880   230 900 51   900   9100 89   1100 .12  8.1
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c 26    290 .29  32 20    40 910   7700 110   3300 900   770 130   3600 810    6900 7.6  190 900    200 98   2400 900    150 11   480 880   260 220 67   250   6600 110   1300 .076 8.5
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c 23    290 .34  30 20    41 900   7400 110   2900 900   750 130   3200 810    7800 25    180 900    400 110   2300 900    150 11   540 880   220 900 50   210   5300 110   1200 .083 8.7
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c 41    400 .29  36 13    43 900   7700 170   4200 900   790 200   4200 810    7000 10    180 900    270 160   4100 900    200 13   590 58   270 500 190   900   9700 120   1200 .078 10  
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c 45    390 .37  31 13    44 900   7200 170   4200 900   790 200   4100 810    8700 53    180 900    190 160   4000 900    200 12   580 120   300 900 49   900   11000 110   990 .081 12  
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c 3.0  87 .22  33 .56 33 900   4100 35   920 900   2600 130   3800 810    6700 6.1  180 140    47 31   740 19    85 11   510 8.0 150 19 13   900   11000 120   1400 .066 9.1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c 2.9  85 .25  32 .53 34 900   4100 31   880 900   2200 130   3900 810    7100 6.2  180 320    59 33   730 16    83 11   450 8.9 140 900 230   910   13000 120   1000 .064 8.0
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c .90 43 .23  29 .21 28 900   3600 26   650 900   1300 120   3900 810    7300 5.9  180 14    31 20   540 3.0  83 11   530 5.7 120 19 12   900   10000 47   740 .074 8.2
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c 1.0  42 .22  30 .24 28 900   4400 24   590 900   1200 120   3900 820    7300 4.8  180 14    28 21   520 3.3  80 10   470 5.3 130 900 780   910   11000 43   700 .067 8.3
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c 3.3  87 .34  34 .52 32 900   4100 31   870 900   1600 140   3900 810    7300 6.2  170 60    31 33   740 18    89 27   530 8.5 150 19 12   910   10000 120   1300 .069 8.2
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c 2.9  83 .24  30 .53 31 900   3700 34   910 900   1500 140   3900 810    7300 5.8  180 100    40 32   710 19    87 11   470 9.0 140 900 780   900   9500 110   1000 .067 8.1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c 3.4  88 .19  34 .59 34 900   3700 40   1100 900   1600 150   3900 810    7300 6.7  180 120    40 32   740 18    88 12   510 8.6 150 110 13   900   11000 110   870 .059 9.1
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c 3.1  86 .23  30 .60 34 900   3700 42   1100 900   1700 140   3900 810    7600 6.2  180 330    56 35   880 21    86 11   460 12   150 900 790   900   10000 110   1100 .076 8.1
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c 18    260 .74  56 1.1  39 900   3700 69   1500 900   2700 170   3800 820    7700 10    190 900    580 55   1400 900    150 16   790 13   210 230 1600   910   10000 110   1500 .074 12  
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c 16    250 1.0   56 1.4  39 900   3800 70   1800 900   2700 180   3800 810    8700 11    190 900    600 56   1300 150    130 16   820 15   200 900 4100   900   11000 120   1000 .071 12  
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c 8.2  180 .98  57 1.4  39 900   3600 53   1200 900   6100 210   3700 810    8600 10    190 900    540 45   930 54    95 15   810 8.3 200 120 350   900   10000 110   1800 .11  12  
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c 7.7  170 .95  57 1.4  41 900   3600 53   1200 900   6200 210   3600 810    8800 9.4  190 900    540 52   930 78    98 15   810 9.0 190 900 3700   910   9900 100   1600 .082 16  
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c 18    260 1.0   56 1.4  41 900   3800 71   1500 900   5700 230   3700 810    8600 10    190 900    540 63   1300 760    140 15   780 12   220 140 530   910   9900 110   1400 .085 16  
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c 16    250 .92  57 1.3  41 900   3600 71   1500 900   5800 230   3400 910    8200 12    190 900    520 67   1500 900    130 16   810 14   200 900 3800   910   10000 100   1500 .082 14  
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c 19    260 1.0   56 1.6  41 900   3600 73   1500 900   6000 230   3800 820    7900 12    190 900    520 77   1600 900    130 15   810 13   210 590 1600   910   11000 110   1800 .091 16  
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c 17    250 1.0   56 1.5  40 900   3900 91   2500 900   5900 240   3700 810    7900 12    200 900    530 69   1500 900    130 17   770 15   210 900 3900   910   9800 110   1300 .10  14  
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c 84    670 3.6   180 9.3  78 900   3600 190   3600 900   2000 340   4500 810    7700 27    210 900    890 220   4000 900    140 21   1300 110   450 900 2300   900   10000 41   690 .12  12  
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c 78    650 3.5   180 10    88 900   3600 180   3800 900   1900 340   4500 800    8400 34    210 900    870 190   3200 900    130 20   1200 190   540 900 2300   900   11000 41   670 .095 14  
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c 49    510 3.1   170 5.1  58 900   3600 140   2400 900   5600 290   4100 810    7400 31    210 900    860 130   1800 900    150 22   1200 28   340 900 2300   900   10000 45   840 .11  12  
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c 46    490 3.4   170 5.2  58 900   3600 140   2800 900   6000 290   3900 800    8600 24    210 900    900 140   2200 530    170 19   1300 37   330 900 2300   910   9500 42   750 .16  12  
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c 85    670 3.2   170 9.9  79 900   4000 200   3800 900   5900 340   4500 810    7500 29    220 900    890 210   3900 900    150 20   1200 76   390 900 2200   910   11000 44   800 .16  14  
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c 77    650 3.4   170 11    90 900   4100 200   3500 900   5700 340   4400 800    8700 33    210 900    900 190   3100 900    160 20   1300 110   390 900 2300   910   9900 44   820 .11  12  
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c 88    670 3.3   170 11    82 900   3600 280   4300 900   5800 430   4600 830    7800 41    210 900    900 900   10000 900    160 21   1200 210   550 900 2300   910   10000 43   830 .12  12  
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c 81    670 3.2   170 11    89 900   3800 200   3700 900   5700 350   4500 800    10000 33    210 900    890 320   4300 900    160 19   1200 140   480 900 2300   910   11000 44   660 .11  10  
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c 900    2100 790     2400 850    1800 910   11000 83   3000 90   1400 180   5400 890    480 .71 66 900    350 900   4800 630    15000 11   520 880   1500 890 200   120   1300 40   920 .10  14  
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c 900    8200 390     15000 850    5400 910   11000 290   8300 900   2400 390   8700 890    6200 5.2  430 900    270 900   4400 900    11000 13   850 110   10000 900 1700   900   2000 54   1400 .31  16  
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c 900    2100 790     2500 850    1900 910   11000 84   3400 120   1100 180   5500 800    880 .89 67 900    330 900   5000 260    15000 12   530 880   940 890 210   170   1600 43   920 .13  12  
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c 900    8300 390     15000 850    5400 900   10000 270   8600 900   2400 390   8800 900    6300 5.3  440 900    270 900   3200 900    12000 14   870 120   9900 900 1700   900   2400 55   2100 .29  18  
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c 900    2500 790     2600 850    2000 900   11000 120   6300 170   1900 230   7100 890    530 1.2  88 900    2000 900   2600 900    14000 13   680 880   4700 890 230   170   1600 45   1500 .13  13  
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c 900    11000 380     15000 850    6400 900   11000 490   15000 900   4700 900   11000 900    7400 5.6  500 900    370 900   5000 900    13000 18   950 120   9900 900 2300   900   4800 75   3400 .33  19  
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c 900    2500 790     2500 850    2000 900   11000 120   6400 150   1400 230   7000 870    520 1.2  88 900    1200 900   2600 900    590 11   640 890   2100 890 230   180   2200 45   1500 .11  12  
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c 900    10000 390     15000 850    6200 910   11000 500   15000 900   4300 900   10000 900    7300 5.9  500 900    380 900   4900 900    12000 16   890 110   10000 900 2400   900   5000 74   3900 .44  16  
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c 900    13000 350     15000 110    1000 910   11000 130   15000 900   6900 260   15000 900    1600 890    1800 900    360 900   5000 900    6000 23   1500 890   3300 880 430   430   5000 100   4800 .20  14  
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c 59    15000 360     15000 850    2200 910   11000 150   15000 900   8500 290   15000 900    4500 900    5000 900    360 900   5500 900    8900 24   1700 84   9900 900 1000   260   4900 65   4200 .44  19  
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c 900    1800 880     420 850    2000 910   11000 63   2200 69   980 160   5100 890    440 .74 56 900    86 770   7500 440    8600 11   430 880   830 890 190   32   590 100   1400 .10  14  
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c 900    6500 390     15000 850    4900 910   11000 210   6600 900   2000 320   6700 900    5800 4.7  400 900    260 900   5400 900    12000 13   620 100   9900 900 1500   900   1900 49   1100 .33  18  
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c 900    2000 790     2400 850    1900 910   10000 82   3000 90   1100 170   5400 810    5400 .85 62 900    94 900   6500 900    6900 11   450 880   1200 890 230   170   1500 40   810 .15  16  
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c 900    7300 390     15000 850    5100 910   10000 250   8100 900   2200 360   8200 900    6100 4.7  420 900    260 900   4300 900    11000 13   680 110   9900 900 1600   900   2900 49   1200 .41  16  
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c 900    2900 35     1500 850    2100 900   1600 74   3600 170   960 14   1400 810    5300 1.2  88 900    150 900   4700 900    7100 16   960 880   920 900 540   70   800 43   1000 .14  15  
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c 900    9900 34     1500 850    4600 900   1600 160   5000 160   980 17   1400 900    4800 1.2  88 900    150 900   2900 900    13000 18   950 890   820 900 460   70   760 48   840 .15  12  
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c 900    2900 34     1500 850    2100 900   1600 69   3200 190   960 16   1400 800    5500 1.2  89 900    150 900   6100 900    5800 18   980 890   2400 900 570   83   710 43   910 .16  12  
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c 900    10000 34     1500 850    4600 900   1600 150   4900 170   970 16   1400 900    4700 1.3  90 900    150 900   3000 900    13000 18   960 890   1200 900 560   80   710 47   860 .14  13  
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c 900    3900 54     2300 850    2300 900   2700 110   6000 83   1300 26   2600 800    5500 1.6  140 900    170 900   2000 900    5000 21   1500 890   2300 900 680   78   930 64   1600 .14  15  
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c 900    14000 52     2300 850    4900 900   2700 220   6500 85   1200 24   2600 900    6000 1.8  140 900    170 900   5000 900    13000 22   1500 890   2100 900 690   87   830 73   1800 .15  17  
seq-mthreaded/rekh_ctm_false-unreach-call.2.c 460    9500 32     830 17    470 900   3000 900   6700 900   1700 900   6300 800    5100 900    1200 900    230 900   3000 770    3500 28   1500 890   1400 900 300   57   860 67   1300 .19  15  
seq-mthreaded/rekh_ctm_false-unreach-call.3.c 900    15000 27     520 36    690 480   2600 900   9900 900   1500 900   9100 890    1600 900    1900 900    230 900   3000 900    4900 36   1800 890   3700 900 310   43   690 63   1200 .15  12  
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c 900    2200 66     1600 850    1900 910   7900 68   3000 74   1700 180   5300 800    5400 .92 64 900    890 900   4300 140    520 12   600 880   1200 210 130   68   740 65   2000 .11  12  
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c 900    7000 190     6200 850    4500 900   4900 140   4900 120   3100 280   6400 890    4000 .93 64 900    900 900   2700 900    4000 14   610 890   890 900 360   84   1300 89   3600 .11  14  
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c 900    2500 25     1100 850    2000 900   2900 77   2900 900   970 16   1300 800    5300 1.1  75 900    750 900   4200 900    2800 13   870 880   1100 220 200   83   660 39   880 .11  12  
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c 900    8400 25     1100 850    4500 900   2900 140   5100 900   970 16   1300 890    4300 1.1  75 900    900 900   3100 900    11000 16   860 880   1100 270 210   69   660 43   810 .11  10  
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c 48    500 2.1   45 12    55 900   5900 76   2400 900   2000 98   2600 .54 42 1.9  51 900    2700 78   1400 2.5  73 12   550 880   380 900 830   900   7200 71   1100 .072 8.5
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c 900    4600 1.6   44 850    880 900   5800 900   5300 900   2100 350   4500 14    1100 890    410 900    7100 900   3600 2.9  72 13   540 880   330 36 9.8 910   6800 64   740 .062 13  
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c 38    330 17     47 6.2  45 230   4000 260   4700 900   6600 240   4700 .53 39 1.2  48 900    1800 120   2300 1.2  81 11   450 610   380 900 1000   240   4000 47   960 .086 7.9
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c 39    330 16     47 850    880 210   4000 900   6300 900   6600 350   4800 35    1100 890    400 400    15000 900   5300 .98 79 10   430 880   340 89 15   250   4400 50   920 .066 8.8
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c 11    170 .26  30 3.6  33 900   4400 42   1200 900   1400 150   3800 .53 22 1.6  42 900    89 35   820 100    100 11   500 89   160 900 14   910   10000 99   1600 .058 8.2
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 900    3100 .22  31 290    1200 900   4300 900   6000 900   1800 900   6800 8.7  440 890    330 900    83 900   4700 140    120 11   480 880   250 900 770   910   11000 89   1200 .058 8.0
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c 330    580 .74  54 690    54 900   3700 810   4400 900   6100 900   4300 63    69 55    79 900    540 340   5800 900    130 16   800 29   220 900 1600   900   9600 92   960 .078 12  
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900    2100 .87  54 850    820 900   3800 900   4900 900   6200 900   3900 73    870 890    110 900    530 900   4600 900    130 13   720 880   510 900 3700   910   10000 110   1400 .087 12  
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c 900    1000 3.3   160 850    160 900   3700 900   4600 900   5700 900   4700 890    180 890    160 900    890 900   11000 900    150 20   1300 880   550 900 2300   910   11000 52   700 .092 12  
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900    1000 3.2   160 850    160 900   3700 900   4400 900   5900 900   4900 900    1600 890    200 900    880 900   11000 900    160 19   1300 880   510 900 2300   910   11000 41   670 .10  12  
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c 5.6  100 .20  27 3.4  30 900   6200 38   940 900   830 53   930 .30 17 1.0  31 48    31 29   660 230    170 9.7 380 68   130 260 8.5 570   5900 110   1600 .10  8.2
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c 900    2200 .18  31 520    800 900   6300 900   4900 900   810 900   5200 900    2200 890    220 900    84 900   5100 600    320 11   400 880   150 900 46   900   7200 100   770 .074 8.9
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c 16    170 .15  28 30    33 900   6800 64   1800 900   840 93   2800 1.6  23 2.1  40 900    97 37   820 900    170 10   440 640   170 900 12   900   9600 130   1700 .063 7.9
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900    510 .17  31 850    790 900   6500 900   5000 900   840 900   4300 61    410 890    180 900    96 900   4000 900    190 10   440 880   180 900 45   910   9500 130   1200 .066 7.9
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c 63    260 .21  32 410    47 900   7000 240   4000 900   840 270   4000 4.5  33 5.4  53 900    110 56   1400 900    150 12   550 880   230 900 26   900   9400 120   1000 .070 13  
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900    460 .19  27 850    470 900   6900 900   4300 900   810 900   4100 290    570 890    140 900    95 900   4200 900    150 11   540 880   200 900 50   910   11000 88   1100 .069 11  
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c 360    470 .23  30 850    75 900   7200 900   4200 900   830 900   4000 21    52 19    68 900    100 100   2200 900    150 11   480 880   240 900 70   49   930 66   890 .081 8.4
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c 900    530 .29  33 850    88 900   7100 900   4300 900   830 900   3900 890    770 890    120 900    100 900   4700 900    160 13   510 880   230 900 50   54   930 67   790 .078 9.2
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c 4.2  88 .14  26 1.9  28 900   6100 28   850 900   780 41   880 .16 16 .82 30 17    29 25   600 24    75 8.2 350 41   120 110 7.7 66   1100 100   1200 .12  7.8
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c 560    2100 .15  26 130    580 900   6100 900   6800 900   790 900   4800 890    740 890    160 900    100 900   4100 22    74 9.3 350 880   150 900 58   180   2100 110   900 .072 8.8
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c 9.4  150 .18  26 6.7  32 900   6600 42   1200 900   800 54   1100 .34 19 1.5  37 190    37 35   810 200    170 9.9 380 320   170 350 9.5 210   4600 83   1100 .091 7.9
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900    1800 .19  27 210    710 900   6300 900   5500 900   770 900   4800 11    350 690    290 900    200 900   4000 280    180 9.8 370 880   170 900 56   360   5500 120   810 .094 8.1
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c 22    220 .18  32 43    34 900   6800 78   2300 900   800 91   1900 1.5  25 3.4  48 900    91 49   1200 900    230 10   390 880   210 900 17   910   10000 100   890 .11  8.1
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900    450 .24  30 700    980 900   6800 900   5000 900   790 900   4400 28    500 890    320 900    160 900   4000 900    290 11   390 880   190 900 53   900   10000 130   1300 .093 8.9
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c 63    330 .24  31 210    42 900   7200 140   3600 900   760 160   4000 3.1  34 8.7  61 900    150 65   1600 900    160 10   460 880   220 900 44   350   7300 86   1100 .086 8.1
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c 900    500 .30  33 850    810 900   7000 900   4700 900   770 900   4200 39    650 890    240 900    260 900   4400 900    150 12   430 880   220 900 50   900   12000 90   1000 .11  10  
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c 230    490 .32  33 650    56 900   7400 750   4300 900   750 900   4100 7.4  46 20    79 900    130 100   2600 900    150 11   470 880   260 900 130   250   5900 110   1000 .066 9.1
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c 900    550 .26  30 850    330 910   7700 900   4500 900   770 900   4100 92    840 890    180 900    340 900   4300 900    160 11   520 880   240 900 51   230   6000 100   1000 .076 9.1
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c 680    620 .30  31 850    82 900   7400 900   4500 900   800 900   4300 17    65 74    99 900    270 180   3500 900    200 12   540 77   230 900 280   900   10000 120   1200 .080 13  
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c 900    560 .27  31 850    160 900   7300 900   4400 900   800 900   4200 190    1100 890    160 900    330 900   4500 900    170 11   530 880   430 900 49   910   9700 120   1600 .075 15  
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c 11    160 .20  29 3.7  33 900   4000 46   1300 900   1600 160   3800 .46 24 1.6  44 900    100 38   1000 150    120 11   520 80   170 730 16   900   11000 110   1000 .077 9.3
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c 900    3300 .23  30 300    1300 900   3700 900   6100 900   1400 900   5200 11    520 890    330 900    94 900   4900 140    120 11   450 880   280 900 780   900   11000 100   1000 .12  8.7
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c 380    570 .93  56 360    52 900   3700 790   4100 900   5700 900   3700 41    70 40    87 900    520 210   4600 900    130 15   810 31   240 900 1800   910   9900 97   1400 .15  16  
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c 900    2600 1.0   55 850    900 900   3600 900   4800 900   5800 900   4300 56    1000 890    130 900    540 900   4600 900    130 15   790 880   510 900 3600   900   9800 100   1500 .082 12  
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c 900    990 3.1   170 850    150 900   3600 900   4600 910   5800 900   4700 890    210 890    170 900    890 900   10000 900    170 22   1300 880   540 900 2200   900   10000 42   790 .10  14  
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c 900    940 3.1   170 850    170 900   3700 900   4400 900   5800 900   4800 900    1900 890    200 900    890 900   9900 900    150 18   1200 880   540 900 2300   900   11000 41   800 .083 14  
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c 900    2100 790     2500 110    1200 910   11000 85   3200 85   1500 180   5500 900    480 .88 66 900    390 900   6500 580    15000 11   510 880   630 880 250   120   1300 41   830 .13  14  
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c 900    8200 400     15000 850    5400 910   11000 280   8300 900   2400 370   8600 900    6200 5.1  430 900    270 900   4700 900    11000 14   860 110   9900 900 1700   900   4300 55   2100 .49  19  
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c 900    2500 790     2500 850    1800 900   11000 120   6300 160   1900 220   7000 890    520 .94 88 900    1400 900   2700 900    550 12   650 880   2400 890 230   180   1700 44   1100 .11  14  
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c 900    10000 390     15000 850    6200 910   10000 510   15000 900   4600 900   11000 900    8100 5.9  500 900    380 900   5100 900    12000 19   980 110   10000 900 2400   900   3800 75   3100 .45  20  
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c 900    13000 340     15000 850    1400 900   11000 130   15000 900   7600 270   15000 890    1600 890    1800 900    360 900   4900 900    6000 23   1500 890   3300 880 430   260   5000 100   4400 .21  14  
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c 900    13000 350     15000 850    1500 910   11000 130   15000 900   7700 270   15000 890    1500 900    1800 900    360 900   4900 900    8600 23   1500 890   3200 880 440   350   5000 110   4800 .21  12  
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c 60    15000 360     15000 850    2200 910   11000 160   15000 900   8600 280   15000 900    4500 900    5000 900    370 900   5500 900    9000 23   1500 88   9900 900 1000   250   4900 63   2900 .26  18  
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c 73    15000 390     15000 850    3600 900   11000 180   15000 900   9700 320   15000 900    11000 900    13000 900    470 900   7500 900    15000 24   1800 110   10000 900 1900   350   5100 73   4600 .43  16  
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c 900    1800 790     2900 92    1100 910   11000 65   2000 68   970 170   5100 900    440 .79 56 900    88 900   4700 660    8600 11   410 880   1300 900 200   110   1100 57   1000 .12  14  
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c 900    6600 380     15000 850    4900 900   11000 210   6600 900   1900 310   6700 890    5800 4.5  400 900    260 900   5100 900    9400 12   620 100   9900 900 1500   55   1400 50   1300 .34  18  
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c 900    1900 790     2300 95    1100 910   11000 67   2200 74   1000 170   5200 890    430 .82 58 900    88 310   4100 640    12000 9.9 420 880   5400 890 210   97   1000 36   710 .080 12  
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c 900    6600 380     15000 850    5100 910   10000 220   7100 900   2000 330   7200 890    5800 5.0  410 900    260 900   4400 900    9900 12   630 110   10000 900 1500   900   1500 51   1200 .34  18  
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c 900    2000 790     2300 98    1200 910   11000 79   3100 90   1100 180   5400 890    470 .93 62 900    94 900   6800 900    6800 10   450 880   840 890 210   180   1500 37   800 .10  12  
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c 900    7300 390     15000 850    5100 910   10000 240   8100 900   2200 360   8300 900    6100 4.7  420 900    270 900   4200 900    10000 12   670 110   9900 900 1600   900   2600 52   1200 .38  16  
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c 710    2900 34     1500 110    1200 900   1600 73   3200 170   960 14   1400 52    460 1.2  88 900    150 850   7400 900    7900 16   970 890   1100 900 430   74   810 40   780 .16  14  
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c 900    9900 33     1500 630    4600 900   1600 150   5100 160   960 17   1400 900    4600 1.1  88 900    150 900   2800 900    12000 18   970 880   1100 900 430   90   810 47   900 .14  14  
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c 900    3900 52     2300 850    2200 900   2700 110   6000 84   1300 26   2600 800    5400 1.8  140 900    170 900   2000 900    7700 22   1500 890   1900 900 680   80   1100 63   2000 .17  13  
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c 900    14000 52     2300 850    4900 900   2700 220   6500 87   1200 24   2600 900    6100 1.7  140 900    170 900   4700 900    13000 22   1500 890   2100 900 690   71   950 71   1600 .19  13  
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c 900    3900 53     2300 850    2200 900   2900 110   6400 92   1400 27   3100 800    5500 1.9  140 900    170 900   2600 900    7800 22   1500 890   2100 900 660   78   1100 65   1400 .17  11  
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c 900    14000 52     2300 850    5000 900   2900 230   6900 92   1400 25   3100 900    6200 1.8  140 900    170 900   4800 630    15000 21   1500 890   2300 900 670   75   1100 65   1600 .17  13  
seq-mthreaded/rekh_ctm_true-unreach-call.1.c 160    9700 32     830 140    480 900   4600 900   6900 900   1700 900   6500 540    950 890    1200 900    230 900   2900 900    3800 29   1500 890   1600 900 390   57   940 68   1600 .14  13  
seq-mthreaded/rekh_ctm_true-unreach-call.2.c 310    9600 34     850 140    480 900   2200 900   6700 900   1600 900   6400 470    920 890    1200 900    230 900   3000 900    3400 30   1500 890   1400 900 280   60   950 70   1300 .15  15  
seq-mthreaded/rekh_ctm_true-unreach-call.3.c 73    15000 28     520 300    710 900   2200 900   9900 900   1600 900   8900 900    1600 890    2000 900    230 900   3000 900    4800 36   1700 890   1300 900 340   42   770 59   1100 .13  13  
seq-mthreaded/rekh_ctm_true-unreach-call.4.c 62    15000 25     770 560    950 900   5100 900   13000 900   1600 900   13000 900    2600 900    3000 900    240 900   4600 900    6800 43   1800 890   1200 900 320   53   950 70   1800 .13  15  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c 900    2100 68     1600 91    1100 900   2700 67   3100 77   1700 170   5200 30    380 .85 64 900    900 900   4400 290    2000 12   590 880   1000 900 160   68   740 66   2600 .097 12  
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c 900    7100 190     6200 460    4500 900   6200 120   4900 120   3100 280   6400 900    4100 .86 64 900    750 900   2700 900    4000 12   610 890   890 900 270   85   1100 89   3000 .13  10  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c 900    2100 33     1100 120    1100 900   1300 73   2800 900   900 76   2200 30    390 .69 65 900    900 900   6200 560    950 13   650 880   660 900 270   65   690 110   1300 .10  10  
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c 900    7100 34     1100 680    4500 900   1300 130   4700 540   900 140   4700 900    4100 .96 66 900    750 900   3000 900    10000 13   660 880   5600 900 380   62   750 57   750 .14  14  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c 900    2500 25     1100 100    1100 900   2900 72   3100 900   960 16   1300 39    420 1.1  75 900    750 900   4300 900    2700 15   880 890   5300 900 250   86   800 42   960 .10  13  
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c 900    8400 25     1100 580    4500 900   2900 150   5000 900   980 16   1300 900    4300 .79 75 900    750 900   3000 900    10000 14   880 890   920 900 230   68   760 42   810 .094 10  
seq-pthread/cs_fib_false-unreach-call.i 21    220 .67  52 3.5  73 900   3100 900   4600 500   660 900   4500 810    5500 890    120 900    2300 61   850 4.3  120 3.2 170 14   140 900 61   8.7 320 7.9 310 .088 17  
seq-pthread/cs_fib_longer_false-unreach-call.i 74    310 .66  50 15    110 900   2800 900   4600 300   620 900   4400 830    5300 890    190 900    1900 37   850 5.1  110 3.8 170 17   160 900 76   7.4 300 8.5 320 .081 12  
seq-pthread/cs_lazy_false-unreach-call.i .77 80 .062 24 .61 40 900   5700 860   4800 900   3300 900   4700 .16 23 .48 34 900    6800 53   860 1.0  65 3.9 170 5.3 100 120 10   86   800 37   590 .11  14  
seq-pthread/cs_queue_false-unreach-call.i 39    790 .84  59 68    650 900   6500 900   5800 900   2500 900   6100 8.3  480 .92 66 900    3700 900   2200 29    170 3.9 170 10   180 580 51   43   5800 60   5700 .16  13  
seq-pthread/cs_read_write_lock_false-unreach-call.i 1.3  110 .12  24 1.0  53 910   6200 900   5000 900   2000 900   5100 830    6900 19    190 850    15000 87   960 1.8  84 3.8 170 7.0 120 770 17   7.5 310 8.6 310 .10  16  
seq-pthread/cs_stack_false-unreach-call.i 1.3  150 .093 26 1.6  77 900   3700 590   4300 900   5300 900   4300 .52 52 .67 41 18    130 140   920 2.8  110 4.0 170 5.5 120 420 13   8.7 330 8.8 330 .15  14  
seq-pthread/cs_stateful_false-unreach-call.i .59 65 .064 23 .57 39 900   4900 450   4300 900   2800 900   4400 .19 23 .56 34 81    380 38   800 1.1  63 3.8 170 5.9 100 160 11   150   960 37   740 .10  12  
seq-pthread/cs_dekker_true-unreach-call.i 900    6700 .22  27 850    150 900   1700 900   4600 900   870 900   4600 900    11000 890    200 1.6  37 70   1400 2.9  140 3.2 170 5.7 130 220 11   120   1100 72   1400 .14  14  
seq-pthread/cs_fib_longer_true-unreach-call.i 420    740 .83  50 100    130 900   5200 900   5100 900   1800 900   6400 290    190 890    190 900    3800 900   6300 68    160 3.2 170 880   200 900 46   8.5 310 7.6 310 .10  12  
seq-pthread/cs_fib_true-unreach-call.i 100    470 .58  43 30    74 900   4300 900   5100 900   1600 900   5700 120    150 890    120 900    2300 900   6100 31    110 3.8 170 880   240 900 46   7.7 320 8.4 320 .13  12  
seq-pthread/cs_lamport_true-unreach-call.i 900    2800 .21  29 850    420 900   1600 900   4800 900   990 900   4600 57    15000 890    250 840    15000 91   1700 2.0  120 3.3 170 6.9 120 180 11   55   990 71   1000 .14  15  
seq-pthread/cs_peterson_true-unreach-call.i 900    10000 .15  26 850    510 900   2000 810   4500 900   1100 900   4500 890    780 890    140 900    6800 69   1500 2.1  110 3.7 170 6.3 120 180 9.6 54   930 74   1500 .11  12  
seq-pthread/cs_queue_true-unreach-call.i 900    1700 1.5   84 850    1900 560   15000 900   5900 900   5200 900   5600 5.3  390 1.5  72 840    350 900   6300 880    510 3.2 170 890   710 780 71   52   5600 45   5400 .17  17  
seq-pthread/cs_read_write_lock_true-unreach-call.i 1.4  110 .16  25 7.2  53 900   5300 900   4800 900   1000 900   5100 22    120 19    160 1.9  37 140   2900 3.0  100 3.9 170 22   150 720 19   8.5 320 8.1 330 .11  14  
seq-pthread/cs_stack_true-unreach-call.i 150    820 .098 26 39    170 900   2800 900   5200 900   1100 900   5100 1.0  110 1.1  46 2.1  42 900   6300 2.9  110 3.2 170 570   350 450 15   8.4 310 9.6 330 .23  15  
seq-pthread/cs_stateful_true-unreach-call.i .65 69 .11  23 4.1  40 900   2600 900   4700 900   1100 900   4700 .45 53 .82 35 7.1  39 77   1500 1.0  64 3.9 170 11   120 180 11   190   1200 38   690 .11  12  
seq-pthread/cs_sync_true-unreach-call.i 10    280 .094 24 850    380 900   2100 900   5300 900   960 900   4600 890    1200 270    460 8.6  41 900   7200 5.0  130 3.2 170 14   150 220 18   150   890 47   1000 .098 14  
seq-pthread/cs_szymanski_true-unreach-call.i 900    6900 .15  25 850    350 900   1600 910   6200 900   1000 900   5200 900    1400 890    170 900    8100 900   7100 1.8  110 3.9 170 6.2 110 180 10   110   1300 85   1300 .13  10  
seq-pthread/cs_time_var_mutex_true-unreach-call.i 1.1  86 .29  41 5.1  43 900   2000 900   4800 900   980 900   5000 7.8  86 15    89 5.9  42 85   1700 3.6  230 3.2 170 6.5 130 330 15   350   1600 62   1300 .13  10  
../../sv-benchmarks/c/ status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB) status cputime (s) memUsage (MB)
total tasks 261 110000 550000 261 44000   360000 261 82000 220000 261 210000 1400000 261 83000 1000000 261 180000 590000 261 90000 1100000 261 150000 1800000 261 60000 96000 261 170000 180000 261 110000 810000 261 120000 580000 261 3300 170000 261 110000 270000 261 170000 220000 261 140000 1500000 261 17000 300000 261 12000 97000
    correct results 105 6600 52000 34 2000   1600 188 51000 86000 32 2800 61000 142 17000 300000 38 1700 33000 148 23000 420000 40 2800 27000 27 580 3000 19 330 620 125 9000 180000 72 8800 42000 0 57 24000 15000 39 2700 3000 40 4900 110000 9 250 4800 9 860 810
        correct true 27 4000 30000 22 1300   1000 88 51000 81000 11 930 24000 25 6400 76000 12 130 4800 29 4800 76000 40 2800 27000 19 540 1600 16 280 440 16 1500 31000 31 5400 13000 0 43 24000 13000 0 15 1900 47000 0 9 860 810
        correct false 78 2600 22000 12 750   570 100 300 4600 21 1900 37000 117 10000 220000 26 1600 29000 119 18000 340000 0 8 45 1400 3 43 180 109 7600 150000 41 3300 29000 0 14 440 2100 39 2700 3000 25 3000 59000 9 250 4800 0
    incorrect results 6 1300 4700 43 61   2000 13 8400 32000 0 0 2 790 1300 0 2 1600 11000 0 0 0 14 2300 22000 0 0 7 2500 160 0 0 0
        incorrect true 0 7 2.5 260 8 6800 27000 0 0 2 790 1300 0 0 0 0 0 0 0 0 0 0 0 0
        incorrect false 6 1300 4700 36 58   1800 5 1600 4800 0 0 0 0 2 1600 11000 0 0 0 14 2300 22000 0 0 7 2500 160 0 0 0
score (261 tasks, max score: 364) 36 -744 -60 43 167 -14 177 48 46 35 141 -121 0 100 -73 55 9 18
Run set 2ls.sv-comp16.Sequentialized blast.sv-comp16.Sequentialized cbmc.sv-comp16.Sequentialized cpa-bam.sv-comp16.Sequentialized cpa-kind.sv-comp16.Sequentialized cpa-refsel.sv-comp16.Sequentialized cpa-seq.sv-comp16.Sequentialized esbmc.sv-comp16.Sequentialized esbmcdepthk.sv-comp16.Sequentialized impara.sv-comp16.Sequentialized lpi.sv-comp16.Sequentialized seahorn.sv-comp16.Sequentialized skink.sv-comp16.Sequentialized smack.sv-comp16.Sequentialized symbiotic3.sv-comp16.Sequentialized uautomizer.sv-comp16.Sequentialized ukojak.sv-comp16.Sequentialized vvt.sv-comp16.Sequentialized