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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]grsolv_1__t1_grsolv_12025-09-12 23:11 33K 
[ ]grsolv_1__t2_grsolv_12025-09-12 23:12 41K 
[ ]grsolv_1__t3_grsolv_12025-09-12 23:14 64K 
[ ]grsolv_1__t4_grsolv_12025-09-12 23:16 64K 
[ ]grsolv_1__t5_grsolv_12025-09-12 23:18 62K 
[ ]grsolv_1__t6_grsolv_12025-09-12 23:19 43K 
[ ]grsolv_1__t7_grsolv_12025-09-12 23:21 52K 
[ ]grsolv_1__t8_grsolv_12025-09-12 23:22 37K 
[ ]grsolv_1__t9_grsolv_12025-09-12 23:23 38K 
[ ]grsolv_1__t10_grsolv_12025-09-12 23:09 37K 
[ ]grsolv_1__t11_grsolv_12025-09-12 23:25 49K 
[ ]grsolv_1__t12_grsolv_12025-09-12 23:26 39K 
[ ]grsolv_1__t13_grsolv_12025-09-12 23:27 51K 
[ ]grsolv_1__t14_grsolv_12025-09-12 23:29 34K 
[ ]grsolv_1__t15_grsolv_12025-09-12 23:30 54K 
[ ]grsolv_1__t16_grsolv_12025-09-12 23:33 86K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80