Satiability
23.13%
123,271
6,784 hours
722
76
2
89,860
Satiability
192
20.81%
263,743
88,497
88,497
548
131
23
0
6,784 hours
702
71
2
85,622
Satiabilityyy
17.11%
9,346
1,025
20
5
4,238