Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/goboard1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]goboard1__t1_goboard12025-09-12 15:39 171K 
[   ]goboard1__t3_goboard12025-09-12 15:41 72K 
[   ]goboard1__t4_goboard12025-09-12 15:43 72K 
[   ]goboard1__t5_goboard12025-09-12 15:46 68K 
[   ]goboard1__t12_goboard12025-09-12 15:20 61K 
[   ]goboard1__t13_goboard12025-09-12 15:21 77K 
[   ]goboard1__t14_goboard12025-09-12 15:23 77K 
[   ]goboard1__t15_goboard12025-09-12 15:25 75K 
[   ]goboard1__t16_goboard12025-09-12 15:27 75K 
[   ]goboard1__t17_goboard12025-09-12 15:29 77K 
[   ]goboard1__t18_goboard12025-09-12 15:31 75K 
[   ]goboard1__t19_goboard12025-09-12 15:33 76K 
[   ]goboard1__t20_goboard12025-09-12 15:35 75K 
[   ]goboard1__t21_goboard12025-09-12 15:37 71K 
[   ]goboard1__t22_goboard12025-09-12 15:47 66K 
[   ]goboard1__t23_goboard12025-09-12 15:49 83K 
[   ]goboard1__t24_goboard12025-09-12 15:52 158K 
[   ]goboard1__t25_goboard12025-09-12 15:54 171K 
[   ]goboard1__t26_goboard12025-09-12 15:56 74K 
[   ]goboard1__t27_goboard12025-09-12 15:59 84K 
[   ]goboard1__t28_goboard12025-09-12 16:01 95K 
[   ]goboard1__t29_goboard12025-09-12 16:04 112K 
[   ]goboard1__t30_goboard12025-09-12 16:06 74K 
[   ]goboard1__t31_goboard12025-09-12 16:08 85K 
[   ]goboard1__t32_goboard12025-09-12 16:11 96K 
[   ]goboard1__t33_goboard12025-09-12 16:13 113K 
[   ]goboard1__t34_goboard12025-09-12 16:16 94K 
[   ]goboard1__t35_goboard12025-09-12 16:18 129K 
[   ]goboard1__t36_goboard12025-09-12 16:22 206K 
[   ]goboard1__t37_goboard12025-09-12 16:24 160K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80