Syntcomp 2017
Results
|
Monitor
»
Experiments
::
TLSF - Preliminary Experiments, Sequential
:: Results by Instance
Instance:
SYNTCOMP 2017: TLSF/Detector/detector_unreal_10.tlsf
SYNTCOMP 2017: TLSF/Detector/detector_unreal_11.tlsf
SYNTCOMP 2017: TLSF/Detector/detector_unreal_2.tlsf
SYNTCOMP 2017: TLSF/Detector/detector_unreal_5.tlsf
SYNTCOMP 2017: TLSF/Detector/detector_unreal_7.tlsf
SYNTCOMP 2017: TLSF/Detector/detector_unreal_8.tlsf
SYNTCOMP 2017: TLSF/Detector/detector_unreal_9.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_1.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_10.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_11.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_12.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_2.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_5.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_6.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_7.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_8.tlsf
SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_9.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_unreal2_2.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_1.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_10.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_11.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_12.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_2.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_3.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_5.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_6.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_7.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_8.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_9.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_1.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_10.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_11.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_12.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_2.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_3.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_4.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_5.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_6.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_7.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_8.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_9.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_4_1.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_4_3.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal2_2.tlsf
SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal2_3.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_1.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_10.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_11.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_12.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_13.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_14.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_15.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_16.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_2.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_5.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_7.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_8.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_9.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_3_1.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_3_2.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_3_5.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal2_2.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal2_3.tlsf
SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal2_5.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_1.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_10.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_11.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_12.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_13.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_14.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_15.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_16.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_2.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_3.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_5.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_7.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_8.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_9.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_1.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_2.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_3.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_5.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_7.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_8.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_4_1.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_4_2.tlsf
SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_4_3.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_2_1.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_10.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_11.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_12.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_13.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_14.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_15.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_16.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_2.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_3.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_4.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_5.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_6.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_7.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_8.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_9.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_1.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_2.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_3.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_4.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_5.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_6.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_1.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_2.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_3.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_4.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal2_2.tlsf
SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal2_5.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_2.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_3.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_4.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_5.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_6.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_7.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_8.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_decode.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_10.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_11.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_12.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_13.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_14.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_15.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_16.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_2.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_3.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_4.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_5.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_6.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_7.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_8.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_encode_9.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_10.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_11.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_12.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_13.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_14.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_15.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_16.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_2.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_3.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_4.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_5.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_6.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_7.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_8.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_lock_9.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_shift.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_tburst4.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_tincr.tlsf
SYNTCOMP 2017: TLSF/amba_decomposed_tsingle.tlsf
SYNTCOMP 2017: TLSF/detector_unreal_12.tlsf
SYNTCOMP 2017: TLSF/detector_unreal_3.tlsf
SYNTCOMP 2017: TLSF/detector_unreal_4.tlsf
SYNTCOMP 2017: TLSF/detector_unreal_6.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_13.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_14.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_15.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_16.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_3.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_4.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_3_3.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal1_3_4.tlsf
SYNTCOMP 2017: TLSF/full_arbiter_unreal2_3.tlsf
SYNTCOMP 2017: TLSF/load_balancer_unreal1_2_4.tlsf
SYNTCOMP 2017: TLSF/load_balancer_unreal1_4_2.tlsf
SYNTCOMP 2017: TLSF/load_balancer_unreal1_4_4.tlsf
SYNTCOMP 2017: TLSF/load_balancer_unreal2_4.tlsf
SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_2_3.tlsf
SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_2_4.tlsf
SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_2_6.tlsf
SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_3_3.tlsf
SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_3_4.tlsf
SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_3_6.tlsf
SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal2_4.tlsf
SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal2_6.tlsf
SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal1_2_4.tlsf
SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal1_2_6.tlsf
SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal1_3_4.tlsf
SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal1_3_6.tlsf
SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal1_4_4.tlsf
SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal2_3.tlsf
SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal2_4.tlsf
SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal2_6.tlsf
SYNTCOMP 2017: TLSF/simple_arbiter_unreal2_3.tlsf
SYNTCOMP 2017: TLSF/simple_arbiter_unreal2_4.tlsf
SYNTCOMP 2017: TLSF/simple_arbiter_unreal2_6.tlsf
Cost:
CPU Time
Walltime
Cost
No results.