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 (3.4 MB)
Download table data as CSV
Download all instances as tarball (3.4 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/AMBA/amba12f44unrealy.aag | 5eec5b93dee7a84e306469eef68c7c2e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/AMBA/amba16f110y.aag | a3fbed738f00f07f9d8b5764e9573d6c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Cycle Scheduler/cycle_sched_12_5_1.aag | 7177641061bb22d1f529dbf90f2fdefa | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Cycle Scheduler/cycle_sched_16_5_1.aag | e1b8862836f764eaf9caa98ac5f4ad67 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Cycle Scheduler/cycle_sched_20_2_4.aag | 146fce13a40d049fd07cf0da0d3858de | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Cycle Scheduler/cycle_sched_4_3_2.aag | f3c9fd4f89eeecc52e9d8747f316b47a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Cycle Scheduler/cycle_sched_4_5_1.aag | 3a77077c83bbf0c7dbc2effb653e779d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Cycle Scheduler/cycle_sched_4_8_2.aag | dc3acebcb46f21079dd8fe5bdda33dd7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Cycle Scheduler/cycle_sched_6_3_1.aag | 8cc9ddc0aa7709cbd8fff619d586b19b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Cycle Scheduler/cycle_sched_6_6_1.aag | 8882a545e4be32148ad55e65947312b5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Cycle Scheduler/cycle_sched_6_9_1.aag | 487aff29eec222456aad04ab40f7093f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Cycle Scheduler/cycle_sched_8_3_1.aag | fb7c587e8a1576d84b3383814b6fde61 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Cycle Scheduler/cycle_sched_8_6_4.aag | 44a19b5d256747848391d51b51149b29 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_a10y.aag | b594e6583672d236531ad49be42b5950 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_a8n.aag | 6ba2c8a09ab8de41f1657cd090080798 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_a9y.aag | dde1e96466e38556eac89b5b19045f5f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_b5y.aag | 4a567092e9bf07e610bd673787dbfcc3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_b9n.aag | 0c7b7d48e5d791883ef92c909a3d4667 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_c5n.aag | ffeedff9e21ebcaad888c418757aae34 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_c7n.aag | f1dbbad8c5cb1e746ed42dce9b442130 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_c9y.aag | a4d04669b78f989fd781d2e7442db58d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_d10y.aag | 705bccc9e4d9743e07650f2642ae2734 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_d4y.aag | 0a96b86e49a11eded197f80d23b0fc3e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_d7y.aag | b83831d544876dab02ed0f2cf00b2698 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_d8n.aag | 5c82c28e960037c3fb166fcfd14527a1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Driver (Full 16)/driver_b3n.aag | fa5b04b0fabedab17f8a08a5a5bbc22d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Genbuf/genbuf12b12y.aag | 25b4809d45d2b2a4054069e2a3d70dcc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Genbuf/genbuf12c30n.aag | d1959634fd707730566c2c9c85282aa0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Genbuf/genbuf16c4y.aag | a33548cecc465a0c9b661685453b6e9b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Genbuf/genbuf20b3unrealy.aag | c0077c99d767ea9eee5162ae3af138e4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Genbuf/genbuf24c30y.aag | 5e5413a627ffe401ca72a72e3d6ed9f7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Genbuf/genbuf28b3unrealy.aag | 144efd37687d31f9f442b40e0b0be8e9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Genbuf/genbuf32b30n.aag | 036f126710f29f4fb2afe388d2a10521 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Genbuf/genbuf40b4y.aag | 8f4325a565dc889b1150d4fc3dfe4e86 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Genbuf/genbuf48c6y.aag | 6e251c87db1ff2936e7b45068f255782 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Genbuf/genbuf8c30n.aag | 0f81c5c17f64aab6e8930642e70bb384 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Load Balancer/load_2c_comp_comp5_REAL.aag | 3f9b3067046a75928584b1d24d649eeb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Load Balancer/load_3c_comp_comp4_REAL.aag | 3f7d76db403b7e6fe8079db94a1604fc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Load Balancer/load_4c_comp_comp4_REAL.aag | 8fa1a692c7282c5b860604e0d4b7d88d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Load Balancer/load_5c_comp_comp2_UNREAL.aag | d66b3b101e26966ddf04e788624644a3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Load Balancer/load_5c_comp_comp6_REAL.aag | 1d8028e14da7c4165fcaa359ad458732 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Load Balancer/load_full_2_comp5_REAL.aag | 4caede89999ddf55de57e70521432865 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Load Balancer/load_full_3_comp5_REAL.aag | f5a5bbd35aecef3b25916b522754e2c5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Load Balancer/load_full_5_comp1_REAL.aag | 7a2bfe75b494ffbc7de151999ee5e75d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Load Balancer/load_full_6_comp1_UNREAL.aag | a8b54ac1caf30c0268757d310d2cacb0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/LTL2xBA (Full)/ltl2dba_C2-6_comp3_REAL.aag | 256142476795d0068f1b6eafa7383555 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/ltl2dba_Q4_comp5_REAL.aag | df1565502b1c74179a21d6519b5e5b50 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/LTL2xBA (Full)/ltl2dba_E4_comp3_REAL.aag | e3c77ba865063eb4ccfcb7c0f33d71a5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/LTL2xBA (Full)/ltl2dba_E6_comp4_REAL.aag | bc478db144128ee3f2c7430894e10baa | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/LTL2xBA (Full)/ltl2dba_R4_comp3_UNREAL.aag | c9be8b3281f89886961224d1bd63844e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/LTL2xBA (Full)/ltl2dba_U1-6_comp3_REAL.aag | c67a461a92b5ab4000e53c6c98709e88 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/ltl2dba_beta5_comp2_UNREAL.aag | 47217e219ed4b5d929ee8527ababb3a3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/LTL2xBA (Full)/ltl2dpa_U14_comp3_REAL.aag | fc27caf778f0c91a840ee0b7b0ee9b00 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/LTL2xBA (Full)/ltl2dpa_E4_comp4_REAL.aag | df7d1babb7bbefbe91565bf4ef810042 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/LTL2xBA (Full)/ltl2dpa_alpha5_comp3_REAL.aag | 83f9145d98a22028852ca7850f39b73d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/LTL2xBA (Full)/ltl2dba_theta6_comp4_UNREAL.aag | 6a46c64df9b307de2b7806886e0f415b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/ltl2dpa_C26_comp2_REAL.aag | 2974e81b83722e95218d78ddc3aa2ea2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Matrix Multiplication/mult_bool_matrix_4_5_2.aag | 02feb76026210400c7fe70ae7f3b45e5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/ltl2dpa_C26_comp3_REAL.aag | cdb22c7f6d6c190c8065a900fd27d1c4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Matrix Multiplication/mult_bool_matrix_5_3_3.aag | 90a05cb4302c8ccf01ac14e43a6396dc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/ltl2dpa_E4_comp2_REAL.aag | 606c8b114bc00c5f2a99505a8076afe6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Matrix Multiplication/mult_bool_matrix_6_7_7.aag | 02c59d3b55c982222f8dac9fcfc7f373 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/ltl2dpa_U14_comp2_REAL.aag | 7561ac7d469f247cce76695306b149f7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Matrix Multiplication/mult_bool_matrix_dyn_2_9.aag | 951eac04cfbe0c429030e15ff4b9bba1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/ltl2dpa_alpha5_comp2_REAL.aag | 6a656900d9554a0e679ad904960b138a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Matrix Multiplication/mult_bool_matrix_dyn_3_10.aag | 246c3a6f7b08826efa1a765f5b00ba03 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Matrix Multiplication/mult_bool_matrix_dyn_4_5.aag | 6830776902db2d96a79c5901413d59ce | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Matrix Multiplication/mult_bool_matrix_dyn_5_3.aag | 459f96605416c0184fdce457de70ba39 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Matrix Multiplication/mult_bool_matrix_dyn_5_8.aag | c1a5262f344c7d5d54b27c5cf92f9a48 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Matrix Multiplication/mult_bool_matrix_dyn_5_2.aag | 7712a4a4dc374bbe2a02f0d5891f752e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Matrix Multiplication/mult_bool_matrix_dyn_6_2.aag | b243f12d7f6a40ad7fcbcfcae76b7f5d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/Genbuf (LTL2AIG)/gb_s2_r4_comp2_REAL.aag | 2f231f7c8c24fceeeb53b2019a8af66f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/driver_a7n.aag | 3fb25b1326943e69666a205c30b27e16 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/driver_b7y.aag | 95c03d47b13984c90485db752a5c5774 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/driver_c8y.aag | 8da104a60a4c9afaf8012a1264ec30be | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/HWMCC/6s12_c0to7.aag | 360497fcef4d721625c7a9c81a005dea | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/HWMCC/6s196_c0to7.aag | bb58d57297de17a36c2a5fd97ace3266 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/HWMCC/6s5_c0to7.aag | 554a5fb10399c3ca184b4785e3ca8a02 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/HWMCC/beemkrebs3f1_c0to3.aag | e62c8c108e8d21ec0a398563ce1aa253 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/HWMCC/beempgsol5b1_c0to3.aag | cfb4e2cc38a268328919a21a78faf8a2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/HWMCC/bob12s07_c0to1.aag | 804ca7ca148cefc9cb0b2759720dca7b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/HWMCC/beembrdg2f1_c0to1.aag | 3b415657de51ad8225321de34f21e9c9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/HWMCC/beemrether6b1_c0to1.aag | 4435c6c2e2c5fad16705b4d83626dc13 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/HWMCC/bob12s01_c0to1.aag | 8e325f9ebe70723f603025dedb4d894a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/HWMCC/beemlifts8b1_c0to3.aag | aaee3f8c8c200660af753d2a2720aac6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/AMBA/amba12b6n.aag | 1d7ce262128aba0eaf65b7a217f910fb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/AMBA/amba14b24y.aag | f9e4285df00749bfecbf826cd61b9970 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/AMBA/amba16b8unrealy.aag | 3aaf13cc75422b02eed5dfe1ca25662f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/AMBA/amba10c6n.aag | 83ea07a1cb238582b37fc8ef4841abe3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/AMBA/amba14c4unrealn.aag | ceb91fa35b93bddd1190708fac0eb2d7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/AMBA/amba16c40y.aag | dff13d4aac0affd13d2671830c9aa0b1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/AMBA/amba8c24y.aag | 0051f71f7766f9f4716b427a829299eb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | 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/AMBA/amba10f48y.aag | 1f589c1871c3e08ee70221b95ac5b717 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |