Sort
#LevelTitle# SolvedAvg. TriesRandom
#Title# SolvedAvg. Tries
Unrated
16992
3-SATย STANDARD
55
24.35
866
1.63
27
1.63
102
3.94
1,402
2.03
4,684
1.96
871
2.29
2,244
1.79
82
2.20
138
1.70
114
1.54
263
3.43
1,404
2.02
73
2.42
2,862
1.97
1,033
1.96
1,604
3.70
287
4.82
308
2.69
166
1.79
363
1.60
2,534
1.65
2,085
2.13
174
2.90
1,705
2.84
231
1.64
429
1.75
478
2.38
692
2.53
598
2.61
2,850
2.07
458
3.19
3,346
3.46
20,839
2.51
339
3.06
126
3.94
6
1.50
4,650
1.45
2,688
2.28
5,617
3.91
662
1.89
522
1.96
1,806
2.19
56
1.64
1,909
4.00
644
2.37
2,505
1.43
1,531
2.60
1,495
2.39
4,563
1.98
12435424445464748506889132