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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]hilbert4__l10_hilbert42025-09-13 04:51 39K 
[ ]hilbert4__l14_hilbert42025-09-13 04:53 95K 
[ ]hilbert4__l15_hilbert42025-09-13 04:55 96K 
[ ]hilbert4__l16_hilbert42025-09-13 04:57 97K 
[ ]hilbert4__l17_hilbert42025-09-13 04:59 87K 
[ ]hilbert4__l18_hilbert42025-09-13 05:00 92K 
[ ]hilbert4__l24_hilbert42025-09-13 05:02 88K 
[ ]hilbert4__l25_hilbert42025-09-13 05:04 89K 
[ ]hilbert4__l26_hilbert42025-09-13 05:05 94K 
[ ]hilbert4__l29_hilbert42025-09-13 05:09 158K 
[ ]hilbert4__t1_hilbert42025-09-13 04:37 2.1K 
[ ]hilbert4__t2_hilbert42025-09-13 04:38 54K 
[ ]hilbert4__t3_hilbert42025-09-13 04:39 50K 
[ ]hilbert4__t4_hilbert42025-09-13 04:41 55K 
[ ]hilbert4__t5_hilbert42025-09-13 04:42 51K 
[ ]hilbert4__t6_hilbert42025-09-13 04:44 79K 
[ ]hilbert4__t7_hilbert42025-09-13 04:45 50K 
[ ]hilbert4__t8_hilbert42025-09-13 04:46 58K 
[ ]hilbert4__t9_hilbert42025-09-13 04:48 84K 
[ ]hilbert4__t10_hilbert42025-09-13 04:50 92K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80