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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]mesfun10__l12_mesfun102025-09-11 19:32 14K 
[   ]mesfun10__l18_mesfun102025-09-11 20:06 161K 
[   ]mesfun10__t1_mesfun102025-09-11 19:33 46K 
[   ]mesfun10__t3_mesfun102025-09-11 19:34 51K 
[   ]mesfun10__t4_mesfun102025-09-11 19:36 46K 
[   ]mesfun10__t5_mesfun102025-09-11 19:37 46K 
[   ]mesfun10__t8_mesfun102025-09-11 19:38 36K 
[   ]mesfun10__t9_mesfun102025-09-11 19:39 36K 
[   ]mesfun10__t10_mesfun102025-09-11 19:42 58K 
[   ]mesfun10__t11_mesfun102025-09-11 19:44 82K 
[   ]mesfun10__t12_mesfun102025-09-11 19:45 55K 
[   ]mesfun10__t13_mesfun102025-09-11 19:47 71K 
[   ]mesfun10__t14_mesfun102025-09-11 19:49 57K 
[   ]mesfun10__t15_mesfun102025-09-11 19:51 62K 
[   ]mesfun10__t16_mesfun102025-09-11 19:53 85K 
[   ]mesfun10__t17_mesfun102025-09-11 19:56 123K 
[   ]mesfun10__t18_mesfun102025-09-11 19:58 102K 
[   ]mesfun10__t19_mesfun102025-09-11 20:00 114K 
[   ]mesfun10__t20_mesfun102025-09-11 20:02 59K 

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