並べ替え
#レベルタイトル解決ユーザー平均試行ランダム
#タイトル解決ユーザー平均試行
Not ratable
3560
Kripke Model
0
0.00
24
1.92
1
2.00
32
1.88
0
0.00
3
6.00
269
1.99
103
1.50
9
1.44
30
1.90
23
1.78
1