Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/e_trans2
Name
Last modified
Size
Description
Parent Directory
-
e_trans2__l1_e_trans2
2025-09-12 07:49
157K
e_trans2__l2_e_trans2
2025-09-12 07:52
146K
e_trans2__l3_e_trans2
2025-09-12 07:55
149K
e_trans2__l4_e_trans2
2025-09-12 07:58
150K
e_trans2__l5_e_trans2
2025-09-12 08:01
146K
e_trans2__l7_e_trans2
2025-09-12 08:05
176K
e_trans2__l8_e_trans2
2025-09-12 08:07
114K
e_trans2__l9_e_trans2
2025-09-12 08:08
96K
e_trans2__l14_e_trans2
2025-09-12 08:12
160K
e_trans2__l17_e_trans2
2025-09-12 08:15
112K
e_trans2__l18_e_trans2
2025-09-12 08:18
171K
e_trans2__l19_e_trans2
2025-09-12 08:21
144K
e_trans2__l20_e_trans2
2025-09-12 08:24
180K
e_trans2__l31_e_trans2
2025-09-12 08:28
170K
e_trans2__l34_e_trans2
2025-09-12 08:32
256K
e_trans2__l36_e_trans2
2025-09-12 08:35
203K
e_trans2__l37_e_trans2
2025-09-12 08:39
173K
e_trans2__l38_e_trans2
2025-09-12 08:43
203K
e_trans2__l40_e_trans2
2025-09-12 08:47
241K
e_trans2__l49_e_trans2
2025-09-12 08:50
118K
e_trans2__l61_e_trans2
2025-09-12 08:54
241K
e_trans2__l64_e_trans2
2025-09-12 08:57
148K
e_trans2__l69_e_trans2
2025-09-12 09:01
242K
e_trans2__l70_e_trans2
2025-09-12 09:05
204K
e_trans2__l71_e_trans2
2025-09-12 09:09
260K
e_trans2__l72_e_trans2
2025-09-12 09:13
264K
e_trans2__l73_e_trans2
2025-09-12 09:18
269K
e_trans2__l74_e_trans2
2025-09-12 09:22
276K
e_trans2__l75_e_trans2
2025-09-12 09:26
276K
e_trans2__l79_e_trans2
2025-09-12 09:29
132K
e_trans2__t1_e_trans2
2025-09-12 05:19
206K
e_trans2__t2_e_trans2
2025-09-12 05:22
160K
e_trans2__t3_e_trans2
2025-09-12 05:25
151K
e_trans2__t4_e_trans2
2025-09-12 05:28
168K
e_trans2__t5_e_trans2
2025-09-12 05:31
188K
e_trans2__t6_e_trans2
2025-09-12 05:35
186K
e_trans2__t7_e_trans2
2025-09-12 05:38
199K
e_trans2__t8_e_trans2
2025-09-12 05:41
170K
e_trans2__t9_e_trans2
2025-09-12 05:45
216K
e_trans2__t10_e_trans2
2025-09-12 05:48
242K
e_trans2__t11_e_trans2
2025-09-12 05:52
216K
e_trans2__t12_e_trans2
2025-09-12 05:55
206K
e_trans2__t13_e_trans2
2025-09-12 05:59
204K
e_trans2__t14_e_trans2
2025-09-12 06:02
171K
e_trans2__t15_e_trans2
2025-09-12 06:05
194K
e_trans2__t16_e_trans2
2025-09-12 06:09
258K
e_trans2__t17_e_trans2
2025-09-12 06:13
253K
e_trans2__t18_e_trans2
2025-09-12 06:17
441K
e_trans2__t19_e_trans2
2025-09-12 06:20
194K
e_trans2__t20_e_trans2
2025-09-12 06:24
446K
e_trans2__t21_e_trans2
2025-09-12 06:28
443K
e_trans2__t22_e_trans2
2025-09-12 06:31
189K
e_trans2__t23_e_trans2
2025-09-12 06:35
432K
e_trans2__t24_e_trans2
2025-09-12 06:38
204K
e_trans2__t25_e_trans2
2025-09-12 06:42
256K
e_trans2__t26_e_trans2
2025-09-12 06:46
228K
e_trans2__t27_e_trans2
2025-09-12 06:50
298K
e_trans2__t28_e_trans2
2025-09-12 06:53
143K
e_trans2__t29_e_trans2
2025-09-12 06:57
234K
e_trans2__t30_e_trans2
2025-09-12 07:02
527K
e_trans2__t31_e_trans2
2025-09-12 07:06
329K
e_trans2__t32_e_trans2
2025-09-12 07:10
238K
e_trans2__t33_e_trans2
2025-09-12 07:14
242K
e_trans2__t34_e_trans2
2025-09-12 07:18
386K
e_trans2__t35_e_trans2
2025-09-12 07:22
243K
e_trans2__t36_e_trans2
2025-09-12 07:26
260K
e_trans2__t37_e_trans2
2025-09-12 07:29
209K
e_trans2__t38_e_trans2
2025-09-12 07:31
74K
e_trans2__t39_e_trans2
2025-09-12 07:34
171K
e_trans2__t40_e_trans2
2025-09-12 07:36
117K
e_trans2__t41_e_trans2
2025-09-12 07:41
380K
e_trans2__t42_e_trans2
2025-09-12 07:46
651K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80