Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/real_ns2
Name
Last modified
Size
Description
Parent Directory
-
real_ns2__l2_real_ns2
2025-09-13 10:24
132K
real_ns2__l6_real_ns2
2025-09-13 10:27
132K
real_ns2__t1_real_ns2
2025-09-13 07:19
126K
real_ns2__t2_real_ns2
2025-09-13 07:22
106K
real_ns2__t3_real_ns2
2025-09-13 07:24
100K
real_ns2__t4_real_ns2
2025-09-13 07:26
78K
real_ns2__t5_real_ns2
2025-09-13 07:29
96K
real_ns2__t6_real_ns2
2025-09-13 07:31
79K
real_ns2__t7_real_ns2
2025-09-13 07:33
90K
real_ns2__t8_real_ns2
2025-09-13 07:35
86K
real_ns2__t9_real_ns2
2025-09-13 07:38
88K
real_ns2__t10_real_ns2
2025-09-13 07:40
93K
real_ns2__t11_real_ns2
2025-09-13 07:42
83K
real_ns2__t12_real_ns2
2025-09-13 07:45
100K
real_ns2__t13_real_ns2
2025-09-13 06:49
81K
real_ns2__t14_real_ns2
2025-09-13 07:48
103K
real_ns2__t15_real_ns2
2025-09-13 06:51
76K
real_ns2__t16_real_ns2
2025-09-13 06:53
89K
real_ns2__t17_real_ns2
2025-09-13 06:55
79K
real_ns2__t18_real_ns2
2025-09-13 07:50
76K
real_ns2__t19_real_ns2
2025-09-13 07:52
95K
real_ns2__t20_real_ns2
2025-09-13 07:55
106K
real_ns2__t21_real_ns2
2025-09-13 07:58
105K
real_ns2__t22_real_ns2
2025-09-13 08:01
101K
real_ns2__t23_real_ns2
2025-09-13 08:03
93K
real_ns2__t24_real_ns2
2025-09-13 08:06
103K
real_ns2__t25_real_ns2
2025-09-13 08:08
81K
real_ns2__t26_real_ns2
2025-09-13 08:10
91K
real_ns2__t27_real_ns2
2025-09-13 08:13
106K
real_ns2__t28_real_ns2
2025-09-13 08:15
86K
real_ns2__t29_real_ns2
2025-09-13 08:17
98K
real_ns2__t30_real_ns2
2025-09-13 08:19
93K
real_ns2__t31_real_ns2
2025-09-13 08:22
104K
real_ns2__t32_real_ns2
2025-09-13 08:25
107K
real_ns2__t33_real_ns2
2025-09-13 08:27
84K
real_ns2__t34_real_ns2
2025-09-13 08:29
85K
real_ns2__t35_real_ns2
2025-09-13 08:31
101K
real_ns2__t36_real_ns2
2025-09-13 08:34
133K
real_ns2__t37_real_ns2
2025-09-13 08:37
106K
real_ns2__t38_real_ns2
2025-09-13 08:39
99K
real_ns2__t39_real_ns2
2025-09-13 08:42
90K
real_ns2__t40_real_ns2
2025-09-13 08:44
93K
real_ns2__t41_real_ns2
2025-09-13 08:46
99K
real_ns2__t42_real_ns2
2025-09-13 08:49
97K
real_ns2__t43_real_ns2
2025-09-13 08:51
80K
real_ns2__t44_real_ns2
2025-09-13 08:53
101K
real_ns2__t45_real_ns2
2025-09-13 08:55
88K
real_ns2__t46_real_ns2
2025-09-13 08:58
112K
real_ns2__t47_real_ns2
2025-09-13 09:01
98K
real_ns2__t48_real_ns2
2025-09-13 09:03
96K
real_ns2__t49_real_ns2
2025-09-13 09:05
82K
real_ns2__t50_real_ns2
2025-09-13 09:08
117K
real_ns2__t51_real_ns2
2025-09-13 09:10
106K
real_ns2__t52_real_ns2
2025-09-13 09:13
104K
real_ns2__t53_real_ns2
2025-09-13 09:15
98K
real_ns2__t54_real_ns2
2025-09-13 09:18
128K
real_ns2__t55_real_ns2
2025-09-13 06:58
108K
real_ns2__t56_real_ns2
2025-09-13 07:00
105K
real_ns2__t57_real_ns2
2025-09-13 09:21
110K
real_ns2__t58_real_ns2
2025-09-13 09:24
113K
real_ns2__t59_real_ns2
2025-09-13 09:26
118K
real_ns2__t60_real_ns2
2025-09-13 09:28
97K
real_ns2__t61_real_ns2
2025-09-13 09:31
88K
real_ns2__t62_real_ns2
2025-09-13 09:33
81K
real_ns2__t63_real_ns2
2025-09-13 09:36
160K
real_ns2__t64_real_ns2
2025-09-13 09:38
91K
real_ns2__t65_real_ns2
2025-09-13 09:40
100K
real_ns2__t66_real_ns2
2025-09-13 07:03
85K
real_ns2__t67_real_ns2
2025-09-13 07:05
86K
real_ns2__t68_real_ns2
2025-09-13 07:07
86K
real_ns2__t69_real_ns2
2025-09-13 07:09
82K
real_ns2__t70_real_ns2
2025-09-13 07:12
85K
real_ns2__t71_real_ns2
2025-09-13 07:14
82K
real_ns2__t72_real_ns2
2025-09-13 09:43
91K
real_ns2__t73_real_ns2
2025-09-13 09:45
95K
real_ns2__t74_real_ns2
2025-09-13 09:48
104K
real_ns2__t75_real_ns2
2025-09-13 07:16
87K
real_ns2__t76_real_ns2
2025-09-13 09:50
103K
real_ns2__t77_real_ns2
2025-09-13 09:53
103K
real_ns2__t78_real_ns2
2025-09-13 09:55
97K
real_ns2__t79_real_ns2
2025-09-13 09:58
95K
real_ns2__t80_real_ns2
2025-09-13 10:00
107K
real_ns2__t81_real_ns2
2025-09-13 10:03
90K
real_ns2__t82_real_ns2
2025-09-13 10:05
85K
real_ns2__t83_real_ns2
2025-09-13 10:08
130K
real_ns2__t84_real_ns2
2025-09-13 10:11
97K
real_ns2__t86_real_ns2
2025-09-13 10:13
86K
real_ns2__t87_real_ns2
2025-09-13 10:15
92K
real_ns2__t88_real_ns2
2025-09-13 10:17
78K
real_ns2__t89_real_ns2
2025-09-13 10:20
107K
real_ns2__t90_real_ns2
2025-09-13 10:22
100K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80