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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]nat_5__l1_nat_52025-09-12 17:00 64K 
[   ]nat_5__l7_nat_52025-09-12 17:02 67K 
[   ]nat_5__l8_nat_52025-09-12 17:03 63K 
[   ]nat_5__l25_nat_52025-09-12 17:05 61K 
[   ]nat_5__l26_nat_52025-09-12 17:07 127K 
[   ]nat_5__l27_nat_52025-09-12 17:09 335K 
[   ]nat_5__l28_nat_52025-09-12 17:11 139K 
[   ]nat_5__l29_nat_52025-09-12 17:13 119K 
[   ]nat_5__l30_nat_52025-09-12 17:15 193K 
[   ]nat_5__l31_nat_52025-09-12 17:17 154K 
[   ]nat_5__l38_nat_52025-09-12 17:20 194K 
[   ]nat_5__t1_nat_52025-09-12 15:47 108K 
[   ]nat_5__t2_nat_52025-09-12 15:48 85K 
[   ]nat_5__t3_nat_52025-09-12 15:50 81K 
[   ]nat_5__t4_nat_52025-09-12 15:44 57K 
[   ]nat_5__t5_nat_52025-09-12 15:52 57K 
[   ]nat_5__t6_nat_52025-09-12 15:53 80K 
[   ]nat_5__t7_nat_52025-09-12 15:55 110K 
[   ]nat_5__t8_nat_52025-09-12 15:57 110K 
[   ]nat_5__t9_nat_52025-09-12 15:59 82K 
[   ]nat_5__t10_nat_52025-09-12 16:01 145K 
[   ]nat_5__t11_nat_52025-09-12 16:04 144K 
[   ]nat_5__t12_nat_52025-09-12 16:05 88K 
[   ]nat_5__t13_nat_52025-09-12 16:07 68K 
[   ]nat_5__t14_nat_52025-09-12 16:08 67K 
[   ]nat_5__t15_nat_52025-09-12 16:10 82K 
[   ]nat_5__t16_nat_52025-09-12 16:12 110K 
[   ]nat_5__t17_nat_52025-09-12 16:14 74K 
[   ]nat_5__t18_nat_52025-09-12 16:15 66K 
[   ]nat_5__t19_nat_52025-09-12 16:17 66K 
[   ]nat_5__t20_nat_52025-09-12 16:19 85K 
[   ]nat_5__t21_nat_52025-09-12 15:45 51K 
[   ]nat_5__t22_nat_52025-09-12 16:21 317K 
[   ]nat_5__t23_nat_52025-09-12 16:23 173K 
[   ]nat_5__t24_nat_52025-09-12 16:25 123K 
[   ]nat_5__t25_nat_52025-09-12 16:27 108K 
[   ]nat_5__t26_nat_52025-09-12 16:29 99K 
[   ]nat_5__t27_nat_52025-09-12 16:31 115K 
[   ]nat_5__t28_nat_52025-09-12 16:33 156K 
[   ]nat_5__t29_nat_52025-09-12 16:36 124K 
[   ]nat_5__t30_nat_52025-09-12 16:38 162K 
[   ]nat_5__t31_nat_52025-09-12 16:40 151K 
[   ]nat_5__t32_nat_52025-09-12 16:42 153K 
[   ]nat_5__t33_nat_52025-09-12 16:44 73K 
[   ]nat_5__t34_nat_52025-09-12 16:47 146K 
[   ]nat_5__t35_nat_52025-09-12 16:48 78K 
[   ]nat_5__t36_nat_52025-09-12 16:50 89K 
[   ]nat_5__t37_nat_52025-09-12 16:51 75K 
[   ]nat_5__t38_nat_52025-09-12 16:53 526K 
[   ]nat_5__t39_nat_52025-09-12 16:55 289K 
[   ]nat_5__t40_nat_52025-09-12 16:58 173K 

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