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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]niven__l1_niven2025-09-13 07:53 67K 
[ ]niven__l2_niven2025-09-13 07:55 76K 
[ ]niven__l49_niven2025-09-13 10:13 332K 
[ ]niven__l51_niven2025-09-13 10:15 133K 
[ ]niven__l66_niven2025-09-13 10:17 1.3M 
[ ]niven__l76_niven2025-09-13 10:19 2.0M 
[ ]niven__t1_niven2025-09-13 07:56 66K 
[ ]niven__t2_niven2025-09-13 07:58 65K 
[ ]niven__t3_niven2025-09-13 07:59 272K 
[ ]niven__t4_niven2025-09-13 08:01 62K 
[ ]niven__t5_niven2025-09-13 08:03 72K 
[ ]niven__t6_niven2025-09-13 08:06 151K 
[ ]niven__t7_niven2025-09-13 08:08 114K 
[ ]niven__t8_niven2025-09-13 08:10 133K 
[ ]niven__t9_niven2025-09-13 07:43 85K 
[ ]niven__t10_niven2025-09-13 08:12 127K 
[ ]niven__t11_niven2025-09-13 07:45 113K 
[ ]niven__t12_niven2025-09-13 08:14 107K 
[ ]niven__t13_niven2025-09-13 07:46 98K 
[ ]niven__t14_niven2025-09-13 08:15 209K 
[ ]niven__t15_niven2025-09-13 07:48 170K 
[ ]niven__t16_niven2025-09-13 08:17 195K 
[ ]niven__t17_niven2025-09-13 07:49 94K 
[ ]niven__t18_niven2025-09-13 08:19 107K 
[ ]niven__t19_niven2025-09-13 08:22 104K 
[ ]niven__t20_niven2025-09-13 08:24 94K 
[ ]niven__t21_niven2025-09-13 08:26 93K 
[ ]niven__t22_niven2025-09-13 08:28 83K 
[ ]niven__t23_niven2025-09-13 08:30 85K 
[ ]niven__t24_niven2025-09-13 08:32 86K 
[ ]niven__t25_niven2025-09-13 08:34 85K 
[ ]niven__t26_niven2025-09-13 08:35 82K 
[ ]niven__t27_niven2025-09-13 08:37 85K 
[ ]niven__t28_niven2025-09-13 08:39 91K 
[ ]niven__t29_niven2025-09-13 08:42 90K 
[ ]niven__t30_niven2025-09-13 08:44 103K 
[ ]niven__t31_niven2025-09-13 08:46 101K 
[ ]niven__t32_niven2025-09-13 08:49 91K 
[ ]niven__t33_niven2025-09-13 08:51 103K 
[ ]niven__t34_niven2025-09-13 08:53 102K 
[ ]niven__t35_niven2025-09-13 08:55 79K 
[ ]niven__t36_niven2025-09-13 08:57 92K 
[ ]niven__t37_niven2025-09-13 08:59 93K 
[ ]niven__t38_niven2025-09-13 09:03 161K 
[ ]niven__t39_niven2025-09-13 09:05 109K 
[ ]niven__t40_niven2025-09-13 09:08 108K 
[ ]niven__t41_niven2025-09-13 07:51 86K 
[ ]niven__t42_niven2025-09-13 09:10 94K 
[ ]niven__t43_niven2025-09-13 09:12 123K 
[ ]niven__t44_niven2025-09-13 09:14 123K 
[ ]niven__t45_niven2025-09-13 09:16 87K 
[ ]niven__t46_niven2025-09-13 09:19 119K 
[ ]niven__t47_niven2025-09-13 09:21 137K 
[ ]niven__t48_niven2025-09-13 09:24 143K 
[ ]niven__t49_niven2025-09-13 09:26 88K 
[ ]niven__t50_niven2025-09-13 09:30 289K 
[ ]niven__t51_niven2025-09-13 09:33 131K 
[ ]niven__t52_niven2025-09-13 09:36 527K 
[ ]niven__t53_niven2025-09-13 09:39 888K 
[ ]niven__t54_niven2025-09-13 09:41 661K 
[ ]niven__t55_niven2025-09-13 09:43 821K 
[ ]niven__t56_niven2025-09-13 09:44 821K 
[ ]niven__t57_niven2025-09-13 09:46 901K 
[ ]niven__t58_niven2025-09-13 09:48 900K 
[ ]niven__t59_niven2025-09-13 09:50 1.5M 
[ ]niven__t60_niven2025-09-13 09:52 1.2M 
[ ]niven__t61_niven2025-09-13 09:53 429K 
[ ]niven__t62_niven2025-09-13 09:55 965K 
[ ]niven__t63_niven2025-09-13 09:57 610K 
[ ]niven__t64_niven2025-09-13 09:59 1.0M 
[ ]niven__t65_niven2025-09-13 10:01 1.1M 
[ ]niven__t66_niven2025-09-13 10:03 1.0M 
[ ]niven__t67_niven2025-09-13 10:04 1.0M 
[ ]niven__t68_niven2025-09-13 10:06 1.7M 
[ ]niven__t69_niven2025-09-13 10:08 1.4M 
[ ]niven__t70_niven2025-09-13 10:10 429K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80