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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_9__l30_euclid_92021-07-19 04:26 109K 
[ ]euclid_9__t1_euclid_92021-07-19 04:01 67K 
[ ]euclid_9__t2_euclid_92021-07-19 04:03 74K 
[ ]euclid_9__t3_euclid_92021-07-19 04:04 66K 
[ ]euclid_9__t4_euclid_92021-07-19 04:04 170K 
[ ]euclid_9__t5_euclid_92021-07-19 04:05 155K 
[ ]euclid_9__t6_euclid_92021-07-19 04:06 100K 
[ ]euclid_9__t7_euclid_92021-07-19 04:02 91K 
[ ]euclid_9__t8_euclid_92021-07-19 04:07 192K 
[ ]euclid_9__t9_euclid_92021-07-19 04:08 225K 
[ ]euclid_9__t10_euclid_92021-07-19 04:09 139K 
[ ]euclid_9__t11_euclid_92021-07-19 04:10 110K 
[ ]euclid_9__t12_euclid_92021-07-19 04:02 87K 
[ ]euclid_9__t13_euclid_92021-07-19 04:11 107K 
[ ]euclid_9__t14_euclid_92021-07-19 04:12 183K 
[ ]euclid_9__t15_euclid_92021-07-19 04:13 221K 
[ ]euclid_9__t16_euclid_92021-07-19 04:14 189K 
[ ]euclid_9__t17_euclid_92021-07-19 04:14 113K 
[ ]euclid_9__t18_euclid_92021-07-19 04:15 107K 
[ ]euclid_9__t19_euclid_92021-07-19 04:16 123K 
[ ]euclid_9__t20_euclid_92021-07-19 04:17 174K 
[ ]euclid_9__t21_euclid_92021-07-19 04:18 187K 
[ ]euclid_9__t22_euclid_92021-07-19 04:19 156K 
[ ]euclid_9__t23_euclid_92021-07-19 04:20 100K 
[ ]euclid_9__t24_euclid_92021-07-19 04:21 90K 
[ ]euclid_9__t25_euclid_92021-07-19 04:22 104K 
[ ]euclid_9__t26_euclid_92021-07-19 04:23 157K 
[ ]euclid_9__t27_euclid_92021-07-19 04:24 184K 
[ ]euclid_9__t28_euclid_92021-07-19 04:25 103K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80