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 (6.1 MB)
Download table data as CSV
Download all instances as tarball (6.1 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 |
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
SYNTCOMP2016 - With Reference Size/interface-with-overflows-k8-liveness.ref.aag | dfe31758b26ad149935abeb65ca840fb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/interface-with-overflows-k9-liveness.ref.aag | 62e09db1ff2783e029913f93097973ad | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/load_3c_comp_comp7_REAL.ref.aag | 8230e477733722a8ee9edd69aaae30b6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/load_4c_comp_comp1_UNREAL.ref.aag | 3088c7e126d21cc05aaaa6c28ca89515 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/load_4c_comp_comp5_REAL.ref.aag | 9eeb717322f1c28bee70dc2a1dc65d3f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/load_4c_comp_comp7_REAL.ref.aag | b3c7cdc472ad53612a9f1f26d9f0999f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/load_5c_comp_comp3_UNREAL.ref.aag | 02b2936b8a0046c4da7bf43554c8c5e9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/load_5c_comp_comp4_REAL.ref.aag | f105d1c8dc6e0efa6350cda8e8a63fe9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/load_full_3_comp1_UNREAL.ref.aag | d20fa9e7d845378fd6621aca6932e086 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/load_full_3_comp2_REAL.ref.aag | 5e676eb8dd12d75104f348d6da187a0e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/load_full_3_comp3_REAL.ref.aag | 752ad3718c719647b5d5b98769433ebb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/load_full_4_comp1_REAL.ref.aag | 996312bdbc438b2c53ee098bee6f03b7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_128x128_59glitches.ref.aag | c370b027e0ca42cd4c76a815a8231683 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_16x16_3glitches.ref.aag | 448f110aeefb0266f18a1a48493d3a16 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_16x16_4glitches.ref.aag | 9eed630a71ec5d5072734a7cfa91de82 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_24x24_7glitches.ref.aag | 9dff04ecd8f64f287a89bfa706ffa0db | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_24x24_8glitches.ref.aag | 446d2ccabcee9e86e19644e697171d0e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_32x32_11glitches.ref.aag | e6f5365108951006ba5b4a01249fad21 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_32x32_12glitches.ref.aag | f8edcb486a9846b186da0d3861010dde | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_48x48_19glitches.ref.aag | ee24d92a86090df742ab96fb50c1ccaf | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_48x48_20glitches.ref.aag | 68c9a7e2630d76da8484f1e09e4b33ea | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_64x64_27glitches.ref.aag | 7f8c89d119f9671e6ee379dd2557c219 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_64x64_28glitches.ref.aag | 991e79465d094fb602a4e8fcf2355fcc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_8x8_0glitches.ref.aag | 8ca23f329a4dbca889ceb06875167ba0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_8x8_1glitches.ref.aag | 2fcbb1c973dddeb253c1e695e49959b9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_96x96_43glitches.ref.aag | 765c8acde0137a274669d8e8368e5251 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/moving_obstacle_96x96_44glitches.ref.aag | 35774596ebbc4bdf5047177165b04b0d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mult10.ref.aag | 0ad879a0f67dc205f473ec159e57295d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mult12.ref.aag | 0817763338f25dc7f10872a680cd49b0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mult8.ref.aag | e9cfe34ad6582d812b8cdf24a5afcbe5 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_4_4_3.ref.aag | d59a61d26f03a5c447b44347ec57c635 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_4_4_5.ref.aag | bb5b5b028014ff95d12036fc6b3bbd20 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_5_4_4.ref.aag | 3c5795197ac9289348eec3f8224f540d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_5_5_4.ref.aag | 87c8ca4c0e15d2987a29813a07e12ece | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_6_6_6.ref.aag | 26fb37b7175e83abedee9e268ec7cfbb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_dyn_4_4.ref.aag | 30b3078c2fa19ad3c37beae425ce0041 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mult_bool_matrix_dyn_5_5.ref.aag | c98e3f5293ace6766d7d95e97c1d0462 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mv12y.ref.aag | 0453adcf6f3dd9e37587ef68c30391ef | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mv16n.ref.aag | 5c5ffb7370702933b8e63e94dae2a319 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mv20y.ref.aag | 71cc413d66378f2d260511a9cb7f709c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mvs24n.ref.aag | 5c74899f2bc43b86ea3f22786dc20c4c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/mvs28y.ref.aag | d19535c640ca5657376570cdc9db088b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/stay12y.ref.aag | 46d7af01400fe1ee3c964d29aaf1db01 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/stay14n.ref.aag | efed6b73f6bcd6c04956d7b6dc792436 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/stay16y.ref.aag | 8d8a02e3ae795f45015d1f7fe646d6df | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/stay18y.ref.aag | fe183f1af2622de051e0b1ec7e9dc315 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/stay20n.ref.aag | 7c4a9128e3e2e35b2af493f5f72eae77 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/very_good_bakery2.sym.ref.aag | e8c145a819becbffa54af4d4ec35da7e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/demo-v12_5_REAL.aag | acac029b0ac57e5f241a936b003a373c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/demo-v14_5_REAL.aag | 0dbda46c47b46238aa662c94d36307b0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/demo-v16_5_REAL.aag | 746bb1defcf4b111886003437d815810 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/demo-v19_5_REAL.aag | 894f97b881bad7811d187f7b9136d621 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/demo-v1_5_UNREAL.aag | b60cf55baec516de7ffa2cd9877c25d2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/demo-v20_5_REAL.aag | 3b3b9d2a07e22260d29bcf798dffe5c1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/demo-v23_5_REAL.aag | 1e068f984b1dd294914cce23d24f1f31 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/demo-v24_5_REAL.aag | d385f840a15e7f2f60c9eb1d49a81639 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/demo-v2_5_UNREAL.aag | 5b6b359efe2eab310ba5cb19a4f1ebe0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/demo-v4_2_UNREAL.aag | deb204c6ae13761ca333c5cff7338919 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Class_of_8/gb_s2_r4_comp1_UNREAL.aag | 022984b4a069419e75af8b52d4bc01ab | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/load_2c_comp_comp7_REAL.aag | 400d2965e7be7b241f01cce0fc4407f7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/load_4c_comp_comp6_REAL.aag | adb80f4d95a38b4ad10603ebffdc26f0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/load_5c_comp_comp5_REAL.aag | eaceb615796f8dd32d3a08593adf4132 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/load_full_2_comp7_REAL.aag | aaebf894d07b86933ff11cefec642636 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/load_full_3_comp4_REAL.aag | 5ca7f52de31fa078e626e6f801d5fc5a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/load_full_4_comp2_REAL.aag | 9be9d48c2a2dda8e354889c32bb5f145 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba12f120y.aag | 83cd440f7055d715c33eeac504a69646 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba12f44unrealn.aag | bd17db48e8982ae01d17c75c2ca9c89a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba12f90n.aag | d578414a27565785cecd96c88ed15a45 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba14f120n.aag | c7feb7b759a13e10fdaf745403326762 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba14f52unrealn.aag | d557ba610a52f0b686b3b2850282b177 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba14f90y.aag | 5f93d436179c18eccad52cbdd369a057 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba16f105y.aag | 4fe392f30156078af6ff3c77c96325ba | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba12b4unrealn.aag | 5c76cda9e81c29eaef7e83042f921736 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba14b6y.aag | bd33f7da2af1fed0c301e90dc1287301 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba16b40n.aag | f647b55f8e51784430123c3a19878e92 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba6b24y.aag | f8331533c9596aec944bc860ba6df0a2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba10c50n.aag | a68f91eb27899125974e58cfa5a1f319 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba14c40n.aag | 61822af98540e0c35c68428dcefca442 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba14c6y.aag | 9e6b57cf357ca08848410be779a9890a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/amba16c6unrealn.aag | 77467b7e69d57701e51a80ab5ed8c5c4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/cycle_sched_12_6_4.aag | 617d35e509b15ff8748c27abc476b64d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/cycle_sched_12_7_3.aag | ba6b1f2b7697b8b28ba4df1131ca7c21 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/cycle_sched_4_2_2.aag | d17b0d2a0878f7686ad4682ee6215ae7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/cycle_sched_6_6_2.aag | 43c46199ff803a1aa4fed8645dc7ec16 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/cycle_sched_6_7_3.aag | 8a23034faa50f3c11ee1bd35538ff666 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/cycle_sched_8_5_4.aag | d00328967c8c07324732167540a00d8e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/cycle_sched_8_7_1.aag | 1743c66e4d7d958ba6773407d9ec458f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_a4y.aag | 1c16b240826105b3102b96ffa942ddd9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_a6y.aag | 4894b1e97a4294deff4704760e42f8fc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_a8y.aag | e6f297fe9bfd4af1af729656fdc97961 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_b5n.aag | e358868db99fc3d66d2b0f477867f122 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_b6n.aag | ad1071599dd19a6dc80a553dca6398c4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_b6y.aag | 128e1e407e1a00e319421ff895f6d619 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_b8n.aag | 18faf3516d222876d34859e2ee0b4638 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_c10y.aag | 5786921c1fb76b23cb147c639e4f3265 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_c6n.aag | b252ed73a1e4ad161c5a242a305aeb6e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_c8y.aag | 059480525a1c53ab5a9fb0db9e795432 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_d10n.aag | 595b9f2bde0b34bde31b105f5b640054 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/driver_d6n.aag | 9272a963dfb61e6e1bf7943f2d119a9e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf12b10y.aag | e331509e1a4f92339657368ad73d20c7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf12f40n.aag | acd3041504578bf876e5a2c3ec0df052 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf16b16n.aag | 685438b04bc21b2e3751a297b8937140 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf16c40y.aag | bbcb2682c7b0f8834a9d217a33457eed | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf24b40y.aag | fb59c80fe31fcb9c1c2d9d8c4c2ef5c4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf24f23unrealy.aag | 033c1084f013708b41349765e76fabff | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf32b3unrealn.aag | 0c2d8a7adc2b08dd331a83f89879cd99 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf32c40y.aag | b5805b63aedc6ee28646fc7ec8dfe41f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf48b30n.aag | 7fc90f454eadafa341e8e0041d1708d7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf48f47unrealy.aag | 1f529bc9063b5c66e618a2f63928ef07 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf56b16n.aag | a1a72fa4b54ec12ccbe91034ed792ff8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf56c40n.aag | 82a0ac30b1bd4f345b083d38b9048f6c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf64b8n.aag | 8c9abe67c8870722b5d0cb12bf70b34c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf64c6y.aag | f55e08762720c3247eb349f524d7851c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/genbuf64f100y.aag | 16fb71163837b5a4ceb96d3a2cff26f1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_dyn_3_5.aag | 27cbcb1f41d555c06f34045809ebe4f8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_dyn_6_5.aag | 8abeef81b06cb824ccfb02370149007e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_dyn_6_7.aag | 19c8df4ffa4562aa4f1b50687de10b2b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_4_4_4.aag | b3f359ca17faa565e82c7ee75ec0c8e9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_5_4_3.aag | 7f2795ba44894054ea6bb17382019c8a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_5_4_5.aag | c1faeee413bda1f7e0b74a369dda3dca | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_5_5_2.aag | 36f0063e106dbd6a628f5040d787e87a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_5_5_3.aag | 10cfed988906346a8a984755eecbb36d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/Some_changes_of_16/mult_bool_matrix_6_6_8.aag | bfcb1abf8fb54f29c6e9765205116325 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/beemadd4b1_c0to1.aag | 3f32802ca4fe4e1f728e2ea425a7b6e2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/beembrptwo4b1_c0to1.aag | 82884ed1a67826b68150c092fc61ce32 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/beemfrogs1b1_c0to1.aag | 4ab7353ac049956cb4bed5ee4ac20950 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/beemgear2f1_c0to1.aag | 49d14947084af674024ed94783bacdab | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/beemhanoi1b1_c0to1.aag | 502c3525ee463c78ef7dc13c593a0b93 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/beemskbn2f1_c0to1.aag | 3588f88adfd75a5c77a83ea0c32c1fdf | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/beemextnc3b1_c0to3.aag | 4079d107a7e2bb98fdc78939ae54e307 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/beemfrogs1b1_c0to3.aag | 7c4811e2ea523545b38e43f857b1db8d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/beemtrngt5f1_c0to3.aag | d628c685bbf25c1fe521da39f32b9e40 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/6s191_c0to7.aag | 61880bc60c6c9725bf2b372be75cc6f6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/beemandrsn7f1_c0to7.aag | 2d71f695d6ec74b6af91c2b487343006 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/beemskbn2f1_c0to7.aag | cb65425a1fc3fae3470efa7826d4731f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/bob12s04_c0to7.aag | 47c33e83dcae41ab1aaad375fbf023fa | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/ltl2dpa_C26_comp2_REAL.aag | db3d6424a75bb839c172ef6c4a935713 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/ltl2dpa_C26_comp3_REAL.aag | 8410e03e0b6dc56c53b7fb2dad0d9587 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/ltl2dba_E6_comp2_REAL.aag | c4bacb68adc46f7d5173b67e001b6b3e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/ltl2dba_Q4_comp2_REAL.aag | 501f51bdc30d3099c1fa8ffd5511f83f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/ltl2dba_Q4_comp5_REAL.aag | deff37220bfc299267e8d1e59a8a43ef | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/ltl2dba_R4_comp2_UNREAL.aag | 7f65413df329015fcfe58bae0870327c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/ltl2dba_U1-4_comp5_REAL.aag | 6c0e88e9c522ea87ad17cc37ed2b20a7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/ltl2dba_alpha5_comp2_UNREAL.aag | ae340cf6bdcde31add0ced1c0b84d4cc | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/ltl2dba_beta5_comp2_UNREAL.aag | 3b4b04a6e113e0314f62471864ad3393 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/ltl2dba_theta6_comp5_UNREAL.aag | 5bbde19521e846e2f9803b096a35a768 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016/New_of_16/ltl2dba_theta8_comp4_UNREAL.aag | a99723cc1ec8f305b9fc2b4ed5792876 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/add192n.ref.aag | a71c12da2ed7b64c69cf3db10857ffa6 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/add20n.ref.aag | c96c358ad928acbc7350d12fdb689757 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/add256y.ref.aag | 5943ed12e52b6866869217436677a490 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/add64y.ref.aag | 700c4b7fbba3f580849f057991fc60ce | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/add96n.ref.aag | 66aa71e096513378b730c462f99d25c4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/amba2match4.ref.aag | 09545d2fa534ae48f41f0dc7137612ce | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/amba2match5.ref.aag | 34edf1ed56e473331d86d63b8cd77ecb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/amba4match5.ref.aag | 6be8aa4826a87dc87cceb0a50ebe5ace | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/amba5match5.ref.aag | 3464a4d7c9bffe8746a488e4e121b478 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/amba6match5.ref.aag | 479395ed64e52ff88ce978763d685d2e | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/amba7match5.ref.aag | 6d27b574c9cd1afbe78952827bffb80a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/atom_bakery_sym.ref.aag | 189bff038ab8ecf2a805566829037a01 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/bakery_nondet_sym.ref.aag | a7ff64a19378ea2aaf5b8df4014d0bb7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/bakery_sym1.ref.aag | 375ae8df247ffe14be60c46851070b67 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/bs1024n.ref.aag | 3ca65833ed4715d1a208b4d253874d02 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/bs1024y.ref.aag | ccb2d65c2e382b90c93f8b7f193cf2bb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/bs2048n.ref.aag | 910e7fc1c9caa4987cd50c73c62ffdac | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/bs2048y.ref.aag | c72747241bfbb1d0c5dd8dcd7bbfa34d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/bs512n.ref.aag | 60c90c9025f31729f0350d3aea2bbc76 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cnt10n.ref.aag | 3ed622af309ffaec209fba5646f4b954 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cnt15y.ref.aag | 68bad2208b9b5ee2faa9f85fe7bb62ec | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cnt20n.ref.aag | 90c0666df2994c7896b3e19e5136af8a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cnt25y.ref.aag | 889857bb1b84a3a3aec19a7522608935 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cnt30n.ref.aag | bca4459861fae7ac8a643482cb0aa83a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cycle_sched_12_3_2.ref.aag | db4f7e623d21693c676f1a3aed8ffa78 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cycle_sched_12_4_4.ref.aag | 640e49f98e8ca8e1bbf931f2af20d1de | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cycle_sched_16_7_1.ref.aag | 821d275ebf0310f3b8ef215efff0aade | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cycle_sched_2_10_1.ref.aag | cad5310609d876a60dcfc42a61d8ab64 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cycle_sched_4_6_1.ref.aag | a46d04c6e24e41f286d13e69342e4672 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cycle_sched_6_3_2.ref.aag | c76c4a66e1d8c8b1df6b42bfba76f261 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cycle_sched_6_5_3.ref.aag | e0917073084157a4cd0fd14f1c04d51b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/cycle_sched_6_8_3.ref.aag | 7000be9a8ae084f0f89ccecacc31e71b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/demo-v10_5_REAL.ref.aag | aedda2e8892c113cde43b54add05e92a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/demo-v11_5_UNREAL.ref.aag | ee8001b45e96b0d532bffa4d6c1e2bd4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/demo-v18_5_REAL.ref.aag | bf8ded5dc1f0efbd48241fdbf3ab954a | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/demo-v22_5_REAL.ref.aag | 92b2a1847dd9b848b728dc2565ba4616 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/demo-v25_5_UNREAL.ref.aag | 0b9971791dc0c7538d21bd4795e86416 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/demo-v6_2_UNREAL.ref.aag | 2022d92f1901c655a173d2a57dd58d4f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/driver_a7n.ref.aag | 8a82b8540c16044f4eb0a510275db572 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/driver_b4y.ref.aag | ea87f21fd4990bef2a3f8942e033b460 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/driver_b7y.ref.aag | 4a4774f08be6880230a74814325f35c2 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/driver_c4n.ref.aag | 4be20b461d4889776bb079da9654a295 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_3x3_1_1errors.ref.aag | 300521c2b5947007cf63418f4d559fee | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_4x3_1_1errors.ref.aag | 3274a35336f3002b27c649e4e5ca7e03 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_5x3_1_0errors.ref.aag | 4c5d7c8e092ab61e23fae28e48304a52 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_5x3_1_4errors.ref.aag | a830b64e9598b7ce07fe58191a3ad841 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_5x3_1_5errors.ref.aag | dc1aab99a231590404fcc3dbd5f7df64 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_5x4_1_0errors.ref.aag | 22eb193eae9ba6e13bdbe45940634eb4 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_5x5_2_0errors.ref.aag | 1e39c490d94ba205593ddc169599cdf1 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_5x5_2_10errors.ref.aag | 1139928e03e7d66789e027623297596b | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_5x5_2_11errors.ref.aag | 07b0960c73babdc94ba570e0ff77075d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_5x5_2_1errors.ref.aag | b03e50d83d85054d2580f31169e33fb9 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_5x6_2_0errors.ref.aag | 111f324d08a0e40dae0793eb02bf7b7d | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_7x3_1_0errors.ref.aag | 7650b527832fec22ed1ddda6a5985e32 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/factory_assembly_7x5_2_0errors.ref.aag | 61e79516e12e04ab02f55cb3a6f046aa | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/gb_s2_r2_comp1_UNREAL.ref.aag | 286143a1fa120384465ce007db9460a7 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/gb_s2_r2_comp2_UNREAL.ref.aag | 36369a24ea16b7fae93ee9028205d6d0 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/gb_s2_r2_comp3_REAL.ref.aag | 6b54e776f0ab195754d7edd339b94bd3 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/gb_s2_r2_comp4_REAL.ref.aag | 0606c57978870338a72b4efa4202e603 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/gb_s2_r3_comp1_UNREAL.ref.aag | f9e85f5e6de4415394eef5afd96e5abe | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/gb_s2_r3_comp2_UNREAL.ref.aag | 55e8fd2a16166a139951df24d2b7a723 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/halfadder_match.ref.aag | f512e37a84099b6776ec143b9de2e575 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/halfadder_shiftedmatch.ref.aag | e5d34574bc5dad03322b90d6271b6132 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/interface-with-overflows-k10-liveness.ref.aag | 2dd499e2dcf61dd592b219ad3dff08d8 | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/interface-with-overflows-k16-liveness.ref.aag | 8de4ed9b4a97c6119ef1f93d777a734f | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/interface-with-overflows-k5-liveness.ref.aag | cdb56bf06b369efe700e0165b568663c | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/good_bakery.wuntil.ref.aag | 658ee66fa1b8bac5f138661093281dab | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |
SYNTCOMP2016 - With Reference Size/good_bakery.false.ref.aag | 94a358b0534f03b2cff3839f72b8e5eb | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | None | Results |