AVANTSSAR Backends Benchmark, run on Amazon EC2 servers.

Case Study Specification Tr HC CL-AtSe OFMC SATMC
Car Registration CRP.dyn.aslan (C) 25 52 TO TO 19.23s
CRP.stat.rej.aslan (C) 17 21 0.65s 856.37s 2.63s
CRP.stat.acc.aslan (C) 17 21 0.69s TO 3.89s
crp-statpol.ORCHESTRATED.aslan (C) 22 0 0.73s TO TO
crp-hc.ORCHESTRATED.aslan (C) 22 5 0.81s NS TO
CRP.dyn.meta.aslan (C) 25 52 2.24s 126.47s 3.53s
CRP.dyn.rej.aslan (C) 26 52 2.42s TO 4.96s
CRP.dyn.acc.aslan (C) 26 52 2.48s TO 6.6s
CRP.stat.aslan (C) 16 21 2.78s TO 16.27s
crp-nohc.ORCHESTRATED.aslan (C) 21 0 48.86s TO ERR
Anonymous Shopping IDMXScene1_Safe.aslan (C) 11 30 INC 46.0s NS
IDMXScene1_execTrace.aslan (C) 11 30 0.49s 7.73s NS
IDMXScene2_execTrace.aslan (C) 15 30 1.74s TO NS
Digital Contract Signing dcs-v3-exec1.aslan 39 15 TO NS 128.18s
dcs-v3-exec1-1.aslan 39 15 TO NS 1084.62s
dcs-v1-execFirstSig.aslan 18 15 3.25s NS 3.64s
dcs-v1-exec.aslan 18 15 5.16s NS 14.65s
dcs-v1-secrecy-contract.aslan 18 15 7.99s NS 237.19s
dcs-v1-authentication.aslan 18 13 7.99s NS 2581.39s
dcs-v1-proofOfOrigin.aslan 18 15 8.16s NS TO
dcs-v1-NR.aslan 18 15 8.36s NS 1781.86s
dcs-v1-secrecy-archive.aslan 18 15 8.47s NS 278.02s
dcs-v2-exec2.aslan 30 15 162.85s NS 33.25s
dcs-v1-integrity.aslan 18 15 694.32s NS ERR
Electronic Health Records ECR_SATMC.aslan (C) 23 44 NS 3.06s 19.33s
ECR.aslan (C) 25 45 125.37s TO NS
Loan Origination lobp_new_ntk_attack.aslan 27 16 TO NS 17.86s
lobp_sap_bod_attack.aslan 24 16 TO NS 345.45s
lobp_sap_sod_attack.aslan 24 16 TO NS 354.43s
lop-scene2.aslan 24 16 TO NS 14.09s
lobp_old_substitution_dc_attack.aslan 16 13 0.17s NS 1.45s
lopUGDIST_Safe.aslan 14 16 0.26s NS 7.25s
lobp_new_dc_attack_noUQhc.aslan 27 16 0.74s NS 1.65s
lobp_new_dc_attack.aslan 27 16 0.81s NS 1.81s
lobp_new_sod_noattack.aslan 27 34 9.17s NS TO
lopUGDIST.aslan 14 16 93.59s NS 2.89s
lop-scene1.aslan 14 16 94.65s NS 2.13s
lobp_new_at_attack.aslan 27 16 203.72s NS 14.13s
lobp_sap_at_attack.aslan 24 16 1633.35s NS 14.05s
Public Bidding PBv1_authentication_Unsafe.aslan 30 11 2.53s 2.94s 16.61s
PB_alt_exec.aslan 22 2 7.14s 2.96s ERR
PBv1_exec.aslan 27 8 12.33s NS 35.24s
pb-exec.aslan 36 15 13.29s ERR ERR
PB_alt_secrFP.aslan 22 2 19.9s TO TO
PB_alt_secrTP.aslan 22 2 19.9s TO TO
PB_alt_integr.aslan 22 2 20.01s TO 1937.39s
PB_alt_auth.aslan 22 2 20.09s TO 1762.84s
PB_alt_nonrep.aslan 22 2 20.28s TO 1311.83s
pb-elig.aslan 36 15 285.89s ERR ERR
PBv1_nonRepudiation.aslan 26 8 2154.09s ERR 91.79s
PBv1_integrity.aslan 26 8 2154.77s ERR 94.63s
PBv1_authentication_Safe.aslan 26 8 2158.61s ERR 138.15s
PBv1_secrecy.aslan 26 8 2409.87s ERR 250.77s
Visa Application PTD_VisaBank.aslan (C) 19 38 9.86s 3.12s 44.83s
Process Task Delegation PTD.aslan (C) 18 43 323.83s NS TO
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.

This is ths Cl-Atse Benchmark page

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)