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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid11__l3_euclid112021-07-19 02:54 89K 
[ ]euclid11__l6_euclid112021-07-19 02:54 32K 
[ ]euclid11__l7_euclid112021-07-19 02:55 32K 
[ ]euclid11__l8_euclid112021-07-19 02:55 580K 
[ ]euclid11__l14_euclid112021-07-19 02:55 152K 
[ ]euclid11__t1_euclid112021-07-19 02:41 24K 
[ ]euclid11__t2_euclid112021-07-19 02:41 30K 
[ ]euclid11__t3_euclid112021-07-19 02:42 35K 
[ ]euclid11__t4_euclid112021-07-19 02:42 52K 
[ ]euclid11__t5_euclid112021-07-19 02:43 71K 
[ ]euclid11__t6_euclid112021-07-19 02:44 28K 
[ ]euclid11__t7_euclid112021-07-19 02:44 28K 
[ ]euclid11__t8_euclid112021-07-19 02:45 35K 
[ ]euclid11__t9_euclid112021-07-19 02:45 420K 
[ ]euclid11__t10_euclid112021-07-19 02:46 150K 
[ ]euclid11__t11_euclid112021-07-19 02:46 150K 
[ ]euclid11__t12_euclid112021-07-19 02:47 1.4M 
[ ]euclid11__t13_euclid112021-07-19 02:48 711K 
[ ]euclid11__t14_euclid112021-07-19 02:48 1.1M 
[ ]euclid11__t15_euclid112021-07-19 02:49 262K 
[ ]euclid11__t16_euclid112021-07-19 02:49 543K 
[ ]euclid11__t17_euclid112021-07-19 02:50 1.6M 
[ ]euclid11__t18_euclid112021-07-19 02:51 270K 
[ ]euclid11__t19_euclid112021-07-19 02:51 270K 
[ ]euclid11__t20_euclid112021-07-19 02:52 267K 
[ ]euclid11__t21_euclid112021-07-19 02:52 716K 
[ ]euclid11__t22_euclid112021-07-19 02:53 709K 
[ ]euclid11__t23_euclid112021-07-19 02:54 266K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80