Syntcomp 2017
Results
|
Monitor
»
Experiments
::
TLSF: Realizability, Parallel
:: Results by Instance
Instance:
SYNTCOMP 2016: TLSF/detector_10.tlsf
SYNTCOMP 2016: TLSF/detector_2.tlsf
SYNTCOMP 2016: TLSF/detector_4.tlsf
SYNTCOMP 2016: TLSF/detector_6.tlsf
SYNTCOMP 2016: TLSF/detector_8.tlsf
SYNTCOMP 2016: TLSF/full_arbiter_2.tlsf
SYNTCOMP 2016: TLSF/full_arbiter_3.tlsf
SYNTCOMP 2016: TLSF/full_arbiter_4.tlsf
SYNTCOMP 2016: TLSF/full_arbiter_5.tlsf
SYNTCOMP 2016: TLSF/full_arbiter_6.tlsf
SYNTCOMP 2016: TLSF/genbuf2.tlsf
SYNTCOMP 2016: TLSF/genbuf3.tlsf
SYNTCOMP 2016: TLSF/genbuf4.tlsf
SYNTCOMP 2016: TLSF/genbuf5.tlsf
SYNTCOMP 2016: TLSF/genbuf6.tlsf
SYNTCOMP 2016: TLSF/generalized_buffer_2.tlsf
SYNTCOMP 2016: TLSF/generalized_buffer_3.tlsf
SYNTCOMP 2016: TLSF/generalized_buffer_4.tlsf
SYNTCOMP 2016: TLSF/generalized_buffer_5.tlsf
SYNTCOMP 2016: TLSF/generalized_buffer_6.tlsf
SYNTCOMP 2016: TLSF/lilydemo01.tlsf
SYNTCOMP 2016: TLSF/lilydemo02.tlsf
SYNTCOMP 2016: TLSF/lilydemo03.tlsf
SYNTCOMP 2016: TLSF/lilydemo04.tlsf
SYNTCOMP 2016: TLSF/lilydemo05.tlsf
SYNTCOMP 2016: TLSF/lilydemo06.tlsf
SYNTCOMP 2016: TLSF/lilydemo07.tlsf
SYNTCOMP 2016: TLSF/lilydemo08.tlsf
SYNTCOMP 2016: TLSF/lilydemo09.tlsf
SYNTCOMP 2016: TLSF/lilydemo10.tlsf
SYNTCOMP 2016: TLSF/lilydemo11.tlsf
SYNTCOMP 2016: TLSF/lilydemo12.tlsf
SYNTCOMP 2016: TLSF/lilydemo13.tlsf
SYNTCOMP 2016: TLSF/lilydemo14.tlsf
SYNTCOMP 2016: TLSF/lilydemo15.tlsf
SYNTCOMP 2016: TLSF/lilydemo16.tlsf
SYNTCOMP 2016: TLSF/lilydemo17.tlsf
SYNTCOMP 2016: TLSF/lilydemo18.tlsf
SYNTCOMP 2016: TLSF/lilydemo19.tlsf
SYNTCOMP 2016: TLSF/lilydemo20.tlsf
SYNTCOMP 2016: TLSF/lilydemo21.tlsf
SYNTCOMP 2016: TLSF/lilydemo22.tlsf
SYNTCOMP 2016: TLSF/lilydemo23.tlsf
SYNTCOMP 2016: TLSF/lilydemo24.tlsf
SYNTCOMP 2016: TLSF/load_balancer_10.tlsf
SYNTCOMP 2016: TLSF/load_balancer_2.tlsf
SYNTCOMP 2016: TLSF/load_balancer_4.tlsf
SYNTCOMP 2016: TLSF/load_balancer_6.tlsf
SYNTCOMP 2016: TLSF/load_balancer_8.tlsf
SYNTCOMP 2016: TLSF/loadcomp2.tlsf
SYNTCOMP 2016: TLSF/loadcomp3.tlsf
SYNTCOMP 2016: TLSF/loadcomp4.tlsf
SYNTCOMP 2016: TLSF/loadcomp5.tlsf
SYNTCOMP 2016: TLSF/loadfull2.tlsf
SYNTCOMP 2016: TLSF/loadfull3.tlsf
SYNTCOMP 2016: TLSF/loadfull4.tlsf
SYNTCOMP 2016: TLSF/loadfull5.tlsf
SYNTCOMP 2016: TLSF/ltl2dba01.tlsf
SYNTCOMP 2016: TLSF/ltl2dba02.tlsf
SYNTCOMP 2016: TLSF/ltl2dba03.tlsf
SYNTCOMP 2016: TLSF/ltl2dba04.tlsf
SYNTCOMP 2016: TLSF/ltl2dba05.tlsf
SYNTCOMP 2016: TLSF/ltl2dba06.tlsf
SYNTCOMP 2016: TLSF/ltl2dba07.tlsf
SYNTCOMP 2016: TLSF/ltl2dba08.tlsf
SYNTCOMP 2016: TLSF/ltl2dba09.tlsf
SYNTCOMP 2016: TLSF/ltl2dba10.tlsf
SYNTCOMP 2016: TLSF/ltl2dba11.tlsf
SYNTCOMP 2016: TLSF/ltl2dba12.tlsf
SYNTCOMP 2016: TLSF/ltl2dba13.tlsf
SYNTCOMP 2016: TLSF/ltl2dba14.tlsf
SYNTCOMP 2016: TLSF/ltl2dba15.tlsf
SYNTCOMP 2016: TLSF/ltl2dba16.tlsf
SYNTCOMP 2016: TLSF/ltl2dba17.tlsf
SYNTCOMP 2016: TLSF/ltl2dba18.tlsf
SYNTCOMP 2016: TLSF/ltl2dba19.tlsf
SYNTCOMP 2016: TLSF/ltl2dba20.tlsf
SYNTCOMP 2016: TLSF/ltl2dba21.tlsf
SYNTCOMP 2016: TLSF/ltl2dba22.tlsf
SYNTCOMP 2016: TLSF/ltl2dba23.tlsf
SYNTCOMP 2016: TLSF/ltl2dba24.tlsf
SYNTCOMP 2016: TLSF/ltl2dba25.tlsf
SYNTCOMP 2016: TLSF/ltl2dba26.tlsf
SYNTCOMP 2016: TLSF/ltl2dba27.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_C2_10.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_C2_12.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_C2_2.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_C2_4.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_C2_6.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_C2_8.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_E_10.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_E_2.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_E_4.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_E_6.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_E_8.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_Q_2.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_Q_4.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_Q_6.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_Q_8.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_R_10.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_R_12.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_R_2.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_R_4.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_R_6.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_R_8.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_U1_2.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_U1_4.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_U1_6.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_U1_8.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_alpha_10.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_alpha_12.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_alpha_2.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_alpha_4.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_alpha_6.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_alpha_8.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_beta_2.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_beta_3.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_beta_4.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_beta_5.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_beta_6.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_beta_7.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_theta_10.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_theta_12.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_theta_2.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_theta_4.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_theta_6.tlsf
SYNTCOMP 2016: TLSF/ltl2dba_theta_8.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa01.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa02.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa03.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa04.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa05.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa06.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa07.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa08.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa09.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa10.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa11.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa12.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa13.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa14.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa15.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa16.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa17.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa18.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa19.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa20.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa21.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa22.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa23.tlsf
SYNTCOMP 2016: TLSF/ltl2dpa24.tlsf
SYNTCOMP 2016: TLSF/prioritized_arbiter_2.tlsf
SYNTCOMP 2016: TLSF/prioritized_arbiter_3.tlsf
SYNTCOMP 2016: TLSF/prioritized_arbiter_4.tlsf
SYNTCOMP 2016: TLSF/prioritized_arbiter_5.tlsf
SYNTCOMP 2016: TLSF/prioritized_arbiter_6.tlsf
SYNTCOMP 2016: TLSF/round_robin_arbiter_2.tlsf
SYNTCOMP 2016: TLSF/round_robin_arbiter_3.tlsf
SYNTCOMP 2016: TLSF/round_robin_arbiter_4.tlsf
SYNTCOMP 2016: TLSF/round_robin_arbiter_5.tlsf
SYNTCOMP 2016: TLSF/selected 2017/detector_12.tlsf
SYNTCOMP 2016: TLSF/selected 2017/full_arbiter_7.tlsf
SYNTCOMP 2016: TLSF/selected 2017/ltl2dba_U1_10.tlsf
SYNTCOMP 2016: TLSF/selected 2017/prioritized_arbiter_7.tlsf
SYNTCOMP 2016: TLSF/selected 2017/round_robin_arbiter_6.tlsf
SYNTCOMP 2016: TLSF/selected 2017/round_robin_arbiter_7.tlsf
SYNTCOMP 2016: TLSF/selected 2017/simple_arbiter_10.tlsf
SYNTCOMP 2016: TLSF/selected 2017/simple_arbiter_12.tlsf
SYNTCOMP 2016: TLSF/simple_arbiter_2.tlsf
SYNTCOMP 2016: TLSF/simple_arbiter_4.tlsf
SYNTCOMP 2016: TLSF/simple_arbiter_6.tlsf
SYNTCOMP 2016: TLSF/simple_arbiter_8.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_arbiter_2.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_arbiter_3.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_arbiter_4.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_arbiter_5.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_decode.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_10.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_12.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_2.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_4.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_6.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_encode_8.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_lock_10.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_lock_2.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_lock_4.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_lock_6.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_lock_8.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_shift.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_tburst4.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_tincr.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Amba Decomposed/amba_decomposed_tsingle.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Detector/detector_unreal_10.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Detector/detector_unreal_2.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Detector/detector_unreal_4.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Detector/detector_unreal_6.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Detector/detector_unreal_8.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Full Arbiter/full_arbiter_unreal1_2_12.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Full Arbiter/full_arbiter_unreal1_2_18.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Full Arbiter/full_arbiter_unreal1_2_3.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Full Arbiter/full_arbiter_unreal1_2_6.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Full Arbiter/full_arbiter_unreal1_2_9.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_10.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_12.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_2.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_4.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_6.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_2_8.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_4_1.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Load Balancer/load_balancer_unreal1_4_2.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Prio Arbiter/prioritized_arbiter_unreal2_2.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Prio Arbiter/prioritized_arbiter_unreal2_3.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Prio Arbiter/prioritized_arbiter_unreal2_4.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/RR Arbiter/round_robin_arbiter_unreal2_3.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/RR Arbiter/round_robin_arbiter_unreal2_4.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal1_4_1.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal1_4_2.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal1_4_3.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal2_2.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal2_3.ref.tlsf
SYNTCOMP 2017: TLSF with Reference Size/Simple Arbiter/simple_arbiter_unreal2_4.ref.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_3_1.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_3_2.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_3_5.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_4_3.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_4_5.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal2_5.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal2_2.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal2_5.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_4.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_5.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_6.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal2_5.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_6.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_7.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_12.tlsf
SYNTCOMP 2017: TLSF/detector_unreal_12.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_15.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_3_3.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_3_4.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_3_6.tlsf
SYNTCOMP 2017: TLSF/load_balancer_unreal1_4_4.tlsf
SYNTCOMP 2017: TLSF/load_balancer_unreal1_4_6.tlsf
SYNTCOMP 2017: TLSF/simple_arbiter_unreal2_6.tlsf
Cost:
CPU Time
Walltime
Cost
No results.