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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hilbert3__t1_hilbert32025-09-13 00:57 22K 
[ ]hilbert3__t2_hilbert32025-09-13 00:58 22K 
[ ]hilbert3__t3_hilbert32025-09-13 01:08 41K 
[ ]hilbert3__t5_hilbert32025-09-13 01:09 37K 
[ ]hilbert3__t6_hilbert32025-09-13 01:10 46K 
[ ]hilbert3__t7_hilbert32025-09-13 00:59 17K 
[ ]hilbert3__t8_hilbert32025-09-13 01:11 54K 
[ ]hilbert3__t9_hilbert32025-09-13 01:12 47K 
[ ]hilbert3__t10_hilbert32025-09-13 01:13 1.4K 
[ ]hilbert3__t11_hilbert32025-09-13 01:14 25K 
[ ]hilbert3__t12_hilbert32025-09-13 01:15 44K 
[ ]hilbert3__t13_hilbert32025-09-13 01:16 31K 
[ ]hilbert3__t14_hilbert32025-09-13 01:17 32K 
[ ]hilbert3__t15_hilbert32025-09-13 01:18 44K 
[ ]hilbert3__t16_hilbert32025-09-13 01:19 47K 
[ ]hilbert3__t17_hilbert32025-09-13 01:20 47K 
[ ]hilbert3__t18_hilbert32025-09-13 01:21 20K 
[ ]hilbert3__t19_hilbert32025-09-13 01:22 24K 
[ ]hilbert3__t20_hilbert32025-09-13 01:23 42K 
[ ]hilbert3__t21_hilbert32025-09-13 01:25 44K 
[ ]hilbert3__t22_hilbert32025-09-13 01:26 43K 
[ ]hilbert3__t23_hilbert32025-09-13 01:27 50K 
[ ]hilbert3__t24_hilbert32025-09-13 01:28 43K 
[ ]hilbert3__t25_hilbert32025-09-13 01:00 38K 
[ ]hilbert3__t26_hilbert32025-09-13 01:29 60K 
[ ]hilbert3__t27_hilbert32025-09-13 01:31 54K 
[ ]hilbert3__t28_hilbert32025-09-13 01:32 67K 
[ ]hilbert3__t29_hilbert32025-09-13 01:01 43K 
[ ]hilbert3__t30_hilbert32025-09-13 01:02 44K 
[ ]hilbert3__t31_hilbert32025-09-13 01:04 44K 
[ ]hilbert3__t32_hilbert32025-09-13 01:05 45K 
[ ]hilbert3__t33_hilbert32025-09-13 01:34 65K 
[ ]hilbert3__t34_hilbert32025-09-13 01:07 63K 
[ ]hilbert3__t35_hilbert32025-09-13 01:35 65K 
[ ]hilbert3__t36_hilbert32025-09-13 01:37 67K 
[ ]hilbert3__t37_hilbert32025-09-13 01:39 68K 
[ ]hilbert3__t38_hilbert32025-09-13 01:40 68K 
[ ]hilbert3__t39_hilbert32025-09-13 01:42 68K 
[ ]hilbert3__t40_hilbert32025-09-13 01:43 71K 
[ ]hilbert3__t41_hilbert32025-09-13 01:45 60K 
[ ]hilbert3__t42_hilbert32025-09-13 01:46 43K 
[ ]hilbert3__t43_hilbert32025-09-13 01:48 60K 
[ ]hilbert3__t44_hilbert32025-09-13 01:49 54K 
[ ]hilbert3__t45_hilbert32025-09-13 01:52 128K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80