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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hilb10_5__l3_hilb10_52025-09-12 11:35 212K 
[ ]hilb10_5__s1_hilb10_52025-09-12 10:12 150K 
[ ]hilb10_5__s2_hilb10_52025-09-12 10:15 135K 
[ ]hilb10_5__t1_hilb10_52025-09-12 10:19 318K 
[ ]hilb10_5__t2_hilb10_52025-09-12 10:22 190K 
[ ]hilb10_5__t3_hilb10_52025-09-12 10:25 230K 
[ ]hilb10_5__t4_hilb10_52025-09-12 10:28 134K 
[ ]hilb10_5__t5_hilb10_52025-09-12 10:30 154K 
[ ]hilb10_5__t6_hilb10_52025-09-12 10:32 134K 
[ ]hilb10_5__t7_hilb10_52025-09-12 10:35 124K 
[ ]hilb10_5__t8_hilb10_52025-09-12 10:38 138K 
[ ]hilb10_5__t9_hilb10_52025-09-12 10:40 144K 
[ ]hilb10_5__t10_hilb10_52025-09-12 10:44 304K 
[ ]hilb10_5__t11_hilb10_52025-09-12 10:48 294K 
[ ]hilb10_5__t12_hilb10_52025-09-12 10:52 233K 
[ ]hilb10_5__t13_hilb10_52025-09-12 10:56 304K 
[ ]hilb10_5__t14_hilb10_52025-09-12 11:00 291K 
[ ]hilb10_5__t15_hilb10_52025-09-12 11:03 260K 
[ ]hilb10_5__t16_hilb10_52025-09-12 11:09 536K 
[ ]hilb10_5__t17_hilb10_52025-09-12 11:15 534K 
[ ]hilb10_5__t18_hilb10_52025-09-12 11:20 1.2M 
[ ]hilb10_5__t19_hilb10_52025-09-12 11:26 1.2M 
[ ]hilb10_5__t20_hilb10_52025-09-12 11:30 241K 
[ ]hilb10_5__t21_hilb10_52025-09-12 11:33 160K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80