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 (8.7 MB)
Download table data as CSV
Download all instances as tarball (8.7 MB)
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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| SYNTCOMP2015 Synthesis/amba14c5y.ref.aag | 9a7d2ba30ca9ba8c7a81028e69c955d7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba14b4unrealn.ref.aag | fc3ee2b8c672ff3d53154e77e7c2c499 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba12f44unrealy.ref.aag | 16d710f938c485e98c8d04eaf4e476a4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba12b50y.ref.aag | 801243f53a704356e2ab03f45fa9744a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba16c6unrealy.ref.aag | 75f4928ba7405286bbbad4fe94fb9bb0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba16b50n.ref.aag | 6ab657e72146ceef69dc1baabb6361c3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba14f120n.ref.aag | d9c88524ca845a056e2c58f54ebd2fda | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/add64y.ref.aag | 56749bb725e75647e20c90d07a808c43 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/add256y.ref.aag | 8dd3889dee637683d6b02d1ae22d44a8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/add256n.ref.aag | e34a74263ed55089e1fef7d8d6498b34 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/add20n.ref.aag | 326a346143256d06b4f8231b697cd012 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba10c50n.ref.aag | ebf1c438a8d1d2d0c857e41a7689b8bd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba10b4unrealy.ref.aag | b394402a2735ce570e8edc5bc5be29b7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/add96n.ref.aag | 526778ebe4a8f64b6586b21c9a3d16ba | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/add8y.ref.aag | 4d252f03758f79a11fee484ccf5d9906 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba7match5.ref.aag | e76e0ed72ca8f24ddb78486a5e771ec6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba7b24y.ref.aag | 9f39dd622a66cdffb0c0a11bb61897ce | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba7c4unrealn.ref.aag | 71b04bbfbcf603cf281fbe5320901fe3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/bakery_nondet_sym.ref.aag | 47927abd0175bf0dd28a245a4daff680 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/bakery_sym1.ref.aag | 031025e0d80eb28ede7fd442523a238f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba9match5.ref.aag | 7650085284497a1e0d89d217663b78c6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/atom_bakery_sym.ref.aag | aae8fbb62d0c3466e641580b57e653d6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba2match3.ref.aag | 15658cf62e5d99713f5325b58438e55f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba4b9y.ref.aag | c85a4dcf65a7e77079c17e937edf3437 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba5match5.ref.aag | 2968fffc6b67a775f999521893745d3a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba6match5.ref.aag | 26a09a8567690678bbd413b11cc7b24f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba4match5.ref.aag | 5d29107fe49efaa15a2b6d68ea39d53f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/amba5c50n.ref.aag | 21ff8d552fec0d2fc08de1ef114a6d48 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/6s335rb09_c0to15.ref.aag | 07501158f20de996952b9303b71a6325 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/6s335rb09_c0to31.ref.aag | d4829b28eb6355f2ce753685fe851b55 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/6s388b09_c0to15.ref.aag | 185e765d65c4a671e2dbd9c0fac574e9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/6s389b02_c0to15.ref.aag | 726617d94996ff5926bade75cd0c84e5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/add192n.ref.aag | 976c705676313eb3125b465942802529 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/add192y.ref.aag | c40ac41b8fa1ea6b445f1be0b6972189 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/6s210b037_c0to31.ref.aag | 761f616b9432ffc71e7d9aff80ffabe4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/6s216rb0_c0to31.ref.aag | cb5283d92be2b9eeb098d4b60661a323 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/6s289rb05233_c0to511.ref.aag | 1f3797c1a016dd70ba8313dedc42f0ef | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/6s289rb05233_c0to7.ref.aag | 5b647b459b5b49f0b7806359ed7fd437 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_a8n.ref.aag | d53688623b30fa627ffd87612a182cfb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_a7n.ref.aag | 3b4069eb31e45d205f17c05edc9855a5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_b4y.ref.aag | c7e1d1dd4788ce158619b8cf3f0c3439 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_b10y.ref.aag | a01936655fa0235e78e0ae9dc49dc026 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v8_5_REAL.ref.aag | 16ef9b6db7c75269b7d411502ee9135f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v7_5_REAL.ref.aag | bb1ba13d77204370f8462f293a6a7f1e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_a4n.ref.aag | b2d704c3fe9e772e448c17bbed8696eb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_a10n.ref.aag | 1e7804d6d6ef5692c23ec6c9bd59ef8a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_c8n.ref.aag | b80393b5d7022be87a1438c3394b42c7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_c7n.ref.aag | 3cff0bba588b3efb6ab8c147d20ea24f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_d4y.ref.aag | 60308b44510fe7bb1238f35da3e9cf11 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_d10y.ref.aag | 51c52dbc12208dcba43bd2f2b3208f73 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_b8y.ref.aag | 90fd0bd8eadc9296df70e108ce56e058 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_b7y.ref.aag | f9ad0458e4c86872b8ccb8d6a0a7b81f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_c4n.ref.aag | e80a1e45ffcb427915851ad49e486c6d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_c10n.ref.aag | 103b4654d460740bf9fcecebbe3f7821 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v13_2_REAL.ref.aag | fe9bb2167aef99968dc042b83aca466a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v15_2_REAL.ref.aag | 8b3260c6ed531db3f9c79bcf7ea15f64 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v18_2_UNREAL.ref.aag | c2aaee2abb3e3f097be8fa1a67c3f7c2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v18_5_REAL.ref.aag | a7497f3ab6a1cae3cb12379535fa0a72 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_6_8_3.ref.aag | f00ef0171e42b203c796c99296798f7f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_8_7_2.ref.aag | acc7810e2816d24b3c2f3e580da55ebe | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v10_5_REAL.ref.aag | 20390ba3e4fc313b50af79fd76f45416 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v11_5_UNREAL.ref.aag | 6af8ec9b9cbf212b4b9d32a0d1127ac5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v25_2_UNREAL.ref.aag | 57f4f41805edeb0bad14ad0c68b0f024 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v25_5_UNREAL.ref.aag | 1e3fc0ae07e15493c92a7d40439ddd47 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v3_5_REAL.ref.aag | 743aeffdf5bf31c8f44149a7c5f8b9ab | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v6_2_UNREAL.ref.aag | 27d9eeb2f1eb1d0cdee8ae15237758df | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v1_2_UNREAL.ref.aag | 48e9ba76074125300c42213fd2d09749 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v20_2_REAL.ref.aag | 629b9cf79445f7cc2c0c9ce99a8d558c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v22_5_REAL.ref.aag | 17e4c2ee5ee81bdf1f1b04d5737fd722 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/demo-v24_2_REAL.ref.aag | 235b86eaee0c220398749384351f0a22 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_16_7_1.ref.aag | 13b850a3e1fb1881cf7367df1d7f0508 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_12_6_3.ref.aag | 3eade18166c2ad9473ef523700c18d03 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_12_4_4.ref.aag | 68bad5107946f8bab05ae3acaba7b716 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_12_3_2.ref.aag | 8c90758ce36ac476b9655f90c1b1ad92 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cnt30y.ref.aag | 5133c15510b36fbb44750e53194e2071 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cnt30n.ref.aag | 19cd2f9fa9969feffb34c5fb2c198257 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cnt25y.ref.aag | 4db141e559b48c8820e0d5917f9914a5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_6_7_2.ref.aag | c162d4a1f83eca820a6d13bfa803fc21 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_6_5_3.ref.aag | d90aa847bfc859b205a90a89d1119fca | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_6_3_2.ref.aag | f0091c89518117aa204f123ddf089e14 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_6_2_1.ref.aag | 41e3595748e27dd6bb441462dad45e7d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_4_6_1.ref.aag | 1d834a16481e3e1429c0ba044c35be64 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_4_2_1.ref.aag | 2c6aa38374033d7c9fd39ad0201bdd8d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_2_10_1.ref.aag | 353fb25e42016c421250b74bd1b6558e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cycle_sched_20_2_4.ref.aag | 2229185387a46800a8702de3403b263b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/bs16y.ref.aag | ecbd049fe4318c81a78dc456981e3b2b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/bs2048n.ref.aag | 12cd14e7034b054a830a0cda456344e2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/bs1024y.ref.aag | b0a3e25863215d3f8015edbdf8a14412 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/bs128y.ref.aag | 401c3f32a20d1a8cc3f11c0defd431da | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/bob12s04_c0to7.ref.aag | 74d771d04d577bb9187007270bf33af2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/bs1024n.ref.aag | 11a8aee9861c2251d5cb062c2fe6b521 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/beemldelec4b1_c0to511.ref.aag | 58768fef43acab22449cb3ff7bcc5eb5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/beemskbn1f1_c0to7.ref.aag | d3ab28421585c819f9998a74aa2f0401 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cnt20y.ref.aag | 7ac1bc14a9e21a31b7d28b59a4f5a067 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cnt25n.ref.aag | 4dace9ffa3767c02fd0b69827830547d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cnt15y.ref.aag | 6e6d72e28abbf946f9c512a7187d6666 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cnt20n.ref.aag | 4b5f9d7d89242c82ed6491e31069a48a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/bs512n.ref.aag | efcc60e6ca6c5df14eb53cce72110d49 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/cnt10n.ref.aag | fbc29cb71d9d2cf272bc1ab1e62f292e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/bs2048y.ref.aag | 18b57b3a68380b941d03764ebd5f9873 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/bs32n.ref.aag | d493ff3a22a8c3689f0376a426e247d4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/interface-with-overflows-k9-liveness.ref.aag | 1821a5addf3973689e1b7ebb05832c2c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/interface-with-overflows-k8-liveness.ref.aag | 2f93741d3e3d5783645a61fadc339169 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_3c_comp_comp7_REAL.ref.aag | b07eb20d1af0164fdd9d24de5f0d0a8d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_3c_comp_comp1_REAL.ref.aag | 0b432aeb0d203e9153ea3cf13cf6f27b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_4c_comp_comp3_REAL.ref.aag | 47a2446ca1840e381be608def6a30499 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_4c_comp_comp1_UNREAL.ref.aag | 5b7aa6f79a2e3154b34c3b5f529729fd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_4c_comp_comp7_REAL.ref.aag | e4a9f6c58a1404004efcf9efa6ee15c5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_4c_comp_comp5_REAL.ref.aag | 95d671df59dafa81e067a8c70b643a27 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_5c_comp_comp3_UNREAL.ref.aag | da34053040778f9fe48769beb778574b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_5c_comp_comp2_UNREAL.ref.aag | a85bfe99c6c791fcd18ac2073135893c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_full_2_comp1_UNREAL.ref.aag | e09d5eb2a8f434d9f305d0ebca0328a2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_5c_comp_comp4_REAL.ref.aag | d110deaf37c7a2849bdb4ae28dc51516 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_full_2_comp4_REAL.ref.aag | 22d75f8b00a44765981d516eade164ee | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_full_2_comp3_REAL.ref.aag | e82c0525c0c0a846458f936544923ec9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_full_3_comp2_REAL.ref.aag | 98c628d88de096bda583ca1b851e5d86 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_full_3_comp1_UNREAL.ref.aag | f66ea3334f87e4e338e2cd7bb466c73a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf32c40n.ref.aag | cbb0ae71a54f3631ea4f6ec8f2962fd8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf48b3unrealy.ref.aag | 670bdbb7af3195733416cafad3a0a8b7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf48f100n.ref.aag | 4332d613d74738a1ddd6c2ef692d688e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf56b40n.ref.aag | f73bae7e7eff47f9b2df00390720190f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf64b40y.ref.aag | 598145f301d458b4997776bb1f63206b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf64c2unrealy.ref.aag | 2b00908da229c15deee0b61f02ad4041 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf64c3n.ref.aag | 6ae44e6d8b4b125e38e0359721b100a6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf64f120y.ref.aag | daa768f00fe3819c781e62df022a3845 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf64f63unrealy.ref.aag | 2019dc0bcf8e554f01ddc76d975a5cf0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/good_bakery.false.ref.aag | 52a6dd71f7e50989e2dbc81a76afba77 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/good_bakery.wuntil.ref.aag | f8464e2c057681d2f162f8b7fb124c21 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/halfadder_match.ref.aag | 7fa00a16bf234228bb45e6bd2a9545d6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/halfadder_shiftedmatch.ref.aag | 578ed3b8952e6f0469fc9146bd97c158 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/interface-with-overflows-k10-liveness.ref.aag | 87b2c25ae34016dfb61a3d1c3c260bcc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/interface-with-overflows-k16-liveness.ref.aag | 7b4824ee06c66f9810b203cabb54d21c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/interface-with-overflows-k5-liveness.ref.aag | b0aa5d8cbb10016a62bf8631a91150b0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/gb_s2_r2_comp3_REAL.ref.aag | 8afa9316ad259476fcd71607abec50b2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/gb_s2_r2_comp2_UNREAL.ref.aag | 8fbd1270196fe82759cf6e1cd907d041 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/gb_s2_r2_comp1_UNREAL.ref.aag | 8dfefe5f42e53553afa41de318e5b454 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_7x5_2_11errors.ref.aag | 8aff61fbcf60a5ff086ec17605f8b84e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/gb_s2_r3_comp2_UNREAL.ref.aag | fb8ce33b32359d0d148b1056906dafdb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/gb_s2_r3_comp1_UNREAL.ref.aag | e3e9e3034778dba4a69a5fb005c230ab | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/gb_s2_r2_comp4_REAL.ref.aag | fa5ef7f3f5405bff966dbd885bee05d1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf12f50n.ref.aag | bc96b966eba5fd48cf412ffb37cfb920 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf12b3unrealn.ref.aag | 9b83628d8e4ac92e596c0a3864410466 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf10f10y.ref.aag | e7ccb17fae8f397c82c4bb3d40c5a621 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf32c2unrealy.ref.aag | 1dda54a3e31c570201b948d40b26d41b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf24f23unrealn.ref.aag | eedbba0dbc340a78b5150b7198b932cc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf16f50y.ref.aag | bda53a30e3a0ec564f911710e26633c5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/genbuf16c3n.ref.aag | 503fc6aaf8b814a69ae9e92e4ed5b91c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_3x3_1_1errors.ref.aag | e495b228116d456edab68c3dc8ceec7a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_4x3_1_1errors.ref.aag | 8d20e054895c5e1c2a404592417684ee | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_d7y.ref.aag | 23edf0d32e12f477054438d176eb0518 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/driver_d8y.ref.aag | 57cf984e41bcbbb6888071c53cb156d2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_5x3_1_5errors.ref.aag | ae26ece60225eefbfa9e1920c4fdafab | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_5x4_1_0errors.ref.aag | 945d94a51c8e85fb57d6783284ad2f45 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_5x3_1_0errors.ref.aag | 5f7aefddafcd4a6d81f0903006a0cef5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_5x3_1_4errors.ref.aag | eb54c1a66fa4897d8aacf63696dd4b6e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_5x5_2_11errors.ref.aag | 11481071c9f20c0c75869994113b8a3c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_5x5_2_1errors.ref.aag | 844ae2429c35ce7b107ca83b80db8beb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_5x5_2_0errors.ref.aag | 50b32381cb21586f82cfd5adc0789589 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_5x5_2_10errors.ref.aag | 0c985b8f4e9aa817b93a59fa9e67f998 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_7x5_2_0errors.ref.aag | c1b695284cdc033feb19440595d19737 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_7x5_2_10errors.ref.aag | 5df9289a207a5ed9d6c056e97805879f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_5x6_2_0errors.ref.aag | ed704e767555176621b7a966b335d347 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/factory_assembly_7x3_1_0errors.ref.aag | ff11229aa62d6a0e086c6174ee37dd9e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mv20n.ref.aag | 297ffbd1aeb70c2a6daf9ebe10d5996b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mv20y.ref.aag | 61561793be16fd062ac4787780e0f140 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mvs24n.ref.aag | d96d603f099bad8b12c82855debd43f7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mvs24y.ref.aag | 0817a61a0d04c7fe89b9b577209d6115 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_dyn_5_5.ref.aag | 765973086bd9f5785046e9289291f599 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_dyn_6_6.ref.aag | 26857e2f0bc13e21d387957b29f7a528 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mv12y.ref.aag | 56e82f99472fd891fc61726921ff3bd7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mv16n.ref.aag | 9b5f2d91d35a6794f5bf3e9d23c7c220 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_5_5_4.ref.aag | 2225b530322d72ccf7cad13cc7bc34c2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_6_6_6.ref.aag | 7ba95c52945bc218551ce96e761b5741 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_dyn_3_3.ref.aag | b0febb8cb527d7ba9ba59ef8de3787fb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_dyn_4_4.ref.aag | 1afdd25f17ce54e7f660bae684eea583 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_4_4_3.ref.aag | 3594e4cfdd8b8f014d585c931437f452 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_4_4_5.ref.aag | 5b62f10746385b4eb8bf760ac5620171 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_5_3_5.ref.aag | 8cacb2853251b2f1c97576e01e981bd0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_5_4_4.ref.aag | fbc4ab089c97b109c891b260fe67c142 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_4_2_4.ref.aag | e78f13d10b6c9d95bf74d2c6245fb3c2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_3_5_5.ref.aag | 6e976992580846bfcee0a224a1a36c56 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_4_3_3.ref.aag | 12939ae2be93978ee7703838e3901099 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_4_2_5.ref.aag | 995ee04e6454d3e106c842aa2e1fc5c8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult9.ref.aag | 5c84ebdd19da890e6e44c69e756d3361 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult8.ref.aag | 256e9dd96d843e6b38a9df2b752d5704 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_3_4_5.ref.aag | 38fc66ecf5e00a64a237dfe9086679c8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult_bool_matrix_3_3_2.ref.aag | fb7aebed28e1101916f5606d5ee040bb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult14.ref.aag | 42982eadf120bf5e68fc64feb4d74c91 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult12.ref.aag | dd64e8c81ba1bd89b00caa4cd1b00a79 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult6.ref.aag | b303115bd51a7913ab5fedf156c9bba3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult16.ref.aag | 3de6d6ffd95fc5c89edd2bca1841a6df | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_96x96_44glitches.ref.aag | 2641364d04ae652890a0aac7490f0fa7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_96x96_43glitches.ref.aag | c80e597b4d842968a8aa471a4666390b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult11.ref.aag | ebc1c895cb15dbaa1950e3f6588fa7f3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mult10.ref.aag | 281d7026fee2527c6a90d2ce652e3e8b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_8x8_0glitches.ref.aag | 10f31dff4c9a7f83e852a79eac6474ed | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_8x8_1glitches.ref.aag | f2d9f584ea5275bbd745fda6de7f5038 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_64x64_27glitches.ref.aag | 6bdbbfcfda1161a70b9a05fe396811b3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_64x64_28glitches.ref.aag | 30de6da1c7f50a80fe3393070ffd80c5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_48x48_19glitches.ref.aag | f09193e47b53ebe3bc011e6074d4c093 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_48x48_20glitches.ref.aag | 6b3702919aa2e29abff759d33f5dfe93 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_32x32_11glitches.ref.aag | ecc923aef4ffff55c490007983930ce3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_32x32_12glitches.ref.aag | 5a135ff683af95e8e875f36728049eee | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_24x24_7glitches.ref.aag | c82e72b06088335ef90afd95ae7e46c3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_24x24_8glitches.ref.aag | d547303e32ae709c6821ffb13b8c838e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_16x16_3glitches.ref.aag | 436dbd8b53c2a9bbb6f84dae7f7ac406 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_16x16_4glitches.ref.aag | 581cb17d39db347faeda4415420fa95b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/moving_obstacle_128x128_59glitches.ref.aag | b705b54a231f70e7fdab81374a4159cd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dpa_15_2_REAL.ref.aag | fbcf8882c4aed7245d8e081b36bac33e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dpa_16_2_REAL.ref.aag | ee9016f488c6dc611dbf40b32df838e0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dpa_13_2_REAL.ref.aag | 6b95c3bbca863e4e0a5efcc12dce4740 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dpa_12_2_REAL.ref.aag | 03f4d541a5a0ca25f9e8df3fb86d457a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dpa_10_2_REAL.ref.aag | 0f03edf2380658140b015637aa15cc1a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dpa_06_2_REAL.ref.aag | 2ea415be307dc175af765883a7abb90f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dpa_03_2_REAL.ref.aag | 9c1e0265bc5a48332bb31df1dc024808 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dpa_01_2_REAL.ref.aag | 180a0245441d98c3d9563dd7bafa1c7e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dba_15_2_UNREAL.ref.aag | 2a3eff5bbb0430eb33ce33d554b64921 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dba_13_2_REAL.ref.aag | f429c3139ed59552870740f56b1c6895 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dba_08_2_REAL.ref.aag | 5382e0cd8b33ed733b0eac98655bf501 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dba_07_2_REAL.ref.aag | 285d5cffa1d43829bf4f300f2b888c08 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dba_06_2_REAL.ref.aag | 80a2541ff9e3a60cb0d8dc5c94a353a3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dba_05_2_REAL.ref.aag | 1c9ff70be740f566ef0390d6ee7c27dd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dba_02_2_REAL.ref.aag | c9b9bb7bfcecbe748762703769782184 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/ltl2dba_02_1_REAL.ref.aag | 2585a31244d4986d99e8cdbe8ed9460c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_full_4_comp1_REAL.ref.aag | 807819035ff5b45c197b732d8a0897c2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/load_full_3_comp3_REAL.ref.aag | 6b2087d88223565eb41cce49c78e5267 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/stay22y.ref.aag | ec663ef539d18d08eb01d605bb9fad96 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/stay22n.ref.aag | 3a2ea9fd74a03d48f8eeb85daa002fc3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/stay20y.ref.aag | cfe328a9820869230cff58dbfa172f7a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/stay20n.ref.aag | 56d4505dcacbfaf53ab031fc7f7a5a89 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/very_good_bakery2.sym.ref.aag | c74fe9b6073ce07fc59afa93a11920f4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/oski3ub1i_c0to255.ref.aag | e3d62f51bc31db23dc4f473d0cbc9267 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/oski2ub1i_c0to7.ref.aag | 121e4855e0da84eb094ce6f49ccc2817 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mvs28y.ref.aag | fa6daddb7805c931fb0ae2fa0b832bd1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/mvs28n.ref.aag | 1f89c8028f2ebb2378e5d897de93871f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/stay18y.ref.aag | abe7d567f75ef0c57c5e12b2dd3ddbc8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/stay16y.ref.aag | 9335399efbe8f7341d668525fb609c5b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/stay14n.ref.aag | 7d132cb93b316941c77f0dd508b97829 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP2015 Synthesis/stay12y.ref.aag | 1f123404053c0e85d1bb31ae00495731 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |