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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]ndiff12__t1_ndiff122025-09-13 05:09 63K 
[   ]ndiff12__t2_ndiff122025-09-13 05:11 118K 
[   ]ndiff12__t3_ndiff122025-09-13 05:13 64K 
[   ]ndiff12__t4_ndiff122025-09-13 05:15 144K 
[   ]ndiff12__t5_ndiff122025-09-13 05:17 56K 
[   ]ndiff12__t6_ndiff122025-09-13 05:20 145K 
[   ]ndiff12__t7_ndiff122025-09-13 05:22 110K 
[   ]ndiff12__t8_ndiff122025-09-13 05:24 110K 
[   ]ndiff12__t9_ndiff122025-09-13 05:27 129K 
[   ]ndiff12__t10_ndiff122025-09-13 05:29 86K 
[   ]ndiff12__t11_ndiff122025-09-13 05:32 173K 
[   ]ndiff12__t12_ndiff122025-09-13 05:34 114K 
[   ]ndiff12__t13_ndiff122025-09-13 05:36 104K 
[   ]ndiff12__t14_ndiff122025-09-13 05:39 126K 
[   ]ndiff12__t15_ndiff122025-09-13 05:41 125K 
[   ]ndiff12__t16_ndiff122025-09-13 05:44 110K 
[   ]ndiff12__t17_ndiff122025-09-13 05:45 71K 
[   ]ndiff12__t18_ndiff122025-09-13 05:48 106K 
[   ]ndiff12__t19_ndiff122025-09-13 05:50 107K 
[   ]ndiff12__t20_ndiff122025-09-13 05:52 128K 
[   ]ndiff12__t21_ndiff122025-09-13 05:55 123K 

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