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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]vsdiff_1__t1_vsdiff_12025-09-13 14:58 38K 
[   ]vsdiff_1__t2_vsdiff_12025-09-13 14:59 56K 
[   ]vsdiff_1__t3_vsdiff_12025-09-13 15:01 50K 
[   ]vsdiff_1__t4_vsdiff_12025-09-13 15:03 49K 
[   ]vsdiff_1__t5_vsdiff_12025-09-13 15:04 56K 
[   ]vsdiff_1__t6_vsdiff_12025-09-13 15:06 60K 
[   ]vsdiff_1__t7_vsdiff_12025-09-13 15:08 69K 
[   ]vsdiff_1__t8_vsdiff_12025-09-13 15:10 69K 
[   ]vsdiff_1__t9_vsdiff_12025-09-13 15:12 71K 
[   ]vsdiff_1__t10_vsdiff_12025-09-13 15:14 69K 
[   ]vsdiff_1__t11_vsdiff_12025-09-13 15:16 56K 
[   ]vsdiff_1__t12_vsdiff_12025-09-13 15:18 65K 
[   ]vsdiff_1__t13_vsdiff_12025-09-13 15:19 50K 
[   ]vsdiff_1__t14_vsdiff_12025-09-13 15:21 68K 
[   ]vsdiff_1__t15_vsdiff_12025-09-13 15:23 68K 
[   ]vsdiff_1__t16_vsdiff_12025-09-13 15:25 71K 
[   ]vsdiff_1__t17_vsdiff_12025-09-13 15:27 69K 
[   ]vsdiff_1__t18_vsdiff_12025-09-13 15:29 54K 
[   ]vsdiff_1__t19_vsdiff_12025-09-13 15:31 65K 
[   ]vsdiff_1__t20_vsdiff_12025-09-13 15:33 54K 
[   ]vsdiff_1__t21_vsdiff_12025-09-13 15:35 72K 
[   ]vsdiff_1__t22_vsdiff_12025-09-13 15:37 72K 
[   ]vsdiff_1__t23_vsdiff_12025-09-13 15:39 75K 
[   ]vsdiff_1__t24_vsdiff_12025-09-13 15:41 73K 
[   ]vsdiff_1__t25_vsdiff_12025-09-13 15:43 54K 
[   ]vsdiff_1__t26_vsdiff_12025-09-13 15:45 70K 
[   ]vsdiff_1__t27_vsdiff_12025-09-13 15:47 80K 
[   ]vsdiff_1__t28_vsdiff_12025-09-13 15:49 97K 
[   ]vsdiff_1__t29_vsdiff_12025-09-13 15:51 95K 

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