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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]urysohn3__l1_urysohn32025-09-12 22:51 65K 
[ ]urysohn3__t1_urysohn32025-09-12 22:17 68K 
[ ]urysohn3__t2_urysohn32025-09-12 22:18 69K 
[ ]urysohn3__t3_urysohn32025-09-12 22:20 49K 
[ ]urysohn3__t4_urysohn32025-09-12 22:22 183K 
[ ]urysohn3__t5_urysohn32025-09-12 22:23 108K 
[ ]urysohn3__t6_urysohn32025-09-12 22:24 37K 
[ ]urysohn3__t7_urysohn32025-09-12 22:25 49K 
[ ]urysohn3__t8_urysohn32025-09-12 22:27 62K 
[ ]urysohn3__t9_urysohn32025-09-12 22:29 70K 
[ ]urysohn3__t10_urysohn32025-09-12 22:31 66K 
[ ]urysohn3__t11_urysohn32025-09-12 22:33 88K 
[ ]urysohn3__t12_urysohn32025-09-12 22:35 82K 
[ ]urysohn3__t13_urysohn32025-09-12 22:13 52K 
[ ]urysohn3__t14_urysohn32025-09-12 22:36 55K 
[ ]urysohn3__t15_urysohn32025-09-12 22:38 75K 
[ ]urysohn3__t16_urysohn32025-09-12 22:41 91K 
[ ]urysohn3__t17_urysohn32025-09-12 22:43 69K 
[ ]urysohn3__t18_urysohn32025-09-12 22:46 135K 
[ ]urysohn3__t19_urysohn32025-09-12 22:47 59K 
[ ]urysohn3__t20_urysohn32025-09-12 22:49 62K 
[ ]urysohn3__t21_urysohn32025-09-12 22:15 59K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80