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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]helly__l43_helly2025-09-12 01:52 74K 
[ ]helly__l44_helly2025-09-12 01:54 136K 
[ ]helly__t1_helly2025-09-12 00:14 83K 
[ ]helly__t2_helly2025-09-12 00:11 45K 
[ ]helly__t3_helly2025-09-12 00:15 52K 
[ ]helly__t4_helly2025-09-12 00:17 77K 
[ ]helly__t5_helly2025-09-12 00:19 72K 
[ ]helly__t6_helly2025-09-12 00:21 72K 
[ ]helly__t7_helly2025-09-12 00:22 44K 
[ ]helly__t8_helly2025-09-12 00:23 54K 
[ ]helly__t9_helly2025-09-12 00:25 90K 
[ ]helly__t10_helly2025-09-12 00:27 68K 
[ ]helly__t11_helly2025-09-12 00:29 58K 
[ ]helly__t12_helly2025-09-12 00:31 128K 
[ ]helly__t13_helly2025-09-12 00:33 87K 
[ ]helly__t14_helly2025-09-12 00:35 87K 
[ ]helly__t15_helly2025-09-12 00:37 87K 
[ ]helly__t16_helly2025-09-12 00:39 120K 
[ ]helly__t17_helly2025-09-12 00:41 130K 
[ ]helly__t18_helly2025-09-12 00:43 147K 
[ ]helly__t19_helly2025-09-12 00:45 98K 
[ ]helly__t20_helly2025-09-12 00:47 87K 
[ ]helly__t21_helly2025-09-12 00:49 190K 
[ ]helly__t22_helly2025-09-12 00:51 190K 
[ ]helly__t23_helly2025-09-12 00:53 73K 
[ ]helly__t24_helly2025-09-12 00:55 76K 
[ ]helly__t25_helly2025-09-12 00:12 61K 
[ ]helly__t26_helly2025-09-12 00:56 72K 
[ ]helly__t27_helly2025-09-12 00:59 245K 
[ ]helly__t28_helly2025-09-12 01:01 70K 
[ ]helly__t29_helly2025-09-12 01:03 74K 
[ ]helly__t30_helly2025-09-12 01:05 82K 
[ ]helly__t31_helly2025-09-12 01:07 75K 
[ ]helly__t32_helly2025-09-12 01:09 71K 
[ ]helly__t33_helly2025-09-12 01:11 75K 
[ ]helly__t34_helly2025-09-12 01:13 70K 
[ ]helly__t35_helly2025-09-12 01:15 77K 
[ ]helly__t36_helly2025-09-12 01:17 100K 
[ ]helly__t37_helly2025-09-12 01:18 70K 
[ ]helly__t38_helly2025-09-12 01:20 83K 
[ ]helly__t39_helly2025-09-12 01:22 144K 
[ ]helly__t40_helly2025-09-12 01:25 150K 
[ ]helly__t41_helly2025-09-12 01:27 75K 
[ ]helly__t42_helly2025-09-12 01:29 75K 
[ ]helly__t43_helly2025-09-12 01:30 44K 
[ ]helly__t44_helly2025-09-12 01:32 44K 
[ ]helly__t45_helly2025-09-12 01:33 44K 
[ ]helly__t46_helly2025-09-12 01:35 74K 
[ ]helly__t47_helly2025-09-12 01:37 70K 
[ ]helly__t48_helly2025-09-12 01:39 76K 
[ ]helly__t49_helly2025-09-12 01:40 44K 
[ ]helly__t50_helly2025-09-12 01:41 44K 
[ ]helly__t51_helly2025-09-12 01:43 83K 
[ ]helly__t52_helly2025-09-12 01:45 78K 
[ ]helly__t53_helly2025-09-12 01:47 79K 
[ ]helly__t54_helly2025-09-12 01:50 101K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80