Detail page for hwmcc family


	Submitter:	Leander Tentrup

	Suite:	Tentrup

	Domain:	Miscellanea

	Description:

	Number of instances:	124

	Results:	2019 - Track 1 2019 - Track 2 2018 - Track 1 2018 - Track 2 2018 - Track 3 2017 - Track 1 2017 - Track 2 2017 - Track 3

	Instances:	6s215rb0_c0to15.sat 6s215rb0_c0to15.unsat 6s215rb0_c0to7.sat 6s215rb0_c0to7.unsat 6s216rb0_c0to15.sat 6s216rb0_c0to15.unsat 6s216rb0_c0to31.sat 6s216rb0_c0to31.unsat 6s216rb0_c0to7.sat 6s216rb0_c0to7.unsat 6s289rb05233_c0to127.sat 6s289rb05233_c0to127.unsat 6s289rb05233_c0to255.sat 6s289rb05233_c0to255.unsat 6s289rb05233_c0to511.sat 6s289rb05233_c0to511.unsat 6s289rb05233_c0to63.sat 6s289rb05233_c0to63.unsat 6s318r_c0to15.sat 6s318r_c0to15.unsat 6s318r_c0to31.sat 6s318r_c0to31.unsat 6s335rb09_c0to31.sat 6s335rb09_c0to31.unsat 6s389b02_c0to0.sat 6s389b02_c0to0.unsat 6s389b02_c0to15.sat 6s389b02_c0to15.unsat 6s389b02_c0to31.sat 6s389b02_c0to31.unsat 6s389b02_c0to7.sat 6s389b02_c0to7.unsat beemldelec4b1_c0to0.sat beemldelec4b1_c0to0.unsat beemldelec4b1_c0to127.sat beemldelec4b1_c0to127.unsat beemldelec4b1_c0to15.sat beemldelec4b1_c0to15.unsat beemldelec4b1_c0to255.sat beemldelec4b1_c0to255.unsat beemldelec4b1_c0to31.sat beemldelec4b1_c0to31.unsat beemldelec4b1_c0to511.sat beemldelec4b1_c0to511.unsat beemldelec4b1_c0to63.sat beemldelec4b1_c0to63.unsat beemldelec4b1_c0to7.sat beemldelec4b1_c0to7.unsat beemskbn1f1_c0to0.sat beemskbn1f1_c0to0.unsat beemskbn1f1_c0to7.sat beemskbn1f1_c0to7.unsat oski2ub1i_c0to0.sat oski2ub1i_c0to0.unsat oski2ub1i_c0to7.sat oski2ub1i_c0to7.unsat oski2ub3i_c0to0.sat oski2ub3i_c0to0.unsat oski2ub3i_c0to7.sat oski2ub3i_c0to7.unsat oski2ub4i_c0to0.sat oski2ub4i_c0to0.unsat oski2ub4i_c0to7.sat oski2ub4i_c0to7.unsat oski2ub5i_c0to0.sat oski2ub5i_c0to0.unsat oski2ub5i_c0to7.sat oski2ub5i_c0to7.unsat oski3ub1i_c0to127.sat oski3ub1i_c0to127.unsat oski3ub1i_c0to15.sat oski3ub1i_c0to15.unsat oski3ub1i_c0to255.sat oski3ub1i_c0to255.unsat oski3ub1i_c0to31.sat oski3ub1i_c0to31.unsat oski3ub1i_c0to511.sat oski3ub1i_c0to511.unsat oski3ub1i_c0to63.sat oski3ub1i_c0to63.unsat oski3ub1i_c0to7.sat oski3ub1i_c0to7.unsat oski3ub3i_c0to127.sat oski3ub3i_c0to127.unsat oski3ub3i_c0to15.sat oski3ub3i_c0to15.unsat oski3ub3i_c0to255.sat oski3ub3i_c0to255.unsat oski3ub3i_c0to31.sat oski3ub3i_c0to31.unsat oski3ub3i_c0to511.sat oski3ub3i_c0to511.unsat oski3ub3i_c0to63.sat oski3ub3i_c0to63.unsat oski3ub3i_c0to7.sat oski3ub3i_c0to7.unsat oski3ub4i_c0to127.sat oski3ub4i_c0to127.unsat oski3ub4i_c0to15.sat oski3ub4i_c0to15.unsat oski3ub4i_c0to255.sat oski3ub4i_c0to255.unsat oski3ub4i_c0to31.sat oski3ub4i_c0to31.unsat oski3ub4i_c0to511.sat oski3ub4i_c0to511.unsat oski3ub4i_c0to63.sat oski3ub4i_c0to63.unsat oski3ub4i_c0to7.sat oski3ub4i_c0to7.unsat oski3ub5i_c0to127.sat oski3ub5i_c0to127.unsat oski3ub5i_c0to15.sat oski3ub5i_c0to15.unsat oski3ub5i_c0to255.sat oski3ub5i_c0to255.unsat oski3ub5i_c0to31.sat oski3ub5i_c0to31.unsat oski3ub5i_c0to511.sat oski3ub5i_c0to511.unsat oski3ub5i_c0to63.sat oski3ub5i_c0to63.unsat oski3ub5i_c0to7.sat oski3ub5i_c0to7.unsat

The Quantified Boolean Formulas Satisfiability Library

Detail page for hwmcc family