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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]goboard2__t1_goboard22025-09-11 23:46 70K 
[ ]goboard2__t2_goboard22025-09-11 23:48 285K 
[ ]goboard2__t3_goboard22025-09-11 23:50 105K 
[ ]goboard2__t4_goboard22025-09-11 23:52 198K 
[ ]goboard2__t5_goboard22025-09-11 23:54 98K 
[ ]goboard2__t6_goboard22025-09-11 23:56 85K 
[ ]goboard2__t7_goboard22025-09-11 23:58 78K 
[ ]goboard2__t8_goboard22025-09-12 00:00 108K 
[ ]goboard2__t9_goboard22025-09-12 00:02 57K 
[ ]goboard2__t10_goboard22025-09-12 00:04 57K 
[ ]goboard2__t11_goboard22025-09-12 00:06 79K 
[ ]goboard2__t12_goboard22025-09-12 00:12 247K 
[ ]goboard2__t13_goboard22025-09-12 00:14 70K 
[ ]goboard2__t14_goboard22025-09-12 00:16 78K 
[ ]goboard2__t15_goboard22025-09-12 00:19 202K 
[ ]goboard2__t16_goboard22025-09-12 00:21 89K 
[ ]goboard2__t17_goboard22025-09-12 00:24 202K 
[ ]goboard2__t18_goboard22025-09-12 00:26 89K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80