results_verification.csv

specification,realizability_status,num_inputs,num_outputs,implementation_latches,implementation_and_gates,implementation_size,result_verification,time_verification
ActionConverter,realizable,5,6,0,4,4,SUCCESS,.22
amba_case_study_2,realizable,7,9,14,47,61,SUCCESS,13.42
amba_case_study_3,realizable,9,10,18,70,88,SUCCESS,43.71
amba_case_study_4,realizable,11,12,21,89,110,SUCCESS,385.39
amba_decomposed_arbiter_2,realizable,3,4,2,9,11,SUCCESS,1.03
amba_decomposed_arbiter_3,realizable,4,5,4,22,26,SUCCESS,1.40
amba_decomposed_arbiter_4,realizable,5,6,5,28,33,SUCCESS,2.09
amba_decomposed_arbiter_5,realizable,6,7,6,36,42,SUCCESS,3.29
amba_decomposed_arbiter_6,realizable,7,8,7,42,49,SUCCESS,4.70
amba_decomposed_arbiter_7,realizable,8,9,8,48,56,SUCCESS,7.18
amba_decomposed_arbiter_8,realizable,9,10,9,54,63,SUCCESS,10.56
amba_decomposed_arbiter_10,realizable,11,12,11,66,77,SUCCESS,18.49
amba_decomposed_arbiter_12,realizable,13,14,13,78,91,SUCCESS,40.40
amba_decomposed_decode,realizable,2,3,0,2,2,SUCCESS,.26
amba_decomposed_encode_2,realizable,3,1,1,3,4,SUCCESS,.25
amba_decomposed_encode_4,realizable,5,2,2,7,9,SUCCESS,.35
amba_decomposed_encode_6,realizable,7,3,3,13,16,SUCCESS,.48
amba_decomposed_encode_8,realizable,9,3,3,17,20,SUCCESS,.81
amba_decomposed_encode_10,realizable,11,4,4,22,26,SUCCESS,1.22
amba_decomposed_encode_12,realizable,13,4,4,26,30,SUCCESS,1.57
amba_decomposed_lock_2,realizable,5,1,2,6,8,SUCCESS,.26
amba_decomposed_lock_4,realizable,9,1,2,10,12,SUCCESS,.38
amba_decomposed_lock_6,realizable,13,1,2,14,16,SUCCESS,.50
amba_decomposed_lock_8,realizable,17,1,2,18,20,SUCCESS,.88
amba_decomposed_lock_10,realizable,21,1,2,22,24,SUCCESS,1.16
amba_decomposed_lock_12,realizable,25,1,2,26,28,SUCCESS,1.59
amba_decomposed_shift,realizable,2,1,1,3,4,SUCCESS,.20
amba_decomposed_tburst4,realizable,4,1,7,20,27,SUCCESS,.88
amba_decomposed_tincr,realizable,5,1,2,6,8,SUCCESS,.37
amba_decomposed_tsingle,realizable,4,1,2,8,10,SUCCESS,.38
Automata16S,realizable,2,21,5,54,59,SUCCESS,7.34
Automata32S,realizable,2,37,6,86,92,SUCCESS,45.29
Automata,realizable,2,13,4,37,41,SUCCESS,1.80
button,realizable,1,4,0,0,0,SUCCESS,.24
Button,realizable,1,4,0,0,0,SUCCESS,.21
Cockpitboard,realizable,6,19,0,7,7,SUCCESS,.55
collector_v1_2,realizable,2,1,2,5,7,SUCCESS,.25
collector_v1_3,realizable,3,1,3,8,11,SUCCESS,.28
collector_v1_4,realizable,4,1,4,11,15,SUCCESS,.35
collector_v1_5,realizable,5,1,5,14,19,SUCCESS,.42
collector_v1_6,realizable,6,1,6,17,23,SUCCESS,.51
collector_v1_7,realizable,7,1,7,20,27,SUCCESS,.61
collector_v2_2,realizable,2,1,1,3,4,SUCCESS,.27
collector_v2_3,realizable,3,1,2,6,8,SUCCESS,.37
collector_v2_4,realizable,4,1,2,8,10,SUCCESS,.64
collector_v2_5,realizable,5,1,5,15,20,SUCCESS,1.12
collector_v2_6,realizable,6,1,6,18,24,SUCCESS,2.53
collector_v2_7,realizable,7,1,7,21,28,SUCCESS,9.34
collector_v3_2,realizable,2,1,0,0,0,SUCCESS,.25
collector_v3_3,realizable,3,1,0,0,0,SUCCESS,.31
collector_v3_4,realizable,4,1,0,0,0,SUCCESS,.39
collector_v3_5,realizable,5,1,0,0,0,SUCCESS,.52
collector_v3_6,realizable,6,1,0,0,0,SUCCESS,.68
collector_v3_7,realizable,7,1,0,0,0,SUCCESS,.85
collector_v4_2,realizable,2,1,1,3,4,SUCCESS,.27
collector_v4_3,realizable,3,1,2,6,8,SUCCESS,.42
collector_v4_4,realizable,4,1,2,8,10,SUCCESS,.62
collector_v4_5,realizable,5,1,5,15,20,SUCCESS,1.12
collector_v4_6,realizable,6,1,6,18,24,SUCCESS,1.65
collector_v4_7,realizable,7,1,7,21,28,SUCCESS,2.36
detector_1,realizable,1,1,0,0,0,SUCCESS,.09
detector_2,realizable,2,1,1,3,4,SUCCESS,.11
detector_3,realizable,3,1,2,6,8,SUCCESS,.13
detector_4,realizable,4,1,2,8,10,SUCCESS,.22
detector_5,realizable,5,1,5,15,20,SUCCESS,.69
detector_6,realizable,6,1,6,18,24,SUCCESS,1.54
detector_7,realizable,7,1,7,21,28,SUCCESS,5.06
detector_8,realizable,8,1,8,24,32,SUCCESS,19.90
detector_10,realizable,10,1,10,30,40,SUCCESS,199.87
detector_12,realizable,12,1,12,36,48,TIMEOUT,10800.00
EnemeyModule,realizable,2,7,0,2,2,SUCCESS,.27
escalator_bidirectional_init,realizable,7,8,3,40,43,SUCCESS,.49
EscalatorBidirectionalInit,realizable,7,8,3,40,43,SUCCESS,.46
escalator_bidirectional,realizable,7,7,1,30,31,SUCCESS,.29
EscalatorBidirectional,realizable,7,7,1,30,31,SUCCESS,.29
escalator_counting_init,realizable,3,7,2,11,13,SUCCESS,.36
EscalatorCountingInit,realizable,3,7,2,11,13,SUCCESS,.35
escalator_counting,realizable,3,6,1,7,8,SUCCESS,.32
EscalatorCounting,realizable,3,6,1,7,8,SUCCESS,.29
escalator_non-counting,realizable,2,3,0,3,3,SUCCESS,.23
EscalatorNonCounting,realizable,2,3,0,3,3,SUCCESS,.23
escalator_non-reactive,realizable,0,2,0,0,0,SUCCESS,.19
EscalatorNonReactive,realizable,0,2,0,0,0,SUCCESS,.19
escalator_smart,realizable,4,3,3,23,26,SUCCESS,.54
EscalatorSmart,realizable,4,3,3,23,26,SUCCESS,.38
full_arbiter_2,realizable,2,2,2,4,6,SUCCESS,.54
full_arbiter_3,realizable,3,3,6,9,15,SUCCESS,.87
full_arbiter_4,realizable,4,4,8,12,20,SUCCESS,1.64
full_arbiter_5,realizable,5,5,10,15,25,SUCCESS,2.78
full_arbiter_6,realizable,6,6,12,18,30,SUCCESS,4.55
full_arbiter_7,realizable,7,7,14,21,35,SUCCESS,6.91
full_arbiter_8,realizable,8,8,16,24,40,SUCCESS,11.38
full_arbiter_10,realizable,10,10,20,30,50,SUCCESS,31.99
full_arbiter_12,realizable,12,12,24,36,60,SUCCESS,60.70
full_arbiter_enc_2,realizable,1,2,2,5,7,SUCCESS,.56
full_arbiter_enc_4,realizable,2,3,10,20,30,SUCCESS,2.31
full_arbiter_enc_6,realizable,3,3,14,36,50,SUCCESS,7.16
full_arbiter_enc_8,realizable,3,4,18,47,65,SUCCESS,26.67
full_arbiter_enc_10,realizable,4,4,22,63,85,SUCCESS,66.00
full_arbiter_enc_12,realizable,4,4,26,77,103,SUCCESS,152.22
Gamelogic,realizable,5,25,2,26,28,SUCCESS,1.67
GamemodeChooser,realizable,9,11,0,24,24,SUCCESS,.31
Gamemodule,realizable,4,4,1,3,4,SUCCESS,.25
genbuf2,realizable,4,4,6,8,14,SUCCESS,.63
genbuf3,realizable,5,5,9,14,23,SUCCESS,1.08
genbuf4,realizable,6,6,11,18,29,SUCCESS,1.71
genbuf5,realizable,7,7,13,22,35,SUCCESS,2.77
generalized_buffer_2,realizable,4,4,6,8,14,SUCCESS,.70
generalized_buffer_3,realizable,5,5,9,14,23,SUCCESS,1.38
generalized_buffer_4,realizable,6,6,11,18,29,SUCCESS,1.92
generalized_buffer_5,realizable,7,7,13,22,35,SUCCESS,4.21
generalized_buffer_6,realizable,8,8,15,26,41,SUCCESS,5.69
increment,realizable,1,2,0,0,0,SUCCESS,.27
Increment,realizable,1,2,0,0,0,SUCCESS,.27
KitchenTimerV0,realizable,2,2,0,1,1,SUCCESS,.27
KitchenTimerV1,realizable,2,6,0,1,1,SUCCESS,.36
KitchenTimerV2,realizable,4,6,0,1,1,SUCCESS,.46
KitchenTimerV3,realizable,4,6,0,1,1,SUCCESS,.55
KitchenTimerV4,realizable,4,6,0,1,1,SUCCESS,.66
KitchenTimerV5,realizable,4,6,6,406,412,SUCCESS,5.85
KitchenTimerV6,realizable,4,6,6,406,412,SUCCESS,10.79
KitchenTimerV7,realizable,4,8,6,406,412,SUCCESS,20.18
KitchenTimerV8,realizable,4,11,6,503,509,SUCCESS,19.40
KitchenTimerV9,realizable,4,11,6,503,509,SUCCESS,22.78
KitchenTimerV10,realizable,4,11,6,503,509,SUCCESS,9.87
LedMatrix,realizable,3,27,4,67,71,SUCCESS,16.71
lilydemo03,realizable,3,1,1,0,1,SUCCESS,.68
lilydemo04,realizable,3,1,2,2,4,SUCCESS,.76
lilydemo05,realizable,3,1,1,1,2,SUCCESS,.76
lilydemo06,realizable,3,1,2,2,4,SUCCESS,.90
lilydemo07,realizable,3,1,1,1,2,SUCCESS,1.15
lilydemo08,realizable,1,1,0,0,0,SUCCESS,.37
lilydemo09,realizable,1,1,1,0,1,SUCCESS,1.18
lilydemo10,realizable,2,2,0,0,0,SUCCESS,.42
lilydemo12,realizable,2,2,0,0,0,SUCCESS,.38
lilydemo13,realizable,1,1,0,0,0,SUCCESS,.82
lilydemo14,realizable,2,2,1,0,1,SUCCESS,1.00
lilydemo17,realizable,2,3,2,1,3,SUCCESS,1.42
lilydemo18,realizable,3,4,4,0,4,SUCCESS,2.48
lilydemo19,realizable,2,2,1,1,2,SUCCESS,1.38
lilydemo20,realizable,2,3,0,0,0,SUCCESS,2.16
lilydemo21,realizable,4,4,4,0,4,SUCCESS,2.92
lilydemo22,realizable,3,1,1,1,2,SUCCESS,1.34
lilydemo23,realizable,1,1,1,0,1,SUCCESS,.42
lilydemo24,realizable,4,4,0,0,0,SUCCESS,1.59
load_balancer_2,realizable,3,2,1,1,2,SUCCESS,1.62
load_balancer_3,realizable,4,3,4,8,12,SUCCESS,3.44
load_balancer_4,realizable,5,4,7,15,22,SUCCESS,6.02
load_balancer_5,realizable,6,5,9,20,29,SUCCESS,8.53
load_balancer_6,realizable,7,6,11,25,36,SUCCESS,11.59
load_balancer_7,realizable,8,7,13,30,43,SUCCESS,16.53
load_balancer_8,realizable,9,8,15,35,50,SUCCESS,34.69
load_balancer_10,realizable,11,10,19,45,64,SUCCESS,236.92
load_balancer_12,realizable,13,12,23,55,78,SUCCESS,305.81
load_balancer_unreal2_2,realizable,3,2,1,1,2,SUCCESS,1.86
loadcomp2,realizable,3,2,0,3,3,SUCCESS,1.64
loadcomp3,realizable,4,3,1,8,9,SUCCESS,3.62
loadcomp4,realizable,5,4,3,23,26,SUCCESS,9.99
loadcomp5,realizable,6,5,4,42,46,SUCCESS,19.82
loadfull2,realizable,3,2,1,2,3,SUCCESS,1.19
loadfull3,realizable,4,3,2,6,8,SUCCESS,3.23
loadfull4,realizable,5,4,6,22,28,SUCCESS,11.44
loadfull5,realizable,6,5,8,41,49,SUCCESS,45.26
ltl2dba01,realizable,3,1,2,4,6,SUCCESS,.46
ltl2dba02,realizable,3,1,9,17,26,SUCCESS,.96
ltl2dba03,realizable,3,1,2,6,8,SUCCESS,.49
ltl2dba04,realizable,3,1,2,5,7,SUCCESS,.44
ltl2dba05,realizable,4,1,3,6,9,SUCCESS,.47
ltl2dba06,realizable,4,1,4,7,11,SUCCESS,.58
ltl2dba07,realizable,7,1,7,12,19,SUCCESS,1.03
ltl2dba08,realizable,5,1,4,12,16,SUCCESS,1.56
ltl2dba09,realizable,3,1,0,2,2,SUCCESS,.48
ltl2dba10,realizable,3,1,1,2,3,SUCCESS,.42
ltl2dba11,realizable,2,1,0,0,0,SUCCESS,.45
ltl2dba12,realizable,2,1,2,5,7,SUCCESS,.45
ltl2dba13,realizable,3,1,1,3,4,SUCCESS,.44
ltl2dba14,realizable,3,1,2,4,6,SUCCESS,.43
ltl2dba15,realizable,2,1,0,1,1,SUCCESS,.48
ltl2dba16,realizable,2,1,2,5,7,SUCCESS,.55
ltl2dba17,realizable,2,1,2,3,5,SUCCESS,.49
ltl2dba18,realizable,3,1,2,5,7,SUCCESS,.54
ltl2dba19,realizable,2,1,4,2,6,SUCCESS,.57
ltl2dba20,realizable,4,1,3,7,10,SUCCESS,.68
ltl2dba21,realizable,2,1,3,3,6,SUCCESS,.63
ltl2dba22,realizable,1,1,1,1,2,SUCCESS,.39
ltl2dba23,realizable,2,1,2,3,5,SUCCESS,.42
ltl2dba24,realizable,1,1,1,1,2,SUCCESS,.25
ltl2dba25,realizable,3,1,2,5,7,SUCCESS,.32
ltl2dba26,realizable,3,1,2,4,6,SUCCESS,.37
ltl2dba_alpha_1,realizable,2,1,2,3,5,SUCCESS,.21
ltl2dba_alpha_2,realizable,2,1,2,5,7,SUCCESS,.29
ltl2dba_alpha_3,realizable,2,1,4,5,9,SUCCESS,.31
ltl2dba_alpha_4,realizable,2,1,5,6,11,SUCCESS,.51
ltl2dba_alpha_5,realizable,2,1,6,7,13,SUCCESS,.62
ltl2dba_alpha_6,realizable,2,1,7,8,15,SUCCESS,1.20
ltl2dba_alpha_7,realizable,2,1,8,9,17,SUCCESS,1.74
ltl2dba_alpha_8,realizable,2,1,9,10,19,SUCCESS,2.57
ltl2dba_alpha_10,realizable,2,1,4,17,21,SUCCESS,12.41
ltl2dba_alpha_12,realizable,2,1,4,18,22,SUCCESS,39.93
ltl2dba_beta_1,realizable,2,1,2,3,5,SUCCESS,.17
ltl2dba_beta_2,realizable,4,1,4,7,11,SUCCESS,.22
ltl2dba_beta_3,realizable,6,1,6,11,17,SUCCESS,.30
ltl2dba_beta_4,realizable,8,1,8,15,23,SUCCESS,.43
ltl2dba_beta_5,realizable,10,1,10,19,29,SUCCESS,.55
ltl2dba_beta_6,realizable,12,1,12,23,35,SUCCESS,.72
ltl2dba_beta_7,realizable,14,1,14,27,41,SUCCESS,.87
ltl2dba_beta_8,realizable,16,1,16,31,47,SUCCESS,1.29
ltl2dba_beta_10,realizable,20,1,20,39,59,SUCCESS,1.86
ltl2dba_beta_12,realizable,24,1,24,47,71,SUCCESS,3.63
ltl2dba_C2_1,realizable,1,1,0,0,0,SUCCESS,.09
ltl2dba_C2_2,realizable,2,1,1,3,4,SUCCESS,.11
ltl2dba_C2_3,realizable,3,1,2,6,8,SUCCESS,.13
ltl2dba_C2_4,realizable,4,1,2,8,10,SUCCESS,.22
ltl2dba_C2_5,realizable,5,1,5,15,20,SUCCESS,.69
ltl2dba_C2_6,realizable,6,1,6,18,24,SUCCESS,1.54
ltl2dba_C2_7,realizable,7,1,7,21,28,SUCCESS,5.11
ltl2dba_C2_8,realizable,8,1,8,24,32,SUCCESS,20.07
ltl2dba_C2_10,realizable,10,1,10,30,40,SUCCESS,228.06
ltl2dba_C2_12,realizable,12,1,12,36,48,TIMEOUT,10800.00
ltl2dba_E_1,realizable,1,1,1,1,2,SUCCESS,.08
ltl2dba_E_2,realizable,2,1,2,3,5,SUCCESS,.09
ltl2dba_E_3,realizable,3,1,3,5,8,SUCCESS,.11
ltl2dba_E_4,realizable,4,1,4,7,11,SUCCESS,.12
ltl2dba_E_5,realizable,5,1,5,9,14,SUCCESS,.17
ltl2dba_E_6,realizable,6,1,6,11,17,SUCCESS,.23
ltl2dba_E_7,realizable,7,1,7,13,20,SUCCESS,.28
ltl2dba_E_8,realizable,8,1,8,15,23,SUCCESS,.36
ltl2dba_E_10,realizable,10,1,10,19,29,SUCCESS,1.35
ltl2dba_E_12,realizable,12,1,12,23,35,SUCCESS,13.53
ltl2dba_Q_1,realizable,1,1,1,1,2,SUCCESS,.09
ltl2dba_Q_2,realizable,2,1,3,5,8,SUCCESS,.11
ltl2dba_Q_3,realizable,3,1,5,9,14,SUCCESS,.16
ltl2dba_Q_4,realizable,4,1,7,13,20,SUCCESS,.21
ltl2dba_Q_5,realizable,5,1,9,17,26,SUCCESS,.43
ltl2dba_Q_6,realizable,6,1,11,21,32,SUCCESS,.95
ltl2dba_Q_7,realizable,7,1,13,25,38,SUCCESS,1.67
ltl2dba_Q_8,realizable,8,1,15,29,44,SUCCESS,4.91
ltl2dba_Q_10,realizable,10,1,19,37,56,SUCCESS,66.06
ltl2dba_Q_12,realizable,12,1,23,45,68,SUCCESS,5262.17
ltl2dba_R_1,realizable,1,1,0,0,0,SUCCESS,.09
ltl2dba_U1_1,realizable,1,1,2,2,4,SUCCESS,.09
ltl2dba_U1_2,realizable,2,1,2,3,5,SUCCESS,.10
ltl2dba_U1_3,realizable,3,1,3,7,10,SUCCESS,.11
ltl2dba_U1_4,realizable,4,1,4,10,14,SUCCESS,.14
ltl2dba_U1_5,realizable,5,1,5,13,18,SUCCESS,.28
ltl2dba_U1_6,realizable,6,1,6,16,22,SUCCESS,.52
ltl2dba_U1_7,realizable,7,1,7,19,26,SUCCESS,1.02
ltl2dba_U1_8,realizable,8,1,8,22,30,SUCCESS,2.29
ltl2dba_U1_10,realizable,10,1,10,28,38,SUCCESS,11.58
ltl2dba_U1_12,realizable,12,1,12,34,46,SUCCESS,129.64
ltl2dpa01,realizable,1,3,0,0,0,SUCCESS,.21
ltl2dpa02,realizable,2,2,1,2,3,SUCCESS,.21
ltl2dpa03,realizable,3,3,1,5,6,SUCCESS,.27
ltl2dpa04,realizable,2,2,1,2,3,SUCCESS,.20
ltl2dpa05,realizable,2,2,0,1,1,SUCCESS,.21
ltl2dpa06,realizable,3,2,1,3,4,SUCCESS,.21
ltl2dpa07,realizable,3,2,1,3,4,SUCCESS,.22
ltl2dpa08,realizable,2,2,2,3,5,SUCCESS,.22
ltl2dpa09,realizable,3,2,1,3,4,SUCCESS,.21
ltl2dpa10,realizable,2,3,0,2,2,SUCCESS,.24
ltl2dpa11,realizable,3,2,1,5,6,SUCCESS,.23
ltl2dpa12,realizable,2,4,0,2,2,SUCCESS,.23
ltl2dpa13,realizable,2,3,2,5,7,SUCCESS,.27
ltl2dpa14,realizable,1,3,0,0,0,SUCCESS,.23
ltl2dpa15,realizable,2,2,1,3,4,SUCCESS,.24
ltl2dpa16,realizable,3,2,2,3,5,SUCCESS,.21
ltl2dpa17,realizable,3,2,2,3,5,SUCCESS,.23
ltl2dpa18,realizable,3,2,2,3,5,SUCCESS,.24
ltl2dpa19,realizable,3,3,3,7,10,SUCCESS,.29
ltl2dpa20,realizable,3,2,2,3,5,SUCCESS,.24
ltl2dpa21,realizable,2,3,0,2,2,SUCCESS,.24
ltl2dpa22,realizable,6,3,4,14,18,SUCCESS,.69
ltl2dpa23,realizable,2,2,0,1,1,SUCCESS,.23
ltl2dpa24,realizable,2,2,0,1,1,SUCCESS,.24
ModdifiedLedMatrix5X,realizable,3,25,3,23,26,SUCCESS,2.28
music_app_feedback,realizable,5,3,0,1,1,SUCCESS,.28
MusicAppFeedback,realizable,5,3,0,1,1,SUCCESS,.29
music_app_motivating_2,realizable,5,3,1,7,8,SUCCESS,.33
music_app_motivating,realizable,5,3,1,7,8,SUCCESS,.33
MusicAppMotivating,realizable,5,3,1,7,8,SUCCESS,.34
music_app_simple,realizable,4,3,0,1,1,SUCCESS,.24
MusicAppSimple,realizable,4,3,0,1,1,SUCCESS,.26
mux_2,realizable,3,1,0,0,0,SUCCESS,.20
mux_4,realizable,6,1,0,0,0,SUCCESS,.25
mux_6,realizable,9,1,0,0,0,SUCCESS,.30
mux_8,realizable,11,1,0,0,0,SUCCESS,.35
mux_10,realizable,14,1,0,0,0,SUCCESS,.47
mux_12,realizable,16,1,0,0,0,SUCCESS,.55
narylatch_2,realizable,3,2,2,6,8,SUCCESS,.13
narylatch_4,realizable,5,4,4,12,16,SUCCESS,.36
narylatch_6,realizable,7,6,6,18,24,SUCCESS,2.44
narylatch_8,realizable,9,8,8,24,32,SUCCESS,16.01
narylatch_10,realizable,11,10,10,30,40,SUCCESS,2713.79
narylatch_12,realizable,13,12,12,36,48,TIMEOUT,10800.00
OneCounterGuiA9,realizable,9,9,0,12,12,SUCCESS,.23
OneCounterInRangeA3,realizable,5,3,0,4,4,SUCCESS,.18
OneCounter,realizable,9,9,0,10,10,SUCCESS,.24
prioritized_arbiter_1,realizable,2,2,1,0,1,SUCCESS,.23
prioritized_arbiter_2,realizable,3,3,2,4,6,SUCCESS,.31
prioritized_arbiter_3,realizable,4,4,4,9,13,SUCCESS,.48
prioritized_arbiter_4,realizable,5,5,5,12,17,SUCCESS,.69
prioritized_arbiter_5,realizable,6,6,6,15,21,SUCCESS,.98
prioritized_arbiter_6,realizable,7,7,7,18,25,SUCCESS,1.50
prioritized_arbiter_7,realizable,8,8,8,21,29,SUCCESS,1.87
prioritized_arbiter_8,realizable,9,9,9,24,33,SUCCESS,2.62
prioritized_arbiter_10,realizable,11,11,11,30,41,SUCCESS,5.14
prioritized_arbiter_12,realizable,13,13,13,36,49,SUCCESS,9.88
prioritized_arbiter_enc_2,realizable,2,2,2,6,8,SUCCESS,.32
prioritized_arbiter_enc_4,realizable,3,3,7,16,23,SUCCESS,.93
prioritized_arbiter_enc_6,realizable,3,3,9,26,35,SUCCESS,1.61
prioritized_arbiter_enc_8,realizable,4,4,11,35,46,SUCCESS,4.14
prioritized_arbiter_enc_10,realizable,4,4,13,45,58,SUCCESS,31.99
prioritized_arbiter_enc_12,realizable,4,4,15,55,70,SUCCESS,89.88
Radarboard,realizable,5,24,0,6,6,SUCCESS,.58
RegManager,realizable,2,8,0,0,0,SUCCESS,.29
RotationCalculator,realizable,6,8,0,14,14,SUCCESS,.24
round_robin_arbiter_2,realizable,2,2,0,0,0,SUCCESS,.28
round_robin_arbiter_3,realizable,3,3,3,0,3,SUCCESS,.39
round_robin_arbiter_4,realizable,4,4,4,0,4,SUCCESS,.71
round_robin_arbiter_5,realizable,5,5,5,0,5,SUCCESS,1.20
round_robin_arbiter_6,realizable,6,6,6,0,6,SUCCESS,2.23
round_robin_arbiter_7,realizable,7,7,7,0,7,SUCCESS,3.39
round_robin_arbiter_8,realizable,8,8,8,0,8,SUCCESS,6.17
round_robin_arbiter_10,realizable,10,10,10,0,10,SUCCESS,15.82
round_robin_arbiter_12,realizable,12,12,12,0,12,SUCCESS,30.33
Scoreboard,realizable,5,12,0,4,4,SUCCESS,.35
SensorInit,realizable,2,17,3,35,38,SUCCESS,1.59
SensorPart,realizable,2,21,3,30,33,SUCCESS,1.62
SensorRegister,realizable,1,2,0,0,0,SUCCESS,.19
SensorSelector,realizable,4,25,0,0,0,SUCCESS,.25
SensorSubmodulChooser,realizable,4,15,2,19,21,SUCCESS,.34
Sensor,realizable,4,6,3,25,28,SUCCESS,.48
shift_2,realizable,2,2,0,0,0,SUCCESS,.19
shift_4,realizable,4,4,0,0,0,SUCCESS,.22
shift_6,realizable,6,6,0,0,0,SUCCESS,.28
shift_8,realizable,8,8,0,0,0,SUCCESS,.33
shift_10,realizable,10,10,0,0,0,SUCCESS,.45
shift_12,realizable,12,12,0,0,0,SUCCESS,.56
simple_arbiter_2,realizable,2,2,1,0,1,SUCCESS,.22
simple_arbiter_3,realizable,3,3,3,0,3,SUCCESS,.26
simple_arbiter_4,realizable,4,4,4,0,4,SUCCESS,.30
simple_arbiter_5,realizable,5,5,5,0,5,SUCCESS,.38
simple_arbiter_6,realizable,6,6,6,0,6,SUCCESS,.49
simple_arbiter_7,realizable,7,7,7,0,7,SUCCESS,.62
simple_arbiter_8,realizable,8,8,8,0,8,SUCCESS,1.06
simple_arbiter_10,realizable,10,10,10,0,10,SUCCESS,1.87
simple_arbiter_12,realizable,12,12,12,0,12,SUCCESS,3.16
simple_arbiter_enc_2,realizable,1,2,2,0,2,SUCCESS,.24
simple_arbiter_enc_4,realizable,2,3,3,0,3,SUCCESS,.36
simple_arbiter_enc_6,realizable,3,3,7,4,11,SUCCESS,.70
simple_arbiter_enc_8,realizable,3,4,9,8,17,SUCCESS,1.51
simple_arbiter_enc_10,realizable,4,4,11,10,21,SUCCESS,3.42
simple_arbiter_enc_12,realizable,4,4,13,14,27,SUCCESS,11.99
slider_default,realizable,2,3,1,3,4,SUCCESS,.23
SliderDefault,realizable,2,3,1,3,4,SUCCESS,.24
slider_delayed,realizable,4,9,2,19,21,SUCCESS,.35
SliderDelayed,realizable,4,9,2,19,21,SUCCESS,.31
slider_scored,realizable,4,9,1,5,6,SUCCESS,.29
SliderScored,realizable,4,9,1,5,6,SUCCESS,.26
SPIPureNext,realizable,1,27,6,71,77,SUCCESS,670.93
SPIReadClk,realizable,3,3,0,2,2,SUCCESS,.21
SPIReadManag,realizable,8,16,1,18,19,SUCCESS,.28
SPIReadSdi,realizable,4,3,1,1,2,SUCCESS,.20
SPI,realizable,4,16,3,45,48,SUCCESS,.58
SPIWriteClk,realizable,5,3,0,4,4,SUCCESS,.23
SPIWriteManag,realizable,5,15,1,6,7,SUCCESS,.25
SPIWriteSdi,realizable,6,4,1,4,5,SUCCESS,.21
tictactoe,realizable,9,9,0,0,0,SUCCESS,4.55
torcs_accelerating,realizable,2,6,0,0,0,SUCCESS,.26
TorcsAccelerating,realizable,2,6,0,0,0,SUCCESS,.22
torcs_gearing,realizable,1,3,1,2,3,SUCCESS,.24
TorcsGearing,realizable,1,3,1,2,3,SUCCESS,.24
torcs_simple,realizable,3,8,0,2,2,SUCCESS,.26
TorcsSimple,realizable,3,8,0,2,2,SUCCESS,.21
torcs_steering_improved,realizable,4,8,0,1,1,SUCCESS,.26
TorcsSteeringImproved,realizable,4,8,0,1,1,SUCCESS,.26
torcs_steering_simple,realizable,4,3,0,5,5,SUCCESS,.21
TorcsSteeringSimple,realizable,4,3,0,5,5,SUCCESS,.21
torcs_steering_smart,realizable,4,6,3,42,45,SUCCESS,1.38
TorcsSteeringSmart,realizable,4,6,3,42,45,SUCCESS,1.26
TwoCounters3,realizable,11,8,0,0,0,SUCCESS,.27
TwoCounters4,realizable,11,8,0,7,7,SUCCESS,.28
TwoCountersInRangeA6,realizable,11,8,0,8,8,SUCCESS,.28
TwoCountersRefinedRefined,realizable,6,8,0,10,10,SUCCESS,.28
UnderapproxStrengthenedDemo,realizable,1,0,0,0,0,SUCCESS,.20
zoo0,realizable,3,9,0,4,4,SUCCESS,.28
Zoo0,realizable,3,9,0,4,4,SUCCESS,.25
zoo5,realizable,3,8,0,3,3,SUCCESS,.28
Zoo5,realizable,3,8,0,3,3,SUCCESS,.25
zoo10,realizable,3,8,0,2,2,SUCCESS,.28
Zoo10,realizable,3,8,0,2,2,SUCCESS,.26
amba_case_study_unreal1_2_2,unrealizable,7,9,1,0,1,SUCCESS,.22
amba_case_study_unreal2_2,unrealizable,7,9,1,0,1,SUCCESS,.24
detector_unreal_2,unrealizable,2,1,0,0,0,SUCCESS,.09
detector_unreal_4,unrealizable,4,1,0,0,0,SUCCESS,.10
detector_unreal_6,unrealizable,6,1,0,0,0,SUCCESS,.10
detector_unreal_8,unrealizable,8,1,0,0,0,SUCCESS,.11
detector_unreal_10,unrealizable,10,1,0,0,0,SUCCESS,.11
detector_unreal_12,unrealizable,12,1,0,0,0,SUCCESS,.12
full_arbiter_unreal1_2_3,unrealizable,2,2,0,0,0,SUCCESS,.13
full_arbiter_unreal1_2_6,unrealizable,2,2,0,0,0,SUCCESS,.17
full_arbiter_unreal1_2_9,unrealizable,2,2,0,0,0,SUCCESS,.27
full_arbiter_unreal1_2_12,unrealizable,2,2,0,0,0,SUCCESS,.33
full_arbiter_unreal1_2_15,unrealizable,2,2,0,0,0,SUCCESS,.72
full_arbiter_unreal1_2_18,unrealizable,2,2,0,0,0,SUCCESS,1.07
full_arbiter_unreal1_3_1,unrealizable,3,3,0,0,0,SUCCESS,.13
full_arbiter_unreal1_3_2,unrealizable,3,3,0,0,0,SUCCESS,.16
full_arbiter_unreal1_3_3,unrealizable,3,3,0,0,0,SUCCESS,.17
full_arbiter_unreal1_3_4,unrealizable,3,3,0,0,0,SUCCESS,.18
full_arbiter_unreal1_3_5,unrealizable,3,3,0,0,0,SUCCESS,.19
full_arbiter_unreal1_3_6,unrealizable,3,3,0,0,0,SUCCESS,.24
full_arbiter_unreal1_3_8,unrealizable,3,3,0,0,0,SUCCESS,.49
full_arbiter_unreal1_3_10,unrealizable,3,3,0,0,0,SUCCESS,.78
full_arbiter_unreal1_3_12,unrealizable,3,3,0,0,0,SUCCESS,1.50
full_arbiter_unreal2_2,unrealizable,2,2,0,0,0,SUCCESS,.13
full_arbiter_unreal2_3,unrealizable,3,3,0,0,0,SUCCESS,.17
full_arbiter_unreal2_4,unrealizable,4,4,0,0,0,SUCCESS,.22
full_arbiter_unreal2_5,unrealizable,5,5,0,0,0,SUCCESS,.28
genbuf6,unrealizable,8,8,1,1,2,SUCCESS,.53
generalized_buffer_unreal1_2_2,unrealizable,4,4,2,1,3,SUCCESS,.37
generalized_buffer_unreal2_2,unrealizable,4,4,2,1,3,SUCCESS,.41
lilydemo01,unrealizable,3,1,0,0,0,SUCCESS,.08
lilydemo02,unrealizable,3,1,0,0,0,SUCCESS,.08
lilydemo11,unrealizable,2,2,0,0,0,SUCCESS,.08
lilydemo15,unrealizable,2,2,0,0,0,SUCCESS,.08
lilydemo16,unrealizable,3,3,0,0,0,SUCCESS,.10
load_balancer_unreal1_2_2,unrealizable,3,2,1,0,1,SUCCESS,.13
load_balancer_unreal1_2_4,unrealizable,3,2,1,0,1,SUCCESS,.15
load_balancer_unreal1_2_6,unrealizable,3,2,1,0,1,SUCCESS,.20
load_balancer_unreal1_2_8,unrealizable,3,2,1,0,1,SUCCESS,.26
load_balancer_unreal1_2_10,unrealizable,3,2,1,0,1,SUCCESS,.39
load_balancer_unreal1_2_12,unrealizable,3,2,1,0,1,SUCCESS,.55
load_balancer_unreal1_4_1,unrealizable,5,4,0,0,0,SUCCESS,.16
load_balancer_unreal1_4_2,unrealizable,5,4,0,0,0,SUCCESS,.17
load_balancer_unreal1_4_3,unrealizable,5,4,0,0,0,SUCCESS,.19
load_balancer_unreal1_4_4,unrealizable,5,4,0,0,0,SUCCESS,.21
load_balancer_unreal1_4_5,unrealizable,5,4,0,0,0,SUCCESS,.25
load_balancer_unreal1_4_6,unrealizable,5,4,0,0,0,SUCCESS,.30
load_balancer_unreal2_3,unrealizable,4,3,0,0,0,SUCCESS,.15
load_balancer_unreal2_4,unrealizable,5,4,0,0,0,SUCCESS,.19
load_balancer_unreal2_5,unrealizable,6,5,0,0,0,SUCCESS,.22
ltl2dba27,unrealizable,1,1,1,0,1,SUCCESS,.09
ltl2dba_R_2,unrealizable,2,1,1,0,1,SUCCESS,.12
ltl2dba_R_3,unrealizable,3,1,1,0,1,SUCCESS,.14
ltl2dba_R_4,unrealizable,4,1,1,0,1,SUCCESS,.17
ltl2dba_R_5,unrealizable,5,1,1,0,1,SUCCESS,.19
ltl2dba_R_6,unrealizable,6,1,1,0,1,SUCCESS,.23
ltl2dba_R_7,unrealizable,7,1,1,0,1,SUCCESS,.27
ltl2dba_R_8,unrealizable,8,1,1,0,1,SUCCESS,.28
ltl2dba_R_10,unrealizable,10,1,1,0,1,SUCCESS,.39
ltl2dba_R_12,unrealizable,12,1,1,0,1,SUCCESS,.46
ltl2dba_theta_1,unrealizable,3,1,1,0,1,SUCCESS,.11
ltl2dba_theta_2,unrealizable,4,1,1,0,1,SUCCESS,.10
ltl2dba_theta_3,unrealizable,5,1,1,0,1,SUCCESS,.11
ltl2dba_theta_4,unrealizable,6,1,1,0,1,SUCCESS,.11
ltl2dba_theta_5,unrealizable,7,1,1,0,1,SUCCESS,.11
ltl2dba_theta_6,unrealizable,8,1,1,0,1,SUCCESS,.12
ltl2dba_theta_7,unrealizable,9,1,1,0,1,SUCCESS,.12
ltl2dba_theta_8,unrealizable,10,1,1,0,1,SUCCESS,.12
ltl2dba_theta_10,unrealizable,12,1,1,0,1,SUCCESS,.12
ltl2dba_theta_12,unrealizable,14,1,1,0,1,SUCCESS,.13
ltl2dpa25,unrealizable,4,3,2,0,2,SUCCESS,.17
ModdifiedLedMatrix4X,unrealizable,3,25,0,0,0,SUCCESS,.35
OneCounterGuiA0,unrealizable,9,9,1,0,1,SUCCESS,.13
OneCounterGuiA1,unrealizable,9,9,2,0,2,SUCCESS,.16
OneCounterGuiA2,unrealizable,9,9,2,0,2,SUCCESS,.17
OneCounterGuiA3,unrealizable,9,9,2,0,2,SUCCESS,.18
OneCounterGuiA4,unrealizable,9,9,2,0,2,SUCCESS,.18
OneCounterGuiA5,unrealizable,9,9,3,1,4,SUCCESS,.21
OneCounterGuiA6,unrealizable,9,9,3,1,4,SUCCESS,.24
OneCounterGuiA7,unrealizable,9,9,3,1,4,SUCCESS,.24
OneCounterGuiA8,unrealizable,9,9,3,1,4,SUCCESS,.33
OneCounterGui,unrealizable,9,9,1,0,1,SUCCESS,.13
OneCounterInRangeA0,unrealizable,5,3,1,0,1,SUCCESS,.09
OneCounterInRangeA1,unrealizable,5,3,1,0,1,SUCCESS,.10
OneCounterInRangeA2,unrealizable,5,3,1,0,1,SUCCESS,.10
OneCounterInRange,unrealizable,5,3,1,0,1,SUCCESS,.09
prioritized_arbiter_unreal1_3_2,unrealizable,4,4,0,0,0,SUCCESS,.13
prioritized_arbiter_unreal1_3_4,unrealizable,4,4,0,0,0,SUCCESS,.14
prioritized_arbiter_unreal1_3_6,unrealizable,4,4,0,0,0,SUCCESS,.18
prioritized_arbiter_unreal1_3_8,unrealizable,4,4,0,0,0,SUCCESS,.23
prioritized_arbiter_unreal1_3_10,unrealizable,4,4,0,0,0,SUCCESS,.34
prioritized_arbiter_unreal2_2,unrealizable,3,3,0,0,0,SUCCESS,.12
prioritized_arbiter_unreal2_3,unrealizable,4,4,0,0,0,SUCCESS,.13
prioritized_arbiter_unreal2_4,unrealizable,5,5,0,0,0,SUCCESS,.15
prioritized_arbiter_unreal2_5,unrealizable,6,6,0,0,0,SUCCESS,.20
round_robin_arbiter_unreal1_2_3,unrealizable,2,2,2,0,2,SUCCESS,.16
round_robin_arbiter_unreal1_2_6,unrealizable,2,2,2,0,2,SUCCESS,.29
round_robin_arbiter_unreal1_2_9,unrealizable,2,2,2,0,2,SUCCESS,.64
round_robin_arbiter_unreal1_2_12,unrealizable,2,2,2,0,2,SUCCESS,2.56
round_robin_arbiter_unreal1_2_15,unrealizable,2,2,2,0,2,SUCCESS,9.52
round_robin_arbiter_unreal1_2_18,unrealizable,2,2,2,0,2,SUCCESS,76.26
round_robin_arbiter_unreal2_2,unrealizable,2,2,2,0,2,SUCCESS,.14
round_robin_arbiter_unreal2_3,unrealizable,3,3,2,0,2,SUCCESS,.18
round_robin_arbiter_unreal2_4,unrealizable,4,4,2,0,2,SUCCESS,.22
round_robin_arbiter_unreal2_5,unrealizable,5,5,2,0,2,SUCCESS,.27
simple_arbiter_unreal1_4_1,unrealizable,4,4,0,0,0,SUCCESS,.11
simple_arbiter_unreal1_4_2,unrealizable,4,4,0,0,0,SUCCESS,.13
simple_arbiter_unreal1_4_3,unrealizable,4,4,0,0,0,SUCCESS,.15
simple_arbiter_unreal1_4_4,unrealizable,4,4,0,0,0,SUCCESS,.15
simple_arbiter_unreal1_4_5,unrealizable,4,4,0,0,0,SUCCESS,.18
simple_arbiter_unreal1_4_6,unrealizable,4,4,0,0,0,SUCCESS,.22
simple_arbiter_unreal2_2,unrealizable,2,2,0,0,0,SUCCESS,.11
simple_arbiter_unreal2_3,unrealizable,3,3,0,0,0,SUCCESS,.11
simple_arbiter_unreal2_4,unrealizable,4,4,0,0,0,SUCCESS,.14
simple_arbiter_unreal2_5,unrealizable,5,5,0,0,0,SUCCESS,.17
simple_arbiter_unreal2_6,unrealizable,6,6,0,0,0,SUCCESS,.22
TwoCounters2,unrealizable,11,8,1,0,1,SUCCESS,.13
TwoCounters5,unrealizable,19,13,0,0,0,SUCCESS,.26
TwoCountersDisButA0,unrealizable,11,13,0,0,0,SUCCESS,.16
TwoCountersDisButA1,unrealizable,11,13,0,0,0,SUCCESS,.16
TwoCountersDisButA2,unrealizable,11,13,0,0,0,SUCCESS,.17
TwoCountersDisButA3,unrealizable,11,13,0,0,0,SUCCESS,.17
TwoCountersDisButA4,unrealizable,12,13,0,0,0,SUCCESS,.20
TwoCountersDisButA5,unrealizable,12,13,0,0,0,SUCCESS,.19
TwoCountersDisButA6,unrealizable,13,13,0,0,0,SUCCESS,.20
TwoCountersDisButA7,unrealizable,13,13,0,0,0,SUCCESS,.21
TwoCountersDisButA8,unrealizable,14,13,0,0,0,SUCCESS,.21
TwoCountersDisButA9,unrealizable,14,13,0,0,0,SUCCESS,.23
TwoCountersDisButAC,unrealizable,15,13,0,0,0,SUCCESS,.23
TwoCountersGui,unrealizable,19,14,1,0,1,SUCCESS,.16
TwoCountersInRangeA0,unrealizable,11,8,1,0,1,SUCCESS,.10
TwoCountersInRangeA1,unrealizable,11,8,1,0,1,SUCCESS,.11
TwoCountersInRangeA2,unrealizable,11,8,1,0,1,SUCCESS,.12
TwoCountersInRangeA3,unrealizable,11,8,1,0,1,SUCCESS,.13
TwoCountersInRangeA4,unrealizable,11,8,1,0,1,SUCCESS,.13
TwoCountersInRangeA5,unrealizable,11,8,1,0,1,SUCCESS,.15
TwoCountersInRangeM0,unrealizable,11,8,1,0,1,SUCCESS,.14
TwoCountersInRangeM1,unrealizable,11,8,1,0,1,SUCCESS,.14
TwoCountersInRangeM2,unrealizable,11,8,1,0,1,SUCCESS,.14
TwoCountersInRangeM3,unrealizable,11,8,1,0,1,SUCCESS,.14
TwoCountersInRangeM4,unrealizable,11,8,1,1,2,SUCCESS,.14
TwoCountersInRangeM5,unrealizable,11,8,1,0,1,SUCCESS,.15
TwoCountersInRange,unrealizable,11,8,1,0,1,SUCCESS,.11
TwoCountersRefined,unrealizable,6,8,1,1,2,SUCCESS,.13
TwoCounters,unrealizable,6,8,1,0,1,SUCCESS,.12
UnderapproxDemo2,unrealizable,2,2,0,0,0,SUCCESS,.09
UnderapproxDemo,unrealizable,1,0,1,0,1,SUCCESS,.07