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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fuznorm1__s1_fuznorm12025-09-11 18:18 21K 
[ ]fuznorm1__t1_fuznorm12025-09-11 18:19 18K 
[ ]fuznorm1__t2_fuznorm12025-09-11 18:20 18K 
[ ]fuznorm1__t3_fuznorm12025-09-11 18:21 23K 
[ ]fuznorm1__t4_fuznorm12025-09-11 18:21 53K 
[ ]fuznorm1__t5_fuznorm12025-09-11 18:22 30K 
[ ]fuznorm1__t6_fuznorm12025-09-11 18:23 136K 
[ ]fuznorm1__t7_fuznorm12025-09-11 18:24 29K 
[ ]fuznorm1__t8_fuznorm12025-09-11 18:25 33K 
[ ]fuznorm1__t9_fuznorm12025-09-11 18:26 58K 
[ ]fuznorm1__t10_fuznorm12025-09-11 18:27 21K 
[ ]fuznorm1__t11_fuznorm12025-09-11 18:27 56K 
[ ]fuznorm1__t12_fuznorm12025-09-11 18:28 42K 
[ ]fuznorm1__t13_fuznorm12025-09-11 18:29 38K 
[ ]fuznorm1__t14_fuznorm12025-09-11 18:30 59K 
[ ]fuznorm1__t15_fuznorm12025-09-11 18:31 25K 
[ ]fuznorm1__t16_fuznorm12025-09-11 18:32 24K 
[ ]fuznorm1__t17_fuznorm12025-09-11 18:33 25K 
[ ]fuznorm1__t18_fuznorm12025-09-11 18:34 27K 
[ ]fuznorm1__t19_fuznorm12025-09-11 18:35 27K 
[ ]fuznorm1__t20_fuznorm12025-09-11 18:36 29K 
[ ]fuznorm1__t21_fuznorm12025-09-11 18:37 76K 
[ ]fuznorm1__t22_fuznorm12025-09-11 18:38 34K 
[ ]fuznorm1__t23_fuznorm12025-09-11 18:40 31K 
[ ]fuznorm1__t24_fuznorm12025-09-11 18:41 33K 
[ ]fuznorm1__t25_fuznorm12025-09-11 18:42 40K 
[ ]fuznorm1__t26_fuznorm12025-09-11 18:43 74K 
[ ]fuznorm1__t27_fuznorm12025-09-11 18:45 76K 
[ ]fuznorm1__t28_fuznorm12025-09-11 18:46 45K 
[ ]fuznorm1__t29_fuznorm12025-09-11 18:47 55K 
[ ]fuznorm1__t30_fuznorm12025-09-11 18:48 49K 
[ ]fuznorm1__t31_fuznorm12025-09-11 18:49 33K 
[ ]fuznorm1__t32_fuznorm12025-09-11 18:51 33K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80