Analysis results

No.TheoryexecutableLoCTime
1C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Lowverified (27 steps)6413h01m30s
2C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Highverified (27 steps)6413h00m31s
3C8_NoLocalAuth_NoCopyIAD_ODCVM_Lowverified (26 steps)6352h37m00s
4C8_NoLocalAuth_NoCopyIAD_ODCVM_Highverified (26 steps)6352h38m59s
5C8_NoLocalAuth_NoCopyIAD_NoCVM_Lowverified (26 steps)6334h37m23s
6C8_NoLocalAuth_NoCopyIAD_NoCVM_Highfalsified - no trace found (272 steps)5917m49s
7C8_NoLocalAuth_CopyIAD_OnlinePIN_Lowverified (27 steps)65911m41s
8C8_NoLocalAuth_CopyIAD_OnlinePIN_Highverified (27 steps)65911m29s
9C8_NoLocalAuth_CopyIAD_ODCVM_Lowverified (26 steps)6532h38m30s
10C8_NoLocalAuth_CopyIAD_ODCVM_Highverified (26 steps)6532h36m25s
11C8_NoLocalAuth_CopyIAD_NoCVM_Lowverified (26 steps)6514h29m14s
12C8_NoLocalAuth_CopyIAD_NoCVM_Highfalsified - no trace found (294 steps)5919m45s
13C8_LocalAuth_NoCopyIAD_OnlinePIN_Lowverified (26 steps)6591h18m46s
14C8_LocalAuth_NoCopyIAD_OnlinePIN_Highverified (26 steps)6591h14m59s
15C8_LocalAuth_NoCopyIAD_ODCVM_Lowverified (26 steps)6421h33m53s
16C8_LocalAuth_NoCopyIAD_ODCVM_Highverified (26 steps)6421h29m50s
17C8_LocalAuth_NoCopyIAD_NoCVM_Lowverified (26 steps)6404h14m22s
18C8_LocalAuth_NoCopyIAD_NoCVM_Highfalsified - no trace found (550 steps)59110m47s
19C8_LocalAuth_CopyIAD_OnlinePIN_Lowverified (26 steps)65913m42s
20C8_LocalAuth_CopyIAD_OnlinePIN_Highverified (26 steps)65912m25s
21C8_LocalAuth_CopyIAD_ODCVM_Lowverified (26 steps)64230m35s
22C8_LocalAuth_CopyIAD_ODCVM_Highverified (26 steps)64230m15s
23C8_LocalAuth_CopyIAD_NoCVM_Lowverified (26 steps)6401h16m21s
24C8_LocalAuth_CopyIAD_NoCVM_Highfalsified - no trace found (548 steps)59112m31s

Summary

Protocols: total 24, verified 20

Lines of code: min 591, ave 637, max 659

Time: min 7m49s, ave 1h38m17s, max 4h37m23s, sum 39h18m44s

Latex code

\begin{tabular}{ l l l l l }
\hline
\bfseries No. & \bfseries Theory & \bfseries executable & \bfseries LoC & \bfseries Time\\
\hline
1 & \bfseries C8\_NoLocalAuth\_NoCopyIAD\_OnlinePIN\_Low & \verified{} & 641 & 3h01m30s\\
2 & \bfseries C8\_NoLocalAuth\_NoCopyIAD\_OnlinePIN\_High & \verified{} & 641 & 3h00m31s\\
3 & \bfseries C8\_NoLocalAuth\_NoCopyIAD\_ODCVM\_Low & \verified{} & 635 & 2h37m00s\\
4 & \bfseries C8\_NoLocalAuth\_NoCopyIAD\_ODCVM\_High & \verified{} & 635 & 2h38m59s\\
5 & \bfseries C8\_NoLocalAuth\_NoCopyIAD\_NoCVM\_Low & \verified{} & 633 & 4h37m23s\\
6 & C8\_NoLocalAuth\_NoCopyIAD\_NoCVM\_High & \falsified{} & 591 & 7m49s\\
7 & \bfseries C8\_NoLocalAuth\_CopyIAD\_OnlinePIN\_Low & \verified{} & 659 & 11m41s\\
8 & \bfseries C8\_NoLocalAuth\_CopyIAD\_OnlinePIN\_High & \verified{} & 659 & 11m29s\\
9 & \bfseries C8\_NoLocalAuth\_CopyIAD\_ODCVM\_Low & \verified{} & 653 & 2h38m30s\\
10 & \bfseries C8\_NoLocalAuth\_CopyIAD\_ODCVM\_High & \verified{} & 653 & 2h36m25s\\
11 & \bfseries C8\_NoLocalAuth\_CopyIAD\_NoCVM\_Low & \verified{} & 651 & 4h29m14s\\
12 & C8\_NoLocalAuth\_CopyIAD\_NoCVM\_High & \falsified{} & 591 & 9m45s\\
13 & \bfseries C8\_LocalAuth\_NoCopyIAD\_OnlinePIN\_Low & \verified{} & 659 & 1h18m46s\\
14 & \bfseries C8\_LocalAuth\_NoCopyIAD\_OnlinePIN\_High & \verified{} & 659 & 1h14m59s\\
15 & \bfseries C8\_LocalAuth\_NoCopyIAD\_ODCVM\_Low & \verified{} & 642 & 1h33m53s\\
16 & \bfseries C8\_LocalAuth\_NoCopyIAD\_ODCVM\_High & \verified{} & 642 & 1h29m50s\\
17 & \bfseries C8\_LocalAuth\_NoCopyIAD\_NoCVM\_Low & \verified{} & 640 & 4h14m22s\\
18 & C8\_LocalAuth\_NoCopyIAD\_NoCVM\_High & \falsified{} & 591 & 10m47s\\
19 & \bfseries C8\_LocalAuth\_CopyIAD\_OnlinePIN\_Low & \verified{} & 659 & 13m42s\\
20 & \bfseries C8\_LocalAuth\_CopyIAD\_OnlinePIN\_High & \verified{} & 659 & 12m25s\\
21 & \bfseries C8\_LocalAuth\_CopyIAD\_ODCVM\_Low & \verified{} & 642 & 30m35s\\
22 & \bfseries C8\_LocalAuth\_CopyIAD\_ODCVM\_High & \verified{} & 642 & 30m15s\\
23 & \bfseries C8\_LocalAuth\_CopyIAD\_NoCVM\_Low & \verified{} & 640 & 1h16m21s\\
24 & C8\_LocalAuth\_CopyIAD\_NoCVM\_High & \falsified{} & 591 & 12m31s\\
\hline
\end{tabular}