Ajouter un attachement

Seuls les utilisateurs autorisés peuvent publier de nouveaux attachements.

Cette page (révision-1) a été modifiée pour la dernière fois le 10-févr.-2011 17:17 par (auteur inconnu)

Seuls les utilisateurs autorisés ont le droit de renommer des pages.

Seuls les utilisateurs authentifiés ont le droit de supprimer des pages.

Différences entre les versions et

En ligne 1, ajout de 65 lignes
AVANTSSAR Backends Benchmark, run on Amazon EC2 servers.
|| Case Study || Specification || Tr || HC || CL-AtSe || OFMC || SATMC
||__Car Registration__ | %%small CRP.dyn.aslan (C) %% | 25 | 52 | TO | TO | __19.23__s \\
| | %%small CRP.stat.rej.aslan (C) %% | 17 | 21 | __0.65__s | 856.37s | 2.63s \\
| | %%small CRP.stat.acc.aslan (C) %% | 17 | 21 | __0.69__s | TO | 3.89s \\
| | %%small crp-statpol.ORCHESTRATED.aslan (C) %% | 22 | 0 | __0.73__s | TO | TO \\
| | %%small crp-hc.ORCHESTRATED.aslan (C) %% | 22 | 5 | __0.81__s | NS | TO \\
| | %%small CRP.dyn.meta.aslan (C) %% | 25 | 52 | __2.24__s | 126.47s | 3.53s \\
| | %%small CRP.dyn.rej.aslan (C) %% | 26 | 52 | __2.42__s | TO | 4.96s \\
| | %%small CRP.dyn.acc.aslan (C) %% | 26 | 52 | __2.48__s | TO | 6.6s \\
| | %%small CRP.stat.aslan (C) %% | 16 | 21 | __2.78__s | TO | 16.27s \\
| | %%small crp-nohc.ORCHESTRATED.aslan (C) %% | 21 | 0 | __48.86__s | TO | ERR \\
||__Anonymous Shopping__ | %%small IDMXScene1_Safe.aslan (C) %% | 11 | 30 | INC | __46.0__s | NS \\
| | %%small IDMXScene1_execTrace.aslan (C) %% | 11 | 30 | __0.49__s | 7.73s | NS \\
| | %%small IDMXScene2_execTrace.aslan (C) %% | 15 | 30 | __1.74__s | TO | NS \\
||__Digital Contract Signing__ | %%small dcs-v3-exec1.aslan %% | 39 | 15 | TO | NS | __128.18__s \\
| | %%small dcs-v3-exec1-1.aslan %% | 39 | 15 | TO | NS | __1084.62__s \\
| | %%small dcs-v1-execFirstSig.aslan %% | 18 | 15 | __3.25__s | NS | 3.64s \\
| | %%small dcs-v1-exec.aslan %% | 18 | 15 | __5.16__s | NS | 14.65s \\
| | %%small dcs-v1-secrecy-contract.aslan %% | 18 | 15 | __7.99__s | NS | 237.19s \\
| | %%small dcs-v1-authentication.aslan %% | 18 | 13 | __7.99__s | NS | 2581.39s \\
| | %%small dcs-v1-proofOfOrigin.aslan %% | 18 | 15 | __8.16__s | NS | TO \\
| | %%small dcs-v1-NR.aslan %% | 18 | 15 | __8.36__s | NS | 1781.86s \\
| | %%small dcs-v1-secrecy-archive.aslan %% | 18 | 15 | __8.47__s | NS | 278.02s \\
| | %%small dcs-v2-exec2.aslan %% | 30 | 15 | 162.85s | NS | __33.25__s \\
| | %%small dcs-v1-integrity.aslan %% | 18 | 15 | __694.32__s | NS | ERR \\
||__Electronic Health Records__ | %%small ECR_SATMC.aslan (C) %% | 23 | 44 | NS | __3.06__s | 19.33s \\
| | %%small ECR.aslan (C) %% | 25 | 45 | __125.37__s | TO | NS \\
||__Loan Origination__ | %%small lobp_new_ntk_attack.aslan %% | 27 | 16 | TO | NS | __17.86__s \\
| | %%small lobp_sap_bod_attack.aslan %% | 24 | 16 | TO | NS | __345.45__s \\
| | %%small lobp_sap_sod_attack.aslan %% | 24 | 16 | TO | NS | __354.43__s \\
| | %%small lop-scene2.aslan %% | 24 | 16 | TO | NS | __14.09__s \\
| | %%small lobp_old_substitution_dc_attack.aslan %% | 16 | 13 | __0.17__s | NS | 1.45s \\
| | %%small lopUGDIST_Safe.aslan %% | 14 | 16 | __0.26__s | NS | 7.25s \\
| | %%small lobp_new_dc_attack_noUQhc.aslan %% | 27 | 16 | __0.74__s | NS | 1.65s \\
| | %%small lobp_new_dc_attack.aslan %% | 27 | 16 | __0.81__s | NS | 1.81s \\
| | %%small lobp_new_sod_noattack.aslan %% | 27 | 34 | __9.17__s | NS | TO \\
| | %%small lopUGDIST.aslan %% | 14 | 16 | 93.59s | NS | __2.89__s \\
| | %%small lop-scene1.aslan %% | 14 | 16 | 94.65s | NS | __2.13__s \\
| | %%small lobp_new_at_attack.aslan %% | 27 | 16 | 203.72s | NS | __14.13__s \\
| | %%small lobp_sap_at_attack.aslan %% | 24 | 16 | 1633.35s | NS | __14.05__s \\
||__Public Bidding__ | %%small PBv1_authentication_Unsafe.aslan %% | 30 | 11 | __2.53__s | 2.94s | 16.61s \\
| | %%small PB_alt_exec.aslan %% | 22 | 2 | 7.14s | __2.96__s | ERR \\
| | %%small PBv1_exec.aslan %% | 27 | 8 | __12.33__s | NS | 35.24s \\
| | %%small pb-exec.aslan %% | 36 | 15 | __13.29__s | ERR | ERR \\
| | %%small PB_alt_secrFP.aslan %% | 22 | 2 | __19.9__s | TO | TO \\
| | %%small PB_alt_secrTP.aslan %% | 22 | 2 | __19.9__s | TO | TO \\
| | %%small PB_alt_integr.aslan %% | 22 | 2 | __20.01__s | TO | 1937.39s \\
| | %%small PB_alt_auth.aslan %% | 22 | 2 | __20.09__s | TO | 1762.84s \\
| | %%small PB_alt_nonrep.aslan %% | 22 | 2 | __20.28__s | TO | 1311.83s \\
| | %%small pb-elig.aslan %%| 36 | 15 | __285.89__s | ERR | ERR \\
| | %%small PBv1_nonRepudiation.aslan %% | 26 | 8 | 2154.09s | ERR | __91.79__s \\
| | %%small PBv1_integrity.aslan %% | 26 | 8 | 2154.77s | ERR | __94.63__s \\
| | %%small PBv1_authentication_Safe.aslan %% | 26 | 8 | 2158.61s | ERR | __138.15__s \\
| | %%small PBv1_secrecy.aslan %% | 26 | 8 | 2409.87s | ERR | __250.77__s \\
||__Visa Application__ | %%small PTD_VisaBank.aslan (C) %% | 19 | 38 | 9.86s | __3.12__s | 44.83s \\
||__Process Task Delegation__ | %%small PTD.aslan (C) %% | 18 | 43 | __323.83__s | NS | TO \\
| | %%small PTD_PC.aslan (C) %% | 21 | 47 | __768.6__ s | NS | TO \\
Tr : number of transitions; HC : number of Horn clauses; NS : Not Supported; ERR : Error; TO : Timeout; INC : Inconclusive.
%%small This is ths [Cl-Atse Benchmark] page%%
Version Date de modification Taille Auteur Modifications... Modifier la note
« Cette page (révision-1) a été modifiée pour la dernière fois le 10-févr.-2011 17:17 par (auteur inconnu)