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 (12.0 MB)
Download table data as CSV
Download all instances as tarball (12.0 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_a7n.ref.aag | 0f233bb2376bc4f51b0719ba2e4ccbb8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_a8n.ref.aag | cf9f779438e6421203559eaeb5ba550b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_b3n.ref.aag | e9e6072376014a95c897c7ec8bdc404d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_b5y.ref.aag | 094f36caa67831c9a0c79a2c3308cc88 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_b7y.ref.aag | 3608444c345709a540202955bdedfb55 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_c5n.ref.aag | 6e0c3098247b27bd142a4795f4f530fc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_c7n.ref.aag | 80b697a7ea21553ad9cc5b409c74f50b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_c8y.ref.aag | c249e4b758f82ce30f7a466bc9575293 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_c9y.ref.aag | fcd5c1826702ff8091f9636d95ae51b2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_d10y.ref.aag | 799e37e303475668f263e40db58999a6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_d4y.ref.aag | ed65c494424e2afb8d4ac0ad253d7e63 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_d7y.ref.aag | 92ee46c4de0f91b859ac7d8c4fe868f5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_d8n.ref.aag | a278d253011c5146fcc2c61f44b87b5f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_C2-6_comp3_REAL.ref.aag | 784a556cc3e47a94a3cd909b3eb070d9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_E4_comp3_REAL.ref.aag | 8d8c1a8c45fe232490de20d4501186da | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_E6_comp4_REAL.ref.aag | a998d8dcd324c2e0df4d567ab32a981e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_Q4_comp5_REAL.ref.aag | fef73d2875354e64cfd7ef03eb57d763 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_R4_comp3_UNREAL.ref.aag | 21490e2d50f3c3ab86537cbba54ca8b2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_U1-6_comp3_REAL.ref.aag | b07943ec4190c783f88fb65ffc16fbc1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_beta5_comp2_UNREAL.ref.aag | 3a9250d583b108ed7e8c7fdb0fb619cc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dba_theta6_comp4_UNREAL.ref.aag | 27d7c2aee94af665ba2dca1ca55c0c30 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_C26_comp2_REAL.ref.aag | dce16fd1a10fa2cb4c15d9a2b20ff9f8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_C26_comp3_REAL.ref.aag | 9c22a484a9a9e5ff1ca1151849913f3e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_E4_comp2_REAL.ref.aag | 1f6a95bb52d415acf21c5321a2e41c52 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_E4_comp4_REAL.ref.aag | 027aa9851f5d9961a23c9a281e67f604 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_U14_comp2_REAL.ref.aag | 09a3f0c7dccacfd64800f84b367f8a6d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_U14_comp3_REAL.ref.aag | cdefabdf45527e45e705ec334934b3e6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_alpha5_comp2_REAL.ref.aag | 9fb97cff439c59f15bc08e0d055603bf | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/LTL2xBA (Full)/ltl2dpa_alpha5_comp3_REAL.ref.aag | 6ddb1dcb9340c9dd8e068091b9e35cfc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/6s191_c0to7.aag | c88e41352587f56c5d42a363ba7c39be | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/HWMCC/6s5_c0to7.ref.aag | 985df65134389761f4afbf60480cad52 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/HWMCC/beembrdg2f1_c0to1.ref.aag | c02df2c6fb6c083b9c881f33121c4261 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/HWMCC/beemkrebs3f1_c0to3.ref.aag | e75ec2d383b45ab31b1bc4f2a9a3d2a5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/HWMCC/beemlifts8b1_c0to3.ref.aag | daa8aceed413c912996fecb08f912937 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/HWMCC/beempgsol5b1_c0to3.ref.aag | fc7334e60fe8cdce121fee6986d199fc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/HWMCC/beemrether6b1_c0to1.ref.aag | 9f2f3d80e5096a35a74bd5012b16c39d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/HWMCC/bob12s01_c0to1.ref.aag | 8b8b9b19494ab2f6ed685885e2fb0f3f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/HWMCC/bob12s07_c0to1.ref.aag | adbaecffe130a4a430636835af8b6e8e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/beemadd4b1_c0to1.aag | 1366ae40d2286d0733cef065a281cbf6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/beemandrsn7f1_c0to7.aag | 4eae414b70cbc1f9a050e549c2a9b01b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/beemextnc3b1_c0to3.aag | 1b96cf38e498c061573c524c0797e7a4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/beemgear2f1_c0to1.aag | 7dbc41a5b234cb6ed3e6762a7cc82e2a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/beemhanoi1b1_c0to1.aag | 89fbcafb20d3214621f5701d0514a57f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/beemskbn2f1_c0to7.aag | 79c134f0f2980c2e8f55a5aa4aa59b6e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/beemtrngt5f1_c0to3.aag | 7fe29e3ee40496f17045e990ffede79b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba10c6n.ref.aag | b8a9547037743c6ffd914a36b47379a0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba10f48y.ref.aag | 1f7f3993c9471909986709fcce43ee16 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba12b6n.ref.aag | 30171536e61997c1dd1658416a84bc27 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba12f44unrealy.ref.aag | 4990fed40b1deb1c0ab2572a63caf157 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba14b24y.ref.aag | 0090b0e061373426e893465c8cd451e6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba14c4unrealn.ref.aag | f5aa4221c61decb1c670b3413df47f69 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba16b8unrealy.ref.aag | 3d39a37844b3088f525279ff442c58a5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba16c40y.ref.aag | 4f5d26d6b82a6c8ca9d0c6e74953c3e3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba16f110y.ref.aag | 8b9bd0e1751afd6e40677cca1ba80fac | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/AMBA/amba8c24y.ref.aag | 9d5dfc0bf5bb317da11388f02342a322 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/add192n.aag | 55cca1df9fd53c61d9e214b9cf7b07b5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/add20n.aag | 97cbe8a10d337b67afeec9de8643a4de | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/add256y.aag | ea6ab618ccad7979e75a9f51b2478af7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/add64y.aag | 47652f035de0b05f416ba4de960ded09 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/add96n.aag | 0bc137f1ae2442bbb777668908602d5e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba14b6y.aag | 01617d19c23f0e1db617a17753c068fe | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba14c40n.aag | 9df04aee535340d8e3ed00db2ebe567b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba14f120n.aag | dfc33f6d23f00b038dd06247bdaf4fe5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba14f90y.aag | b40b1e089ddb2d9fc0a1298986af5bd0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba16c6unrealn.aag | 0aa79a72012a62ae4358834f1020f3ff | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba16f120n.aag | 1a2ca5a8d06376c3d7849939827dc004 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba4match5.aag | 30b65ee4b18b75df42dec4493f0fec79 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba5match5.aag | 8ff5bd0f84f613854b3a1b8ca49c5b2f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_12_5_1.ref.aag | 9263bb497fda3c659043266cf64581eb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba6match5.aag | cff8271f8978e6eea17115e8ebc0edb1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba7match5.aag | ea1b6e791c30f388e17dc6e9a84c6fca | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_20_2_4.ref.aag | 4dcfd5036cf0b9bb9061ac944c6ec22b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba8match5.aag | 217ea5ed7f0bca606cd0956e3417a0a0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_4_3_2.ref.aag | 0ae1b488dd17a1f6602c84aaaa479a13 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/amba9match5.aag | 857a3cfd53845f49977837f3296f202b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/atom_bakery_sym.aag | 4d4dace822e1b77a37376ac9b423d345 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/bakery_nondet_sym.aag | b37be6e05226ed7b2869fe5ed0593980 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/bakery_sym1.aag | 69fb68765c8817c54b173bc751712ab7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_6_6_1.ref.aag | 6a8f451780e7931e603cdbe656cd26ec | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_6_9_1.ref.aag | a19f22c881e2582140413c4bda6872dd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_8_6_4.ref.aag | ae085b67850186eaebdce408faf703ef | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/bs1024n.aag | c845adc7975975f65f4a19ae84409048 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/bs1024y.aag | 73df4ef553863d85685af487804da329 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/bs2048n.aag | ec0825f5959056bb13308798a1cd3437 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/bs2048y.aag | f2510c74a9bd1ed968bd9dad3d29874a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/bs512n.aag | a50bd4e8b781e898ba2db4fb1bef59c2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/cnt10n.aag | b3cea182c9d3c17b4e8f1d7600b1992e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/cnt15y.aag | 87314f8c6e5e045f63f513bf33c98e5c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/cnt20n.aag | ca53b7eb4513994a7040df31c774a112 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/cnt25y.aag | eaf594b22a9d21d105550c1fceebd19a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/cnt30n.aag | 7df13ccff650fc9933bfd0dcc5c60f7e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/cycle_sched_12_4_4.aag | cfabcb02d5b455c3be5ffeed6ab8fbe7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/cycle_sched_4_6_1.aag | 9dca1cbd715c646db4bef76e45281374 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/cycle_sched_6_6_2.aag | 9d0ff7ee0c2509db501798be1dcebbdc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/cycle_sched_6_7_3.aag | 4736fa5856a60e80d3856f00fe736220 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v10_5_REAL.aag | 3f1cd4136e04391a65745cbf6f9143b5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v11_5_UNREAL.aag | b93b7f0f33606d4b2ece95a14fb0a7e7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v12_5_REAL.aag | 1edbbcf96b0413abc873fe64654b4eb0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v14_5_REAL.aag | 1a5a5925c77dddd59981c059fef057f0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v16_5_REAL.aag | 0a7f5270afe77ae0fd684cc7f6e1b225 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v18_5_REAL.aag | 1a4518a53bad6d19e5438bc3b3b6f3ba | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v19_5_REAL.aag | 6cef2ae4d902910a64463e5a12d1eb5a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v1_5_UNREAL.aag | e48067f72b324712ec3e0600822b43eb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v20_5_REAL.aag | 033fa897924ed9d889633ac67a0d5f6a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v22_5_REAL.aag | f116e3ad9be6c6f6b5140567b1a0fc14 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v23_5_REAL.aag | 510c5eeb90e0c26fb1cd1c96d7ebb689 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v24_5_REAL.aag | 853ec5aff35a330be5757c70b9770744 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v25_5_UNREAL.aag | 6b9fa81b6aba694d69b7d91d7be73761 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v2_5_UNREAL.aag | 4c471521ed3f6bc9b6962958e36399e6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v4_2_UNREAL.aag | 97c779663e2dbaf09978a26ce9c09c60 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/demo-v6_2_UNREAL.aag | aa0601136a239d7006756cf20f2b07b9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_3x3_1_1errors.aag | c8572ab07db158507891177402e5224c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_4x3_1_1errors.aag | b658da9ed6bb761ca0f1d1ce3c13212b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_5x3_1_0errors.aag | 55d07984294e2676d3e7a259674bfd77 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_5x3_1_4errors.aag | df78e7239bb592b22f49cef1bfc21701 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_5x3_1_5errors.aag | 473d83bfb04400d0d0b246be8131191d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_5x4_1_0errors.aag | 5e97ed897c9805b6e6f35f67715b38d2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_5x5_2_0errors.aag | 4ac07592ed292a52061bf6d22df92e2e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_5x5_2_10errors.aag | 2ea115e47bf26225fc5807cddd8cddc8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_5x5_2_11errors.aag | d0c715deb784edd4fb9304febc4307e2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_5x5_2_1errors.aag | 612808acc2c78bd7c9b475957cd9d226 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_5x6_2_0errors.aag | d733c3d512729769eb7e52bb59d699d0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_7x3_1_0errors.aag | 56f6d0a4c7e131b4746ff587d55aecd5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_7x5_2_0errors.aag | 7bab971e9c416bbe7a7e4067a7dc8414 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_7x5_2_10errors.aag | b15de57a0ac55e5d00639bbd2ede4e20 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/factory_assembly_7x5_2_11errors.aag | 5d81f5fc7ca0c6e0a7ab4eaa0ac73095 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/gb_s2_r2_comp1_UNREAL.aag | 2a0a4676bfad95026e1305ac38ce7f65 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/gb_s2_r2_comp2_UNREAL.aag | 3821eea483fda7d0c4d905f844828bf6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/gb_s2_r2_comp3_REAL.aag | 369157d88c1c00b0206f343290e33b28 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/gb_s2_r3_comp1_UNREAL.aag | ee1ecc5e5e6398c39103e5d3cbb84d6a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/gb_s2_r3_comp2_UNREAL.aag | 975e297d23582f755eef72df98598966 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/gb_s2_r3_comp3_REAL.aag | 01309131ce7b9f71b257bb460b0a7cda | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/gb_s2_r4_comp1_UNREAL.aag | e6505f86acdb9aaf18aebe25bf0aeeeb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf12b12y.ref.aag | 29bd39e8322f8aab41889bc78b3d67dd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf12c30n.ref.aag | 86e4ac886f81cec074277b2264cc9534 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf16c4y.ref.aag | f8eecb55c57c6e3758bce6c549a22681 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf20b3unrealy.ref.aag | 9be361c0b5cbe8b9ff3634696134040a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf24c30y.ref.aag | 135dc1639c51ba96a94a119d359c9404 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf28b3unrealy.ref.aag | 7b466afd099ae44b298d8a10cef54b1c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf32b30n.ref.aag | 2368b67072751ef0c2f19eecef8d1b12 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf48c6y.ref.aag | 057f045a6200a174f599f629f825c1b7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf8c30n.ref.aag | 01e5a268371732a189081774f0b3d862 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/genbuf48b30n.aag | 00cb033e734d222bce88d6ef95f4e19e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/genbuf48f47unrealy.aag | 673f5883d917abc298098910f9c5e379 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/genbuf56c40n.aag | e36a6cb5c7b863e6809d90aac448e43e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/genbuf64b8n.aag | 5e8eae833cab6c357a455d239172bdc1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/genbuf64c2unrealn.aag | 68c694c29fb28ae6a3e083a6f73eab22 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/genbuf64f100y.aag | 7b46b7b09dd893c653539d5dc8e98beb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_2c_comp_comp5_REAL.ref.aag | ebc95ce5675f80df68cea48c1674872e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_3c_comp_comp4_REAL.ref.aag | 7d251f511fecb3b514c6601a41069306 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_4c_comp_comp4_REAL.ref.aag | 4c4eeba2cefcedb88d5e66974a50eee7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_5c_comp_comp2_UNREAL.ref.aag | 11fc73f43e0c66c3f01939eee800280d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_5c_comp_comp6_REAL.ref.aag | 5953f87c03fd14a00cc7498be1ff734f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_full_2_comp5_REAL.ref.aag | 2b19687d2e6742b9d2eb597e687a7e83 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_full_5_comp1_REAL.ref.aag | 2bfd09bab51ab0770756fdf2965f589a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_full_6_comp1_UNREAL.ref.aag | f02e8397f9969dbb63b454cf7d964276 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/good_bakery.false.aag | b86696fc8be3257a6da86d82d46c4736 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/good_bakery.wuntil.aag | be5c167617469386cbf5e55ab73f339b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/halfadder_match.aag | 782dab9ca32b15ce7d956f7ec4660e33 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/halfadder_shiftedmatch.aag | 0c0d2ff0160b80a10a45b74d12fd18d1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/interface-with-overflows-k10-liveness.aag | 4c5ce306d6151833e77ed789e432353e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/interface-with-overflows-k16-liveness.aag | 63f41441a71a57eea0eca1fcef6c1097 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/interface-with-overflows-k5-liveness.aag | 77dadcca795e6d0bc58c5d284ee1a536 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/interface-with-overflows-k8-liveness.aag | 53f6ace8ab59bcf0b263a7f304a3b8f6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/interface-with-overflows-k9-liveness.aag | 9fbf11b2146947cebfb8021b60d6665d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/load_3c_comp_comp7_REAL.aag | 900be610c9ca9d72f6abcfb34a7b19a0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/load_4c_comp_comp6_REAL.aag | 5ef3781d8db1f20181a12865d1cd428d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/load_5c_comp_comp3_UNREAL.aag | 1fabfc623eee2891e8b9f119613ea499 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/load_full_2_comp7_REAL.aag | fc91dd3e038a65e4a1760938054268c8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/load_full_3_comp3_REAL.aag | bbef494460bc64db633dd92b2645a74c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_4_5_2.ref.aag | 85599f5127d759540065ecc32bc37a10 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_5_3_3.ref.aag | 0fec770473726d005f15fe5d727559f0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mult_bool_matrix_5_4_4.aag | f1ce181a193d32a584c65e8cb680108b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mult_bool_matrix_5_5_2.aag | 94defa19ff77446016f9adbd929727d7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mult_bool_matrix_5_5_4.aag | 0418feb7adbfe49675795b6b1be0db1f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mult_bool_matrix_6_6_8.aag | e88b15b4a09c75ca9f44ed07a7593e42 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_128x128_59glitches.aag | 0834a96b2692d13c58f2cf34aa4f3280 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_128x128_60glitches.aag | c020100f17ee3b9ea60fffce1ee33778 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_16x16_3glitches.aag | 656b13265397d1b1bf7834e31616a811 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_16x16_4glitches.aag | b4c101ac201261d6016b617998a9156a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_24x24_7glitches.aag | f8f9c198046b6eda9a1624d9c6673c55 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_24x24_8glitches.aag | 12114c6e39f562c11f74d7db8d1c6de1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_32x32_11glitches.aag | 1163d99ced5ac8419dc49076a2834adb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_32x32_12glitches.aag | 0fe894cfb01fa0bd7ccb8f10dd6093a9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_48x48_19glitches.aag | 57312d71a8a8fd1939aa68ddd17d8e48 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_48x48_20glitches.aag | 9dd4bf1597ecd60c911cae1d9efbad92 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_64x64_27glitches.aag | c75392004c9f5fac5985aab8edf04579 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_64x64_28glitches.aag | 901e6d5dbef804706c50cc7baa26f1e8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_8x8_0glitches.aag | 86713130403692cad9c6d889f97c013e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_8x8_1glitches.aag | 483fa9f27fa526a9eefd237396915de4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_96x96_43glitches.aag | 075920573b131a7bc325b77aba00b1fc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/moving_obstacle_96x96_44glitches.aag | 4266cf2f3daa39aecc319ddd56cb14b6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mult10.aag | a6c08fcdc1b1ed90363c7e26ee182534 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mult12.aag | 30eaef19f76be3ded0a061601a7acc71 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mult14.aag | f221997af0bf2cf30e2df2b11174cd4b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mult16.aag | 0069b50d1101d89997a5d048ff979857 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mult8.aag | ac8500ee77998cb56dba71025706b1a6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mv12y.aag | 002cbc8063d0fe87567a25d5422e9483 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mv16n.aag | d936be18a8a869fff52847866122da28 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mv20y.aag | e1cc3ba3aec07dc2765b3be69e92db4a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mvs24n.aag | 29aa9ead35416ecd090eb09048094eb3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/mvs28y.aag | 98f5278991469031674fef638720dca6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/stay12y.aag | 3c21a59c89fdd6b46df361f8cd29b85a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/stay14n.aag | c4813e225468b64e895b28b9b3b99877 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/stay16y.aag | d9bf0ec49e05d2ca1ec5ad12803cd428 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/stay18y.aag | c9be4492eaadf82f90a36ee7df1ae7ea | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/stay20n.aag | 885584b549fb49d0b49a438f3cb298aa | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/very_good_bakery2.sym.aag | 290e98f7f002a095465a345724cd41d6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/load_full_3_comp1_UNREAL.aag | ef6dfe3772fb0754d9b015d05a7fa61f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/Selected 2017/amba2match4.aag | 8dabcde1db7f25981ed7ef7602c1d8ac | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/Selected 2017/amba2match5.aag | 422bf45a565b767ce3cb16d1563286dc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/Selected 2017/mult_bool_matrix_dyn_6_5.aag | f11d524cf44b7eb1373e65565da875cd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/Selected 2017/mult_bool_matrix_dyn_6_7.aag | 15162c178d4ed3954ef47749dba6735d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/Selected 2017/load_full_4_comp2_REAL.aag | 1ec0822e6603a962bf3f8c4714902808 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_16_5_1.ref.aag | 662970bcf7aee31931089aaf396c64c8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_4_5_1.ref.aag | 204e1be472bc2308cad6ecd4511f777d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_4_8_2.ref.aag | bd9c91bdf467a5e8b08f834c2b9f2e1f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_6_3_1.ref.aag | 809e5a8dec2c20c848f829cabb58c3e3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Cycle Scheduler/cycle_sched_8_3_1.ref.aag | 94df65f5292343b618dc687b72550c29 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Load Balancer/load_full_3_comp5_REAL.ref.aag | a66038072d2f6524a61b339d43183e59 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_2_9.ref.aag | cb5a7585fd43f07f8cc6b66b94570036 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_3_10.ref.aag | e4a1d6eb326bf73a62d6de86ae382dfc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_4_5.ref.aag | 47dcdf1553d98a80bf9daf37fd8aab2e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_5_2.ref.aag | e82d7a66efcf136eb4bd19e2be0d2b9c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_5_3.ref.aag | 3acacbc3d8c05403654b145ab1a687dd | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_6_2.ref.aag | 1ce6382dcb5775de8faa5195b27e18f6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Genbuf (LTL2AIG)/gb_s2_r4_comp2_REAL.ref.aag | 62946de5bec9631988c76727d1ce8a68 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_a10y.ref.aag | 918e5fbb77e9c78f85bc7ee683975ae1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_a9y.ref.aag | 3c4ab53ffdd4fc61069cbdcfeb3c7ca7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Driver (Full 16)/driver_b9n.ref.aag | 8b948eb4a9545287d8ccf30ed7c2d194 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Genbuf/genbuf40b4y.ref.aag | af8cdabb74af3f3ed77b84d90b1f7ddf | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2016: AIGER/Selected 2017/cycle_sched_16_7_4.aag | 79ca9cbec6a4e46f26fe9a04320d60a2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_6_7_7.ref.aag | 04a9791814fc2a85820467557d1e5272 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
| SYNTCOMP 2017: AIGER with Reference Size/Matrix Multiplication/mult_bool_matrix_dyn_5_8.ref.aag | c5a23cefb9461abfda9abf8f50494485 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |