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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ndiff_7__l1_ndiff_72025-09-13 18:23 17K 
[   ]ndiff_7__l15_ndiff_72025-09-13 20:09 61K 
[   ]ndiff_7__l18_ndiff_72025-09-13 20:11 42K 
[   ]ndiff_7__t1_ndiff_72025-09-13 18:23 29K 
[   ]ndiff_7__t3_ndiff_72025-09-13 18:25 61K 
[   ]ndiff_7__t4_ndiff_72025-09-13 18:27 53K 
[   ]ndiff_7__t5_ndiff_72025-09-13 18:28 55K 
[   ]ndiff_7__t6_ndiff_72025-09-13 18:30 48K 
[   ]ndiff_7__t7_ndiff_72025-09-13 18:32 43K 
[   ]ndiff_7__t8_ndiff_72025-09-13 18:33 46K 
[   ]ndiff_7__t10_ndiff_72025-09-13 18:35 55K 
[   ]ndiff_7__t11_ndiff_72025-09-13 18:36 55K 
[   ]ndiff_7__t12_ndiff_72025-09-13 18:38 46K 
[   ]ndiff_7__t13_ndiff_72025-09-13 18:39 45K 
[   ]ndiff_7__t14_ndiff_72025-09-13 18:41 46K 
[   ]ndiff_7__t15_ndiff_72025-09-13 18:42 69K 
[   ]ndiff_7__t16_ndiff_72025-09-13 18:44 66K 
[   ]ndiff_7__t18_ndiff_72025-09-13 18:46 99K 
[   ]ndiff_7__t19_ndiff_72025-09-13 18:48 97K 
[   ]ndiff_7__t20_ndiff_72025-09-13 18:20 80K 
[   ]ndiff_7__t21_ndiff_72025-09-13 18:22 87K 
[   ]ndiff_7__t22_ndiff_72025-09-13 18:50 107K 
[   ]ndiff_7__t23_ndiff_72025-09-13 18:53 118K 
[   ]ndiff_7__t24_ndiff_72025-09-13 18:55 117K 
[   ]ndiff_7__t25_ndiff_72025-09-13 18:57 112K 
[   ]ndiff_7__t26_ndiff_72025-09-13 19:00 121K 
[   ]ndiff_7__t27_ndiff_72025-09-13 19:02 107K 
[   ]ndiff_7__t28_ndiff_72025-09-13 19:04 123K 
[   ]ndiff_7__t29_ndiff_72025-09-13 19:06 114K 
[   ]ndiff_7__t30_ndiff_72025-09-13 19:09 182K 
[   ]ndiff_7__t31_ndiff_72025-09-13 19:12 187K 
[   ]ndiff_7__t32_ndiff_72025-09-13 19:15 141K 
[   ]ndiff_7__t33_ndiff_72025-09-13 19:18 125K 
[   ]ndiff_7__t34_ndiff_72025-09-13 19:20 130K 
[   ]ndiff_7__t35_ndiff_72025-09-13 19:23 170K 
[   ]ndiff_7__t36_ndiff_72025-09-13 19:25 122K 
[   ]ndiff_7__t37_ndiff_72025-09-13 19:27 122K 
[   ]ndiff_7__t38_ndiff_72025-09-13 19:30 180K 
[   ]ndiff_7__t39_ndiff_72025-09-13 19:33 180K 
[   ]ndiff_7__t40_ndiff_72025-09-13 19:36 146K 
[   ]ndiff_7__t41_ndiff_72025-09-13 19:39 186K 
[   ]ndiff_7__t42_ndiff_72025-09-13 19:42 186K 
[   ]ndiff_7__t43_ndiff_72025-09-13 19:45 151K 
[   ]ndiff_7__t44_ndiff_72025-09-13 19:47 151K 
[   ]ndiff_7__t45_ndiff_72025-09-13 19:50 129K 
[   ]ndiff_7__t46_ndiff_72025-09-13 19:52 129K 
[   ]ndiff_7__t47_ndiff_72025-09-13 19:54 129K 
[   ]ndiff_7__t48_ndiff_72025-09-13 19:57 129K 
[   ]ndiff_7__t49_ndiff_72025-09-13 19:59 120K 
[   ]ndiff_7__t50_ndiff_72025-09-13 20:01 120K 
[   ]ndiff_7__t51_ndiff_72025-09-13 20:04 181K 
[   ]ndiff_7__t52_ndiff_72025-09-13 20:07 191K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80