Index of /~mptp/7.13.01_4.181.1147/MPTP2/problems_thf_tl.bad_dt_f/euclid_9

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid_9__l30_euclid_92017-01-05 20:54 99K 
[ ]euclid_9__t1_euclid_92017-01-05 20:54 57K 
[ ]euclid_9__t2_euclid_92017-01-05 20:54 66K 
[ ]euclid_9__t3_euclid_92016-03-08 13:05 67K 
[ ]euclid_9__t4_euclid_92017-01-05 20:54 131K 
[ ]euclid_9__t5_euclid_92017-01-05 20:54 150K 
[ ]euclid_9__t6_euclid_92017-01-05 20:54 95K 
[ ]euclid_9__t7_euclid_92017-01-05 20:54 83K 
[ ]euclid_9__t8_euclid_92017-01-05 20:54 185K 
[ ]euclid_9__t9_euclid_92017-01-05 20:54 224K 
[ ]euclid_9__t10_euclid_92017-01-05 20:54 131K 
[ ]euclid_9__t11_euclid_92017-01-05 20:54 103K 
[ ]euclid_9__t12_euclid_92017-01-05 20:54 79K 
[ ]euclid_9__t13_euclid_92017-01-05 20:54 99K 
[ ]euclid_9__t14_euclid_92017-01-05 20:54 182K 
[ ]euclid_9__t15_euclid_92017-01-05 20:54 214K 
[ ]euclid_9__t16_euclid_92017-01-05 20:54 181K 
[ ]euclid_9__t17_euclid_92017-01-05 20:54 107K 
[ ]euclid_9__t18_euclid_92017-01-05 20:54 100K 
[ ]euclid_9__t19_euclid_92017-01-05 20:54 116K 
[ ]euclid_9__t20_euclid_92017-01-05 20:54 166K 
[ ]euclid_9__t21_euclid_92017-01-05 20:54 180K 
[ ]euclid_9__t22_euclid_92017-01-05 20:54 149K 
[ ]euclid_9__t23_euclid_92017-01-05 20:54 93K 
[ ]euclid_9__t24_euclid_92017-01-05 20:54 82K 
[ ]euclid_9__t25_euclid_92017-01-05 20:54 97K 
[ ]euclid_9__t26_euclid_92017-01-05 20:54 148K 
[ ]euclid_9__t27_euclid_92017-01-05 20:54 177K 
[ ]euclid_9__t28_euclid_92017-01-05 20:54 97K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80