Suite Tacchella

Download(37070 Kb)
Submitter: Armando Tacchella
Description: Random QBF instances generated according model A and model B.
Number of families: 356
Families:
Results: