GitHub - gaperez64/bench-syntcomp14: Benchmarks used for the synthesis competition since 2014

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
add10n.aag		add10n.aag
add10y.aag		add10y.aag
add12n.aag		add12n.aag
add12y.aag		add12y.aag
add14n.aag		add14n.aag
add14y.aag		add14y.aag
add16n.aag		add16n.aag
add16y.aag		add16y.aag
add18n.aag		add18n.aag
add18y.aag		add18y.aag
add20n.aag		add20n.aag
add20y.aag		add20y.aag
add2n.aag		add2n.aag
add2y.aag		add2y.aag
add4n.aag		add4n.aag
add4y.aag		add4y.aag
add6n.aag		add6n.aag
add6y.aag		add6y.aag
add8n.aag		add8n.aag
add8y.aag		add8y.aag
amba10b4unrealn.aag		amba10b4unrealn.aag
amba10b4unrealy.aag		amba10b4unrealy.aag
amba10b5n.aag		amba10b5n.aag
amba10b5y.aag		amba10b5y.aag
amba10c4unrealn.aag		amba10c4unrealn.aag
amba10c4unrealy.aag		amba10c4unrealy.aag
amba10c5n.aag		amba10c5n.aag
amba10c5y.aag		amba10c5y.aag
amba10f36unrealn.aag		amba10f36unrealn.aag
amba10f36unrealy.aag		amba10f36unrealy.aag
amba10f37n.aag		amba10f37n.aag
amba10f37y.aag		amba10f37y.aag
amba2b8unrealn.aag		amba2b8unrealn.aag
amba2b8unrealy.aag		amba2b8unrealy.aag
amba2b9n.aag		amba2b9n.aag
amba2b9y.aag		amba2b9y.aag
amba2c6unrealn.aag		amba2c6unrealn.aag
amba2c6unrealy.aag		amba2c6unrealy.aag
amba2c7n.aag		amba2c7n.aag
amba2c7y.aag		amba2c7y.aag
amba2f8unrealn.aag		amba2f8unrealn.aag
amba2f8unrealy.aag		amba2f8unrealy.aag
amba2f9n.aag		amba2f9n.aag
amba2f9y.aag		amba2f9y.aag
amba3b4unrealn.aag		amba3b4unrealn.aag
amba3b4unrealy.aag		amba3b4unrealy.aag
amba3b5n.aag		amba3b5n.aag
amba3b5y.aag		amba3b5y.aag
amba3c4unrealn.aag		amba3c4unrealn.aag
amba3c4unrealy.aag		amba3c4unrealy.aag
amba3c5n.aag		amba3c5n.aag
amba3c5y.aag		amba3c5y.aag
amba3f8unrealn.aag		amba3f8unrealn.aag
amba3f8unrealy.aag		amba3f8unrealy.aag
amba3f9n.aag		amba3f9n.aag
amba3f9y.aag		amba3f9y.aag
amba4b8unrealn.aag		amba4b8unrealn.aag
amba4b8unrealy.aag		amba4b8unrealy.aag
amba4b9n.aag		amba4b9n.aag
amba4b9y.aag		amba4b9y.aag
amba4c6unrealn.aag		amba4c6unrealn.aag
amba4c6unrealy.aag		amba4c6unrealy.aag
amba4c7n.aag		amba4c7n.aag
amba4c7y.aag		amba4c7y.aag
amba4f24unrealn.aag		amba4f24unrealn.aag
amba4f24unrealy.aag		amba4f24unrealy.aag
amba4f25n.aag		amba4f25n.aag
amba4f25y.aag		amba4f25y.aag
amba5b4unrealn.aag		amba5b4unrealn.aag
amba5b4unrealy.aag		amba5b4unrealy.aag
amba5b5n.aag		amba5b5n.aag
amba5b5y.aag		amba5b5y.aag
amba5c4unrealn.aag		amba5c4unrealn.aag
amba5c4unrealy.aag		amba5c4unrealy.aag
amba5c5n.aag		amba5c5n.aag
amba5c5y.aag		amba5c5y.aag
amba5f16unrealn.aag		amba5f16unrealn.aag
amba5f16unrealy.aag		amba5f16unrealy.aag
amba5f17n.aag		amba5f17n.aag
amba5f17y.aag		amba5f17y.aag
amba6b4unrealn.aag		amba6b4unrealn.aag
amba6b4unrealy.aag		amba6b4unrealy.aag
amba6b5n.aag		amba6b5n.aag
amba6b5y.aag		amba6b5y.aag
amba6c4unrealn.aag		amba6c4unrealn.aag
amba6c4unrealy.aag		amba6c4unrealy.aag
amba6c5n.aag		amba6c5n.aag
amba6c5y.aag		amba6c5y.aag
amba6f20unrealn.aag		amba6f20unrealn.aag
amba6f20unrealy.aag		amba6f20unrealy.aag
amba6f21n.aag		amba6f21n.aag
amba6f21y.aag		amba6f21y.aag
amba7b4unrealn.aag		amba7b4unrealn.aag
amba7b4unrealy.aag		amba7b4unrealy.aag
amba7b5n.aag		amba7b5n.aag
amba7b5y.aag		amba7b5y.aag
amba7c4unrealn.aag		amba7c4unrealn.aag
amba7c4unrealy.aag		amba7c4unrealy.aag
amba7c5n.aag		amba7c5n.aag
amba7c5y.aag		amba7c5y.aag