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 (7.9 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
AIGER (selected 2018)/add128n.aag f9ca8593432c34d03467434bf626b393 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/add160n.aag f159b0079cce1f7e5ae8fc74c1347079 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/6s16_c0to7.aag 5e617ad84bd5a4f14b0e9fee14e0a8bd None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/add192n.aag 9bf2b9a52a72be666b0312aa74d82a6c None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/add224n.aag ef0839d4197fb1dc1033399af947ab59 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/add256n.aag cdd59394502ad397dbd12844fae576e3 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba10b24n.aag f4ab412972803ae4faaecd54f892fdf7 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba10f36unrealy.aag dad5c6364e26d09478babe33cc58a505 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba12b4unrealy.aag 0fa50a5835356d357cf24c3f9aee208f None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba12f50y.aag b1f4c1bbc1ef294dd1c8416d0abb8e79 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba14c30y.aag 1ff560ce777b75d2ffefbc8950793557 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba14f52unrealn.aag 5bea75cc5f3d131d4a9c524a5b6ab6c0 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba16c6unrealy.aag ba808672b89ed38cc849780a3c0384f2 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba16f110n.aag beef67cf6d83ec5b6aee0e7ffeadfa20 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba2match3.aag c7a2abb5ef2b53df1bef1aa7e1df24c3 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba2match4.aag 3a60ca26710db81f69cd59c7e13e788d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba2match5.aag f13e3a70094b9b7164e60cf7a6b7c079 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba4match5.aag 7b54566ce301f758fbdab730943a933b None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba5match5.aag a051fc2e7c4bf36c03ba81e6299151fd None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba6c4unrealy.aag 1b1f968684ab3f130568309e45bafc3c None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba6f40y.aag 4601994cebe4e365ac23db4e378bd93d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba6match5.aag 990ea6d80642bff894893ade6dd6588d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba7b10n.aag 22c40f28aee71c7632d2146986ea1948 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba7f24unrealn.aag f3018c1a95a8c179de7701eab74c1cb2 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba7match5.aag 7ace5baa6f36e78902a9f159c30fd5a3 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba8b8unrealy.aag a2ae9a8754b3d7fd3bc0b6aad7e5a9e6 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba8c30n.aag 501d241539f8b0bad66bae86d3efff5d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba9b40y.aag fb4684e7f906370a1489aa612a546539 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/amba9c4unrealy.aag 162d092543453732c413bbf24a84da72 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/atom_bakery_sym.aag 5a3c8c1e925be905000a0987aa4aafe3 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/bakery_nondet_sym.aag c9baba1cf0d30342a6345b086f701bce None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/bakery_sym1.aag fb45cf83a317fbe3f6742b96d4203251 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/beemadd3b1_c0to3.aag 40ce24070832bc7fbed32c7f0d024bc8 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/beembrdg3f1_c0to3.aag 33d2b2c1a21b6ee00f0b63ab99f42276 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/beemextnc3b1_c0to3.aag e2b326c90cdcff8da07f71886e94e5d1 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/beemgear1f1_c0to3.aag 9cfa31e2e46c9e620b33f2dcf2b2ef84 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/beemgear2f1_c0to3.aag 93d925bb31c49f14bf8e8bb7eb7e5cb8 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/beemkrebs3f1_c0to1.aag 19f0e240280bf1dc0797641c0fde9600 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/beemloyd2b1_c0to7.aag 1efa43b5b1c29746b0afb98b4fcdf2bc None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/beempgsol5b1_c0to1.aag 928defe89f406184ed1619a7fb78c333 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/beemptrsn7b1_c0to3.aag e06f1706671e8761bc940291458c8f8a None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/beemrshr2b1_c0to7.aag 7ed73765ed12869e11f8f68fd31f6352 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/beemskbn2f1_c0to1.aag df2b4992656a38c0e90c74922864cb9e None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/bs1024n.aag 00e450a8f945e2d876ac795a0e89829c None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/bs128n.aag 5724763ae33d8e29d0ced0d049cbf48f None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/bs2048y.aag c81ad517814effef69ae85f176bcd7c4 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/bs256y.aag 68837f717a2378a7779a2e885898886e None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/bs512y.aag fede646fc8aaaf6befc93c17f8d17434 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cnt11n.aag 9ec62d8a176775213354ee7cf3313652 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cnt15y.aag ed57022a268a14cb1133c7f110d35472 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cnt20y.aag 44265185e6f0ca0c1ac860910d6e86d9 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cnt25n.aag a392f57d23264bc15b44449c9bffcd3d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cnt30n.aag 348c7b8f0ebc56aba8f216eaf2d27ce7 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_12_3_3.aag 4bcbd33d037de66ca798ece53b5a8831 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_12_7_2.aag f734017700fd9aa4e01043cdd81ae658 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_16_3_4.aag 318ba89c7d4f1dc0c8e2bafe753ea5f8 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_16_7_1.aag 1e8cf620cda56a7743ba61d6f2dedd18 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_20_2_4.aag db20a2516b3c44137d4cd47136ee0c59 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_24_2_4.aag 32b7a07a8d5add597b7340c252f8186e None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_2_3_1.aag ada6790449cfc2cabb2dd8d8baeac0a8 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_2_6_1.aag 3e8ddbfaa26d0291346305c71f250f85 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_4_4_1.aag 0405c555a9ca48c31336108aad3d4c3c None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_4_7_1.aag 2c8eea42413eac6fed74ceaa3d533d02 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_4_8_2.aag 6c37b6e992fde1654af32ef6ba3d0fbe None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_6_5_2.aag 06817593ac148eb8a7ff73fa59c4216d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_6_7_1.aag 1539b56168d9ac6af9d608359eb2ede2 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_8_2_4.aag bf6e329ed7d3ae5dafb395c8f281684d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/cycle_sched_8_5_1.aag d20360f760b4bc9c3e760668402ba6f2 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v10_5_REAL.aag 7b3fa61af6abdd78ad7c242a12d18276 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v11_2_UNREAL.aag e3e695bf05d8c2f1126c6f7f36083b55 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v11_5_UNREAL.aag a835653135dc6f6c85102b9f9c3ec67c None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v13_5_REAL.aag eae89b8463f44c45e77dd5af9530af57 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v15_5_REAL.aag d7d9d382475610b069781c5e0aba9275 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v18_2_UNREAL.aag 9be42f46d1ee5bea617947a5ce790ff3 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v18_5_REAL.aag 67b9f1738c7110cade55892602ae1562 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v1_5_UNREAL.aag 7380e98780769663c0d22674c475f155 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v22_5_REAL.aag ac4d6d40071b16bb032e833eb79e66fe None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v24_5_REAL.aag 40ed926d2bd78188a867aeb380f68e23 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v25_2_UNREAL.aag 2ff50056d40525d85ec793907717dc56 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v25_5_UNREAL.aag d5dd4015707a0f0779be8a482367d2fb None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v2_5_UNREAL.aag 9f58d7cfcd8391cf4a356ed6a732438b None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v3_5_REAL.aag f9be0f8aee6b1ccc39fc024fc55b849c None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v6_2_UNREAL.aag 1b04074a8615a650c2c928e243fb256d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/demo-v6_5_REAL.aag 3805688caa15a80c93f5da3597b0d6e3 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_a4n.aag 426c55f2bd1584dab3d9a91541ff1d45 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_a6n.aag 7a490210b3a1b99485215949c3329967 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_a7n.aag abd56a46693aff4556a8ead79e580c6f None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_a9y.aag 61ebd9f4bad2ca4ea22dadf0de575d75 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_b10y.aag 68ea9a709617a1aab2efe227f1fd31b3 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_b4n.aag 719cd7f500e9087342f25aaf9b975f91 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_b5y.aag 72c085e6c23a68996fee985f8b541026 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_b8y.aag 6717d26ffe7b3f1e9ebaa84ee5df6f11 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_c10n.aag 4b9760e5c742547ab08f9741b54c7921 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_c6y.aag 4fd4d74ddd21ef26219e1f33a4f327fb None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_c7n.aag 3227bdf0d30b6fa2afb7fd4c9ae78988 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_c8n.aag a61c1875c0307fe7389a3e0ba3ed067f None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_d4y.aag b8b61b0777e72433ce4cb22aad52fd62 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_d7n.aag 6b5cc7295f8fc54451c4af96bba15397 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_d8y.aag 7ea28ab6e6781b3c57ccc397a3687779 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/driver_d9y.aag 5fd129a555e9722b11a5a14c1f3a0dbf None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_3x3_1_1errors.aag fb9abc48b450038ab6f192786833d3f0 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_4x3_1_1errors.aag 102d6e80f96eadcb9e1cb60929e35bb3 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_5x3_1_0errors.aag 43bdcabac0068f0ec860c868308fb3e4 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_5x3_1_4errors.aag e2dfdb2b032e4d03940128de4a1ef4fc None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_5x3_1_5errors.aag c9852673d3283040cf5627ff91e6fc9b None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_5x4_1_0errors.aag 59329fdd14d810ee40c3be3879023bf0 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_5x5_2_0errors.aag b40f74fae3d791100de5d0bf1405f26b None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_5x5_2_10errors.aag 0e1c4af08e530bab2af9545479fe0260 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_5x5_2_11errors.aag 7c90b510f18f5d3d7508193be6ef99fa None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_5x5_2_1errors.aag 25f6b7b41b3b3f276ebc47647d31ba99 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_5x6_2_0errors.aag 8bfdc6792211266d7f8344a3f0caaac0 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_7x3_1_0errors.aag 76949159a32137e4318c7b5a0bc382ec None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/gb_s2_r2_comp1_UNREAL.aag ef3029a1a13b5c8ef84a09e1120a788f None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/gb_s2_r2_comp2_UNREAL.aag c6489de67bb66677b8b0c6b663d1edc4 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/gb_s2_r2_comp3_REAL.aag ea3533d090e5574b2c950f1128d4998b None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/gb_s2_r2_comp4_REAL.aag 892210e9770284400fba2be4b9a15a6b None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/gb_s2_r3_comp1_UNREAL.aag 908f8f3534fb84c8703dcd56d19b190f None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/gb_s2_r4_comp1_UNREAL.aag 35744143ae7b8f5eafa63cce866476b6 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf20b3unrealy.aag 38672f4958a314e47cf1f2ac9ded4352 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf20c10n.aag e9a75ccbd35cfe6d1ca5a737bcc80946 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf24b14n.aag 99cd55bd853fe3d59e3df1b95c1534f4 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf24c2unrealy.aag cf06d81ab8fea4ba6b29d9180cfeaaa8 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf28c14n.aag 6ab636a342531bf08550a6fd61ff1ffd None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf28f27unrealn.aag cb44a51e1320ee85bb1c6f61e49f43ab None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf32b3unrealy.aag 27c05750fd1380e80cd087842e8f01ad None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf32f50n.aag f9a449582438bb00ea45143421a444b2 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf40b14n.aag 9f0727b68f9e20013ba58a547d5ef0ef None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf40f39unrealy.aag b5a52213f04ae70ddd56b3ddbd80d98f None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf48b3unrealy.aag ee4ba76832dfe82ac93edeaa8f9ed7b0 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf48c20n.aag b0ce433d64ae9e9744523663a309a5d0 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf56c20y.aag a59f366b47f0122828e3a7d6f93faa19 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf56f55unrealy.aag f286cb7d6735f57b41cbafc911741e38 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/genbuf64b40n.aag 3d814ebb1dfdb000a529a6ded1cb1b6d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/good_bakery.false.aag d829bf2c10300cc0b7d5c444fcd85aff None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/good_bakery.wuntil.aag d2d210b650c784d542cc8c8502f7af5d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/halfadder_shiftedmatch.aag aac440038de2264074d726fc3b6f78fc None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/interface-with-overflows-k10-liveness.aag 06b3d3441c734d9d0eb65d1c10074014 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/interface-with-overflows-k16-liveness.aag b83dae1f08a662629f1f05e9cbf4553b None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/interface-with-overflows-k5-liveness.aag 4cf9df8e2be141e5ef8ee50967e91dae None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/interface-with-overflows-k8-liveness.aag 73ea1b1fc04ea440be4bc9d32f35c532 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/interface-with-overflows-k9-liveness.aag 816b8a6db39a098298bb7c0ba5a6dbc7 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_3c_comp_comp2_REAL.aag 7d95e96d2e89348043702dd4bea495f9 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_3c_comp_comp4_REAL.aag fd4643e3172f4503c8a1f9616d16dd58 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_4c_comp_comp1_UNREAL.aag 43906af8f6731b85796fe57b6ee22a0c None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_4c_comp_comp7_REAL.aag 07c4a09b5d394cd2af3eb98e6139ac9b None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_5c_comp_comp3_UNREAL.aag b96123082090daeb8e08ec4adc6eb5a0 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_5c_comp_comp4_REAL.aag 2e5209c204cc9e219036361e846e8f9c None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_full_2_comp1_UNREAL.aag 63c299c5e18128e12e1df3f0b6238520 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_full_2_comp5_REAL.aag 535dec3855ce9278cc0b14dd52e0ede3 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_full_3_comp1_UNREAL.aag 95bed4dc85849f01112777adcb38c1af None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_full_3_comp3_REAL.aag 4b0a765d116df96e1637fe59a92c16e9 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_full_4_comp1_REAL.aag bbd30f1097c9e0e42c475f193c8cb1b5 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_full_4_comp2_REAL.aag 501a4f8a74bf73967ae7219dd48f72d9 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_full_5_comp1_REAL.aag 326a3eedcae62a294f3e427002978bd4 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_full_5_comp2_REAL.aag 838cfd209ef45546b07b2811f85479fd None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_full_6_comp1_UNREAL.aag 0497190788c202e3afc98680117a63eb None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/load_full_6_comp2_REAL.aag f30e3674f91b21684ea355bee0342506 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dba_C2-8_comp4_REAL.aag cfdcc34d03693fa65478e51f9d506dbb None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dba_E4_comp4_REAL.aag bfc119c4fbb911d3029e14f9c9b9f8da None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dba_E6_comp2_REAL.aag a05eb21a503dfc54fb057279b40b20d5 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dba_Q4_comp2_REAL.aag c04cff74781206eb062d9d441be28f9d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dba_R4_comp3_UNREAL.aag 1a4488fa96d3edf8996ada4469baa4a4 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dba_R6_comp3_UNREAL.aag db63f9af5100d35ce2afcf093561094f None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dba_R6_comp5_UNREAL.aag 4b4d64f67df52133c8043707026e9a71 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dba_U1-4_comp3_REAL.aag cee84057dbaf75f996143f1612870529 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dba_U1-6_comp2_UNREAL.aag 2cea3f66c25d4ae9bedf90c2b47d982c None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dba_U1-8_comp2_UNREAL.aag 29ac647d80340ac6bfceab47af32cc93 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dba_theta8_comp4_UNREAL.aag 058093a370367fb1dfa86b8244a67905 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dpa_C26_comp2_REAL.aag 9a8a456c7b1fad5840b57528ddf495b8 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dpa_E4_comp2_REAL.aag 57665369bff9a56d99fb6b8cb306d168 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/ltl2dpa_U14_comp2_REAL.aag ce510627ca346abb2903bb4567a35539 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_128x128_59glitches.aag 41a14ab2d05f5b722e823770246172b1 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_16x16_3glitches.aag 8e779852c5b4a3e3c03d6336eb2a0c03 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_16x16_4glitches.aag 974490be6d186ef19eff8d846e790f3f None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_24x24_7glitches.aag 85997783e00c1ef9764f85270de110ee None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_24x24_8glitches.aag 1c565f56a961b0d322562173e354d2ec None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_32x32_11glitches.aag c606da4ff00564e810fa9a5d959069f6 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_32x32_12glitches.aag c0c3814a4ae623d1bdbd8c67b46dfdba None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_48x48_19glitches.aag 57909b17557005491f4f0cb36cbf3e85 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_48x48_20glitches.aag f5809328f7d5a9b6fc9ac863b6bd5aed None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_64x64_27glitches.aag ea2b991911c4e906dc747089db2f9a3d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_64x64_28glitches.aag c0ea5fb2674cc90cf6b5e812776b6daf None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_8x8_0glitches.aag 6e7288fe5bbd9e65f39ab72770ccedb5 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_8x8_1glitches.aag 1d795f3ad14b91771adca4d9f4ce3300 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_96x96_43glitches.aag 470ee769c5c64353dcc9e7f0d5007ce5 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/moving_obstacle_96x96_44glitches.aag 5ebaf999d54ad86dc5a2ae865ff44ee0 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult10.aag 010aafc3b46c4b19584a699c9f1142bc None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult12.aag ece55a32dfd24826a7dec26f742a284b None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult16.aag 90bd41850e0656315a6cd35b9250d635 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult6.aag c18dcd9035239bc6ab0e28e1ce2755b9 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult8.aag e44e33ef905fb930b231b30eb23dedc0 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_4_3_5.aag de66d1672996196242e9c2a355786071 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_4_4_5.aag 8ef0016fc426973caec2e45fecb6e81a None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_4_5_5.aag 572682dc1e0a0929e649d1182c07572e None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_5_3_5.aag 2395251dc44d5460c9c0c6eb692e27a3 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_5_4_5.aag 907ec044ac99df204bf7fb931c1f4dfc None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_5_5_4.aag 3e43b64c3ee1ab6fa01abd3ff979495e None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_5_5_5.aag 84a66d843213dbe4b2ad2d2366599d47 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_6_10_7.aag d798e61c4d7d187d3323d673f678078c None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_6_6_6.aag bcce62804a43fe2a24b062f377c28f75 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_6_7_7.aag ad181b8d4ee5ca1fa943b206b4eeee6a None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_dyn_4_5.aag d33efa3ce7974359877ea058dc65e9d8 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_dyn_5_5.aag 0cf0a1cf05e336e0a6dd41b0212981d0 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_dyn_5_8.aag dca1cf3d285a773966b1e5c0b83a60d6 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_dyn_6_6.aag 4b9012ae9d32f1229987fc248a5998ad None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_dyn_6_7.aag 786b4a61674e43884a8a33095afbd8ea None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mult_bool_matrix_dyn_7_7.aag ae207d1137d5a2ff889d49da2b1fff5c None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mv16n.aag cd9cce1b49d435fc8a22ae57c1a14080 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mv20y.aag d705c5fe754b591a087f49f75f97e02a None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mvs20n.aag e577aba3f5f4e9533892ed81040283be None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mvs24y.aag 0b968a2bd45b2b5dd4349edba5003931 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/mvs28n.aag b46b6ff605b3731f0b1b8f04354a3798 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/stay12y.aag 3fe5ca1ec7e8f75d23a497498161dd92 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/stay14y.aag 04d88bb74fc27e7fd7f5872bd0516f0b None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/stay16n.aag 5353cebc180e96b290267a20e1e07ef1 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/stay18n.aag 9addd02c3c0771bca061937e0e7a256d None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/stay20y.aag e4004cfecb93a64328dea5071ce7e140 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/very_good_bakery2.aag c940aff4de0accc9609bc45f179f53a1 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/very_good_bakery2.sym.aag 37a418791d9cd39cf746ac1049e73e74 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results
AIGER (selected 2018)/factory_assembly_7x5_2_0errors.aag 7be405d5f1e6cc99367f0b19f7e10ee0 None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None None Results