Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/e_trans1
Name
Last modified
Size
Description
Parent Directory
-
e_trans1__l1_e_trans1
2025-09-12 00:16
117K
e_trans1__l3_e_trans1
2025-09-12 00:17
116K
e_trans1__l4_e_trans1
2025-09-12 00:19
129K
e_trans1__l5_e_trans1
2025-09-12 00:21
131K
e_trans1__l6_e_trans1
2025-09-12 00:23
151K
e_trans1__l7_e_trans1
2025-09-12 00:25
98K
e_trans1__l8_e_trans1
2025-09-12 00:27
110K
e_trans1__l9_e_trans1
2025-09-12 00:29
95K
e_trans1__l11_e_trans1
2025-09-12 00:31
171K
e_trans1__l17_e_trans1
2025-09-12 00:33
78K
e_trans1__l21_e_trans1
2025-09-12 00:36
171K
e_trans1__l24_e_trans1
2025-09-12 00:39
170K
e_trans1__l34_e_trans1
2025-09-12 00:42
150K
e_trans1__l41_e_trans1
2025-09-12 00:45
148K
e_trans1__l46_e_trans1
2025-09-12 00:48
203K
e_trans1__l52_e_trans1
2025-09-12 00:51
220K
e_trans1__l55_e_trans1
2025-09-12 00:54
205K
e_trans1__l56_e_trans1
2025-09-12 00:57
267K
e_trans1__l57_e_trans1
2025-09-12 01:01
353K
e_trans1__l59_e_trans1
2025-09-12 01:05
428K
e_trans1__l60_e_trans1
2025-09-12 01:08
347K
e_trans1__l62_e_trans1
2025-09-12 01:12
223K
e_trans1__l64_e_trans1
2025-09-12 01:15
186K
e_trans1__l65_e_trans1
2025-09-12 01:18
187K
e_trans1__l67_e_trans1
2025-09-12 01:21
207K
e_trans1__l69_e_trans1
2025-09-12 01:25
247K
e_trans1__l70_e_trans1
2025-09-12 01:28
300K
e_trans1__l71_e_trans1
2025-09-12 01:32
262K
e_trans1__l75_e_trans1
2025-09-12 01:35
202K
e_trans1__l77_e_trans1
2025-09-12 01:39
242K
e_trans1__t1_e_trans1
2025-09-11 22:16
137K
e_trans1__t2_e_trans1
2025-09-11 22:20
234K
e_trans1__t3_e_trans1
2025-09-11 22:23
197K
e_trans1__t4_e_trans1
2025-09-11 22:26
139K
e_trans1__t5_e_trans1
2025-09-11 22:27
104K
e_trans1__t6_e_trans1
2025-09-11 22:31
250K
e_trans1__t7_e_trans1
2025-09-11 22:34
131K
e_trans1__t8_e_trans1
2025-09-11 22:37
183K
e_trans1__t9_e_trans1
2025-09-11 22:40
173K
e_trans1__t10_e_trans1
2025-09-11 22:43
199K
e_trans1__t11_e_trans1
2025-09-11 22:46
212K
e_trans1__t12_e_trans1
2025-09-11 22:50
246K
e_trans1__t13_e_trans1
2025-09-11 22:53
303K
e_trans1__t14_e_trans1
2025-09-11 22:56
360K
e_trans1__t15_e_trans1
2025-09-11 22:59
129K
e_trans1__t16_e_trans1
2025-09-11 23:02
172K
e_trans1__t17_e_trans1
2025-09-11 23:05
297K
e_trans1__t18_e_trans1
2025-09-11 23:08
151K
e_trans1__t19_e_trans1
2025-09-11 23:11
240K
e_trans1__t20_e_trans1
2025-09-11 23:15
207K
e_trans1__t21_e_trans1
2025-09-11 23:18
233K
e_trans1__t22_e_trans1
2025-09-11 23:21
209K
e_trans1__t23_e_trans1
2025-09-11 23:25
226K
e_trans1__t24_e_trans1
2025-09-11 23:28
223K
e_trans1__t25_e_trans1
2025-09-11 23:31
272K
e_trans1__t26_e_trans1
2025-09-11 23:35
273K
e_trans1__t27_e_trans1
2025-09-11 23:38
224K
e_trans1__t28_e_trans1
2025-09-11 23:41
173K
e_trans1__t29_e_trans1
2025-09-11 23:44
242K
e_trans1__t30_e_trans1
2025-09-11 23:47
173K
e_trans1__t31_e_trans1
2025-09-11 23:51
256K
e_trans1__t32_e_trans1
2025-09-11 23:54
245K
e_trans1__t33_e_trans1
2025-09-11 23:58
218K
e_trans1__t34_e_trans1
2025-09-12 00:01
256K
e_trans1__t35_e_trans1
2025-09-12 00:04
161K
e_trans1__t36_e_trans1
2025-09-12 00:07
217K
e_trans1__t37_e_trans1
2025-09-12 00:11
235K
e_trans1__t38_e_trans1
2025-09-12 00:14
173K
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80