Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/vsdiff_1
Name
Last modified
Size
Description
Parent Directory
-
vsdiff_1__t1_vsdiff_1
2025-09-13 14:58
38K
vsdiff_1__t2_vsdiff_1
2025-09-13 14:59
56K
vsdiff_1__t3_vsdiff_1
2025-09-13 15:01
50K
vsdiff_1__t4_vsdiff_1
2025-09-13 15:03
49K
vsdiff_1__t5_vsdiff_1
2025-09-13 15:04
56K
vsdiff_1__t6_vsdiff_1
2025-09-13 15:06
60K
vsdiff_1__t7_vsdiff_1
2025-09-13 15:08
69K
vsdiff_1__t8_vsdiff_1
2025-09-13 15:10
69K
vsdiff_1__t9_vsdiff_1
2025-09-13 15:12
71K
vsdiff_1__t10_vsdiff_1
2025-09-13 15:14
69K
vsdiff_1__t11_vsdiff_1
2025-09-13 15:16
56K
vsdiff_1__t12_vsdiff_1
2025-09-13 15:18
65K
vsdiff_1__t13_vsdiff_1
2025-09-13 15:19
50K
vsdiff_1__t14_vsdiff_1
2025-09-13 15:21
68K
vsdiff_1__t15_vsdiff_1
2025-09-13 15:23
68K
vsdiff_1__t16_vsdiff_1
2025-09-13 15:25
71K
vsdiff_1__t17_vsdiff_1
2025-09-13 15:27
69K
vsdiff_1__t18_vsdiff_1
2025-09-13 15:29
54K
vsdiff_1__t19_vsdiff_1
2025-09-13 15:31
65K
vsdiff_1__t20_vsdiff_1
2025-09-13 15:33
54K
vsdiff_1__t21_vsdiff_1
2025-09-13 15:35
72K
vsdiff_1__t22_vsdiff_1
2025-09-13 15:37
72K
vsdiff_1__t23_vsdiff_1
2025-09-13 15:39
75K
vsdiff_1__t24_vsdiff_1
2025-09-13 15:41
73K
vsdiff_1__t25_vsdiff_1
2025-09-13 15:43
54K
vsdiff_1__t26_vsdiff_1
2025-09-13 15:45
70K
vsdiff_1__t27_vsdiff_1
2025-09-13 15:47
80K
vsdiff_1__t28_vsdiff_1
2025-09-13 15:49
97K
vsdiff_1__t29_vsdiff_1
2025-09-13 15:51
95K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80