Syntcomp 2018
Results
|
Monitor
»
Experiments
::
TLSF Synthesis Parallel
:: Results by Instance
Instance:
TLSF (Library 2017)/amba_case_study_2.tlsf
TLSF (Library 2017)/amba_decomposed_arbiter_10.tlsf
TLSF (Library 2017)/amba_decomposed_arbiter_2.tlsf
TLSF (Library 2017)/amba_decomposed_arbiter_4.tlsf
TLSF (Library 2017)/amba_decomposed_arbiter_6.tlsf
TLSF (Library 2017)/amba_decomposed_arbiter_8.tlsf
TLSF (Library 2017)/amba_decomposed_encode_10.tlsf
TLSF (Library 2017)/amba_decomposed_encode_12.tlsf
TLSF (Library 2017)/amba_decomposed_encode_2.tlsf
TLSF (Library 2017)/amba_decomposed_encode_4.tlsf
TLSF (Library 2017)/amba_decomposed_encode_6.tlsf
TLSF (Library 2017)/amba_decomposed_encode_8.tlsf
TLSF (Library 2017)/amba_decomposed_lock_10.tlsf
TLSF (Library 2017)/amba_decomposed_lock_12.tlsf
TLSF (Library 2017)/amba_decomposed_lock_2.tlsf
TLSF (Library 2017)/amba_decomposed_lock_4.tlsf
TLSF (Library 2017)/amba_decomposed_lock_6.tlsf
TLSF (Library 2017)/amba_decomposed_lock_8.tlsf
TLSF (Library 2017)/amba_decomposed_shift.tlsf
TLSF (Library 2017)/amba_decomposed_tburst4.tlsf
TLSF (Library 2017)/amba_decomposed_tincr.tlsf
TLSF (Library 2017)/amba_decomposed_tsingle.tlsf
TLSF (Library 2017)/detector_10.tlsf
TLSF (Library 2017)/detector_12.tlsf
TLSF (Library 2017)/detector_2.tlsf
TLSF (Library 2017)/detector_4.tlsf
TLSF (Library 2017)/detector_6.tlsf
TLSF (Library 2017)/detector_8.tlsf
TLSF (Library 2017)/detector_unreal_10.tlsf
TLSF (Library 2017)/detector_unreal_12.tlsf
TLSF (Library 2017)/detector_unreal_2.tlsf
TLSF (Library 2017)/detector_unreal_4.tlsf
TLSF (Library 2017)/detector_unreal_6.tlsf
TLSF (Library 2017)/detector_unreal_8.tlsf
TLSF (Library 2017)/full_arbiter_2.tlsf
TLSF (Library 2017)/full_arbiter_3.tlsf
TLSF (Library 2017)/full_arbiter_4.tlsf
TLSF (Library 2017)/full_arbiter_5.tlsf
TLSF (Library 2017)/full_arbiter_6.tlsf
TLSF (Library 2017)/full_arbiter_7.tlsf
TLSF (Library 2017)/full_arbiter_unreal1_3_2.tlsf
TLSF (Library 2017)/full_arbiter_unreal1_3_4.tlsf
TLSF (Library 2017)/full_arbiter_unreal1_3_6.tlsf
TLSF (Library 2017)/full_arbiter_unreal1_3_8.tlsf
TLSF (Library 2017)/genbuf2.tlsf
TLSF (Library 2017)/genbuf3.tlsf
TLSF (Library 2017)/generalized_buffer_2.tlsf
TLSF (Library 2017)/generalized_buffer_3.tlsf
TLSF (Library 2017)/lilydemo01.tlsf
TLSF (Library 2017)/lilydemo02.tlsf
TLSF (Library 2017)/lilydemo03.tlsf
TLSF (Library 2017)/lilydemo04.tlsf
TLSF (Library 2017)/lilydemo05.tlsf
TLSF (Library 2017)/lilydemo06.tlsf
TLSF (Library 2017)/lilydemo07.tlsf
TLSF (Library 2017)/lilydemo08.tlsf
TLSF (Library 2017)/lilydemo09.tlsf
TLSF (Library 2017)/lilydemo10.tlsf
TLSF (Library 2017)/lilydemo11.tlsf
TLSF (Library 2017)/lilydemo12.tlsf
TLSF (Library 2017)/lilydemo13.tlsf
TLSF (Library 2017)/lilydemo14.tlsf
TLSF (Library 2017)/lilydemo15.tlsf
TLSF (Library 2017)/lilydemo16.tlsf
TLSF (Library 2017)/lilydemo17.tlsf
TLSF (Library 2017)/lilydemo18.tlsf
TLSF (Library 2017)/lilydemo19.tlsf
TLSF (Library 2017)/lilydemo20.tlsf
TLSF (Library 2017)/lilydemo21.tlsf
TLSF (Library 2017)/lilydemo22.tlsf
TLSF (Library 2017)/lilydemo23.tlsf
TLSF (Library 2017)/lilydemo24.tlsf
TLSF (Library 2017)/load_balancer_2.tlsf
TLSF (Library 2017)/load_balancer_4.tlsf
TLSF (Library 2017)/load_balancer_6.tlsf
TLSF (Library 2017)/load_balancer_8.tlsf
TLSF (Library 2017)/load_balancer_unreal1_2_10.tlsf
TLSF (Library 2017)/load_balancer_unreal1_2_12.tlsf
TLSF (Library 2017)/load_balancer_unreal1_2_2.tlsf
TLSF (Library 2017)/load_balancer_unreal1_2_4.tlsf
TLSF (Library 2017)/load_balancer_unreal1_2_6.tlsf
TLSF (Library 2017)/load_balancer_unreal1_2_8.tlsf
TLSF (Library 2017)/loadcomp2.tlsf
TLSF (Library 2017)/loadcomp3.tlsf
TLSF (Library 2017)/loadcomp4.tlsf
TLSF (Library 2017)/loadcomp5.tlsf
TLSF (Library 2017)/loadfull2.tlsf
TLSF (Library 2017)/loadfull3.tlsf
TLSF (Library 2017)/loadfull4.tlsf
TLSF (Library 2017)/loadfull5.tlsf
TLSF (Library 2017)/ltl2dba01.tlsf
TLSF (Library 2017)/ltl2dba02.tlsf
TLSF (Library 2017)/ltl2dba03.tlsf
TLSF (Library 2017)/ltl2dba04.tlsf
TLSF (Library 2017)/ltl2dba05.tlsf
TLSF (Library 2017)/ltl2dba06.tlsf
TLSF (Library 2017)/ltl2dba07.tlsf
TLSF (Library 2017)/ltl2dba08.tlsf
TLSF (Library 2017)/ltl2dba09.tlsf
TLSF (Library 2017)/ltl2dba10.tlsf
TLSF (Library 2017)/ltl2dba11.tlsf
TLSF (Library 2017)/ltl2dba12.tlsf
TLSF (Library 2017)/ltl2dba13.tlsf
TLSF (Library 2017)/ltl2dba14.tlsf
TLSF (Library 2017)/ltl2dba15.tlsf
TLSF (Library 2017)/ltl2dba16.tlsf
TLSF (Library 2017)/ltl2dba17.tlsf
TLSF (Library 2017)/ltl2dba18.tlsf
TLSF (Library 2017)/ltl2dba19.tlsf
TLSF (Library 2017)/ltl2dba20.tlsf
TLSF (Library 2017)/ltl2dba21.tlsf
TLSF (Library 2017)/ltl2dba22.tlsf
TLSF (Library 2017)/ltl2dba23.tlsf
TLSF (Library 2017)/ltl2dba24.tlsf
TLSF (Library 2017)/ltl2dba25.tlsf
TLSF (Library 2017)/ltl2dba26.tlsf
TLSF (Library 2017)/ltl2dba27.tlsf
TLSF (Library 2017)/ltl2dba_C2_10.tlsf
TLSF (Library 2017)/ltl2dba_C2_12.tlsf
TLSF (Library 2017)/ltl2dba_C2_2.tlsf
TLSF (Library 2017)/ltl2dba_C2_4.tlsf
TLSF (Library 2017)/ltl2dba_C2_6.tlsf
TLSF (Library 2017)/ltl2dba_C2_8.tlsf
TLSF (Library 2017)/ltl2dba_E_10.tlsf
TLSF (Library 2017)/ltl2dba_E_12.tlsf
TLSF (Library 2017)/ltl2dba_E_2.tlsf
TLSF (Library 2017)/ltl2dba_E_4.tlsf
TLSF (Library 2017)/ltl2dba_E_6.tlsf
TLSF (Library 2017)/ltl2dba_E_8.tlsf
TLSF (Library 2017)/ltl2dba_Q_10.tlsf
TLSF (Library 2017)/ltl2dba_Q_12.tlsf
TLSF (Library 2017)/ltl2dba_Q_2.tlsf
TLSF (Library 2017)/ltl2dba_Q_4.tlsf
TLSF (Library 2017)/ltl2dba_Q_6.tlsf
TLSF (Library 2017)/ltl2dba_Q_8.tlsf
TLSF (Library 2017)/ltl2dba_R_2.tlsf
TLSF (Library 2017)/ltl2dba_R_4.tlsf
TLSF (Library 2017)/ltl2dba_R_6.tlsf
TLSF (Library 2017)/ltl2dba_R_8.tlsf
TLSF (Library 2017)/ltl2dba_U1_10.tlsf
TLSF (Library 2017)/ltl2dba_U1_12.tlsf
TLSF (Library 2017)/ltl2dba_U1_2.tlsf
TLSF (Library 2017)/ltl2dba_U1_4.tlsf
TLSF (Library 2017)/ltl2dba_U1_6.tlsf
TLSF (Library 2017)/ltl2dba_U1_8.tlsf
TLSF (Library 2017)/ltl2dba_alpha_10.tlsf
TLSF (Library 2017)/ltl2dba_alpha_12.tlsf
TLSF (Library 2017)/ltl2dba_alpha_2.tlsf
TLSF (Library 2017)/ltl2dba_alpha_4.tlsf
TLSF (Library 2017)/ltl2dba_alpha_6.tlsf
TLSF (Library 2017)/ltl2dba_alpha_8.tlsf
TLSF (Library 2017)/ltl2dba_beta_10.tlsf
TLSF (Library 2017)/ltl2dba_beta_2.tlsf
TLSF (Library 2017)/ltl2dba_beta_4.tlsf
TLSF (Library 2017)/ltl2dba_beta_6.tlsf
TLSF (Library 2017)/ltl2dba_beta_8.tlsf
TLSF (Library 2017)/ltl2dba_theta_10.tlsf
TLSF (Library 2017)/ltl2dba_theta_12.tlsf
TLSF (Library 2017)/ltl2dba_theta_2.tlsf
TLSF (Library 2017)/ltl2dba_theta_4.tlsf
TLSF (Library 2017)/ltl2dba_theta_6.tlsf
TLSF (Library 2017)/ltl2dba_theta_8.tlsf
TLSF (Library 2017)/ltl2dpa01.tlsf
TLSF (Library 2017)/ltl2dpa02.tlsf
TLSF (Library 2017)/ltl2dpa03.tlsf
TLSF (Library 2017)/ltl2dpa04.tlsf
TLSF (Library 2017)/ltl2dpa05.tlsf
TLSF (Library 2017)/ltl2dpa06.tlsf
TLSF (Library 2017)/ltl2dpa07.tlsf
TLSF (Library 2017)/ltl2dpa08.tlsf
TLSF (Library 2017)/ltl2dpa09.tlsf
TLSF (Library 2017)/ltl2dpa10.tlsf
TLSF (Library 2017)/ltl2dpa11.tlsf
TLSF (Library 2017)/ltl2dpa12.tlsf
TLSF (Library 2017)/ltl2dpa13.tlsf
TLSF (Library 2017)/ltl2dpa14.tlsf
TLSF (Library 2017)/ltl2dpa15.tlsf
TLSF (Library 2017)/ltl2dpa16.tlsf
TLSF (Library 2017)/ltl2dpa17.tlsf
TLSF (Library 2017)/ltl2dpa18.tlsf
TLSF (Library 2017)/ltl2dpa19.tlsf
TLSF (Library 2017)/ltl2dpa20.tlsf
TLSF (Library 2017)/ltl2dpa21.tlsf
TLSF (Library 2017)/ltl2dpa22.tlsf
TLSF (Library 2017)/ltl2dpa23.tlsf
TLSF (Library 2017)/ltl2dpa24.tlsf
TLSF (Library 2017)/prioritized_arbiter_2.tlsf
TLSF (Library 2017)/prioritized_arbiter_4.tlsf
TLSF (Library 2017)/prioritized_arbiter_6.tlsf
TLSF (Library 2017)/prioritized_arbiter_8.tlsf
TLSF (Library 2017)/prioritized_arbiter_unreal1_3_2.tlsf
TLSF (Library 2017)/prioritized_arbiter_unreal1_3_4.tlsf
TLSF (Library 2017)/prioritized_arbiter_unreal1_3_6.tlsf
TLSF (Library 2017)/prioritized_arbiter_unreal1_3_8.tlsf
TLSF (Library 2017)/round_robin_arbiter_2.tlsf
TLSF (Library 2017)/round_robin_arbiter_3.tlsf
TLSF (Library 2017)/round_robin_arbiter_4.tlsf
TLSF (Library 2017)/round_robin_arbiter_5.tlsf
TLSF (Library 2017)/round_robin_arbiter_6.tlsf
TLSF (Library 2017)/round_robin_arbiter_7.tlsf
TLSF (Library 2017)/round_robin_arbiter_unreal1_2_12.tlsf
TLSF (Library 2017)/round_robin_arbiter_unreal1_2_15.tlsf
TLSF (Library 2017)/round_robin_arbiter_unreal1_2_18.tlsf
TLSF (Library 2017)/round_robin_arbiter_unreal1_2_3.tlsf
TLSF (Library 2017)/round_robin_arbiter_unreal1_2_6.tlsf
TLSF (Library 2017)/round_robin_arbiter_unreal1_2_9.tlsf
TLSF (Library 2017)/simple_arbiter_10.tlsf
TLSF (Library 2017)/simple_arbiter_2.tlsf
TLSF (Library 2017)/simple_arbiter_4.tlsf
TLSF (Library 2017)/simple_arbiter_6.tlsf
TLSF (Library 2017)/simple_arbiter_8.tlsf
TLSF (Library 2017)/simple_arbiter_unreal2_2.tlsf
TLSF (Library 2017)/simple_arbiter_unreal2_3.tlsf
TLSF (Library 2017)/simple_arbiter_unreal2_4.tlsf
TLSF (Library 2017)/simple_arbiter_unreal2_5.tlsf
TLSF (Library 2017)/simple_arbiter_unreal2_6.tlsf
TLSF (new 2018)/button.tlsf
TLSF (new 2018)/collector_v1_2.tlsf
TLSF (new 2018)/collector_v1_4.tlsf
TLSF (new 2018)/collector_v1_6.tlsf
TLSF (new 2018)/collector_v2_2.tlsf
TLSF (new 2018)/collector_v2_4.tlsf
TLSF (new 2018)/collector_v2_6.tlsf
TLSF (new 2018)/collector_v3_2.tlsf
TLSF (new 2018)/collector_v3_4.tlsf
TLSF (new 2018)/collector_v3_6.tlsf
TLSF (new 2018)/collector_v4_2.tlsf
TLSF (new 2018)/collector_v4_4.tlsf
TLSF (new 2018)/collector_v4_6.tlsf
TLSF (new 2018)/escalator_bidirectional.tlsf
TLSF (new 2018)/escalator_bidirectional_init.tlsf
TLSF (new 2018)/escalator_counting.tlsf
TLSF (new 2018)/escalator_counting_init.tlsf
TLSF (new 2018)/escalator_non-counting.tlsf
TLSF (new 2018)/escalator_non-reactive.tlsf
TLSF (new 2018)/escalator_smart.tlsf
TLSF (new 2018)/full_arbiter_enc_2.tlsf
TLSF (new 2018)/full_arbiter_enc_4.tlsf
TLSF (new 2018)/full_arbiter_enc_6.tlsf
TLSF (new 2018)/increment.tlsf
TLSF (new 2018)/music_app_feedback.tlsf
TLSF (new 2018)/music_app_motivating.tlsf
TLSF (new 2018)/music_app_motivating_2.tlsf
TLSF (new 2018)/music_app_simple.tlsf
TLSF (new 2018)/mux_2.tlsf
TLSF (new 2018)/mux_4.tlsf
TLSF (new 2018)/mux_6.tlsf
TLSF (new 2018)/narylatch_2.tlsf
TLSF (new 2018)/narylatch_4.tlsf
TLSF (new 2018)/narylatch_6.tlsf
TLSF (new 2018)/prioritized_arbiter_enc_2.tlsf
TLSF (new 2018)/prioritized_arbiter_enc_4.tlsf
TLSF (new 2018)/prioritized_arbiter_enc_6.tlsf
TLSF (new 2018)/shift_2.tlsf
TLSF (new 2018)/shift_4.tlsf
TLSF (new 2018)/shift_6.tlsf
TLSF (new 2018)/simple_arbiter_enc_2.tlsf
TLSF (new 2018)/simple_arbiter_enc_4.tlsf
TLSF (new 2018)/simple_arbiter_enc_6.tlsf
TLSF (new 2018)/slider_default.tlsf
TLSF (new 2018)/slider_delayed.tlsf
TLSF (new 2018)/slider_scored.tlsf
TLSF (new 2018)/tictactoe.tlsf
TLSF (new 2018)/torcs_accelerating.tlsf
TLSF (new 2018)/torcs_gearing.tlsf
TLSF (new 2018)/torcs_simple.tlsf
TLSF (new 2018)/torcs_steering_improved.tlsf
TLSF (new 2018)/torcs_steering_simple.tlsf
TLSF (new 2018)/torcs_steering_smart.tlsf
TLSF (new 2018)/zoo0.tlsf
TLSF (new 2018)/zoo10.tlsf
TLSF (new 2018)/zoo5.tlsf
Cost:
CPU Time
Walltime
Cost
No results.