Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/MPTP2/problems_small_thf.orig2021/recdef_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]recdef_1__l1_recdef_12021-07-18 19:21 44K 
[   ]recdef_1__l2_recdef_12021-07-18 19:14 26K 
[   ]recdef_1__s1_recdef_12021-07-18 19:14 88K 
[   ]recdef_1__s2_recdef_12021-07-18 19:15 178K 
[   ]recdef_1__s3_recdef_12021-07-18 19:15 83K 
[   ]recdef_1__s4_recdef_12021-07-18 19:16 92K 
[   ]recdef_1__s5_recdef_12021-07-18 19:16 31K 
[   ]recdef_1__s6_recdef_12021-07-18 19:16 30K 
[   ]recdef_1__s7_recdef_12021-07-18 19:17 68K 
[   ]recdef_1__s8_recdef_12021-07-18 19:17 72K 
[   ]recdef_1__s9_recdef_12021-07-18 19:18 33K 
[   ]recdef_1__s10_recdef_12021-07-18 19:18 32K 
[   ]recdef_1__s11_recdef_12021-07-18 19:18 29K 
[   ]recdef_1__s12_recdef_12021-07-18 19:18 29K 
[   ]recdef_1__s13_recdef_12021-07-18 19:19 40K 
[   ]recdef_1__s14_recdef_12021-07-18 19:19 39K 
[   ]recdef_1__s15_recdef_12021-07-18 19:19 34K 
[   ]recdef_1__s16_recdef_12021-07-18 19:20 33K 
[   ]recdef_1__s17_recdef_12021-07-18 19:20 44K 
[   ]recdef_1__s18_recdef_12021-07-18 19:21 168K 

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