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 (104.2 kB)
Download table data as CSV
Download all instances as tarball (104.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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba01.tlsf | c5321a00d797e3f4dff5ed45bf6a6203 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba02.tlsf | 75bdf11fe605b87e0f32722ddcb37c20 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba03.tlsf | 98e2ea859bb5ff4bd75533273cbc2028 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba04.tlsf | 791319b17c1de7b305c759d600e01fc3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba05.tlsf | 59435702fff4cef07507c66b3f2c47bb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba06.tlsf | 6719ea22226b5d1104066c6ed32e77fa | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba07.tlsf | 988723f55529f1036347ccbd6b3b3a85 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba08.tlsf | 1f3c23a866960de24575b0713be94a67 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba09.tlsf | 8fc2c42a2ff858b8e4b03a0da126fd8d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba10.tlsf | b3e2232452f4320ebb0b5d7e570cf3e2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba11.tlsf | bef817f9ec01419d1a0edfe5e33f98ba | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba12.tlsf | b4bd34372e5acfdfbc64cb3c154c6ab9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba13.tlsf | 78a7521c2d29b38948d2cc237d1b1b78 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba14.tlsf | 0b8431aa64fdcdc2369e6a7e9a142ec2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba15.tlsf | 1721b213ed2bbc68302d2c661e9fb40b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba16.tlsf | 45c7ffca8a73ef14b0223fad16875717 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba17.tlsf | 775284fa6a7adbb145d750c3f503ea35 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba18.tlsf | 5aa97c2419d84ab4d1ba5eac6f2662f8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba20.tlsf | 845e11f67887fdad5281174e02c0cbdf | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba21.tlsf | 174d5917a502618686997466f3c1c95c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba22.tlsf | ca2805a95d696ddb5c12cf57f2ee0b5b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba23.tlsf | 80b3de903a820dcec81c7f93dd53f720 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba24.tlsf | 9782ca067333638afa5ea4e693787bd8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba25.tlsf | 6fa310eb86c77932d4bbb55fa764b63b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba26.tlsf | 051c3ac979c36d0e96f6b9b22e28c44c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba27.tlsf | 97a07f31769f0d25c6a01f2c7bf358fe | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa01.tlsf | 91b64dae033b60353d02dc612bb649e2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa02.tlsf | c6efd37ba113d05cd7a4f1722a4fda4e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa03.tlsf | a8736251dd4a8c1ef485dc8a820c8813 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa04.tlsf | 0b1f42e5780b07d449a50955fcd445d2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa05.tlsf | e2a6695fc564f04223221310669eecb8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa06.tlsf | 14ddca585aa3b73385d8600fa0007e50 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa07.tlsf | c1be7aa3600cbe7357e36f97dc5224e8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa08.tlsf | 810db0af88ce56c8ae1c96ea2bf72720 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa09.tlsf | e9bdcfc924fe0e744253db618799ab40 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa10.tlsf | 92c7af00847ce57db006f281af8a0197 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa11.tlsf | fd0608afeb797520faf4bb4e6a5e6bdc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa12.tlsf | 9e1010cc3d8d13c2a0d219cd29cc8f69 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa13.tlsf | 1dfcf742e853f22ac657cf438e647736 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa14.tlsf | c20e8972ec5232604d02c0f78de99698 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa15.tlsf | 4e89bd2354f7c44fa7acbe9c45f84c0c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa16.tlsf | d849c520e07c1333ebd1d5a267f259f2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa17.tlsf | b1bf59f3371aa43635a2bc32ec50e0bb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa18.tlsf | 448589c6e71779e139dbad213522f0bf | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa20.tlsf | 0add80dc052b0c57a549868c2d266e4e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa21.tlsf | 39843a57aef442e81c7b182475599ee3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa22.tlsf | c37080453de71862284755fe502a482a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa23.tlsf | b24c0ce0578f676d8914073ef5664124 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa24.tlsf | c9545c21a88b76bb77e33017f9251227 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/genbuf2.tlsf | e5784f19305b886be9e2efd5e28ed0b6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/genbuf3.tlsf | 25e7ebe84e7242fb0a2c6235a9a05d13 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/genbuf4.tlsf | 8e21bcb5d4801d16a759c05336430a66 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/genbuf5.tlsf | eeb22d4e1a069e28cf13e5e7b6db3061 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/genbuf6.tlsf | cdfa3e786381c0e904958d5c2397dd4c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/genbuf7.tlsf | 34d0c06e4890dfd8cd9340e88ff15703 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/loadcomp2.tlsf | b248fbd66004ebe48953b36daadb9408 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/loadcomp3.tlsf | 5669490c8f09cf65eea94177b7672721 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/loadcomp4.tlsf | 9c91ba4b78f9a3dbd999ed0523a1fdf0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/loadcomp5.tlsf | cc2feb5cfb2cc32bfd15805767a1d481 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/loadfull2.tlsf | 906057db1a6487363f2873a8413e3b19 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/loadfull3.tlsf | 2a8f46bc3b1d2dfe56c96121a1676592 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/loadfull4.tlsf | dd1c4515489bd5c3af57e61fb29d5ccd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/loadfull5.tlsf | 2086e161f841070aa2877e32480d2c61 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_C2_1.tlsf | 732e35590a86e2e1936ad3e6e423fc94 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_E_1.tlsf | dda8ac42051b6828ca449e04f5344b51 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_Q_2.tlsf | dc44a4801b7a902605246bb8034d1568 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_R_1.tlsf | caa61468b30c6f2544f09cac81cbb73a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_U1_2.tlsf | c89b5400ebdea19eac81b7bf6ed67aa9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_beta_2.tlsf | def59ca6924a281821f01a7ecaaa060f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo03.tlsf | be01ffa683b3db3be05130786aeb1ec2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo05.tlsf | 7be02f82c47154911207bd624af63a3d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo06.tlsf | 5f14eb17d0ac8a299b55aef65681ca93 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo13.tlsf | 41ac503b43f243fa691c7c69dcd429b4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo18.tlsf | f08536e1bda2a1f044ed9d6d07ee3fb4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo20.tlsf | 403a244092976e8a215203001a16d72a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo21.tlsf | f82bf1a62fe704cf480c2589721720a3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo24.tlsf | a370c5ea643ad566af3f55c83b634fc6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/detector_1.tlsf | ce182f50c15d50aaacd40b005d29291e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/amba_case_study_2.tlsf | c01bd94ed2771f868e9d5e2edaf61e84 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/full_arbiter_2.tlsf | b3c456c3cda2498962d894ff4b150ceb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/generalized_buffer_2.tlsf | e80d8d7ad289daf279b09e40c9f6a1b3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/load_balancer_2.tlsf | 6ae29f2815dd6f6ba71278aba6e5e720 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/prioritized_arbiter_2.tlsf | 5b2e6b8661c258689d08a02bb49eefd4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/round_robin_arbiter_2.tlsf | 70c447ed05f64a59cad23903166ede62 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/simple_arbiter_2.tlsf | 07e564d242c0d8c0095904141115b4e0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dba19.tlsf | 3b8d08ccec8cb291eba186c4e5aedd00 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_theta_1.tlsf | 0dc34d62a1855012d9151b7e2574b81c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo01.tlsf | d5806009c1e29d31c7cc7a61c0448ec9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo02.tlsf | 64587f0b956ea4769828bceaf9decf49 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo04.tlsf | 0986a922cd1fa4be01658676ba23e48a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo07.tlsf | 3cab871aea3f9dfdbae568de77a940d8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo08.tlsf | d4c732f2e6dc0ec1726f6861b8f0173b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo09.tlsf | ac630c834e0f6d2853fa1de5e913fe32 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo10.tlsf | 52ad33ccf7107fe0201057d8c78e1fb4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo11.tlsf | 873b122fc8391456f44deabc6d192580 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo12.tlsf | 074adf3fcf65c54b501afe71a317e374 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo14.tlsf | 3b1aa3c9fe76f699d5a17df4e81d71a1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo15.tlsf | 34b02644a2c13f4235065358f1775672 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo16.tlsf | 2fbe6a2aa5e1e8f812f967eaaa30d337 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo17.tlsf | 144a264ab7975b18c1acea1326e0d9bb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo19.tlsf | eb194f8405c7b09bf33fd1b0e327cebe | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo22.tlsf | 642621beec07992a3c9a60d5150f55e9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Lily/lilydemo23.tlsf | 3fca2ec449bcc905307bbf53d22e0727 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/detector_10.tlsf | 76a4c8d2b8a7feae83a866f80450414b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/detector_2.tlsf | b75fdcfd34c7dffec1820d9134c647ec | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/detector_3.tlsf | ff46178dc1ac8f498f4d7fcade114640 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/detector_4.tlsf | 96e51c1ac9f40e8da73ca35c8c5e2c2d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/detector_5.tlsf | 1f7d484af16aba614062dd2d33b05d96 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/detector_6.tlsf | 1ed6ee97a42c79091058d13841bf53b3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/detector_7.tlsf | e0cc92d8b0ae2af198cdd8307243dcbd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/detector_8.tlsf | fcf795a134d4f31552c652672d33b67d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/detector_9.tlsf | d4753b61fd1f5725111dfecd93cc20fd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/full_arbiter_3.tlsf | 25fddd6292b97918c9ac3e2ad80cf422 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/full_arbiter_4.tlsf | dc5232fd24f37c4b28e30455e67b252f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/generalized_buffer_3.tlsf | 1436edda856bb42b7b36a11a28ef6d96 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/generalized_buffer_4.tlsf | 964fdbada844d93afdc8d84c35a88218 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/load_balancer_3.tlsf | 2b99c6db966e3cd52fd452f6d61751a5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/load_balancer_4.tlsf | 4a64dd52a06e8d53da463779ed1a75c2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/prioritized_arbiter_3.tlsf | 36fb2dfcd448e59425396870cdaee2ed | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/prioritized_arbiter_4.tlsf | af45a7a007c0f15e5e1ca9f630020b4c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/round_robin_arbiter_3.tlsf | 0691fbf25d1d65b753e253e9f6299ae0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/round_robin_arbiter_4.tlsf | cc76d1bdf392a97ed109d98b7e129904 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/simple_arbiter_3.tlsf | b2daa4a3dd8c9f18b582b39169b439d8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/simple_arbiter_4.tlsf | 644d20c94f53d29ca4e6bdba07a42b6e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/simple_arbiter_5.tlsf | 756ef900cca3952f6e5ab368837c60ba | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/simple_arbiter_6.tlsf | 8c5600b6bedd3ab652ccf2c43e6d1e62 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_Q_1.tlsf | 8ffc372880355cd603a5d5b0e9742da4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_U1_1.tlsf | 99942966bdc51b8319c1c969b848b637 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_beta_1.tlsf | bcf4285a715204f082ce071090a81065 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_C2_2.tlsf | f75f18fb76a8fda520dc3fc2c46f4b3a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_E_2.tlsf | e11a534f38aa185287d241265c96d8a6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_alpha_1.tlsf | 91eb1b1549fea81293ade186f8c693fa | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_alpha_2.tlsf | fd3b416554c748966d1fae73087888db | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Acaciaplus/ltl2dpa19.tlsf | ecd3fd55d8b5515c69bebf1252d414ee | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_C2_3.tlsf | 119f82a05cc2570351e89c1e987f6e14 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_C2_4.tlsf | e713001d9932197fa3568aeabd7a0044 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_C2_5.tlsf | f309bc3f824eeb07ba7a68175a1d159a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_C2_6.tlsf | bc6bafc25b76ecd68782481c4a463b5a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_E_3.tlsf | e134e42fb189b1ed376aad9da81fdce9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_E_4.tlsf | 71517eefb98c7f68dd7b7284ea161df0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_E_5.tlsf | 024b80b61389c5bc7472560a33ce5eee | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_E_6.tlsf | 5c2acf844087c9a3bdd3d104568145f8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_Q_3.tlsf | 9b158b325a94fde8054fcc00b666b31e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_Q_4.tlsf | 50a2bf72748155b9edeafd34f708303b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_Q_5.tlsf | 0a7208628f79a90f9fd8fb640c8ddae3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_R_2.tlsf | 047041c7689395f579baca71b9372f15 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_R_3.tlsf | 3057aa8578571483eb06edd60e64ed09 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_R_4.tlsf | 2daeef35bc80c04a12504575c329e01d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_R_5.tlsf | f00a7fcf77194eccb16708266f636ac4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_U1_3.tlsf | 03315d109e7473e1a0b5f2a588fe090b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_U1_4.tlsf | ab17fa6200a5316e29b87cc06acaacbe | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_U1_5.tlsf | 51c9186dd6c65a933c998534da0995d7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_U1_6.tlsf | 0a27080587432aeb7c4b745e38a6aa07 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_alpha_3.tlsf | c75a6af9b68a2c3e5b20e944ad0fff39 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_alpha_4.tlsf | 4e144258866d0f2864f3f85adecb8725 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_alpha_5.tlsf | 12bb88ae378140b5953414335b5b96da | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_alpha_6.tlsf | 1c8c64707b8939937874a9c51c223ab1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_beta_3.tlsf | 2087b2fb7a53b894a7ea35eebc0287af | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_theta_2.tlsf | c31cf1292e4c03ba425d4635b6716a55 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_theta_3.tlsf | 3be6b59b3d94727e8bcabcae80590572 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_theta_4.tlsf | be35abbf591bba1320d009699d75a818 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_theta_5.tlsf | ef15d9634be78662c091a562803544be | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/full_arbiter_5.tlsf | e1573f7578e8eb510ae35c2b86ff3c54 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/generalized_buffer_5.tlsf | fd29494fbdcb14e69e804e0601057c1d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/load_balancer_5.tlsf | 3164715601159791e976aa0dddc4ab0d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/prioritized_arbiter_5.tlsf | 4525b6bfd919733b1b6d38c6b89058bb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/round_robin_arbiter_5.tlsf | c362149b5fadbc525c1d0b2337c261e7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/simple_arbiter_7.tlsf | 176ce95afbdba97ea0142ce753ad553c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/simple_arbiter_8.tlsf | dde7088c9d49b294703cf35594b624ba | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/simple_arbiter_9.tlsf | afa5a00e4bbd6f4c56fd31870c6ecda6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/generalized_buffer_6.tlsf | e0b73ea4e86249508e930afc04e93a42 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/load_balancer_6.tlsf | 45563b5bf6100792ec026fc026904e35 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/load_balancer_7.tlsf | 10505d337102521ff32958e0461e2d8e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/load_balancer_8.tlsf | ae0e7e0e1f311e8ec5d7b0ff925f0d62 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/Parameterized/prioritized_arbiter_6.tlsf | 8a4bdd6cb088124b2111715d41b61b61 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_C2_7.tlsf | d7cf89526fae3e622bee397a289fd234 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_C2_8.tlsf | cd0dd4e8f4f081a7917ce49976afc8b9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_E_7.tlsf | b43713d1d39df17b065831051cd75c51 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_E_8.tlsf | 39818127bd22e2aeb5740745afbf3da5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_Q_6.tlsf | 3a948bbc6050e9328f3ec1c83c1d394f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_R_6.tlsf | 26fc0975b3b6c3fe489ed2e7dddc1972 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_U1_7.tlsf | cb76d8a11e6cb0ac1de3bbde019652c7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_U1_8.tlsf | 6845c45ed591c8424103cef96ae52005 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_alpha_7.tlsf | fe1a702c05739e09a52c5a3639a0abf5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_alpha_8.tlsf | a4c343f2cde9cf0f1d480ecc6aeca6b3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_beta_4.tlsf | f62d02c95d4bd4079df88f853225a53f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_beta_5.tlsf | a53496cf546b0b5ab0d23d369cbcc9e0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_beta_6.tlsf | 720760003f49371784cfa1490ae8834a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_theta_6.tlsf | 0014dc5485ab99ceb1e73ae2cad227af | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_Q_7.tlsf | 2f75001f6bdead0bb98b34c34bb07af0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_Q_8.tlsf | 3a3e3e62d7d7d410de56007b36a1a3d4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_R_7.tlsf | 8542144134ae14f673eceac4f087f52a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_R_8.tlsf | 4ce75a41485444298123bba03c032dcd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_theta_7.tlsf | b2a96e0e42e12304283c79866979a797 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |
| SYNTCOMP2016 - TLSF/LTLNfBA/ltl2dba_theta_8.tlsf | 7e641932406b710b1475260e2972e239 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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 |