Preliminary phase | |
---|---|
Easy and medium instances from QBFEVAL 2005 | Download |
Competition phase | |
Fixed class instances from QBFEVAL 2005 | Download |
Fixed class instances submitted for QBFEVAL 2006 | Download |
Probabilistic class instances from QBFEVAL 2005 | Download |
Probabilistic class instances submitted for QBFEVAL 2006 | Download |