From: BioGraphE: high-performance bionetwork analysis using the Biological Graph Environment
Nodes | Edges | K | Vars | Clauses | α |
---|---|---|---|---|---|
148 | 6,186 | 3 | 444 | 70,089 | 157.86 |
248 | 11,529 | 3 | 744 | 224,325 | 301.51 |
533 | 52,055 | 3 | 1,599 | 1,038,501 | 649.47 |
781 | 63,939 | 3 | 2,343 | 2,449,329 | 1,045.38 |
1,270 | 196,121 | 3 | 3,810 | 6,303,957 | 1,654.58 |
3,741 | 217,350 | 3 | 11,223 | 61,979,313 | 5,522.53 |