Index of /~mptp/7.13.01_4.181.1147/mptp/problems_thf_from/goboard4
Name
Last modified
Size
Description
Parent Directory
-
goboard4__e3_1
2017-01-12 23:26
62K
goboard4__e6_1_1_5_1_2_1_1_2_22_1_2_1_1_2_17_1_1
2017-01-12 23:26
50K
goboard4__e7_1_1_5_1_2_1_1_2_22_1_2_1_1_2_17_1_2
2017-01-12 23:26
53K
goboard4__e8_1_1_5_1_2_1_1_2_22_1_1
2017-01-12 23:26
53K
goboard4__e13_1_1
2017-01-12 23:26
51K
goboard4__e13_1_1_5_1_2_1_1_2
2017-01-12 23:26
50K
goboard4__e13_1_1_5_1_2_1_1_2_22_1_2_1_1_2
2017-01-12 23:26
51K
goboard4__e15_1_1_5_1_2_1_1_2_22_1_1
2017-01-12 23:26
48K
goboard4__e18_1_1_5_1_2_1_1_2
2017-01-12 23:26
49K
goboard4__e18_1_1_5_1_2_1_1_2_22_1_2_1_1_2
2017-01-12 23:26
51K
goboard4__e30_1_1_5_1_2_1_1_2_22_1_2_1_1_2
2017-01-12 23:26
47K
goboard4__e32_1_1_5_1_2_1_1_2
2017-01-12 23:26
49K
goboard4__e36_1_1
2017-01-12 23:26
54K
goboard4__e39_1_1
2017-01-12 23:26
56K
goboard4__e40_1_1_5_1_2_1_1_2_22_1_2_1_1_2
2017-01-12 23:26
49K
goboard4__e43_1_1_5_1_2_1_1_2_22_1_2_1_1_2
2017-01-12 23:26
52K
goboard4__e48_1_1
2017-01-12 23:26
52K
goboard4__e58_1_1_5_1_2_1_1_2_22_1_2_1_1_2
2017-01-12 23:26
52K
goboard4__e65_1_1
2017-01-12 23:26
47K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80