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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]rlaffin3__l1_rlaffin32025-09-12 13:31 88K 
[   ]rlaffin3__l4_rlaffin32025-09-12 13:33 78K 
[   ]rlaffin3__l10_rlaffin32025-09-12 13:36 111K 
[   ]rlaffin3__l15_rlaffin32025-09-12 13:38 52K 
[   ]rlaffin3__l30_rlaffin32025-09-12 12:01 34K 
[   ]rlaffin3__l32_rlaffin32025-09-12 13:40 127K 
[   ]rlaffin3__l33_rlaffin32025-09-12 13:45 235K 
[   ]rlaffin3__l34_rlaffin32025-09-12 13:50 293K 
[   ]rlaffin3__l44_rlaffin32025-09-12 13:54 153K 
[   ]rlaffin3__t1_rlaffin32025-09-12 12:02 94K 
[   ]rlaffin3__t2_rlaffin32025-09-12 12:04 111K 
[   ]rlaffin3__t3_rlaffin32025-09-12 12:06 68K 
[   ]rlaffin3__t4_rlaffin32025-09-12 12:08 94K 
[   ]rlaffin3__t5_rlaffin32025-09-12 12:10 120K 
[   ]rlaffin3__t6_rlaffin32025-09-12 12:13 110K 
[   ]rlaffin3__t7_rlaffin32025-09-12 12:16 183K 
[   ]rlaffin3__t8_rlaffin32025-09-12 12:20 168K 
[   ]rlaffin3__t9_rlaffin32025-09-12 12:22 78K 
[   ]rlaffin3__t10_rlaffin32025-09-12 12:24 66K 
[   ]rlaffin3__t11_rlaffin32025-09-12 12:26 99K 
[   ]rlaffin3__t12_rlaffin32025-09-12 12:28 93K 
[   ]rlaffin3__t13_rlaffin32025-09-12 12:31 83K 
[   ]rlaffin3__t14_rlaffin32025-09-12 12:33 99K 
[   ]rlaffin3__t15_rlaffin32025-09-12 12:36 117K 
[   ]rlaffin3__t16_rlaffin32025-09-12 12:38 86K 
[   ]rlaffin3__t17_rlaffin32025-09-12 12:40 119K 
[   ]rlaffin3__t18_rlaffin32025-09-12 12:43 122K 
[   ]rlaffin3__t19_rlaffin32025-09-12 12:46 134K 
[   ]rlaffin3__t20_rlaffin32025-09-12 12:48 106K 
[   ]rlaffin3__t21_rlaffin32025-09-12 12:51 165K 
[   ]rlaffin3__t22_rlaffin32025-09-12 12:54 135K 
[   ]rlaffin3__t23_rlaffin32025-09-12 12:57 200K 
[   ]rlaffin3__t24_rlaffin32025-09-12 13:02 229K 
[   ]rlaffin3__t25_rlaffin32025-09-12 13:05 188K 
[   ]rlaffin3__t26_rlaffin32025-09-12 13:08 154K 
[   ]rlaffin3__t27_rlaffin32025-09-12 13:11 163K 
[   ]rlaffin3__t28_rlaffin32025-09-12 13:14 132K 
[   ]rlaffin3__t29_rlaffin32025-09-12 13:16 85K 
[   ]rlaffin3__t30_rlaffin32025-09-12 13:19 83K 
[   ]rlaffin3__t31_rlaffin32025-09-12 13:22 194K 
[   ]rlaffin3__t32_rlaffin32025-09-12 13:25 131K 
[   ]rlaffin3__t33_rlaffin32025-09-12 13:28 171K 

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