The Quantified Boolean Formulas Satisfiability Library
Home
Instances
Solvers
QBF Evaluations
Detail page for hwmcc family
Download (0 Kb)
Submitter:
Leander Tentrup
Suite:
Tentrup
Domain:
Miscellanea
Description:
Number of instances:
124
Results:
2020 - Track 1
2020 - Track 3
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
Contact
|
Organization
|
Links
|
Citing QBFLIB