Index of /~mptp/mml5.63.1382/MPTP2/problems/euclid11

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]euclid11__l3_euclid112023-06-28 16:00 92K 
[ ]euclid11__l6_euclid112023-06-28 16:00 32K 
[ ]euclid11__l7_euclid112023-06-28 16:00 32K 
[ ]euclid11__l8_euclid112023-06-28 16:01 608K 
[ ]euclid11__l14_euclid112023-06-28 16:01 158K 
[ ]euclid11__t1_euclid112023-06-28 15:48 24K 
[ ]euclid11__t2_euclid112023-06-28 15:48 30K 
[ ]euclid11__t3_euclid112023-06-28 15:49 35K 
[ ]euclid11__t4_euclid112023-06-28 15:49 53K 
[ ]euclid11__t5_euclid112023-06-28 15:50 72K 
[ ]euclid11__t6_euclid112023-06-28 15:50 28K 
[ ]euclid11__t7_euclid112023-06-28 15:51 28K 
[ ]euclid11__t8_euclid112023-06-28 15:51 35K 
[ ]euclid11__t9_euclid112023-06-28 15:52 439K 
[ ]euclid11__t10_euclid112023-06-28 15:52 155K 
[ ]euclid11__t11_euclid112023-06-28 15:53 155K 
[ ]euclid11__t12_euclid112023-06-28 15:53 1.4M 
[ ]euclid11__t13_euclid112023-06-28 15:54 744K 
[ ]euclid11__t14_euclid112023-06-28 15:55 1.1M 
[ ]euclid11__t15_euclid112023-06-28 15:55 273K 
[ ]euclid11__t16_euclid112023-06-28 15:56 569K 
[ ]euclid11__t17_euclid112023-06-28 15:56 1.6M 
[ ]euclid11__t18_euclid112023-06-28 15:57 282K 
[ ]euclid11__t19_euclid112023-06-28 15:57 282K 
[ ]euclid11__t20_euclid112023-06-28 15:58 278K 
[ ]euclid11__t21_euclid112023-06-28 15:58 749K 
[ ]euclid11__t22_euclid112023-06-28 15:59 743K 
[ ]euclid11__t23_euclid112023-06-28 15:59 277K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80