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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hilb10_3__l21_hilb10_32025-09-13 15:18 66K 
[ ]hilb10_3__s1_hilb10_32025-09-13 14:17 56K 
[ ]hilb10_3__s2_hilb10_32025-09-13 14:19 46K 
[ ]hilb10_3__s3_hilb10_32025-09-13 14:20 56K 
[ ]hilb10_3__s4_hilb10_32025-09-13 14:22 119K 
[ ]hilb10_3__s5_hilb10_32025-09-13 14:25 135K 
[ ]hilb10_3__t1_hilb10_32025-09-13 14:27 87K 
[ ]hilb10_3__t2_hilb10_32025-09-13 14:29 61K 
[ ]hilb10_3__t3_hilb10_32025-09-13 14:30 60K 
[ ]hilb10_3__t4_hilb10_32025-09-13 14:32 98K 
[ ]hilb10_3__t5_hilb10_32025-09-13 14:35 235K 
[ ]hilb10_3__t6_hilb10_32025-09-13 14:38 147K 
[ ]hilb10_3__t7_hilb10_32025-09-13 14:41 176K 
[ ]hilb10_3__t8_hilb10_32025-09-13 14:43 73K 
[ ]hilb10_3__t9_hilb10_32025-09-13 14:45 148K 
[ ]hilb10_3__t10_hilb10_32025-09-13 14:49 174K 
[ ]hilb10_3__t11_hilb10_32025-09-13 14:52 148K 
[ ]hilb10_3__t12_hilb10_32025-09-13 14:54 67K 
[ ]hilb10_3__t13_hilb10_32025-09-13 14:55 60K 
[ ]hilb10_3__t14_hilb10_32025-09-13 14:57 60K 
[ ]hilb10_3__t15_hilb10_32025-09-13 14:58 60K 
[ ]hilb10_3__t16_hilb10_32025-09-13 15:00 68K 
[ ]hilb10_3__t17_hilb10_32025-09-13 15:02 67K 
[ ]hilb10_3__t18_hilb10_32025-09-13 15:03 67K 
[ ]hilb10_3__t19_hilb10_32025-09-13 15:05 104K 
[ ]hilb10_3__t20_hilb10_32025-09-13 15:06 60K 
[ ]hilb10_3__t21_hilb10_32025-09-13 15:08 97K 
[ ]hilb10_3__t22_hilb10_32025-09-13 15:11 1.0M 
[ ]hilb10_3__t23_hilb10_32025-09-13 15:13 1.9M 
[ ]hilb10_3__t24_hilb10_32025-09-13 15:16 1.6M 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80