Instances used in the experiment
The table below lists the instances that are used in the experiment. Click on the name of an instance in the first column
to get to a page with detailed information about the instance and the option to download the instance file.
Download all instances as tarball (172.2 kB)
Download table data as CSV
Download all instances as tarball (172.2 kB)
Download table data as CSV
| Name | MD5 | FractionOfBinaryClauses | FractionOfNegativeLiteralsPerClauseEntropy | FractionOfNegativeLiteralsPerClauseMax | FractionOfNegativeLiteralsPerClauseMean | FractionOfNegativeLiteralsPerClauseMin | FractionOfNegativeLiteralsPerClauseVariationCoefficient | FractionOfNegativeVariablesEntropy | FractionOfNegativeVariablesMax | FractionOfNegativeVariablesMean | FractionOfNegativeVariablesMin | FractionOfNegativeVariablesVariationCoefficient | FractionOfPositiveLiteralsPerClauseEntropy | FractionOfPositiveLiteralsPerClauseMax | FractionOfPositiveLiteralsPerClauseMean | FractionOfPositiveLiteralsPerClauseMin | FractionOfPositiveLiteralsPerClauseVariationCoefficient | FractionOfPositiveVariablesEntropy | FractionOfPositiveVariablesMax | FractionOfPositiveVariablesMean | FractionOfPositiveVariablesMin | FractionOfPositiveVariablesVariationCoefficient | FractionOfTernaryClauses | FractionOfUnaryClauses | ClausesToVariablesRatio | ClausesToVariablesRatioCubic | ClausesToVariablesRatioQuadratic | LinearizedClausesToVariablesRatio | LinearizedClausesToVariablesRatioQuadratic | LinearizedClaustesToVariablesRatioCubic | NumberOfClauses | NumberOfVariables | VariablesToClausesRatio | VariablesToClausesRatioCubic | VariablesToClausesRatioQuadratic | ClauseNodeDegreesEntropy | ClauseNodeDegreesMax | ClauseNodeDegreesMean | ClauseNodeDegreesMin | ClauseNodeDegreesVariationCoefficient | VariableNodeDegreesEntropy | VariableNodeDegreesMax | VariableNodeDegreesMean | VariableNodeDegreesMin | VariableNodeDegreesVariationCoefficient | DegreeEntropy | DegreeMax | DegreeMean | DegreeMin | DegreeVariationCoefficient | Results |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| SYNTCOMP 2017: TLSF/detector_unreal_3.tlsf | a05e0afbe2daafad26a6cc47aa001ee8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/detector_unreal_4.tlsf | 259ebc4b5d33454482a29c3fe3baff16 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/detector_unreal_6.tlsf | 3d1f245c422a4c67ac50cada4b641c3e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_3.tlsf | 583bed1dc63a71db83b12df3e98eda33 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/full_arbiter_unreal1_3_3.tlsf | a58009d54d9a7c2ae0be092b6d3284c6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/full_arbiter_unreal1_3_4.tlsf | 0a96be4fa4f8eed5a3739248713d60f0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/full_arbiter_unreal2_3.tlsf | 6889733252391efd1f00a714579321d3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/load_balancer_unreal1_2_4.tlsf | 02a8ea63a9259550067793269ed39506 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/load_balancer_unreal1_4_2.tlsf | 739af4e1ac703241ab0f3528131df56f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/load_balancer_unreal2_4.tlsf | 4cf88de470c40ef94b19ebab86c93128 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_2_3.tlsf | 762dd0899a2019e3a5eb824e245b950c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_2_4.tlsf | 8440ad8d18c8c26372019cb20f741dce | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_3_3.tlsf | 4df250e6816fa86db9afc3b16763f5c2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_3_4.tlsf | d476c361580743b29f628a11b3d360cc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal2_4.tlsf | b9f93594f22d838b64babffa86be07c8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal1_2_4.tlsf | 5489e518177de3ba817d6bce713fcd67 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal1_3_4.tlsf | 770464ad6cb78e68a828ea6dd29a844f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal2_3.tlsf | 322971defd51b88c4b2e5989b4d8b460 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal2_4.tlsf | e2e2538d099c852f9f16f7aa56b0a68a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/simple_arbiter_unreal2_3.tlsf | a43a008f2c8d60ba1fe0c4f55062bc7a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/simple_arbiter_unreal2_4.tlsf | cd0af5e96f48c8ef2c48900f95525a46 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_2.tlsf | a0c4b814cb9a27b01902ed8a8e09ff48 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_3.tlsf | 137d32caf9019685c350002328d07559 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_4.tlsf | 0b918177fdc960290c9b8b17858648b5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_decode.tlsf | 18883c7d146ac8eadb7908fd5f22a41a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_2.tlsf | d1dc586a4b5a7d732cbf625b9e54fb67 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_3.tlsf | b4a7573c510b215258173cc9cd7690ed | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_4.tlsf | c0fb22c0f137587e31804e528e93e0cd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_2.tlsf | 09d295386cb73e846cb070ddb8da3295 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_3.tlsf | 4d13af425d5084098d89c659477b2895 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_4.tlsf | ba9cc99f19405ef649de834808dff38b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_shift.tlsf | 8222dbab8d3bfdb5cdf11fb7c230cede | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_tburst4.tlsf | eb2df2dd78ced6bc51c98d1fe4801ea9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_tincr.tlsf | 3627064e9c299a5e069ff76d59d0c3f1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_tsingle.tlsf | 9c40b2bc08b4b63310496ef65d08fb71 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_5.tlsf | b2dc86b633ee3ef1ae5760c26ea0f06f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_6.tlsf | 7827276b08053f5fedf0a4505856b5e1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_5.tlsf | 0b48c80da4ef90e9d2319b05fd85cd81 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_6.tlsf | 4c62240cd5f05bbbe53a3bef276573c6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_7.tlsf | 124e22a71d60896cee46bc22b15f531f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_8.tlsf | e9572aa3c8e569f0dcd793b4e89a4f01 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_5.tlsf | 6cbbe5e8d85cabf293ba13d56a405900 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_6.tlsf | 0ba4c130470fd8af4811bd39ac974374 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/detector_unreal_12.tlsf | dc2556856274895ef278d7ae476fd6c2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_4.tlsf | 5685c680ce428f70743c4ec0efdd9dac | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/load_balancer_unreal1_4_4.tlsf | 4e1ae18229381f6b7151f29471d050d7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_2_6.tlsf | 590f7ac04a0dc9ba8ac782a0bdb21b70 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal1_3_6.tlsf | e4249cd8ae4ba270284737296fb6dacd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/prioritized_arbiter_unreal2_6.tlsf | abab1f385be7af21a36b2bba6529f1db | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal1_2_6.tlsf | dff512442697ac5eb4010dcddc7b1304 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal1_3_6.tlsf | eaf9b46546244d62b308c358e25995b5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal1_4_4.tlsf | 9b94e1c37afcfeecd472fb56027b34fc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/round_robin_arbiter_unreal2_6.tlsf | cb09403ca4ee455c8cf8a9449c0c727d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/simple_arbiter_unreal2_6.tlsf | d4eb91b86b46bf514405eeb5c23632d0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_7.tlsf | ea0ea0cfaeaa4bb46dbfa1f509a559f4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_arbiter_8.tlsf | d62d5a620077877f73fcce2b9a2cac93 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_7.tlsf | 8f4f8d316cd9071791c55e62865bc7bc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_8.tlsf | cee43be1df05a198f9ed638d2dc587b3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_10.tlsf | 4f96ea1d99bb0e6fdac52deb2c24baf0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_11.tlsf | 93ccf73840784feeb59101c022dec0f6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_12.tlsf | 62514831d0e35cfbb6edc19412ef9979 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_9.tlsf | b7884c86c72d6b4a2541f26af734cd11 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_10.tlsf | a09a05e9e7251467f6da26114cf10106 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_11.tlsf | 9323d2fd392f01acedb9fb6d8bbbfffb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_12.tlsf | 7ac41e0cb79dd79b4ba37e960eca85d1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_9.tlsf | 09b17e10e940ae1f6fc0509ba5cbfcb5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Detector/detector_unreal_2.tlsf | bce51c0595f3aa76fedadcafb6499016 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Detector/detector_unreal_5.tlsf | bda41edcf1bf0f897b3a2bef3a3347a7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Detector/detector_unreal_7.tlsf | fc15b8755c421897dc6250ddc7036ed3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Detector/detector_unreal_8.tlsf | eec524c290025ee3b6f89e7f4201004d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_1.tlsf | 4ae9ff467df851bdd4c8574f3711ae58 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_2.tlsf | 902685aaafb7e430768f8fe5bd2f33cf | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_5.tlsf | d77e68ff19f0ec44ac9ec6c28ad1b9d9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_6.tlsf | fa4de5dca22811c10eaa0d4dda47323c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_7.tlsf | 7f5d37d2cf6ccf0a10da63f334c7b795 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_8.tlsf | 809a77ad69dbb199ef7ca48871795822 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_3_1.tlsf | ada3c34bdaf768eb73fd80bf80f310c5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_3_2.tlsf | 37fe92ab20a2232026b307122c123fbf | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_1.tlsf | 5204d618e9d6e573a242ad8eb12988a8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_2.tlsf | 5a4245b9f253a7876e68257ab50300be | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_3.tlsf | da8b68f209fde26c1f2a76752f45cd88 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_5.tlsf | 43b3d1a2e1477e7b8cf2305ce5f6cd5d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_6.tlsf | 1a94c551272ba05d1f851ad7be51b40c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_1.tlsf | 30c683a89e4f6cb1040f972ecf5c7bc1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_2.tlsf | 23d4504995d9ee3b7425dbc29c2a02d8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_3.tlsf | e9774c29145be36f1dc7acc7be4c2887 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_4.tlsf | a2253bb51db8a25ee0983bb8d382c96b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_5.tlsf | f159b91e6e5aa323fe4ec054f8de2904 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_6.tlsf | c0c472c45b83de47afe630f1a24ca3b0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_4_1.tlsf | c71d5a81465bd7bc2c45cef3e50f4c7f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_4_3.tlsf | 95dfe91e2ce33116d2541c507c74dfb7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_1.tlsf | af3b35187f7b6f5d98ac1bc13e7cbfa2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_2.tlsf | b4668522e64c50ee8a8e649933b3988d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_5.tlsf | d2fcff300ddbb9961572a225f98e6893 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_7.tlsf | 9f21bb0c8a6177e5317f655b4682c2af | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_8.tlsf | aefa0a1e301036d45684332361729a90 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_3_1.tlsf | 46985255be8ffb00dad7ee194bd176b9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_3_2.tlsf | 031da10559ca90487d032547f5679b90 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_3_5.tlsf | 631770d8ab3551568adb0921a0c7e39f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal2_2.tlsf | e1aaf251215022e7a299db14cef1d896 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal2_2.tlsf | 39e6dd578cbf8a49b0edfc215dac6f16 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal2_3.tlsf | e764ff849a49693c3dc19d428ea126b8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal2_2.tlsf | b34ffb4c041532a4c7f132d54bf8ba2e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal2_3.tlsf | 6c0dfe025b964149f5ef3a7d134ddb93 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal2_5.tlsf | de933efe0cfb2283e218a04c6e2e46bb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_1.tlsf | 1aef3f1b6dc914ee1f20dd21761411eb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_2.tlsf | 6506345159ea9065aef052c0e1048512 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_3.tlsf | 1a175405308822c3c6b6352a50687bfc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_5.tlsf | 00b57e771b9f6b98d28f168ae6d92b4c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_7.tlsf | e5af4cdb12b61dfcc4d12c031219073a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_8.tlsf | 1439725cf7dcfdba740f6572fed0d1f3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_1.tlsf | 07a98976f42a7c414b782a688516e0bc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_2.tlsf | 2a1428b658e57ba9c3a348c726092055 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_3.tlsf | 9a26821f42745667cda5aa5544007eb3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_5.tlsf | 03db77192ff3d030cbcc9b1e8de0f382 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_4_1.tlsf | 1f71fe451d486db0654504e3b1f2599d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_4_2.tlsf | 935521184f8c97c719bea149235f42f6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_4_3.tlsf | f69a6b2d19c921a80d0b8f4743b1d494 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal2_2.tlsf | 8d96c51825ef6d8daca0d99f8f524ae7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal2_5.tlsf | 0b675bdd4783857581a55e13cfd3580c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_1.tlsf | 02a66b9c7c0ef6b7be55bc9f767d1712 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_2.tlsf | 3bb21c6a59748b3acaccf011634cdfcd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_3.tlsf | 2c2181da697c2295719d54d08e886d98 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_4.tlsf | 13d18794dd4f5952cae897c0b2c1ef46 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_5.tlsf | 3c0b7aaa6eed0ea12f36f61765481114 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_6.tlsf | 66f82f27e980d4f64e9910a51087dcb0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_7.tlsf | 2c93be3cee4854a19bc202602f1f15f4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_8.tlsf | ed9b0058dbba9ed26b9e2d5e494cc104 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_1.tlsf | 80c940cd752dfad5adf5ccb3321bff3e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_5.tlsf | 00ca4777510b9208b19eaf7b32fb9194 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_1.tlsf | b1cfc7d6cbb398841c7319b624594ae7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal2_2.tlsf | 0924f597a129390a7e2c0bbbb7db5917 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal2_5.tlsf | 12eb1e473e3f3b58ce6d44ed7409ce1b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_2.tlsf | 1fbdd15fe8fca45f78d245e02c925e73 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_3.tlsf | 86089f586d4210c89cfd2638333b4740 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_4.tlsf | 4d6a3c9d39ced0c56ecb63a6ef28706c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_3_6.tlsf | 1948541031b67bd826a9c015556a49c4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_2.tlsf | 0c4483a67a5bf45e6306513d34861e28 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_3.tlsf | 7c2f929bead7889d0e831252c4246784 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_4_4.tlsf | e2c28f91c7e381f0e2fef61a3af7e423 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Detector/detector_unreal_10.tlsf | b53efe03a3c10e088f4f79031bbba3b8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Detector/detector_unreal_11.tlsf | 04c3d67c22129cfd67c8def4f19b395f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Detector/detector_unreal_9.tlsf | a64b4226c2ff01a380d9948075aa0c97 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_13.tlsf | 472e99526b20239a357fe9a81e58ad28 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_14.tlsf | 79ec453c790d039630b0ba974934a858 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_15.tlsf | 19145f8bbccbd262f7f00402543f1433 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_encode_16.tlsf | 7191d3387ded99ee8e3da3e98e2bb3fd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_13.tlsf | aa8f8d9248195f59d1e28150f3e659a3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_14.tlsf | f4ec18805dbcb19b3de7dea7cf4650f4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_15.tlsf | 42900bddaa3eaa57c6a164397497a103 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/amba_decomposed_lock_16.tlsf | f7b47389a35a4110488e37d3701aba11 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_10.tlsf | c37d3b126c14e4324be70da2582dd9fd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_11.tlsf | 06f03c2db18f24fe0642ba3db50c104d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_12.tlsf | 2e58961f9424776d8154878b52dcae6b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Full Arbiter/full_arbiter_unreal1_2_9.tlsf | 9eb82849ffa457a6d8d85ce672356959 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_10.tlsf | e322763f7a05aed318e1e9f773528c72 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_11.tlsf | 7cd24f6338c6683813c753ee3259ecd2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_12.tlsf | 66e15d0dc4230facb8e4ff01fa9c093a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_7.tlsf | f63d823b9d3a6aba6e487c3d498cf3df | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_8.tlsf | f5d95f49b1a3cad3bd21762c9ba4527c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_2_9.tlsf | fe8676e9852d92f6b1b017cdcf9015f0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_10.tlsf | 73f068fc8878446119535c93f2077d3c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_11.tlsf | abfc10813ad797255999d0837997d68b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_12.tlsf | b48002a27f0ef4ff0bc71d7b3146e236 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_7.tlsf | f208a0369362d8dee69b5cdcb1399a6a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_8.tlsf | 4000883a1cd89bd0729532221b4090e1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Load Balancer/load_balancer_unreal1_3_9.tlsf | 60547a0ee555517dd7fef9cc97faf132 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_10.tlsf | 1c8775f14fe56d14de7b43606c22cd9a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_11.tlsf | fe4a9d7a6d802f1c1475cc7505d25771 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_12.tlsf | eab8f9d174d187fb4d57071f9b2ea18d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_9.tlsf | a364da1965a73c178ee2274065bba569 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_10.tlsf | ed1f979107b3fbff039be54a30068d13 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_11.tlsf | 54ae322c00a793af810f1572597f2237 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_12.tlsf | 6783c13c6c9b793161b73de2c5bf268c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_9.tlsf | 7cb87c066f31f9ac2926bea659e3896e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_7.tlsf | 9a267123281a0982db13a5dd18d6e899 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_3_8.tlsf | 6f6effce4e1e3a55f00c631c9b9c0656 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_10.tlsf | a4c74d5469d10a50ccd7a34f49b5cbb0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_11.tlsf | bd30d76ed0d94142e6c64a5accd03302 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_12.tlsf | 3e3755edb359fc3243a50750709bdb12 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_9.tlsf | ac705c69a7427456da3164ebead7faf6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_13.tlsf | e8c10abb696954d4f183a3f2c17f0a62 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_14.tlsf | 40ee8bc365599aa71faec6205f32dc3a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_15.tlsf | 09646ab5e020289524b8ed2b4036c48b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/full_arbiter_unreal1_2_16.tlsf | 1bb9b3d17d3b99f712629a745d915216 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_13.tlsf | 6861d4795866df26db859512ecedd6d0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_14.tlsf | 76e79dcfa7d392f6b7ab6cb2b3590ebd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_15.tlsf | fec1230957ba4b8d3112a7bbc4d40bbf | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Simple Arbiter/simple_arbiter_unreal1_2_16.tlsf | da4756cac466ffc9158337b5dcf0bd6a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_13.tlsf | 6c262a15b591329ca68722cde8ad5d4e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_14.tlsf | 2896ea6533c99cb476f69aaa7162ba78 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_15.tlsf | 362363b9373ddcaba7aa18cc0d6a747c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/Prio Arbiter/prioritized_arbiter_unreal1_2_16.tlsf | 171d64bec0a6a6ffc40a7da54e29ebf4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_13.tlsf | 4aa3d157b7050a72c5cc4ca9312b3501 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_14.tlsf | 765c22b531b92dfc6f0304a92bcc425e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_15.tlsf | 891d69e44e8a0bc8f13a2ffd78f0e027 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: TLSF/RR Arbiter/round_robin_arbiter_unreal1_2_16.tlsf | d1758ff9955d1feedd76680e3a001251 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |