Tool CPAchecker 1.4-svn
Limits timelimit: 900 s, memlimit: 15000 MB, CPU core limit: 2
Host [zeus01; zeus02; zeus03; zeus04; zeus05; zeus06; zeus07; zeus08; zeus09; zeus10; zeus11; zeus12; zeus13; zeus14; zeus15; zeus16; zeus17; zeus18; zeus19; zeus20; zeus21; zeus22; zeus23; zeus24]
OS Linux 3.13.0-45-generic
System CPU: Intel Xeon E5-2650 v2 @ 2.60 GHz with 32 cores, frequency: 2.6 GHz; RAM: 135 GB
Date of execution 15-02-20 21:42
Run set DOMAIN_BEST_SHALLOW.Sequentialized DOMAIN_WORST_SHALLOW.Sequentialized LONGEST.Sequentialized SHORTEST.Sequentialized
Options -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_BEST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=DOMAIN_WORST_SHALLOW -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=LONGEST -disable-java-assertions -heap 14000M -noout -skipRecursion -setprop log.consoleLevel=WARNING -valueAnalysis -setprop cpa.value.refinement.restart=TOP -setprop cpa.value.refiner.prefixPreference=SHORTEST
Propertyfile ${sourcefile_path}/ALL.prp
test/programs/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
systemc/kundu1_false-unreach-call_false-termination.cil.c false(reach) 13.331s 15 51 false(reach) 13.393s 15 93 false(reach) 15.564s 14 94 false(reach) 12.796s 15 58
systemc/kundu2_false-unreach-call_false-termination.cil.c false(reach) 15.760s 20 78 false(reach) 14.233s 22 177 false(reach) 17.739s 18 152 false(reach) 15.136s 21 106
systemc/pc_sfifo_1_false-unreach-call_false-termination.cil.c false(reach) 4.135s 3 10 false(reach) 4.171s 4 12 false(reach) 6.257s 10 62 false(reach) 3.967s 3 10
systemc/pc_sfifo_2_false-unreach-call_false-termination.cil.c false(reach) 5.501s 7 26 false(reach) 5.979s 8 44 false(reach) 7.446s 11 53 false(reach) 5.359s 7 36
systemc/pipeline_false-unreach-call_false-termination.cil.c false(reach) 98.955s 18 121 false(reach) 200.075s 18 1183 false(reach) 267.714s 18 1280 false(reach) 110.451s 18 121
systemc/token_ring.01_false-unreach-call_false-termination.cil.c false(reach) 8.167s 10 70 false(reach) 9.221s 11 77 timeout 901.749s 6 65 false(reach) 7.756s 10 69
systemc/token_ring.02_false-unreach-call_false-termination.cil.c false(reach) 13.061s 15 138 false(reach) 12.845s 17 160 timeout 901.427s 9 127 false(reach) 12.194s 15 142
systemc/token_ring.03_false-unreach-call_false-termination.cil.c false(reach) 18.525s 20 221 false(reach) 18.554s 22 271 timeout 902.303s 12 208 false(reach) 15.014s 20 241
systemc/token_ring.04_false-unreach-call_false-termination.cil.c false(reach) 31.855s 25 324 false(reach) 33.137s 27 410 timeout 902.492s 15 307 false(reach) 29.206s 25 365
systemc/token_ring.05_false-unreach-call_false-termination.cil.c false(reach) 119.181s 30 450 false(reach) 112.323s 32 579 timeout 902.818s 18 424 false(reach) 142.252s 30 516
systemc/token_ring.06_false-unreach-call_false-termination.cil.c false(reach) 779.713s 35 599 false(reach) 805.457s 37 779 timeout 903.136s 21 559 false(reach) 829.453s 35 695
systemc/token_ring.07_false-unreach-call_false-termination.cil.c timeout 903.889s 23 609 timeout 914.981s 30 895 timeout 903.739s 24 712 timeout 907.015s 29 798
systemc/token_ring.08_false-unreach-call_false-termination.cil.c timeout 902.074s 24 709 timeout 902.337s 31 1083 timeout 907.976s 27 883 timeout 959.605s - -
systemc/token_ring.09_false-unreach-call_false-termination.cil.c timeout 905.855s 24 782 timeout 902.415s 30 1204 timeout 904.492s 30 1072 timeout 907.009s 31 1130
systemc/token_ring.10_false-unreach-call_false-termination.cil.c timeout 905.596s 24 851 timeout 902.248s 27 1144 timeout 904.098s 33 1279 timeout 902.984s 30 1210
systemc/token_ring.11_false-unreach-call_false-termination.cil.c timeout 902.230s 25 960 timeout 902.311s 27 1184 timeout 903.125s 36 1504 timeout 920.152s 29 1271
systemc/token_ring.12_false-unreach-call_false-termination.cil.c timeout 903.608s 26 1074 timeout 901.771s 21 1025 timeout 902.543s 35 1656 timeout 904.736s 29 1367
systemc/token_ring.13_false-unreach-call_false-termination.cil.c timeout 929.216s 26 1142 timeout 901.704s 16 826 timeout 902.973s 35 1828 timeout 907.338s 30 1513
systemc/token_ring.14_false-unreach-call_false-termination.cil.c timeout 901.441s 26 1074 timeout 901.575s 21 1025 timeout 902.350s 35 1656 timeout 901.997s 30 1417
systemc/token_ring.15_false-unreach-call_false-termination.cil.c timeout 909.657s 26 1142 timeout 901.563s 16 826 timeout 901.818s 35 1828 timeout 901.655s 30 1513
systemc/toy1_false-unreach-call_false-termination.cil.c false(reach) 17.506s 20 99 false(reach) 64.678s 20 130 timeout 901.741s 8 59 false(reach) 14.858s 21 129
systemc/toy2_false-unreach-call_false-termination.cil.c false(reach) 17.398s 19 98 false(reach) 63.747s 20 130 timeout 902.284s 8 59 false(reach) 16.333s 20 127
systemc/transmitter.01_false-unreach-call_false-termination.cil.c false(reach) 7.579s 9 54 false(reach) 7.954s 9 74 false(reach) 7.347s 7 59 false(reach) 6.857s 9 63
systemc/transmitter.02_false-unreach-call_false-termination.cil.c false(reach) 10.873s 15 123 false(reach) 12.295s 16 156 false(reach) 13.533s 12 172 false(reach) 10.520s 16 128
systemc/transmitter.03_false-unreach-call_false-termination.cil.c false(reach) 14.624s 20 204 false(reach) 13.331s 21 267 false(reach) 17.220s 16 338 false(reach) 13.030s 21 215
systemc/transmitter.04_false-unreach-call_false-termination.cil.c false(reach) 20.037s 25 304 false(reach) 20.435s 26 408 false(reach) 22.844s 20 514 false(reach) 20.526s 26 325
systemc/transmitter.05_false-unreach-call_false-termination.cil.c false(reach) 31.376s 30 426 false(reach) 58.754s 31 580 false(reach) 40.140s 24 708 false(reach) 51.344s 31 459
systemc/transmitter.06_false-unreach-call_false-termination.cil.c false(reach) 96.124s 35 571 false(reach) 222.820s 36 784 false(reach) 82.577s 28 925 false(reach) 254.569s 36 618
systemc/transmitter.07_false-unreach-call_false-termination.cil.c false(reach) 605.826s 40 740 timeout 905.399s 32 939 false(reach) 312.638s 32 1165 timeout 924.577s 31 719
systemc/transmitter.08_false-unreach-call_false-termination.cil.c timeout 909.770s 26 781 timeout 901.144s 32 1140 timeout 907.830s 34 1414 timeout 907.025s 31 861
systemc/transmitter.09_false-unreach-call_false-termination.cil.c timeout 901.982s 26 884 timeout 907.209s 31 1282 timeout 902.126s 36 1681 timeout 953.337s 31 975
systemc/transmitter.10_false-unreach-call_false-termination.cil.c timeout 901.919s 26 975 timeout 901.688s 21 1077 timeout 903.849s 37 1961 timeout 906.367s 33 1122
systemc/transmitter.11_false-unreach-call_false-termination.cil.c timeout 905.074s 25 1034 timeout 901.756s 14 788 timeout 907.512s 38 2252 timeout 902.534s 30 1155
systemc/transmitter.12_false-unreach-call_false-termination.cil.c timeout 903.810s 26 1167 timeout 902.068s 12 714 timeout 904.021s 40 2577 timeout 902.928s 30 1265
systemc/transmitter.13_false-unreach-call_false-termination.cil.c timeout 906.198s 27 1307 timeout 902.221s 12 762 timeout 911.419s 41 2911 timeout 959.541s - -
systemc/transmitter.15_false-unreach-call_false-termination.cil.c false(reach) 21.835s 43 988 timeout 902.029s 13 650 false(reach) 43.142s 43 1002 false(reach) 20.912s 43 1213
systemc/transmitter.16_false-unreach-call_false-termination.cil.c false(reach) 22.921s 46 1126 timeout 901.909s 13 689 false(reach) 36.748s 46 1141 false(reach) 20.761s 46 1382
systemc/bist_cell_true-unreach-call_false-termination.cil.c true 12.325s 23 219 true 11.041s 21 197 true 20.860s 25 251 true 9.602s 21 197
systemc/kundu_true-unreach-call_false-termination.cil.c true 18.714s 22 82 true 15.678s 25 199 true 22.834s 21 166 true 17.562s 22 109
systemc/mem_slave_tlm.1_true-unreach-call_false-termination.cil.c true 10.524s 17 56 true 11.311s 17 68 true 12.443s 17 172 true 10.035s 17 50
systemc/mem_slave_tlm.2_true-unreach-call_false-termination.cil.c true 12.722s 18 59 true 13.016s 18 84 true 15.191s 18 195 true 11.754s 18 58
systemc/mem_slave_tlm.3_true-unreach-call_false-termination.cil.c true 14.916s 19 60 true 14.649s 19 103 true 17.713s 19 223 true 15.105s 19 61
systemc/mem_slave_tlm.4_true-unreach-call_false-termination.cil.c true 17.591s 20 61 true 18.104s 20 128 true 21.013s 20 257 true 17.773s 20 64
systemc/mem_slave_tlm.5_true-unreach-call_false-termination.cil.c true 20.714s 21 62 true 20.703s 21 159 true 25.651s 21 297 true 21.541s 21 67
systemc/pc_sfifo_1_true-unreach-call_false-termination.cil.c timeout 959.788s - - timeout 901.184s 14 79 timeout 959.665s - - timeout 959.656s - -
systemc/pc_sfifo_2_true-unreach-call_false-termination.cil.c timeout 906.934s 14 61 timeout 959.643s - - timeout 907.842s 12 65 timeout 959.531s - -
systemc/pc_sfifo_3_true-unreach-call_false-termination.cil.c true 6.752s 5 43 true 8.694s 9 87 true 5.512s 2 21 true 6.046s 6 57
systemc/pipeline_true-unreach-call_false-termination.cil.c unknown 201.897s 34 315 timeout 901.467s 16 608 timeout 902.676s 17 531 timeout 905.998s 25 279
systemc/token_ring.01_true-unreach-call_false-termination.cil.c unknown 9.403s 11 67 unknown 10.030s 11 68 unknown 11.487s 9 66 unknown 9.306s 11 66
systemc/token_ring.02_true-unreach-call_false-termination.cil.c unknown 14.898s 16 134 unknown 13.116s 16 147 unknown 15.024s 13 142 unknown 14.434s 16 138
systemc/token_ring.03_true-unreach-call_false-termination.cil.c unknown 22.930s 21 216 unknown 16.521s 21 255 unknown 19.645s 17 240 unknown 18.108s 21 236
systemc/token_ring.04_true-unreach-call_false-termination.cil.c unknown 40.183s 26 318 unknown 34.060s 26 391 unknown 35.879s 21 365 unknown 36.001s 26 359
systemc/token_ring.05_true-unreach-call_false-termination.cil.c unknown 113.361s 31 443 unknown 129.275s 31 557 unknown 82.738s 25 519 unknown 114.959s 31 509
systemc/token_ring.06_true-unreach-call_false-termination.cil.c unknown 788.300s 36 591 unknown 826.901s 36 754 unknown 356.788s 29 704 timeout 901.228s 35 686
systemc/token_ring.07_true-unreach-call_false-termination.cil.c timeout 907.638s 24 617 timeout 902.448s 30 878 timeout 903.883s 32 921 timeout 940.791s 29 788
systemc/token_ring.08_true-unreach-call_false-termination.cil.c timeout 906.732s 24 698 timeout 905.165s 30 1052 timeout 907.125s 31 1079 timeout 959.870s - -
systemc/token_ring.09_true-unreach-call_false-termination.cil.c timeout 922.083s 24 770 timeout 904.972s 32 1263 timeout 922.384s 31 1123 timeout 910.070s 31 1118
systemc/token_ring.10_true-unreach-call_false-termination.cil.c timeout 908.906s 25 877 timeout 902.039s 28 1227 timeout 913.050s 34 1341 timeout 907.340s 30 1197
systemc/token_ring.11_true-unreach-call_false-termination.cil.c timeout 902.297s 25 946 timeout 902.479s 26 1144 timeout 902.368s 36 1479 timeout 903.988s 29 1257
systemc/token_ring.12_true-unreach-call_false-termination.cil.c timeout 903.510s 26 1059 timeout 901.516s 20 982 timeout 903.240s 34 1613 timeout 907.173s 30 1402
systemc/token_ring.13_true-unreach-call_false-termination.cil.c timeout 904.264s 26 1126 timeout 901.260s 16 837 timeout 902.669s 34 1782 timeout 904.300s 30 1497
systemc/toy_true-unreach-call_false-termination.cil.c timeout 903.584s 21 100 timeout 902.846s 21 157 timeout 902.033s 8 59 timeout 903.456s 22 130
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.BOUNDED-10.pals.c unknown 8.428s 6 13 unknown 7.680s 6 9 unknown 7.821s 6 13 unknown 7.958s 6 9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 8.694s 6 13 unknown 7.894s 6 9 unknown 8.117s 6 13 unknown 7.805s 6 9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.BOUNDED-10.pals.c unknown 7.273s 5 8 unknown 7.301s 5 6 unknown 7.445s 5 8 unknown 7.149s 5 6
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_1.ufo.UNBOUNDED.pals.c unknown 7.319s 5 8 unknown 7.140s 5 6 unknown 7.260s 5 8 unknown 7.453s 5 6
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.BOUNDED-10.pals.c unknown 8.618s 6 13 unknown 7.931s 6 9 unknown 8.104s 6 13 unknown 7.994s 6 9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.4_2.ufo.UNBOUNDED.pals.c unknown 8.546s 6 13 unknown 7.781s 6 9 unknown 8.152s 6 13 unknown 8.482s 6 9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.BOUNDED-10.pals.c unknown 8.228s 6 13 unknown 8.072s 6 9 unknown 7.893s 6 13 unknown 7.881s 6 9
seq-mthreaded/pals_STARTPALS_ActiveStandby_false-unreach-call.5.ufo.UNBOUNDED.pals.c unknown 8.023s 6 13 unknown 7.912s 6 9 unknown 7.910s 6 13 unknown 7.737s 6 9
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 901.983s 37 128 timeout 903.631s 36 103 timeout 903.449s 36 167 timeout 902.059s 37 84
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 903.754s 37 128 timeout 902.162s 36 103 timeout 902.256s 36 167 timeout 959.363s - -
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 904.364s 36 124 timeout 902.074s 36 99 timeout 902.187s 36 156 timeout 901.753s 37 80
seq-mthreaded/pals_STARTPALS_Triplicated_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 903.221s 36 124 timeout 902.312s 36 99 timeout 901.770s 36 156 timeout 901.847s 37 80
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c unknown 25.544s 15 39 unknown 26.427s 15 63 unknown 25.325s 15 51 unknown 24.003s 15 40
seq-mthreaded/pals_floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c unknown 220.141s 15 39 unknown 219.864s 15 63 unknown 232.398s 15 51 unknown 222.438s 15 40
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c unknown 17.383s 15 34 unknown 18.028s 15 59 unknown 17.691s 15 44 unknown 16.051s 15 35
seq-mthreaded/pals_floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c unknown 17.747s 15 34 unknown 17.381s 15 59 unknown 17.995s 15 44 unknown 15.693s 15 35
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c unknown 24.915s 15 39 unknown 27.131s 15 63 unknown 25.208s 15 51 unknown 24.927s 15 40
seq-mthreaded/pals_floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c unknown 220.844s 15 39 unknown 231.786s 15 63 unknown 230.368s 15 51 unknown 229.657s 15 40
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c unknown 26.394s 15 39 unknown 26.190s 15 63 unknown 25.586s 15 51 unknown 25.446s 15 40
seq-mthreaded/pals_floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c unknown 227.027s 15 39 unknown 223.650s 15 63 unknown 230.347s 15 51 unknown 219.105s 15 40
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c unknown 62.444s 19 71 unknown 61.195s 19 129 unknown 62.586s 19 92 unknown 60.623s 19 74
seq-mthreaded/pals_floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 901.730s 19 71 timeout 902.047s 19 129 timeout 902.419s 19 92 timeout 901.947s 19 74
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c unknown 29.329s 19 61 unknown 31.913s 19 115 unknown 31.601s 19 78 unknown 31.079s 19 64
seq-mthreaded/pals_floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c unknown 28.936s 19 61 unknown 31.533s 19 115 unknown 30.940s 19 78 unknown 29.459s 19 64
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c unknown 62.812s 19 71 unknown 70.448s 19 129 unknown 65.579s 19 92 unknown 63.895s 19 74
seq-mthreaded/pals_floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 901.949s 19 71 timeout 901.896s 19 129 timeout 902.219s 19 92 timeout 902.231s 19 74
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c unknown 59.625s 19 71 unknown 75.286s 19 129 unknown 61.790s 19 92 unknown 63.479s 19 74
seq-mthreaded/pals_floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 902.624s 19 71 timeout 902.116s 19 129 timeout 902.474s 19 92 timeout 902.575s 19 74
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c unknown 324.225s 23 118 unknown 343.822s 23 233 unknown 331.823s 23 132 unknown 311.950s 23 124
seq-mthreaded/pals_floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 901.920s 23 118 timeout 901.804s 23 233 timeout 902.102s 23 132 timeout 901.920s 23 124
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c unknown 54.655s 23 103 unknown 66.199s 23 213 unknown 61.469s 23 132 unknown 56.492s 23 109
seq-mthreaded/pals_floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c unknown 55.916s 23 103 unknown 62.936s 23 213 unknown 62.686s 23 132 unknown 54.069s 23 109
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c unknown 337.830s 23 118 unknown 354.188s 23 233 unknown 336.903s 23 132 unknown 337.990s 23 124
seq-mthreaded/pals_floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 902.170s 23 118 timeout 901.841s 23 233 timeout 903.378s 23 132 timeout 901.857s 23 124
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c unknown 352.177s 23 118 unknown 378.724s 23 233 unknown 340.736s 23 132 unknown 351.284s 23 124
seq-mthreaded/pals_floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 901.982s 23 118 timeout 901.818s 23 233 timeout 901.875s 23 132 timeout 903.524s 23 124
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c unknown 29.019s 19 40 unknown 27.627s 21 79 unknown 28.352s 21 72 unknown 25.606s 16 36
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 959.452s - - timeout 902.484s 21 79 timeout 902.496s 21 72 timeout 901.387s 16 36
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c unknown 26.851s 18 38 unknown 29.155s 21 77 unknown 29.040s 21 69 unknown 25.302s 17 38
seq-mthreaded/pals_lcr-var-start-time.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 901.446s 18 38 timeout 901.180s 21 77 timeout 901.252s 21 69 timeout 959.521s - -
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c unknown 65.036s 22 50 unknown 56.581s 27 124 unknown 56.784s 26 102 unknown 57.184s 20 48
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 901.111s 22 50 timeout 901.234s 27 124 timeout 901.549s 26 102 timeout 901.586s 20 48
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c unknown 70.337s 23 50 unknown 61.641s 26 118 unknown 64.027s 25 93 unknown 61.464s 22 50
seq-mthreaded/pals_lcr-var-start-time.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 901.171s 23 50 timeout 901.460s 26 118 timeout 901.518s 25 93 timeout 901.533s 22 50
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c unknown 220.391s 26 63 unknown 203.974s 33 179 unknown 208.540s 31 132 unknown 187.976s 24 61
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 901.416s 26 63 timeout 901.630s 33 179 timeout 901.506s 31 132 timeout 901.748s 24 61
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c unknown 256.410s 27 63 unknown 270.466s 32 173 unknown 242.720s 30 124 unknown 240.270s 26 63
seq-mthreaded/pals_lcr-var-start-time.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 903.564s 27 63 timeout 901.547s 32 173 timeout 901.814s 30 124 timeout 901.496s 26 63
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c timeout 901.340s 30 77 timeout 901.654s 39 244 timeout 901.962s 36 164 timeout 901.699s 28 75
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 901.482s 30 77 timeout 901.388s 39 244 timeout 901.257s 36 164 timeout 901.603s 28 75
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.BOUNDED-12.pals.c timeout 902.899s 31 77 timeout 902.397s 38 240 timeout 901.042s 35 157 timeout 901.400s 30 77
seq-mthreaded/pals_lcr-var-start-time.6_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 901.420s 31 77 timeout 901.604s 38 240 timeout 901.307s 35 157 timeout 959.239s - -
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c unknown 25.258s 13 22 unknown 26.670s 19 72 unknown 25.555s 17 47 unknown 25.867s 13 22
seq-mthreaded/pals_lcr.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 907.725s 13 22 timeout 959.737s - - timeout 901.562s 17 47 timeout 901.163s 13 22
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c unknown 48.236s 16 30 unknown 54.101s 24 115 unknown 51.363s 21 65 unknown 50.158s 16 30
seq-mthreaded/pals_lcr.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 901.164s 16 30 timeout 922.949s 24 115 timeout 901.534s 21 65 timeout 918.146s 16 30
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c unknown 136.112s 19 39 unknown 147.887s 29 168 unknown 148.498s 25 85 unknown 149.104s 19 39
seq-mthreaded/pals_lcr.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 902.175s 19 39 timeout 900.975s 29 168 timeout 901.539s 25 85 timeout 901.244s 19 39
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.BOUNDED-12.pals.c unknown 726.701s 22 49 unknown 715.542s 34 231 unknown 681.480s 29 107 unknown 700.278s 22 49
seq-mthreaded/pals_lcr.6_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 901.063s 22 49 timeout 901.080s 34 231 timeout 901.066s 29 107 timeout 900.997s 22 49
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.BOUNDED-14.pals.c timeout 900.297s 25 60 timeout 900.171s 39 304 timeout 900.441s 33 131 timeout 900.372s 25 60
seq-mthreaded/pals_lcr.7_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900.250s 25 60 timeout 900.563s 39 304 timeout 900.540s 33 131 timeout 900.497s 25 60
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.BOUNDED-16.pals.c timeout 900.644s 26 68 timeout 900.379s 42 383 timeout 900.189s 35 153 timeout 900.354s 26 68
seq-mthreaded/pals_lcr.8_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 900.469s 26 68 timeout 900.547s 42 383 timeout 900.583s 35 153 timeout 901.245s 26 68
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.BOUNDED-6.pals.c timeout 901.827s 31 73 timeout 901.712s 33 122 timeout 902.060s 33 100 timeout 901.722s 31 74
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 901.552s 31 73 timeout 902.079s 33 122 timeout 901.990s 33 100 timeout 901.751s 31 74
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.BOUNDED-6.pals.c unknown 17.743s 15 34 unknown 18.777s 15 59 unknown 18.745s 15 44 unknown 17.288s 15 35
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.2.ufo.UNBOUNDED.pals.c unknown 16.938s 15 34 unknown 20.244s 15 59 unknown 17.931s 15 44 unknown 16.844s 15 35
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.BOUNDED-6.pals.c timeout 901.918s 31 73 timeout 901.655s 33 122 timeout 901.705s 33 100 timeout 901.535s 31 74
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 901.932s 31 73 timeout 901.866s 33 122 timeout 901.900s 33 100 timeout 901.814s 31 74
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.BOUNDED-6.pals.c timeout 901.328s 33 71 timeout 902.121s 33 107 timeout 901.257s 33 84 timeout 902.222s 33 72
seq-mthreaded/pals_opt-floodmax.3_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 901.476s 33 71 timeout 901.338s 33 107 timeout 902.359s 33 84 timeout 901.215s 33 72
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.BOUNDED-8.pals.c timeout 902.720s 29 131 timeout 901.594s 30 192 timeout 901.664s 30 133 timeout 902.538s 29 134
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 902.333s 29 131 timeout 901.583s 30 192 timeout 901.786s 30 133 timeout 902.693s 29 134
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.BOUNDED-8.pals.c timeout 902.459s 31 99 timeout 901.199s 32 177 timeout 902.481s 31 104 timeout 901.458s 32 104
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 902.798s 31 99 timeout 901.707s 32 177 timeout 902.370s 31 104 timeout 902.457s 31 102
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.BOUNDED-8.pals.c timeout 904.117s 29 131 timeout 902.081s 29 190 timeout 901.775s 30 133 timeout 902.638s 29 134
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 902.712s 29 131 timeout 902.339s 30 192 timeout 902.219s 30 133 timeout 902.750s 29 134
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.BOUNDED-8.pals.c timeout 902.517s 29 126 timeout 903.082s 30 192 timeout 902.273s 30 129 timeout 902.434s 29 129
seq-mthreaded/pals_opt-floodmax.4_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 902.627s 29 126 timeout 902.385s 30 192 timeout 902.436s 30 129 timeout 902.634s 29 129
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.BOUNDED-10.pals.c timeout 903.233s 29 239 timeout 903.222s 29 341 timeout 903.195s 29 210 timeout 903.345s 29 245
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.1.ufo.UNBOUNDED.pals.c timeout 904.571s 29 239 timeout 904.385s 29 341 timeout 938.398s 29 210 timeout 904.614s 29 245
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.BOUNDED-10.pals.c timeout 902.251s 31 186 timeout 902.619s 31 317 timeout 902.254s 31 182 timeout 902.082s 31 192
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.2.ufo.UNBOUNDED.pals.c timeout 903.699s 31 186 timeout 902.158s 31 317 timeout 902.718s 31 182 timeout 902.360s 31 192
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.BOUNDED-10.pals.c timeout 903.032s 29 239 timeout 903.127s 29 341 timeout 904.579s 29 210 timeout 903.027s 29 245
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.3.ufo.UNBOUNDED.pals.c timeout 903.093s 29 239 timeout 903.289s 29 341 timeout 903.148s 29 210 timeout 902.933s 29 245
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.BOUNDED-10.pals.c timeout 902.964s 29 233 timeout 903.256s 29 341 timeout 903.054s 29 204 timeout 903.432s 29 239
seq-mthreaded/pals_opt-floodmax.5_false-unreach-call.4.ufo.UNBOUNDED.pals.c timeout 904.741s 29 233 timeout 903.035s 29 341 timeout 903.482s 29 204 timeout 903.095s 29 239
seq-mthreaded/rekcba_aso_false-unreach-call.1.M1.c unknown 105.929s 0 0 unknown 107.496s 0 0 unknown 106.409s 0 0 unknown 107.057s 0 0
seq-mthreaded/rekcba_aso_false-unreach-call.1.M4.c timeout 902.298s 0 0 timeout 901.454s 0 0 timeout 902.452s 0 0 timeout 902.787s 0 0
seq-mthreaded/rekcba_aso_false-unreach-call.2.M1.c unknown 190.299s 0 0 unknown 190.165s 0 0 unknown 192.328s 0 0 unknown 189.874s 0 0
seq-mthreaded/rekcba_aso_false-unreach-call.2.M4.c timeout 902.554s 0 0 timeout 901.409s 0 0 timeout 901.481s 0 0 timeout 901.318s 0 0
seq-mthreaded/rekcba_aso_false-unreach-call.3.M1.c unknown 314.762s 0 0 unknown 312.394s 0 0 unknown 313.901s 0 0 unknown 322.883s 0 0
seq-mthreaded/rekcba_aso_false-unreach-call.3.M4.c timeout 906.331s 0 0 timeout 901.998s 0 0 timeout 901.563s 0 0 timeout 906.584s 0 0
seq-mthreaded/rekcba_aso_false-unreach-call.4.M1.c unknown 305.765s 0 0 unknown 302.630s 0 0 unknown 299.551s 0 0 unknown 305.997s 0 0
seq-mthreaded/rekcba_aso_false-unreach-call.4.M4.c timeout 904.652s 0 0 timeout 901.332s 0 0 timeout 904.063s 0 0 timeout 903.670s 0 0
seq-mthreaded/rekcba_ctm_false-unreach-call.2.c timeout 903.289s 0 0 timeout 904.534s 0 0 timeout 904.928s 0 0 timeout 905.802s 0 0
seq-mthreaded/rekcba_ctm_false-unreach-call.3.c timeout 911.369s 0 0 timeout 910.621s 0 0 timeout 907.554s 0 0 timeout 909.500s 0 0
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M1.c unknown 15.766s 0 0 unknown 14.995s 0 0 unknown 16.060s 0 0 unknown 15.574s 0 0
seq-mthreaded/rekcba_nxt_false-unreach-call.1.M4.c unknown 37.979s 0 0 unknown 37.437s 0 0 unknown 36.152s 0 0 unknown 35.426s 0 0
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M1.c unknown 100.133s 0 0 unknown 102.083s 0 0 unknown 100.334s 0 0 unknown 100.828s 0 0
seq-mthreaded/rekcba_nxt_false-unreach-call.2.M4.c timeout 901.448s 0 0 timeout 901.565s 0 0 timeout 901.546s 0 0 timeout 901.810s 0 0
seq-mthreaded/rekh_aso_false-unreach-call.1.M1.c unknown 281.343s 5 8 unknown 287.893s 5 10 unknown 282.079s 5 14 unknown 283.241s 5 8
seq-mthreaded/rekh_aso_false-unreach-call.1.M4.c timeout 902.059s 5 8 timeout 901.011s 5 10 timeout 901.705s 5 14 timeout 901.818s 5 8
seq-mthreaded/rekh_aso_false-unreach-call.2.M1.c unknown 523.015s 9 12 unknown 530.250s 9 16 unknown 516.723s 9 20 unknown 509.518s 9 12
seq-mthreaded/rekh_aso_false-unreach-call.2.M4.c timeout 901.862s 9 12 timeout 901.347s 9 16 timeout 901.129s 9 20 timeout 901.131s 9 12
seq-mthreaded/rekh_aso_false-unreach-call.4.M1.c timeout 894.865s 6 14 unknown 890.528s 6 14 unknown 870.046s 6 21 unknown 875.034s 6 14
seq-mthreaded/rekh_aso_false-unreach-call.4.M4.c timeout 901.559s 6 14 timeout 901.279s 6 14 timeout 901.265s 6 21 timeout 901.169s 6 14
seq-mthreaded/rekh_ctm_false-unreach-call.2.c unknown 437.475s 11 23 unknown 439.162s 11 33 unknown 450.567s 11 67 unknown 432.821s 11 23
seq-mthreaded/rekh_ctm_false-unreach-call.3.c unknown 785.576s 12 23 unknown 787.938s 12 30 unknown 777.260s 12 57 unknown 783.531s 12 23
seq-mthreaded/rekh_nxt_false-unreach-call.1.M1.c unknown 23.569s 2 34 unknown 23.760s 2 34 unknown 25.288s 2 34 unknown 24.475s 2 34
seq-mthreaded/rekh_nxt_false-unreach-call.1.M4.c unknown 46.977s 2 136 unknown 48.111s 2 136 unknown 62.652s 2 136 unknown 46.958s 2 136
seq-mthreaded/rekh_nxt_false-unreach-call.2.M1.c unknown 190.422s 5 8 unknown 193.653s 5 8 unknown 193.428s 5 11 unknown 193.206s 5 8
seq-mthreaded/rekh_nxt_false-unreach-call.2.M4.c timeout 900.891s 5 8 timeout 901.575s 5 8 timeout 901.361s 5 11 timeout 902.586s 5 8
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.BOUNDED-10.pals.c unknown 8.616s 6 13 unknown 7.964s 6 9 unknown 8.038s 6 13 unknown 8.237s 6 9
seq-mthreaded/pals_STARTPALS_ActiveStandby_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 8.465s 6 13 unknown 7.841s 6 9 unknown 7.741s 6 13 unknown 8.424s 6 9
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 959.519s - - timeout 902.358s 36 102 timeout 904.708s 36 163 timeout 956.753s 37 83
seq-mthreaded/pals_STARTPALS_Triplicated_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 903.866s 36 127 timeout 902.293s 36 102 timeout 902.274s 36 163 timeout 902.413s 37 83
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c unknown 25.599s 15 39 unknown 25.861s 15 63 unknown 25.021s 15 51 unknown 23.755s 15 40
seq-mthreaded/pals_floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c unknown 220.232s 15 39 unknown 224.512s 15 63 unknown 229.325s 15 51 unknown 242.180s 15 40
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c unknown 64.202s 19 71 unknown 61.387s 19 129 unknown 69.857s 19 92 unknown 60.308s 19 74
seq-mthreaded/pals_floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 901.895s 19 71 timeout 901.950s 19 129 timeout 902.091s 19 92 timeout 901.823s 19 74
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c unknown 374.338s 23 118 unknown 379.365s 23 233 unknown 325.575s 23 132 unknown 345.930s 23 124
seq-mthreaded/pals_floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 901.971s 23 118 timeout 902.161s 23 233 timeout 901.834s 23 132 timeout 902.211s 23 124
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.BOUNDED-6.pals.c unknown 30.041s 19 40 unknown 28.964s 21 79 unknown 28.461s 21 72 unknown 24.758s 16 36
seq-mthreaded/pals_lcr-var-start-time.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 959.456s - - timeout 901.287s 21 79 timeout 929.600s 21 72 timeout 901.269s 16 36
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.BOUNDED-8.pals.c unknown 63.531s 22 50 unknown 56.379s 27 124 unknown 58.027s 26 102 unknown 64.043s 20 48
seq-mthreaded/pals_lcr-var-start-time.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 901.420s 22 50 timeout 932.942s 27 124 timeout 959.453s - - timeout 941.828s 20 48
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.BOUNDED-10.pals.c unknown 207.590s 26 63 unknown 226.371s 33 179 unknown 198.978s 31 132 unknown 180.626s 24 61
seq-mthreaded/pals_lcr-var-start-time.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 901.387s 26 63 timeout 901.643s 33 179 timeout 901.243s 31 132 timeout 901.688s 24 61
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.BOUNDED-12.pals.c timeout 901.039s 30 77 timeout 901.260s 39 244 timeout 901.439s 36 164 timeout 901.657s 28 75
seq-mthreaded/pals_lcr-var-start-time.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 901.141s 30 77 timeout 901.388s 39 244 timeout 901.335s 36 164 timeout 901.406s 28 75
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.BOUNDED-6.pals.c unknown 25.397s 13 22 unknown 26.356s 19 72 unknown 25.689s 17 47 unknown 25.047s 13 22
seq-mthreaded/pals_lcr.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 930.279s 13 22 timeout 959.456s - - timeout 959.463s - - timeout 901.076s 13 22
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.BOUNDED-8.pals.c unknown 51.439s 16 30 unknown 54.655s 24 115 unknown 49.986s 21 65 unknown 48.965s 16 30
seq-mthreaded/pals_lcr.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 959.294s - - timeout 901.288s 24 115 timeout 901.096s 21 65 timeout 959.536s - -
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.BOUNDED-10.pals.c unknown 142.850s 19 39 unknown 142.562s 29 168 unknown 143.722s 25 85 unknown 154.367s 19 39
seq-mthreaded/pals_lcr.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 959.294s - - timeout 959.556s - - timeout 901.348s 25 85 timeout 959.240s - -
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.BOUNDED-12.pals.c unknown 689.940s 22 49 unknown 692.053s 34 231 unknown 669.381s 29 107 unknown 712.232s 22 49
seq-mthreaded/pals_lcr.6_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 902.059s 22 49 timeout 900.999s 34 231 timeout 900.961s 29 107 timeout 902.605s 22 49
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.BOUNDED-14.pals.c timeout 900.557s 25 60 timeout 900.673s 39 304 timeout 900.580s 33 131 timeout 900.539s 25 60
seq-mthreaded/pals_lcr.7_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900.347s 25 60 timeout 900.739s 39 304 timeout 900.815s 33 131 timeout 901.801s 25 60
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.BOUNDED-16.pals.c timeout 901.025s 26 68 timeout 901.505s 42 383 timeout 900.178s 35 153 timeout 900.359s 26 68
seq-mthreaded/pals_lcr.8_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 900.742s 26 68 timeout 900.688s 42 383 timeout 900.255s 35 153 timeout 900.333s 26 68
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.BOUNDED-6.pals.c timeout 901.650s 31 73 timeout 902.009s 33 122 timeout 901.990s 33 100 timeout 901.706s 31 74
seq-mthreaded/pals_opt-floodmax.3_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 901.859s 31 73 timeout 901.723s 33 122 timeout 901.842s 33 100 timeout 901.689s 31 74
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.BOUNDED-8.pals.c timeout 902.312s 29 131 timeout 902.143s 30 192 timeout 902.067s 30 133 timeout 902.408s 29 134
seq-mthreaded/pals_opt-floodmax.4_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 904.576s 29 131 timeout 901.626s 30 192 timeout 901.904s 30 133 timeout 902.621s 29 134
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.BOUNDED-10.pals.c timeout 903.025s 29 239 timeout 903.099s 29 341 timeout 926.301s 29 210 timeout 903.254s 29 245
seq-mthreaded/pals_opt-floodmax.5_true-unreach-call.ufo.UNBOUNDED.pals.c timeout 902.557s 30 240 timeout 903.128s 29 341 timeout 903.143s 29 210 timeout 934.149s 29 245
seq-mthreaded/rekcba_aso_true-unreach-call.1.M1.c unknown 104.159s 0 0 unknown 106.236s 0 0 unknown 106.696s 0 0 unknown 104.638s 0 0
seq-mthreaded/rekcba_aso_true-unreach-call.1.M4.c timeout 901.506s 0 0 timeout 901.458s 0 0 timeout 903.247s 0 0 timeout 901.640s 0 0
seq-mthreaded/rekcba_aso_true-unreach-call.2.M1.c unknown 308.416s 0 0 unknown 301.944s 0 0 unknown 305.009s 0 0 unknown 303.077s 0 0
seq-mthreaded/rekcba_aso_true-unreach-call.2.M4.c timeout 903.031s 0 0 timeout 904.367s 0 0 timeout 904.468s 0 0 timeout 905.067s 0 0
seq-mthreaded/rekcba_ctm_true-unreach-call.1.c timeout 906.950s 0 0 timeout 904.093s 0 0 timeout 901.429s 0 0 timeout 907.114s 0 0
seq-mthreaded/rekcba_ctm_true-unreach-call.2.c timeout 905.739s 0 0 timeout 901.383s 0 0 timeout 901.379s 0 0 timeout 904.457s 0 0
seq-mthreaded/rekcba_ctm_true-unreach-call.3.c timeout 904.101s 0 0 timeout 910.066s 0 0 timeout 908.270s 0 0 timeout 908.585s 0 0
seq-mthreaded/rekcba_ctm_true-unreach-call.4.c out of memory 179.799s - - out of memory 161.225s - - out of memory 189.254s - - out of memory 173.488s - -
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M1.c unknown 14.875s 0 0 unknown 15.479s 0 0 unknown 15.074s 0 0 unknown 14.884s 0 0
seq-mthreaded/rekcba_nxt_true-unreach-call.1.M4.c unknown 35.526s 0 0 unknown 36.468s 0 0 unknown 35.961s 0 0 unknown 37.284s 0 0
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M1.c unknown 73.460s 0 0 unknown 71.995s 0 0 unknown 73.559s 0 0 unknown 73.989s 0 0
seq-mthreaded/rekcba_nxt_true-unreach-call.2.M4.c timeout 901.166s 0 0 timeout 901.375s 0 0 timeout 901.927s 0 0 timeout 901.761s 0 0
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M1.c unknown 101.882s 0 0 unknown 99.481s 0 0 unknown 101.348s 0 0 unknown 100.003s 0 0
seq-mthreaded/rekcba_nxt_true-unreach-call.3.M4.c timeout 901.794s 0 0 timeout 902.999s 0 0 timeout 901.474s 0 0 timeout 902.713s 0 0
seq-mthreaded/rekh_aso_true-unreach-call.1.M1.c unknown 284.959s 5 8 unknown 282.591s 5 10 unknown 282.363s 5 14 unknown 286.824s 5 8
seq-mthreaded/rekh_aso_true-unreach-call.1.M4.c timeout 900.947s 5 8 timeout 900.996s 5 10 timeout 901.679s 5 14 timeout 900.975s 5 8
seq-mthreaded/rekh_aso_true-unreach-call.2.M1.c unknown 876.435s 6 14 unknown 865.710s 6 14 unknown 870.858s 6 21 unknown 883.742s 6 14
seq-mthreaded/rekh_aso_true-unreach-call.2.M4.c timeout 902.469s 6 14 timeout 902.704s 6 14 timeout 904.522s 6 21 timeout 901.003s 6 14
seq-mthreaded/rekh_aso_true-unreach-call.3.M1.c timeout 902.578s 6 14 timeout 901.962s 6 14 timeout 902.010s 6 21 timeout 902.435s 6 14
seq-mthreaded/rekh_aso_true-unreach-call.3.M4.c timeout 901.221s 6 14 timeout 901.310s 6 14 timeout 901.226s 6 21 timeout 900.856s 6 14
seq-mthreaded/rekh_ctm_true-unreach-call.1.c unknown 437.106s 11 23 unknown 425.707s 11 34 unknown 440.405s 11 69 unknown 436.364s 11 23
seq-mthreaded/rekh_ctm_true-unreach-call.2.c unknown 432.916s 11 23 unknown 435.013s 11 34 unknown 446.701s 11 69 unknown 435.716s 11 23
seq-mthreaded/rekh_ctm_true-unreach-call.3.c unknown 814.612s 12 23 unknown 797.994s 12 30 unknown 781.108s 12 57 unknown 785.213s 12 23
seq-mthreaded/rekh_ctm_true-unreach-call.4.c timeout 901.476s 12 24 timeout 902.749s 12 42 timeout 901.496s 12 95 timeout 901.191s 12 24
seq-mthreaded/rekh_nxt_true-unreach-call.1.M1.c unknown 24.485s 2 34 unknown 24.859s 2 34 unknown 24.451s 2 34 unknown 24.091s 2 34
seq-mthreaded/rekh_nxt_true-unreach-call.1.M4.c unknown 48.576s 2 136 unknown 45.598s 2 136 unknown 61.131s 2 136 unknown 44.887s 2 136
seq-mthreaded/rekh_nxt_true-unreach-call.2.M1.c unknown 663.684s 6 13 unknown 654.673s 6 14 unknown 668.645s 6 11 unknown 657.777s 6 14
seq-mthreaded/rekh_nxt_true-unreach-call.2.M4.c timeout 903.473s 6 13 timeout 905.116s 6 14 timeout 900.863s 6 11 timeout 900.794s 6 14
seq-mthreaded/rekh_nxt_true-unreach-call.3.M1.c unknown 193.531s 5 8 unknown 195.079s 5 8 unknown 194.779s 5 11 unknown 196.104s 5 8
seq-mthreaded/rekh_nxt_true-unreach-call.3.M4.c timeout 902.009s 5 8 timeout 900.945s 5 8 timeout 903.031s 5 11 timeout 902.515s 5 8
seq-pthread/cs_fib_false-unreach-call.i unknown 28.507s 12 27 unknown 27.900s 12 39 unknown 28.472s 13 46 unknown 27.381s 12 24
seq-pthread/cs_fib_longer_false-unreach-call.i unknown 19.705s 6 16 unknown 16.869s 6 25 unknown 19.492s 7 32 unknown 18.053s 6 16
seq-pthread/cs_lazy_false-unreach-call.i unknown 37.179s 8 33 unknown 39.615s 8 36 unknown 47.375s 8 29 unknown 35.339s 8 33
seq-pthread/cs_queue_false-unreach-call.i unknown 194.041s 10 39 unknown 315.920s 10 61 unknown 576.346s 10 58 unknown 196.247s 10 40
seq-pthread/cs_read_write_lock_false-unreach-call.i unknown 24.199s 9 43 unknown 24.497s 9 88 unknown 25.811s 9 51 unknown 24.416s 9 42
seq-pthread/cs_stack_false-unreach-call.i unknown 37.789s 7 24 unknown 40.123s 8 29 unknown 68.871s 8 43 unknown 36.613s 7 25
seq-pthread/cs_stateful_false-unreach-call.i unknown 27.909s 7 31 unknown 28.959s 7 39 unknown 33.874s 7 33 unknown 25.346s 7 29
seq-pthread/cs_dekker_true-unreach-call.i unknown 20.418s 8 35 unknown 21.851s 8 32 unknown 20.305s 8 35 unknown 19.613s 8 31
seq-pthread/cs_fib_longer_true-unreach-call.i unknown 20.294s 6 16 unknown 18.308s 6 25 unknown 19.882s 7 32 unknown 17.451s 6 16
seq-pthread/cs_fib_true-unreach-call.i unknown 19.110s 6 16 unknown 17.180s 6 25 unknown 18.674s 7 32 unknown 16.850s 6 16
seq-pthread/cs_lamport_true-unreach-call.i unknown 20.142s 7 22 unknown 18.578s 7 36 unknown 20.149s 7 28 unknown 18.932s 7 23
seq-pthread/cs_peterson_true-unreach-call.i unknown 21.103s 7 22 unknown 18.965s 7 36 unknown 19.168s 7 28 unknown 18.301s 7 23
seq-pthread/cs_queue_true-unreach-call.i unknown 391.981s 14 48 unknown 388.250s 14 68 unknown 479.553s 14 102 unknown 387.069s 14 45
seq-pthread/cs_read_write_lock_true-unreach-call.i unknown 25.514s 9 43 unknown 25.663s 9 88 unknown 25.984s 9 51 unknown 24.754s 9 42
seq-pthread/cs_stack_true-unreach-call.i unknown 36.955s 7 24 unknown 42.965s 8 29 unknown 63.506s 8 42 unknown 35.046s 7 25
seq-pthread/cs_stateful_true-unreach-call.i unknown 26.880s 7 32 unknown 33.360s 8 55 unknown 33.867s 7 34 unknown 24.631s 7 30
seq-pthread/cs_sync_true-unreach-call.i unknown 27.797s 7 31 unknown 29.493s 8 41 unknown 34.810s 8 37 unknown 24.358s 7 29
seq-pthread/cs_szymanski_true-unreach-call.i unknown 20.527s 7 22 unknown 17.599s 7 36 unknown 19.214s 7 28 unknown 18.131s 7 23
seq-pthread/cs_time_var_mutex_true-unreach-call.i unknown 22.536s 7 26 unknown 21.771s 7 37 unknown 22.046s 7 36 unknown 21.562s 7 28
test/programs/ status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes status cputime #refs #prefixes
total tasks 261 130385.521 4421 40946 261 133541.677 4783 56255 261 137060.907 4788 63038 261 131929.333 4364 44174
correct results 30 2088.541 645 7463 27 1806.600 542 7339 22 1032.124 442 9247 29 1722.714 612 7681
false negatives 0 - - - 0 - - - 0 - - - 0 - - -
false positives 0 - - - 0 - - - 0 - - - 0 - - -
false properties 0 - - - 0 - - - 0 - - - 0 - - -
score (261 tasks) 38 - - - 35 - - - 30 - - - 37 - - -
Run set DOMAIN_BEST_SHALLOW.Sequentialized DOMAIN_WORST_SHALLOW.Sequentialized LONGEST.Sequentialized SHORTEST.Sequentialized