上傳編號 10692
上傳時間 2020-05-07 10:49:49
題目 SAT-hard
使用者 105062801
總得分 0, in 730 ms
# State Runtime Memory
0 0 364544
1 0 520192
2 80 2060288
3 540 4141056
4 0 651264
5 10 782336
6 100 1925120