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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hilbasis__t1_hilbasis2025-09-12 17:00 119K 
[ ]hilbasis__t2_hilbasis2025-09-12 17:02 110K 
[ ]hilbasis__t3_hilbasis2025-09-12 17:03 67K 
[ ]hilbasis__t4_hilbasis2025-09-12 17:05 71K 
[ ]hilbasis__t5_hilbasis2025-09-12 17:06 83K 
[ ]hilbasis__t6_hilbasis2025-09-12 17:08 104K 
[ ]hilbasis__t7_hilbasis2025-09-12 17:10 88K 
[ ]hilbasis__t8_hilbasis2025-09-12 17:11 83K 
[ ]hilbasis__t9_hilbasis2025-09-12 17:13 83K 
[ ]hilbasis__t10_hilbasis2025-09-12 17:15 63K 
[ ]hilbasis__t11_hilbasis2025-09-12 17:17 108K 
[ ]hilbasis__t12_hilbasis2025-09-12 17:19 109K 
[ ]hilbasis__t13_hilbasis2025-09-12 17:22 106K 
[ ]hilbasis__t14_hilbasis2025-09-12 17:24 99K 
[ ]hilbasis__t15_hilbasis2025-09-12 17:27 127K 
[ ]hilbasis__t16_hilbasis2025-09-12 17:30 120K 
[ ]hilbasis__t17_hilbasis2025-09-12 17:32 95K 
[ ]hilbasis__t18_hilbasis2025-09-12 17:34 124K 
[ ]hilbasis__t19_hilbasis2025-09-12 17:37 154K 
[ ]hilbasis__t20_hilbasis2025-09-12 17:40 156K 
[ ]hilbasis__t21_hilbasis2025-09-12 17:42 120K 
[ ]hilbasis__t22_hilbasis2025-09-12 17:45 107K 
[ ]hilbasis__t23_hilbasis2025-09-12 17:47 91K 
[ ]hilbasis__t24_hilbasis2025-09-12 17:51 142K 
[ ]hilbasis__t25_hilbasis2025-09-12 17:53 107K 
[ ]hilbasis__t26_hilbasis2025-09-12 17:56 140K 
[ ]hilbasis__t27_hilbasis2025-09-12 17:59 105K 
[ ]hilbasis__t28_hilbasis2025-09-12 18:03 206K 
[ ]hilbasis__t29_hilbasis2025-09-12 18:06 191K 
[ ]hilbasis__t30_hilbasis2025-09-12 18:09 166K 
[ ]hilbasis__t31_hilbasis2025-09-12 18:12 122K 
[ ]hilbasis__t32_hilbasis2025-09-12 18:14 110K 
[ ]hilbasis__t33_hilbasis2025-09-12 18:17 82K 
[ ]hilbasis__t34_hilbasis2025-09-12 18:19 93K 
[ ]hilbasis__t35_hilbasis2025-09-12 18:23 189K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80