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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]fdiff_5__l1_fdiff_52025-09-11 23:21 60K 
[   ]fdiff_5__l2_fdiff_52025-09-11 23:23 59K 
[   ]fdiff_5__l3_fdiff_52025-09-11 23:24 233K 
[   ]fdiff_5__l8_fdiff_52025-09-11 23:25 42K 
[   ]fdiff_5__l23_fdiff_52025-09-11 23:00 37K 
[   ]fdiff_5__t1_fdiff_52025-09-11 23:01 220K 
[   ]fdiff_5__t2_fdiff_52025-09-11 23:03 220K 
[   ]fdiff_5__t3_fdiff_52025-09-11 23:04 84K 
[   ]fdiff_5__t4_fdiff_52025-09-11 23:06 74K 
[   ]fdiff_5__t10_fdiff_52025-09-11 23:07 71K 
[   ]fdiff_5__t11_fdiff_52025-09-11 23:09 72K 
[   ]fdiff_5__t12_fdiff_52025-09-11 23:10 71K 
[   ]fdiff_5__t13_fdiff_52025-09-11 23:12 72K 
[   ]fdiff_5__t16_fdiff_52025-09-11 23:13 58K 
[   ]fdiff_5__t19_fdiff_52025-09-11 23:14 40K 
[   ]fdiff_5__t20_fdiff_52025-09-11 23:16 58K 
[   ]fdiff_5__t21_fdiff_52025-09-11 23:17 80K 
[   ]fdiff_5__t22_fdiff_52025-09-11 23:19 344K 
[   ]fdiff_5__t25_fdiff_52025-09-11 23:20 72K 

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