testCase[0 : SAFERProofPP] | 2.5 sec | Passed |
testCase[0 : SAFERProofPP] | 2.5 sec | Passed |
testCase[0 : SAFERProofPP] | 1.9 sec | Passed |
testCase[0 : SAFERProofPP] | 1.9 sec | Passed |
testCase[1 : MSAWseqPP] | 0.35 sec | Passed |
testCase[1 : MSAWseqPP] | 0.38 sec | Passed |
testCase[1 : MSAWseqPP] | 0.38 sec | Passed |
testCase[1 : MSAWseqPP] | 0.35 sec | Passed |
testCase[2 : KLVPP] | 74 ms | Passed |
testCase[2 : KLVPP] | 74 ms | Passed |
testCase[2 : KLVPP] | 90 ms | Passed |
testCase[2 : KLVPP] | 90 ms | Passed |
testCase[3 : AlarmPP] | 58 ms | Passed |
testCase[3 : AlarmPP] | 46 ms | Passed |
testCase[3 : AlarmPP] | 58 ms | Passed |
testCase[3 : AlarmPP] | 46 ms | Passed |
testCase[4 : CashDispenserPP] | 0.13 sec | Passed |
testCase[4 : CashDispenserPP] | 0.13 sec | Passed |
testCase[4 : CashDispenserPP] | 0.13 sec | Passed |
testCase[4 : CashDispenserPP] | 0.13 sec | Passed |
testCase[5 : SAFERPP] | 0.45 sec | Passed |
testCase[5 : SAFERPP] | 0.46 sec | Passed |
testCase[5 : SAFERPP] | 0.46 sec | Passed |
testCase[5 : SAFERPP] | 0.45 sec | Passed |
testCase[6 : trayallocationPP] | 82 ms | Passed |
testCase[6 : trayallocationPP] | 0.14 sec | Passed |
testCase[6 : trayallocationPP] | 0.14 sec | Passed |
testCase[6 : trayallocationPP] | 82 ms | Passed |