| A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | AA | AB | AC | AD | AE | AF | AG | AH | AI | AJ | AK | AL | AM | AN | AO | AP | AQ | AR | AS | AT | AU | AV | AW | AX | AY | AZ | BA | BB | BC | BD | BE | BF | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | Pair of benchmarks | Propositional encoding | LRA encoding | EUF encoding | ||||||||||||||||||||||||||||||||||||||||||||||||||||||
2 | LOC (1st version) | Bootstrap(P1) | itp (s) | total(s) | result | UpProver(P2) | diff(s) | itp(s) | counter_validating_node | preserved | unpreserved | iface | total(s) | result | standalone(P2) | total(s) | result | Bootstrap(P1) | itp(s) | total(s) | UpProver(P2) | diff(s) | itp(s) | counter_validating_node | preserved | unpreserved | iface | total(s) | result | Standalone(P2) | total(s) | result | speedupLRA | Bootstrap(P1) | itp(s) | total(s) | result | UpProver(P2) | diff(s) | itp(s) | counter_validating_node | preserved | unpreserved | iface | total(s) | result | Standalone(P2) | total(s) | result | speedup euf | ||||||||
3 | drivers--usb--serial--spcp8x5.ko#036.d9a8074.39_7a.cil_safe.i#037.bf90ff5.39_7a.cil_safe.i | 7189 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 35.6485 | 89 | safe | UpProver(P2) | 0.111888 | 0.29898947 | 74 | 1369 | 61 | 10 | 19.77 | safe | Standalone(P2) | 47.78 | safe | 2.416793121 | Bootstrap(P1) | 14.1986 | 38.38 | safe | UpProver(P2) | 0.0881751 | 0.13924267 | 74 | 1369 | 61 | 10 | 15.22 | safe | Standalone(P2) | 41.99 | safe | 2.758869908 | |||||||||
4 | drivers--usb--serial--spcp8x5.ko#036.d9a8074.32_7a.cil_safe.i#037.bf90ff5.32_7a.cil_safe.i | 6452 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.211654 | 42.31 | safe | UpProver(P2) | 0.119924 | 0.01456433 | 77 | 1008 | 63 | 11 | 19.9 | safe | Standalone(P2) | 23.85 | safe | Bootstrap(P1) | 0.14874 | 24.71 | safe | UpProver(P2) | 0.0881589 | 0.00963825 | 77 | 1008 | 63 | 11 | 13.75 | safe | Standalone(P2) | 22.34 | safe | 1.624727273 | ||||||||||
5 | drivers--usb--serial--spcp8x5.ko#036.d9a8074.08_1a.cil_safe.i#037.bf90ff5.08_1a.cil_safe.i | 5867 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.134558 | 37.02 | safe | UpProver(P2) | 0.134518 | 0.01053181 | 74 | 1008 | 61 | 10 | 19.39 | safe | Standalone(P2) | 23.42 | safe | Bootstrap(P1) | 0.117119 | 23.23 | safe | UpProver(P2) | 0.0796584 | 0.00666097 | 74 | 1008 | 61 | 10 | 13.03 | safe | Standalone(P2) | 20.98 | safe | 1.610130468 | ||||||||||
6 | drivers--usb--serial--spcp8x5.ko#034.adc8d74.39_7a.cil_safe.i#036.d9a8074.39_7a.cil_safe.i | 7156 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 31.6406 | 85.29 | safe | UpProver(P2) | 0.136166 | 0.00031786 | 69 | 1720 | 65 | 0 | 20.03 | safe | Standalone(P2) | 56.13 | safe | Bootstrap(P1) | 15.6831 | 41.03 | safe | UpProver(P2) | 0.107187 | 0.00023589 | 69 | 1720 | 65 | 0 | 17.29 | safe | Standalone(P2) | 38.44 | safe | 2.223250434 | ||||||||||
7 | drivers--usb--serial--spcp8x5.ko#034.adc8d74.32_7a.cil_safe.i#036.d9a8074.32_7a.cil_safe.i | 6201 | Bootstrap(P1) | 0.00E+00 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 1.99E-01 | 39.98 | safe | UpProver(P2) | 0.169418 | 1.49E-03 | 72 | 1358 | 67 | 1 | 20.04 | safe | Standalone(P2) | 26.34 | safe | Bootstrap(P1) | 0.117741 | 22.83 | safe | UpProver(P2) | 0.0991606 | 0.00084672 | 72 | 1358 | 67 | 1 | 14.03 | safe | Standalone(P2) | 23 | safe | 1.639344262 | ||||||||||
8 | drivers--usb--serial--spcp8x5.ko#034.adc8d74.08_1a.cil_safe.i#036.d9a8074.08_1a.cil_safe.i | 5834 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.1738 | 39.84 | safe | UpProver(P2) | 0.149061 | 0.00016939 | 69 | 1359 | 65 | 0 | 19.9 | safe | Standalone(P2) | 23.75 | safe | Bootstrap(P1) | 0.132301 | 24.09 | safe | UpProver(P2) | 0.0981137 | 9.55E-05 | 69 | 1359 | 65 | 0 | 14.14 | safe | Standalone(P2) | 23.04 | safe | 1.629420085 | ||||||||||
9 | drivers--usb--serial--spcp8x5.ko#033.fe2baf8.39_7a.cil_safe.i#034.adc8d74.39_7a.cil_safe.i | 7075 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 36.1458 | 84.55 | safe | UpProver(P2) | 0.137288 | 0.00031866 | 69 | 1720 | 65 | 0 | 19.87 | safe | Standalone(P2) | 53.86 | safe | Bootstrap(P1) | 18.0944 | 40.17 | safe | UpProver(P2) | 0.107865 | 0.00025661 | 69 | 1720 | 65 | 0 | 17.21 | safe | Standalone(P2) | 39.89 | safe | 2.317838466 | ||||||||||
10 | drivers--usb--serial--spcp8x5.ko#033.fe2baf8.32_7a.cil_safe.i#034.adc8d74.32_7a.cil_safe.i | 6120 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.165238 | 36.18 | safe | UpProver(P2) | 0.147553 | 0.00017033 | 69 | 1360 | 65 | 0 | 19.34 | safe | Standalone(P2) | 22.65 | safe | Bootstrap(P1) | 0.110961 | 20.37 | safe | UpProver(P2) | 0.0984124 | 9.85E-05 | 69 | 1360 | 65 | 0 | 13.47 | safe | Standalone(P2) | 21.87 | safe | 1.623608018 | ||||||||||
11 | drivers--usb--serial--spcp8x5.ko#033.fe2baf8.08_1a.cil_safe.i#034.adc8d74.08_1a.cil_safe.i | 5753 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.146188 | 36.06 | safe | UpProver(P2) | 0.142862 | 1.53E-04 | 69 | 1359 | 65 | 0 | 19.94 | safe | Standalone(P2) | 25.13 | safe | Bootstrap(P1) | 0.11627 | 22.04 | safe | UpProver(P2) | 0.0996508 | 0.00010689 | 69 | 1359 | 65 | 0 | 13.72 | safe | Standalone(P2) | 23.33 | safe | 1.700437318 | ||||||||||
12 | drivers--usb--serial--spcp8x5.ko#032.68e2411.39_7a.cil_safe.i#033.fe2baf8.39_7a.cil_safe.i | 7014 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 34.0383 | 82.54 | safe | UpProver(P2) | 0.141478 | 0.28484636 | 60 | 1745 | 15 | 25 | 23.41 | safe | Standalone(P2) | 54.5 | safe | Bootstrap(P1) | 15.5762 | 38.95 | safe | UpProver(P2) | 0.105364 | 0.12881829 | 60 | 1745 | 15 | 25 | 17.99 | safe | Standalone(P2) | 40.09 | safe | 2.228460256 | ||||||||||
13 | drivers--usb--serial--spcp8x5.ko#032.68e2411.32_7a.cil_safe.i#033.fe2baf8.32_7a.cil_safe.i | 6059 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.16762 | 36.44 | safe | UpProver(P2) | 0.141803 | 0.01158179 | 60 | 1385 | 15 | 25 | 22.21 | safe | Standalone(P2) | 21.3 | safe | Bootstrap(P1) | 0.11565 | 20.2 | safe | UpProver(P2) | 0.0968299 | 0.00894846 | 60 | 1385 | 15 | 25 | 16.19 | safe | Standalone(P2) | 20.49 | safe | 1.265596047 | ||||||||||
14 | drivers--usb--serial--spcp8x5.ko#032.68e2411.08_1a.cil_safe.i#033.fe2baf8.08_1a.cil_safe.i | 5692 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.147644 | 35.66 | safe | UpProver(P2) | 0.146029 | 0.01164534 | 60 | 1384 | 15 | 25 | 22.66 | safe | Standalone(P2) | 22.89 | safe | Bootstrap(P1) | 0.102259 | 19.78 | safe | UpProver(P2) | 0.0958155 | 0.00912746 | 60 | 1384 | 15 | 25 | 16.35 | safe | Standalone(P2) | 20.1 | safe | 1.229357798 | ||||||||||
15 | drivers--usb--serial--spcp8x5.ko#031.32078f9.39_7a.cil_safe.i#032.68e2411.39_7a.cil_safe.i | 7014 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 36.6085 | 84.79 | safe | UpProver(P2) | 0.133854 | 1.50E-04 | 56 | 1735 | 50 | 0 | 16.52 | safe | Standalone(P2) | 53.26 | safe | Bootstrap(P1) | 17.2665 | 40.83 | safe | UpProver(P2) | 0.105311 | 1.34E-04 | 56 | 1735 | 50 | 0 | 12.2 | safe | Standalone(P2) | 37.27 | safe | 3.054918033 | ||||||||||
16 | drivers--usb--serial--spcp8x5.ko#031.32078f9.32_7a.cil_safe.i#032.68e2411.32_7a.cil_safe.i | 6059 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.147553 | 33.34 | safe | UpProver(P2) | 0.12961 | 0.00014113 | 56 | 1375 | 50 | 0 | 15.43 | safe | Standalone(P2) | 22 | safe | Bootstrap(P1) | 0.128045 | 21.74 | safe | UpProver(P2) | 0.0976323 | 7.94E-05 | 56 | 1375 | 50 | 0 | 10.6 | safe | Standalone(P2) | 21.71 | safe | 2.048113208 | ||||||||||
17 | drivers--usb--serial--spcp8x5.ko#031.32078f9.08_1a.cil_safe.i#032.68e2411.08_1a.cil_safe.i | 5692 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.14656 | 34.7 | safe | UpProver(P2) | 0.141218 | 0.00012898 | 56 | 1374 | 50 | 0 | 15.31 | safe | Standalone(P2) | 22.2 | safe | Bootstrap(P1) | 0.101481 | 20.08 | safe | UpProver(P2) | 0.0951384 | 7.98E-05 | 56 | 1374 | 50 | 0 | 10.51 | safe | Standalone(P2) | 19.8 | safe | 1.883920076 | ||||||||||
18 | drivers--usb--serial--spcp8x5.ko#030.5026bb0.39_7a.cil_safe.i#031.32078f9.39_7a.cil_safe.i | 7014 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 37.2509 | 85.22 | safe | UpProver(P2) | 0.133483 | 2.21E-04 | 56 | 1735 | 50 | 0 | 16.22 | safe | Standalone(P2) | 54.65 | safe | Bootstrap(P1) | 18.9342 | 41.76 | safe | UpProver(P2) | 0.103476 | 1.34E-04 | 56 | 1735 | 50 | 0 | 12.85 | safe | Standalone(P2) | 39.77 | safe | 3.094941634 | ||||||||||
19 | drivers--usb--serial--spcp8x5.ko#030.5026bb0.32_7a.cil_safe.i#031.32078f9.32_7a.cil_safe.i | 6059 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.179707 | 36.68 | safe | UpProver(P2) | 0.156884 | 0.00014833 | 56 | 1375 | 50 | 0 | 15.38 | safe | Standalone(P2) | 20.73 | safe | Bootstrap(P1) | 0.117262 | 20.77 | safe | UpProver(P2) | 0.0948962 | 7.97E-05 | 56 | 1375 | 50 | 0 | 10.72 | safe | Standalone(P2) | 20.46 | safe | 1.90858209 | ||||||||||
20 | drivers--usb--serial--spcp8x5.ko#030.5026bb0.08_1a.cil_safe.i#031.32078f9.08_1a.cil_safe.i | 5692 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.154622 | 37.58 | safe | UpProver(P2) | 0.140911 | 1.15E-04 | 56 | 1374 | 50 | 0 | 15.3 | safe | Standalone(P2) | 20.21 | safe | Bootstrap(P1) | 0.192577 | 21.65 | safe | UpProver(P2) | 0.0942033 | 6.78E-05 | 56 | 1374 | 50 | 0 | 10.49 | safe | Standalone(P2) | 20.46 | safe | 1.95042898 | ||||||||||
21 | drivers--usb--serial--spcp8x5.ko#029.7653363.39_7a.cil_safe.i#030.5026bb0.39_7a.cil_safe.i | 7014 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 33.8512 | 82.25 | safe | UpProver(P2) | 0.132142 | 1.31E-04 | 56 | 1735 | 50 | 0 | 15.72 | safe | Standalone(P2) | 54.8 | safe | Bootstrap(P1) | 15.0247 | 36.36 | safe | UpProver(P2) | 0.104227 | 1.20E-04 | 56 | 1735 | 50 | 0 | 11.84 | safe | Standalone(P2) | 40.36 | safe | 3.408783784 | ||||||||||
22 | drivers--usb--serial--spcp8x5.ko#029.7653363.32_7a.cil_safe.i#030.5026bb0.32_7a.cil_safe.i | 6059 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.180897 | 36.69 | safe | UpProver(P2) | 0.164102 | 0.0001223 | 56 | 1375 | 50 | 0 | 15.19 | safe | Standalone(P2) | 23.38 | safe | Bootstrap(P1) | 0.124047 | 21.41 | safe | UpProver(P2) | 0.095976 | 7.90E-05 | 56 | 1375 | 50 | 0 | 10.96 | safe | Standalone(P2) | 21.15 | safe | 1.929744526 | ||||||||||
23 | drivers--usb--serial--spcp8x5.ko#029.7653363.08_1a.cil_safe.i#030.5026bb0.08_1a.cil_safe.i | 5692 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.150982 | 35.58 | safe | UpProver(P2) | 0.179423 | 0.00013807 | 56 | 1374 | 50 | 0 | 15.37 | safe | Standalone(P2) | 22.26 | safe | Bootstrap(P1) | 0.104643 | 20.24 | safe | UpProver(P2) | 0.0947056 | 6.39E-05 | 56 | 1374 | 50 | 0 | 10.26 | safe | Standalone(P2) | 19.66 | safe | 1.916179337 | ||||||||||
24 | drivers--usb--serial--spcp8x5.ko#028.a385c15.39_7a.cil_safe.i#029.7653363.39_7a.cil_safe.i | 7061 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 34.4674 | 84.2 | safe | UpProver(P2) | 0.137147 | 1.71E-04 | 60 | 1730 | 55 | 0 | 17.96 | safe | Standalone(P2) | 51.32 | safe | Bootstrap(P1) | 16.8351 | 39.84 | safe | UpProver(P2) | 0.131994 | 1.40E-04 | 60 | 1730 | 55 | 0 | 12.79 | safe | Standalone(P2) | 36.63 | safe | 2.863956216 | ||||||||||
25 | drivers--usb--serial--spcp8x5.ko#028.a385c15.32_7a.cil_safe.i#029.7653363.32_7a.cil_safe.i | 6106 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.171262 | 37.19 | safe | UpProver(P2) | 0.149655 | 0.00014061 | 60 | 1370 | 55 | 0 | 16.31 | safe | Standalone(P2) | 21.39 | safe | Bootstrap(P1) | 0.11651 | 20.59 | safe | UpProver(P2) | 0.120456 | 9.28E-05 | 60 | 1370 | 55 | 0 | 11.82 | safe | Standalone(P2) | 20.24 | safe | 1.712351946 | ||||||||||
26 | drivers--usb--serial--spcp8x5.ko#028.a385c15.08_1a.cil_safe.i#029.7653363.08_1a.cil_safe.i | 5739 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.128788 | 33.67 | safe | UpProver(P2) | 0.122183 | 0.00013315 | 60 | 1369 | 55 | 0 | 16.73 | safe | Standalone(P2) | 20.75 | safe | Bootstrap(P1) | 0.105456 | 20.73 | safe | UpProver(P2) | 0.0952716 | 0.00010892 | 60 | 1369 | 55 | 0 | 11.52 | safe | Standalone(P2) | 20.68 | safe | 1.795138889 | ||||||||||
27 | drivers--usb--serial--spcp8x5.ko#027.d860322.39_7a.cil_safe.i#028.a385c15.39_7a.cil_safe.i | 7163 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 31.9239 | 80.35 | safe | UpProver(P2) | 0.13416 | 1.77E-04 | 1 | 1789 | 1 | 0 | 8.06 | safe | Standalone(P2) | 53.1 | safe | Bootstrap(P1) | 15.3233 | 38.86 | safe | UpProver(P2) | 0.1033 | 3.96E-05 | 1 | 1789 | 1 | 0 | 6.05 | safe | Standalone(P2) | 38.75 | safe | 6.404958678 | ||||||||||
28 | drivers--usb--serial--spcp8x5.ko#027.d860322.32_7a.cil_safe.i#028.a385c15.32_7a.cil_safe.i | 6208 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.179733 | 37.69 | safe | UpProver(P2) | 0.141762 | 4.10E-05 | 1 | 1429 | 1 | 0 | 7.61 | safe | Standalone(P2) | 23.51 | safe | Bootstrap(P1) | 0.125531 | 22.4 | safe | UpProver(P2) | 0.0940181 | 1.99E-05 | 1 | 1429 | 1 | 0 | 5.76 | safe | Standalone(P2) | 21.65 | safe | 3.758680556 | ||||||||||
29 | drivers--usb--serial--spcp8x5.ko#027.d860322.08_1a.cil_safe.i#028.a385c15.08_1a.cil_safe.i | 5841 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.151061 | 36.87 | safe | UpProver(P2) | 0.149522 | 6.36E-05 | 1 | 1428 | 1 | 0 | 7.75 | safe | Standalone(P2) | 21.56 | safe | Bootstrap(P1) | 0.101424 | 20.15 | safe | UpProver(P2) | 0.0941019 | 1.76E-05 | 1 | 1428 | 1 | 0 | 5.7 | safe | Standalone(P2) | 20.45 | safe | 3.587719298 | ||||||||||
30 | drivers--usb--serial--spcp8x5.ko#026.90ab5ee.39_7a.cil_safe.i#027.d860322.39_7a.cil_safe.i | 7157 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 31.8206 | 81.01 | safe | UpProver(P2) | 0.135626 | 1.61E-04 | 60 | 1743 | 52 | 2 | 15.88 | safe | Standalone(P2) | 51.83 | safe | Bootstrap(P1) | 18.868 | 42.18 | safe | UpProver(P2) | 0.106314 | 1.35E-04 | 60 | 1743 | 52 | 2 | 15.01 | safe | Standalone(P2) | 38.05 | safe | 2.534976682 | ||||||||||
31 | drivers--usb--serial--spcp8x5.ko#026.90ab5ee.32_7a.cil_safe.i#027.d860322.32_7a.cil_safe.i | 6202 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.16854 | 37.15 | safe | UpProver(P2) | 0.161739 | 0.00012778 | 60 | 1383 | 52 | 2 | 15.12 | safe | Standalone(P2) | 22.14 | safe | Bootstrap(P1) | 0.108642 | 19.96 | safe | UpProver(P2) | 0.0964166 | 6.75E-05 | 60 | 1383 | 52 | 2 | 10.61 | safe | Standalone(P2) | 20.97 | safe | 1.976437323 | ||||||||||
32 | drivers--usb--serial--spcp8x5.ko#026.90ab5ee.08_1a.cil_safe.i#027.d860322.08_1a.cil_safe.i | 5837 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.144934 | 36.75 | safe | UpProver(P2) | 0.162363 | 1.52E-04 | 60 | 1382 | 52 | 2 | 15.38 | safe | Standalone(P2) | 21.26 | safe | Bootstrap(P1) | 0.11202 | 21.3 | safe | UpProver(P2) | 0.0955662 | 7.44E-05 | 60 | 1382 | 52 | 2 | 10.59 | safe | Standalone(P2) | 21.31 | safe | 2.012275732 | ||||||||||
33 | drivers--usb--serial--spcp8x5.ko#025.00a0d0d.39_7a.cil_safe.i#026.90ab5ee.39_7a.cil_safe.i | 6994 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 31.8032 | 77.98 | safe | UpProver(P2) | 0.13777 | 0.00025268 | 264 | 1589 | 71 | 140 | 25.51 | safe | Standalone(P2) | 51.76 | safe | Bootstrap(P1) | 27.8036 | 47.59 | safe | UpProver(P2) | 0.105282 | 0.00028988 | 264 | 1589 | 71 | 140 | 22.85 | safe | Standalone(P2) | 41.37 | safe | 1.810503282 | ||||||||||
34 | drivers--usb--serial--spcp8x5.ko#025.00a0d0d.32_7a.cil_safe.i#026.90ab5ee.32_7a.cil_safe.i | 5824 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.139081 | 33.95 | safe | UpProver(P2) | 0.153976 | 0.00125789 | 267 | 1226 | 73 | 141 | 25.09 | safe | Standalone(P2) | 23.44 | safe | Bootstrap(P1) | 0.0966027 | 18.74 | safe | UpProver(P2) | 0.0957172 | 0.00072339 | 267 | 1226 | 73 | 141 | 17.14 | safe | Standalone(P2) | 20.41 | safe | 1.190781797 | ||||||||||
35 | drivers--usb--serial--spcp8x5.ko#025.00a0d0d.08_1a.cil_safe.i#026.90ab5ee.08_1a.cil_safe.i | 5672 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.126496 | 31.34 | safe | UpProver(P2) | 0.129672 | 0.00018041 | 264 | 1228 | 71 | 140 | 24.16 | safe | Standalone(P2) | 21.58 | safe | Bootstrap(P1) | 0.109363 | 20.21 | safe | UpProver(P2) | 0.0963333 | 0.00010823 | 264 | 1228 | 71 | 140 | 16.85 | safe | Standalone(P2) | 21.54 | safe | 1.278338279 | ||||||||||
36 | drivers--usb--serial--spcp8x5.ko#024.20b9d17.39_7a.cil_safe.i#025.00a0d0d.39_7a.cil_safe.i | 6996 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 30.1231 | 75.54 | safe | UpProver(P2) | 0.143852 | 0.0484354 | 6 | 1795 | 1 | 5 | 8.79 | safe | Standalone(P2) | 50.11 | safe | Bootstrap(P1) | 16.1351 | 36.68 | safe | UpProver(P2) | 0.103767 | 0.0214868 | 6 | 1795 | 1 | 5 | 6.57 | safe | Standalone(P2) | 48.38 | safe | 7.363774734 | ||||||||||
37 | drivers--usb--serial--spcp8x5.ko#024.20b9d17.32_7a.cil_safe.i#025.00a0d0d.32_7a.cil_safe.i | 5826 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.136756 | 34.88 | safe | UpProver(P2) | 0.153735 | 2.01E-03 | 6 | 1434 | 1 | 5 | 8.17 | safe | Standalone(P2) | 20.63 | safe | Bootstrap(P1) | 0.109432 | 20.25 | safe | UpProver(P2) | 0.0966205 | 1.45E-03 | 6 | 1434 | 1 | 5 | 6.12 | safe | Standalone(P2) | 19.39 | safe | 3.168300654 | ||||||||||
38 | drivers--usb--serial--spcp8x5.ko#024.20b9d17.08_1a.cil_safe.i#025.00a0d0d.08_1a.cil_safe.i | 5674 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.1429 | 33.81 | safe | UpProver(P2) | 0.152433 | 0.00211576 | 6 | 1434 | 1 | 5 | 8.41 | safe | Standalone(P2) | 20.5 | safe | Bootstrap(P1) | 0.0944875 | 18.54 | safe | UpProver(P2) | 0.0947839 | 0.00137929 | 6 | 1434 | 1 | 5 | 6 | safe | Standalone(P2) | 19.83 | safe | 3.305 | ||||||||||
39 | drivers--usb--serial--spcp8x5.ko#023.60b33c1.39_7a.cil_safe.i#024.20b9d17.39_7a.cil_safe.i | 6997 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 36.9215 | 84.43 | safe | UpProver(P2) | 0.133877 | 0.0560084 | 6 | 1795 | 1 | 5 | 8.9 | safe | Standalone(P2) | 49.31 | safe | Bootstrap(P1) | 14.3375 | 36.39 | safe | UpProver(P2) | 0.104216 | 0.0302235 | 6 | 1795 | 1 | 5 | 6.61 | safe | Standalone(P2) | 36.25 | safe | 5.484114977 | ||||||||||
40 | drivers--usb--serial--spcp8x5.ko#023.60b33c1.32_7a.cil_safe.i#024.20b9d17.32_7a.cil_safe.i | 5827 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.14214 | 36.37 | safe | UpProver(P2) | 0.153403 | 2.26E-03 | 6 | 1434 | 1 | 5 | 8.5 | safe | Standalone(P2) | 20.34 | safe | Bootstrap(P1) | 0.0961441 | 18.09 | safe | UpProver(P2) | 0.0950033 | 1.37E-03 | 6 | 1434 | 1 | 5 | 5.96 | safe | Standalone(P2) | 18.73 | safe | 3.14261745 | ||||||||||
41 | drivers--usb--serial--spcp8x5.ko#023.60b33c1.08_1a.cil_safe.i#024.20b9d17.08_1a.cil_safe.i | 5675 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.141155 | 35.36 | safe | UpProver(P2) | 0.13411 | 0.00193432 | 6 | 1434 | 1 | 5 | 8.01 | safe | Standalone(P2) | 21.27 | safe | Bootstrap(P1) | 0.105112 | 19.77 | safe | UpProver(P2) | 0.0959223 | 0.0014067 | 6 | 1434 | 1 | 5 | 6.13 | safe | Standalone(P2) | 20.07 | safe | 3.27406199 | ||||||||||
42 | drivers--usb--serial--spcp8x5.ko#022.d14fc1a.39_7a.cil_safe.i#023.60b33c1.39_7a.cil_safe.i | 6997 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 32.0989 | 79.87 | safe | UpProver(P2) | 0.135157 | 0.0474799 | 6 | 1795 | 1 | 5 | 8.88 | safe | Standalone(P2) | 52.61 | safe | Bootstrap(P1) | 16.5328 | 38.87 | safe | UpProver(P2) | 0.103571 | 0.021906 | 6 | 1795 | 1 | 5 | 6.54 | safe | Standalone(P2) | 35.03 | safe | 5.356269113 | ||||||||||
43 | drivers--usb--serial--spcp8x5.ko#022.d14fc1a.32_7a.cil_safe.i#023.60b33c1.32_7a.cil_safe.i | 5827 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.139213 | 33.85 | safe | UpProver(P2) | 0.148466 | 1.79E-03 | 6 | 1434 | 1 | 5 | 7.82 | safe | Standalone(P2) | 22.17 | safe | Bootstrap(P1) | 0.0958033 | 18.97 | safe | UpProver(P2) | 0.0951152 | 1.31E-03 | 6 | 1434 | 1 | 5 | 5.85 | safe | Standalone(P2) | 20.13 | safe | 3.441025641 | ||||||||||
44 | drivers--usb--serial--spcp8x5.ko#022.d14fc1a.08_1a.cil_safe.i#023.60b33c1.08_1a.cil_safe.i | 5675 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.14103 | 34.97 | safe | UpProver(P2) | 0.140037 | 0.00202937 | 6 | 1434 | 1 | 5 | 8.01 | safe | Standalone(P2) | 21.18 | safe | Bootstrap(P1) | 0.106964 | 19.93 | safe | UpProver(P2) | 0.0952267 | 0.00138571 | 6 | 1434 | 1 | 5 | 6.01 | safe | Standalone(P2) | 19.69 | safe | 3.276206323 | ||||||||||
45 | drivers--usb--serial--spcp8x5.ko#021.5620b5f.39_7a.cil_safe.i#022.d14fc1a.39_7a.cil_safe.i | 6987 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 30.8952 | 78.13 | safe | UpProver(P2) | 0.143988 | 8.76E-05 | 11 | 1791 | 5 | 5 | 9.23 | safe | Standalone(P2) | 52.08 | safe | Bootstrap(P1) | 15.7267 | 36.21 | safe | UpProver(P2) | 0.10527 | 0.0001926 | 11 | 1791 | 5 | 5 | 7.42 | safe | Standalone(P2) | 37.33 | safe | 5.030997305 | ||||||||||
46 | drivers--usb--serial--spcp8x5.ko#021.5620b5f.32_7a.cil_safe.i#022.d14fc1a.32_7a.cil_safe.i | 5817 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.137099 | 33.14 | safe | UpProver(P2) | 0.142619 | 4.96E-05 | 11 | 1430 | 5 | 5 | 8.66 | safe | Standalone(P2) | 20.03 | safe | Bootstrap(P1) | 0.106076 | 20.01 | safe | UpProver(P2) | 0.122643 | 2.47E-05 | 11 | 1430 | 5 | 5 | 6.4 | safe | Standalone(P2) | 20.07 | safe | 3.1359375 | ||||||||||
47 | drivers--usb--serial--spcp8x5.ko#021.5620b5f.08_1a.cil_safe.i#022.d14fc1a.08_1a.cil_safe.i | 5665 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.125528 | 31.86 | safe | UpProver(P2) | 0.147735 | 4.13E-05 | 11 | 1430 | 5 | 5 | 8.57 | safe | Standalone(P2) | 21.19 | safe | Bootstrap(P1) | 0.0980091 | 18.87 | safe | UpProver(P2) | 0.121812 | 2.21E-05 | 11 | 1430 | 5 | 5 | 6.12 | safe | Standalone(P2) | 18.76 | safe | 3.065359477 | ||||||||||
48 | drivers--usb--serial--spcp8x5.ko#020.7f26b3a.39_7a.cil_safe.i#021.5620b5f.39_7a.cil_safe.i | 7866 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 41.8693 | 96.72 | safe | UpProver(P2) | 0.140011 | 2.75E+00 | 274 | 1549 | 117 | 130 | 48.09 | safe | Standalone(P2) | 50.81 | safe | Bootstrap(P1) | 15.6996 | 36.9 | safe | UpProver(P2) | 0.113161 | 1.81524508 | 274 | 1549 | 117 | 130 | 32.69 | safe | Standalone(P2) | 36.65 | safe | 1.121137963 | ||||||||||
49 | drivers--usb--serial--spcp8x5.ko#020.7f26b3a.32_7a.cil_safe.i#021.5620b5f.32_7a.cil_safe.i | 6306 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.144065 | 34.1 | safe | UpProver(P2) | 0.146554 | 2.44E-02 | 131 | 1355 | 80 | 0 | 39.31 | safe | Standalone(P2) | 20.8 | safe | Bootstrap(P1) | 0.10757 | 20.95 | safe | UpProver(P2) | 0.100586 | 0.0176801 | 131 | 1355 | 80 | 0 | 25.86 | safe | Standalone(P2) | 19.97 | safe | 0.7722351121 | ||||||||||
50 | drivers--usb--serial--spcp8x5.ko#020.7f26b3a.08_1a.cil_safe.i#021.5620b5f.08_1a.cil_safe.i | 6154 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.139295 | 33.84 | safe | UpProver(P2) | 0.130009 | 2.38E-02 | 131 | 1355 | 80 | 0 | 38.54 | safe | Standalone(P2) | 21.4 | safe | Bootstrap(P1) | 0.0964369 | 19.08 | safe | UpProver(P2) | 0.101988 | 0.0195894 | 131 | 1355 | 80 | 0 | 26.81 | safe | Standalone(P2) | 19.91 | safe | 0.7426333458 | ||||||||||
51 | drivers--usb--serial--spcp8x5.ko#019.fa993ca.39_7a.cil_safe.i#020.7f26b3a.39_7a.cil_safe.i | 7912 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 40.5834 | 101.86 | safe | UpProver(P2) | 0.2244 | 2.14E-04 | 278 | 2163 | 120 | 85 | 24.87 | safe | Standalone(P2) | 59.8 | safe | Bootstrap(P1) | 17.9682 | 42.24 | safe | UpProver(P2) | 0.169156 | 0.00021592 | 278 | 2163 | 120 | 85 | 22.12 | safe | Standalone(P2) | 37.19 | safe | 1.681283906 | ||||||||||
52 | drivers--usb--serial--spcp8x5.ko#019.fa993ca.08_1a.cil_safe.i#020.7f26b3a.08_1a.cil_safe.i | 6200 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.172506 | 46.26 | safe | UpProver(P2) | 0.244462 | 2.33E-04 | 278 | 1800 | 120 | 85 | 25.75 | safe | Standalone(P2) | 21.3 | safe | Bootstrap(P1) | 0.111018 | 21.85 | safe | UpProver(P2) | 0.162416 | 8.83E-05 | 278 | 1800 | 120 | 85 | 16.04 | safe | Standalone(P2) | 19.67 | safe | 1.226309227 | ||||||||||
53 | drivers--usb--serial--metro-usb.ko#027.50dde86.39_7a.cil_safe.i#028.2ee44fb.39_7a.cil_safe.i | 6622 | Bootstrap(P1) | 42.34 | 339.56 | safe | UpProver(P2) | 23.87284 | 1.44E+01 | 46 | 730 | 35 | 10 | 150.56 | safe | Standalone(P2) | 288.57 | safe | Bootstrap(P1) | 6.73399 | 20.3 | safe | UpProver(P2) | 0.0510753 | 1.26E-04 | 46 | 730 | 35 | 10 | 9.22 | safe | Standalone(P2) | 14.3 | safe | Bootstrap(P1) | 3.24475 | 13.51 | safe | UpProver(P2) | 0.0401661 | 0.00018386 | 46 | 730 | 35 | 10 | 7.09 | safe | Standalone(P2) | 12.54 | safe | 1.768688293 | |||||||
54 | drivers--usb--serial--metro-usb.ko#027.50dde86.32_7a.cil_safe.i#028.2ee44fb.32_7a.cil_safe.i | 6167 | Bootstrap(P1) | 0.345 | 287.23 | safe | UpProver(P2) | 18.84001 | 9.874 | 84 | 570 | 42 | 41 | 299.38 | safe | Standalone(P2) | 249.18 | safe | Bootstrap(P1) | 0.111088 | 13.84 | safe | UpProver(P2) | 0.0475507 | 1.90E-01 | 84 | 570 | 42 | 41 | 9.98 | safe | Standalone(P2) | 11.63 | safe | Bootstrap(P1) | 0.0644651 | 10.15 | safe | UpProver(P2) | 0.0362495 | 0.14857065 | 84 | 570 | 42 | 41 | 7.6 | safe | Standalone(P2) | 10.46 | safe | 1.376315789 | |||||||
55 | drivers--usb--serial--metro-usb.ko#027.50dde86.08_1a.cil_safe.i#028.2ee44fb.08_1a.cil_safe.i | 5332 | Bootstrap(P1) | 0.155 | 456.94 | safe | UpProver(P2) | 18.2699 | 0.024 | 46 | 574 | 35 | 10 | 336.19 | safe | Standalone(P2) | 236.21 | safe | Bootstrap(P1) | 0.0604856 | 12.24 | safe | UpProver(P2) | 0.0462795 | 1.48E-04 | 46 | 574 | 35 | 10 | 8.17 | safe | Standalone(P2) | 10.06 | safe | Bootstrap(P1) | 0.0458737 | 9.24 | safe | UpProver(P2) | 0.03573 | 4.00E-05 | 46 | 574 | 35 | 10 | 6.08 | safe | Standalone(P2) | 9.2 | safe | 1.513157895 | |||||||
56 | drivers--usb--serial--metro-usb.ko#026.d9a8074.39_7a.cil_safe.i#027.50dde86.39_7a.cil_safe.i | 6758 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 290.92 | safe | Bootstrap(P1) | 8.49079 | 35.78 | safe | UpProver(P2) | 0.0584949 | 3.26E-01 | 31 | 734 | 21 | 10 | 9.44 | safe | Standalone(P2) | 16.41 | safe | Bootstrap(P1) | 4.07681 | 19.29 | safe | UpProver(P2) | 0.0401939 | 0.18270092 | 31 | 734 | 21 | 10 | 7.19 | safe | Standalone(P2) | 13.41 | safe | 1.865090403 | ||||||||||
57 | drivers--usb--serial--metro-usb.ko#026.d9a8074.32_7a.cil_safe.i#027.50dde86.32_7a.cil_safe.i | 6053 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 247.11 | safe | Bootstrap(P1) | 0.160064 | 23.98 | safe | UpProver(P2) | 0.0576472 | 3.22E-02 | 54 | 558 | 43 | 11 | 12.46 | safe | Standalone(P2) | 9.85 | safe | Bootstrap(P1) | 0.0984815 | 13.79 | safe | UpProver(P2) | 0.0362042 | 0.02074941 | 54 | 558 | 43 | 11 | 8.7 | safe | Standalone(P2) | 10 | safe | 1.149425287 | ||||||||||
58 | drivers--usb--serial--metro-usb.ko#026.d9a8074.08_1a.cil_safe.i#027.50dde86.08_1a.cil_safe.i | 5468 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 247.55 | safe | Bootstrap(P1) | 0.123618 | 22.35 | safe | UpProver(P2) | 0.0560403 | 1.66E-02 | 31 | 578 | 21 | 10 | 8.87 | safe | Standalone(P2) | 9.41 | safe | Bootstrap(P1) | 0.0813786 | 13.41 | safe | UpProver(P2) | 0.0364443 | 0.0111953 | 31 | 578 | 21 | 10 | 6.4 | safe | Standalone(P2) | 9.62 | safe | 1.503125 | ||||||||||
59 | drivers--usb--serial--metro-usb.ko#024.6b9563a.39_7a.cil_safe.i#026.d9a8074.39_7a.cil_safe.i | 6760 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 596.04 | safe | Bootstrap(P1) | 9.23772 | 36.99 | safe | UpProver(P2) | 0.102642 | 2.04E-04 | 76 | 1300 | 75 | 0 | 15.51 | safe | Standalone(P2) | 23.65 | safe | Bootstrap(P1) | 3.95888 | 18.24 | safe | UpProver(P2) | 0.0815028 | 0.01314918 | 76 | 1300 | 75 | 0 | 11.82 | safe | Standalone(P2) | 18.29 | safe | 1.547377327 | ||||||||||
60 | drivers--usb--serial--metro-usb.ko#024.6b9563a.32_7a.cil_safe.i#026.d9a8074.32_7a.cil_safe.i | 5837 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 516.23 | safe | Bootstrap(P1) | 0.145021 | 22.51 | safe | UpProver(P2) | 0.116919 | 1.43E-03 | 79 | 1143 | 77 | 1 | 15.39 | safe | Standalone(P2) | 14.96 | safe | Bootstrap(P1) | 0.0994282 | 14.19 | safe | UpProver(P2) | 0.0753863 | 0.00081323 | 79 | 1143 | 77 | 1 | 10.81 | safe | Standalone(P2) | 14.4 | safe | 1.332099907 | ||||||||||
61 | drivers--usb--serial--metro-usb.ko#024.6b9563a.08_1a.cil_safe.i#026.d9a8074.08_1a.cil_safe.i | 5470 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 515.58 | safe | Bootstrap(P1) | 0.091464 | 21.97 | safe | UpProver(P2) | 0.136302 | 1.39E-04 | 76 | 1144 | 75 | 0 | 14.62 | safe | Standalone(P2) | 14.42 | safe | Bootstrap(P1) | 0.0698211 | 12.68 | safe | UpProver(P2) | 0.0752297 | 8.43E-05 | 76 | 1144 | 75 | 0 | 10.66 | safe | Standalone(P2) | 13.49 | safe | 1.265478424 | ||||||||||
62 | drivers--usb--serial--metro-usb.ko#023.467a3ca.39_7a.cil_safe.i#024.6b9563a.39_7a.cil_safe.i | 6726 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 586.62 | safe | Bootstrap(P1) | 10.3521 | 36.88 | safe | UpProver(P2) | 0.106856 | 0 | 0 | 1375 | 0 | 0 | 0.4 | safe= | Standalone(P2) | 24.02 | safe | Bootstrap(P1) | 4.30211 | 18.94 | safe | UpProver(P2) | 0.0806121 | 0 | 0 | 1375 | 0 | 0 | 0.28 | safe= | Standalone(P2) | 18.44 | safe | 65.85714286 | ||||||||||
63 | drivers--usb--serial--metro-usb.ko#023.467a3ca.32_7a.cil_safe.i#024.6b9563a.32_7a.cil_safe.i | 5803 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 516.26 | safe | Bootstrap(P1) | 0.145 | 24.39 | safe | UpProver(P2) | 0.112316 | 0.00E+00 | 0 | 1220 | 0 | 0 | 0.39 | safe= | Standalone(P2) | 13.79 | safe | Bootstrap(P1) | 0.0900626 | 13.19 | safe | UpProver(P2) | 0.0754492 | 0 | 0 | 1220 | 0 | 0 | 0.29 | safe= | Standalone(P2) | 13.58 | safe | 46.82758621 | ||||||||||
64 | drivers--usb--serial--metro-usb.ko#023.467a3ca.08_1a.cil_safe.i#024.6b9563a.08_1a.cil_safe.i | 5436 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 499.29 | safe | Bootstrap(P1) | 0.102834 | 22.57 | safe | UpProver(P2) | 0.1117 | 0 | 0 | 1219 | 0 | 0 | 0.37 | safe= | Standalone(P2) | 14.3 | safe | Bootstrap(P1) | 0.0807106 | 14.38 | safe | UpProver(P2) | 0.075005 | 0 | 0 | 1219 | 0 | 0 | 0.29 | safe= | Standalone(P2) | 13.02 | safe | 44.89655172 | ||||||||||
65 | drivers--usb--serial--metro-usb.ko#022.000c74d.39_7a.cil_safe.i#023.467a3ca.39_7a.cil_safe.i | 6732 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 584.82 | safe | Bootstrap(P1) | 9.77854 | 37.98 | safe | UpProver(P2) | 0.103798 | 0.00019712 | 41 | 1335 | 40 | 0 | 12.05 | safe | Standalone(P2) | 24.31 | safe | Bootstrap(P1) | 3.76685 | 19.4 | safe | UpProver(P2) | 0.0802924 | 0.00013107 | 41 | 1335 | 40 | 0 | 8.68 | safe | Standalone(P2) | 17.82 | safe | 2.052995392 | ||||||||||
66 | drivers--usb--serial--metro-usb.ko#022.000c74d.32_7a.cil_safe.i#023.467a3ca.32_7a.cil_safe.i | 5809 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 517.7 | safe | Bootstrap(P1) | 0.136195 | 24.45 | safe | UpProver(P2) | 0.1199 | 1.28E-04 | 41 | 1180 | 40 | 0 | 11.34 | safe | Standalone(P2) | 15.59 | safe | Bootstrap(P1) | 0.0834244 | 15.32 | safe | UpProver(P2) | 0.0757037 | 7.22E-05 | 41 | 1180 | 40 | 0 | 8.13 | safe | Standalone(P2) | 14.31 | safe | 1.760147601 | ||||||||||
67 | drivers--usb--serial--metro-usb.ko#022.000c74d.08_1a.cil_safe.i#023.467a3ca.08_1a.cil_safe.i | 5442 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 516.78 | safe | Bootstrap(P1) | 0.11477 | 24.59 | safe | UpProver(P2) | 0.102233 | 0.00011835 | 41 | 1179 | 40 | 0 | 11.15 | safe | Standalone(P2) | 13.25 | safe | Bootstrap(P1) | 0.0765961 | 14.19 | safe | UpProver(P2) | 0.0747922 | 5.66E-05 | 41 | 1179 | 40 | 0 | 8.16 | safe | Standalone(P2) | 13.16 | safe | 1.612745098 | ||||||||||
68 | drivers--usb--serial--metro-usb.ko#020.68e2411.39_7a.cil_safe.i#022.000c74d.39_7a.cil_safe.i | 6660 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 13.5824 | 42.94 | safe | UpProver(P2) | 0.102505 | 1.73E-04 | 76 | 1300 | 75 | 0 | 15.72 | safe | Standalone(P2) | 25.99 | safe | Bootstrap(P1) | 4.87093 | 20.8 | safe | UpProver(P2) | 0.0812126 | 0.00014843 | 76 | 1300 | 75 | 0 | 11.85 | safe | Standalone(P2) | 19.24 | safe | 1.623628692 | ||||||||||
69 | drivers--usb--serial--metro-usb.ko#020.68e2411.32_7a.cil_safe.i#022.000c74d.32_7a.cil_safe.i | 5737 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.148559 | 25.1 | safe | UpProver(P2) | 0.108771 | 1.84E-04 | 76 | 1145 | 75 | 0 | 15.21 | safe | Standalone(P2) | 14.88 | safe | Bootstrap(P1) | 0.0831393 | 14.41 | safe | UpProver(P2) | 0.0760128 | 9.61E-05 | 76 | 1145 | 75 | 0 | 10.84 | safe | Standalone(P2) | 14.95 | safe | 1.379151292 | ||||||||||
70 | drivers--usb--serial--metro-usb.ko#020.68e2411.08_1a.cil_safe.i#022.000c74d.08_1a.cil_safe.i | 5370 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.113553 | 23.98 | safe | UpProver(P2) | 0.121702 | 0.00013508 | 76 | 1144 | 75 | 0 | 14.94 | safe | Standalone(P2) | 14.29 | safe | Bootstrap(P1) | 0.0836075 | 15.18 | safe | UpProver(P2) | 0.0750259 | 7.61E-05 | 76 | 1144 | 75 | 0 | 10.78 | safe | Standalone(P2) | 15.37 | safe | 1.425788497 | ||||||||||
71 | drivers--usb--serial--metro-usb.ko#019.32078f9.39_7a.cil_safe.i#020.68e2411.39_7a.cil_safe.i | 6660 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 10.9175 | 42.01 | safe | UpProver(P2) | 0.108791 | 0 | 0 | 1380 | 0 | 0 | 0.35 | safe= | Standalone(P2) | 28.83 | safe | Bootstrap(P1) | 4.45396 | 19.06 | safe | UpProver(P2) | 0.0913003 | 0 | 0 | 1380 | 0 | 0 | 0.32 | safe= | Standalone(P2) | 20.62 | safe | 64.4375 | ||||||||||
72 | drivers--usb--serial--metro-usb.ko#019.32078f9.32_7a.cil_safe.i#020.68e2411.32_7a.cil_safe.i | 5737 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.122131 | 24.04 | safe | UpProver(P2) | 0.124394 | 0 | 0 | 1225 | 0 | 0 | 0.44 | safe= | Standalone(P2) | 16.28 | safe | Bootstrap(P1) | 0.0830964 | 14.29 | safe | UpProver(P2) | 0.0768396 | 0.00E+00 | 0 | 1225 | 0 | 0 | 0.3 | safe= | Standalone(P2) | 14.78 | safe | 49.26666667 | ||||||||||
73 | drivers--usb--serial--metro-usb.ko#019.32078f9.08_1a.cil_safe.i#020.68e2411.08_1a.cil_safe.i | 5370 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.0906103 | 22.21 | safe | UpProver(P2) | 0.0994031 | 0.00E+00 | 0 | 1224 | 0 | 0 | 0.32 | safe= | Standalone(P2) | 14.11 | safe | Bootstrap(P1) | 0.0844678 | 15.6 | safe | UpProver(P2) | 0.0771094 | 0 | 0 | 1224 | 0 | 0 | 0.28 | safe= | Standalone(P2) | 15.2 | safe | 54.28571429 | ||||||||||
74 | drivers--usb--serial--metro-usb.ko#018.5026bb0.39_7a.cil_safe.i#019.32078f9.39_7a.cil_safe.i | 6660 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 10.5694 | 40.35 | safe | UpProver(P2) | 0.102941 | 0 | 0 | 1380 | 0 | 0 | 0.36 | safe= | Standalone(P2) | 26.97 | safe | Bootstrap(P1) | 3.7864 | 19.1 | safe | UpProver(P2) | 0.0809755 | 0 | 0 | 1380 | 0 | 0 | 0.31 | safe= | Standalone(P2) | 20.5 | safe | 66.12903226 | ||||||||||
75 | drivers--usb--serial--metro-usb.ko#018.5026bb0.32_7a.cil_safe.i#019.32078f9.32_7a.cil_safe.i | 5737 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.128167 | 23.99 | safe | UpProver(P2) | 0.122437 | 0 | 0 | 1225 | 0 | 0 | 0.39 | safe= | Standalone(P2) | 15.93 | safe | Bootstrap(P1) | 0.0906718 | 14.99 | safe | UpProver(P2) | 0.0777438 | 0 | 0 | 1225 | 0 | 0 | 0.3 | safe= | Standalone(P2) | 14.71 | safe | 49.03333333 | ||||||||||
76 | drivers--usb--serial--metro-usb.ko#018.5026bb0.08_1a.cil_safe.i#019.32078f9.08_1a.cil_safe.i | 5370 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.123868 | 24.45 | safe | UpProver(P2) | 0.10793 | 0 | 0 | 1224 | 0 | 0 | 0.35 | safe= | Standalone(P2) | 14.49 | safe | Bootstrap(P1) | 0.0776342 | 14.71 | safe | UpProver(P2) | 0.0774808 | 0 | 0 | 1224 | 0 | 0 | 0.28 | safe= | Standalone(P2) | 15.05 | safe | 53.75 | ||||||||||
77 | drivers--usb--serial--metro-usb.ko#017.e2dd3af.39_7a.cil_safe.i#018.5026bb0.39_7a.cil_safe.i | 6671 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 13.1671 | 42.33 | safe | UpProver(P2) | 0.102785 | 0 | 0 | 1380 | 0 | 0 | 0.37 | safe= | Standalone(P2) | 27.25 | safe | Bootstrap(P1) | 4.3898 | 20.27 | safe | UpProver(P2) | 0.0816 | 0 | 0 | 1380 | 0 | 0 | 0.32 | safe= | Standalone(P2) | 19.67 | safe | 61.46875 | ||||||||||
78 | drivers--usb--serial--metro-usb.ko#017.e2dd3af.32_7a.cil_safe.i#018.5026bb0.32_7a.cil_safe.i | 5748 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0.00E+00 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.13222 | 24.29 | safe | UpProver(P2) | 0.122183 | 0.00E+00 | 0 | 1225 | 0 | 0 | 0.41 | safe= | Standalone(P2) | 15.87 | safe | Bootstrap(P1) | 0.0898422 | 15.56 | safe | UpProver(P2) | 0.0771104 | 0.00E+00 | 0 | 1225 | 0 | 0 | 0.3 | safe= | Standalone(P2) | 15.03 | safe | 50.1 | ||||||||||
79 | drivers--usb--serial--metro-usb.ko#017.e2dd3af.08_1a.cil_safe.i#018.5026bb0.08_1a.cil_safe.i | 5381 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.11958 | 24.06 | safe | UpProver(P2) | 0.113589 | 0 | 0 | 1224 | 0 | 0 | 0.39 | safe= | Standalone(P2) | 14.5 | safe | Bootstrap(P1) | 0.0780579 | 14.51 | safe | UpProver(P2) | 0.0767339 | 0 | 0 | 1224 | 0 | 0 | 0.28 | safe= | Standalone(P2) | 14.12 | safe | 50.42857143 | ||||||||||
80 | drivers--usb--serial--metro-usb.ko#016.41dc294.39_7a.cil_safe.i#017.e2dd3af.39_7a.cil_safe.i | 6671 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 13.3774 | 42.24 | safe | UpProver(P2) | 0.108441 | 0 | 0 | 1380 | 0 | 0 | 0.4 | safe= | Standalone(P2) | 29.07 | safe | Bootstrap(P1) | 4.38178 | 20.42 | safe | UpProver(P2) | 0.0826893 | 0 | 0 | 1380 | 0 | 0 | 0.27 | safe= | Standalone(P2) | 20.18 | safe | 74.74074074 | ||||||||||
81 | drivers--usb--serial--metro-usb.ko#016.41dc294.32_7a.cil_safe.i#017.e2dd3af.32_7a.cil_safe.i | 5748 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.13376 | 23.79 | safe | UpProver(P2) | 0.122383 | 0.00E+00 | 0 | 1225 | 0 | 0 | 0.4 | safe= | Standalone(P2) | 14.83 | safe | Bootstrap(P1) | 0.0834477 | 14.23 | safe | UpProver(P2) | 0.0776734 | 0 | 0 | 1225 | 0 | 0 | 0.25 | safe= | Standalone(P2) | 14.63 | safe | 58.52 | ||||||||||
82 | drivers--usb--serial--metro-usb.ko#016.41dc294.08_1a.cil_safe.i#017.e2dd3af.08_1a.cil_safe.i | 5381 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.115645 | 23.9 | safe | UpProver(P2) | 0.122876 | 0 | 0 | 1224 | 0 | 0 | 0.39 | safe= | Standalone(P2) | 15.43 | safe | Bootstrap(P1) | 0.0765558 | 14.25 | safe | UpProver(P2) | 0.077271 | 0 | 0 | 1224 | 0 | 0 | 0.29 | safe= | Standalone(P2) | 15.23 | safe | 52.51724138 | ||||||||||
83 | drivers--usb--serial--metro-usb.ko#015.bd2c09b.39_7a.cil_safe.i#016.41dc294.39_7a.cil_safe.i | 6671 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 10.9239 | 37.89 | safe | UpProver(P2) | 0.105937 | 2.12E-04 | 76 | 1305 | 75 | 0 | 15.23 | safe | Standalone(P2) | 27.69 | safe | Bootstrap(P1) | 8.38006 | 24.46 | safe | UpProver(P2) | 0.0815435 | 0.0001824 | 76 | 1305 | 75 | 0 | 12.42 | safe | Standalone(P2) | 19.38 | safe | 1.560386473 | ||||||||||
84 | drivers--usb--serial--metro-usb.ko#015.bd2c09b.32_7a.cil_safe.i#016.41dc294.32_7a.cil_safe.i | 5748 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.134905 | 23.93 | safe | UpProver(P2) | 0.119786 | 1.27E-04 | 76 | 1150 | 75 | 0 | 14.7 | safe | Standalone(P2) | 15.61 | safe | Bootstrap(P1) | 0.0840285 | 14.45 | safe | UpProver(P2) | 0.0768179 | 7.63E-05 | 76 | 1150 | 75 | 0 | 10.67 | safe | Standalone(P2) | 14.54 | safe | 1.362699157 | ||||||||||
85 | drivers--usb--serial--metro-usb.ko#015.bd2c09b.08_1a.cil_safe.i#016.41dc294.08_1a.cil_safe.i | 5381 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.122572 | 24.72 | safe | UpProver(P2) | 0.117832 | 0.00016344 | 76 | 1149 | 75 | 0 | 14.76 | safe | Standalone(P2) | 14.79 | safe | Bootstrap(P1) | 0.0846633 | 15.27 | safe | UpProver(P2) | 0.0775966 | 8.09E-05 | 76 | 1149 | 75 | 0 | 11 | safe | Standalone(P2) | 15.39 | safe | 1.399090909 | ||||||||||
86 | drivers--usb--serial--metro-usb.ko#014.91fbecf.39_7a.cil_safe.i#015.bd2c09b.39_7a.cil_safe.i | 6671 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 11.4183 | 40.92 | safe | UpProver(P2) | 0.108608 | 0.00038815 | 6 | 1375 | 5 | 0 | 6.98 | safe | Standalone(P2) | 26.61 | safe | Bootstrap(P1) | 8.36892 | 24.2 | safe | UpProver(P2) | 0.0808896 | 4.91E-05 | 6 | 1375 | 5 | 0 | 5.31 | safe | Standalone(P2) | 23.83 | safe | 4.487758945 | ||||||||||
87 | drivers--usb--serial--metro-usb.ko#014.91fbecf.32_7a.cil_safe.i#015.bd2c09b.32_7a.cil_safe.i | 5748 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.13687 | 24.05 | safe | UpProver(P2) | 0.110901 | 3.73E-05 | 6 | 1220 | 5 | 0 | 6.47 | safe | Standalone(P2) | 14.38 | safe | Bootstrap(P1) | 0.138418 | 13.98 | safe | UpProver(P2) | 0.0768096 | 2.03E-05 | 6 | 1220 | 5 | 0 | 4.8 | safe | Standalone(P2) | 15.16 | safe | 3.158333333 | ||||||||||
88 | drivers--usb--serial--metro-usb.ko#014.91fbecf.08_1a.cil_safe.i#015.bd2c09b.08_1a.cil_safe.i | 5381 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.120772 | 23.56 | safe | UpProver(P2) | 0.116488 | 3.77E-05 | 6 | 1219 | 5 | 0 | 6.56 | safe | Standalone(P2) | 14.82 | safe | Bootstrap(P1) | 0.0825758 | 15.52 | safe | UpProver(P2) | 0.0780218 | 2.46E-05 | 6 | 1219 | 5 | 0 | 4.94 | safe | Standalone(P2) | 14.61 | safe | 2.957489879 | ||||||||||
89 | drivers--usb--serial--metro-usb.ko#013.7045778.39_7a.cil_safe.i#014.91fbecf.39_7a.cil_safe.i | 6822 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 12.3528 | 42.94 | safe | UpProver(P2) | 0.105672 | 8.71E-05 | 57 | 1325 | 20 | 35 | 8.79 | safe | Standalone(P2) | 27.52 | safe | Bootstrap(P1) | 5.68648 | 21.57 | safe | UpProver(P2) | 0.0826988 | 0.00012788 | 57 | 1325 | 20 | 35 | 7.09 | safe | Standalone(P2) | 23.63 | safe | 3.332863188 | ||||||||||
90 | drivers--usb--serial--metro-usb.ko#013.7045778.32_7a.cil_safe.i#014.91fbecf.32_7a.cil_safe.i | 5899 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.126112 | 24.25 | safe | UpProver(P2) | 0.124586 | 7.68E-05 | 57 | 1170 | 20 | 35 | 8.47 | safe | Standalone(P2) | 15.58 | safe | Bootstrap(P1) | 0.0816286 | 14.73 | safe | UpProver(P2) | 0.0786814 | 3.17E-05 | 57 | 1170 | 20 | 35 | 5.86 | safe | Standalone(P2) | 14.24 | safe | 2.43003413 | ||||||||||
91 | drivers--usb--serial--metro-usb.ko#013.7045778.08_1a.cil_safe.i#014.91fbecf.08_1a.cil_safe.i | 5532 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.111551 | 24.92 | safe | UpProver(P2) | 0.118876 | 5.99E-05 | 57 | 1169 | 20 | 35 | 8.55 | safe | Standalone(P2) | 15.37 | safe | Bootstrap(P1) | 0.0820766 | 15.53 | safe | UpProver(P2) | 0.0795184 | 3.06E-05 | 57 | 1169 | 20 | 35 | 6.08 | safe | Standalone(P2) | 15.15 | safe | 2.491776316 | ||||||||||
92 | drivers--usb--serial--metro-usb.ko#012.28a4b6a.39_7a.cil_safe.i#013.7045778.39_7a.cil_safe.i | 6733 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 11.1813 | 33.81 | safe | UpProver(P2) | 0.105212 | 0.11708649 | 361 | 1019 | 76 | 285 | 18.8 | safe | Standalone(P2) | 29.15 | safe | Bootstrap(P1) | 3.12716 | 16.36 | safe | UpProver(P2) | 0.0777025 | 0.02693925 | 361 | 1019 | 76 | 285 | 12.97 | safe | Standalone(P2) | 21.82 | safe | 1.68234387 | ||||||||||
93 | drivers--usb--serial--metro-usb.ko#012.28a4b6a.32_7a.cil_safe.i#013.7045778.32_7a.cil_safe.i | 5810 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.0824493 | 20.88 | safe | UpProver(P2) | 0.0962019 | 0.03377756 | 361 | 864 | 76 | 285 | 16.3 | safe | Standalone(P2) | 14.89 | safe | Bootstrap(P1) | 0.0571595 | 12 | safe | UpProver(P2) | 0.0733829 | 0.02372293 | 361 | 864 | 76 | 285 | 11.8 | safe | Standalone(P2) | 15.15 | safe | 1.283898305 | ||||||||||
94 | drivers--usb--serial--metro-usb.ko#012.28a4b6a.08_1a.cil_safe.i#013.7045778.08_1a.cil_safe.i | 5443 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.0751746 | 19.46 | safe | UpProver(P2) | 0.116555 | 0.03377629 | 361 | 863 | 76 | 285 | 16.73 | safe | Standalone(P2) | 15.96 | safe | Bootstrap(P1) | 0.0504554 | 11.14 | safe | UpProver(P2) | 0.0734816 | 0.02270766 | 361 | 863 | 76 | 285 | 11.81 | safe | Standalone(P2) | 14.7 | safe | 1.244707875 | ||||||||||
95 | drivers--usb--serial--metro-usb.ko#011.810ec78.39_7a.cil_safe.i#012.28a4b6a.39_7a.cil_safe.i | 6710 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 8.14134 | 30.27 | safe | UpProver(P2) | 0.103941 | 0.04587375 | 86 | 1009 | 71 | 15 | 13.39 | safe | Standalone(P2) | 22.04 | safe | Bootstrap(P1) | 4.40997 | 17 | safe | UpProver(P2) | 0.0727898 | 0.02520552 | 86 | 1009 | 71 | 15 | 11.27 | safe | Standalone(P2) | 15.79 | safe | 1.401064774 | ||||||||||
96 | drivers--usb--serial--metro-usb.ko#011.810ec78.32_7a.cil_safe.i#012.28a4b6a.32_7a.cil_safe.i | 5787 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.0836768 | 20.19 | safe | UpProver(P2) | 0.101383 | 0.0006269 | 86 | 854 | 71 | 15 | 12.17 | safe | Standalone(P2) | 13.82 | safe | Bootstrap(P1) | 0.0631883 | 12.09 | safe | UpProver(P2) | 0.0711199 | 0.00042257 | 86 | 854 | 71 | 15 | 8.87 | safe | Standalone(P2) | 12.32 | safe | 1.388951522 | ||||||||||
97 | drivers--usb--serial--metro-usb.ko#011.810ec78.08_1a.cil_safe.i#012.28a4b6a.08_1a.cil_safe.i | 5420 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.0723101 | 18.54 | safe | UpProver(P2) | 0.103932 | 0.00059306 | 86 | 853 | 71 | 15 | 12.13 | safe | Standalone(P2) | 12.23 | safe | Bootstrap(P1) | 0.0519007 | 11.21 | safe | UpProver(P2) | 0.06669 | 0.00039815 | 86 | 853 | 71 | 15 | 8.52 | safe | Standalone(P2) | 11.37 | safe | 1.334507042 | ||||||||||
98 | drivers--usb--serial--metro-usb.ko#009.5db51b5.39_7a.cil_safe.i#011.810ec78.39_7a.cil_safe.i | 6774 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 11.0146 | 34.04 | safe | UpProver(P2) | 0.095978 | 0.00018076 | 76 | 1005 | 75 | 0 | 14.92 | safe | Standalone(P2) | 19.9 | safe | Bootstrap(P1) | 3.29102 | 16.04 | safe | UpProver(P2) | 0.0710132 | 0.00013261 | 76 | 1005 | 75 | 0 | 10.51 | safe | Standalone(P2) | 16.94 | safe | 1.611798287 | ||||||||||
99 | drivers--usb--serial--metro-usb.ko#009.5db51b5.32_7a.cil_safe.i#011.810ec78.32_7a.cil_safe.i | 5851 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.0895828 | 20.21 | safe | UpProver(P2) | 0.0999652 | 0.00015431 | 76 | 850 | 75 | 0 | 14.02 | safe | Standalone(P2) | 13.09 | safe | Bootstrap(P1) | 0.0579034 | 11.82 | safe | UpProver(P2) | 0.0667583 | 8.35E-05 | 76 | 850 | 75 | 0 | 9.77 | safe | Standalone(P2) | 11.43 | safe | 1.169907881 | ||||||||||
100 | drivers--usb--serial--metro-usb.ko#009.5db51b5.08_1a.cil_safe.i#011.810ec78.08_1a.cil_safe.i | 5484 | Bootstrap(P1) | 0 | 600 | Timeout | UpProver(P2) | 0 | 0 | 0 | . | T.O_unknown | Standalone(P2) | 600 | Timeout | Bootstrap(P1) | 0.0735538 | 19.21 | safe | UpProver(P2) | 0.100432 | 0.0001668 | 76 | 849 | 75 | 0 | 13.79 | safe | Standalone(P2) | 11.9 | safe | Bootstrap(P1) | 0.0554533 | 11.78 | safe | UpProver(P2) | 0.0665415 | 8.00E-05 | 76 | 849 | 75 | 0 | 9.75 | safe | Standalone(P2) | 11.85 | safe | 1.215384615 | ||||||||||