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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]robbins5__t1_robbins52025-09-12 03:03 3.0K 
[   ]robbins5__t2_robbins52025-09-12 03:04 3.7K 
[   ]robbins5__t3_robbins52025-09-12 03:04 3.8K 
[   ]robbins5__t4_robbins52025-09-12 03:05 3.8K 
[   ]robbins5__t5_robbins52025-09-12 03:07 6.1K 
[   ]robbins5__t6_robbins52025-09-12 03:02 2.9K 
[   ]robbins5__t7_robbins52025-09-12 03:08 5.3K 
[   ]robbins5__t8_robbins52025-09-12 03:09 7.7K 
[   ]robbins5__t9_robbins52025-09-12 03:10 4.8K 
[   ]robbins5__t10_robbins52025-09-12 03:11 7.9K 
[   ]robbins5__t11_robbins52025-09-12 03:03 5.8K 
[   ]robbins5__t12_robbins52025-09-12 03:12 13K 
[   ]robbins5__t13_robbins52025-09-12 03:17 4.0K 
[   ]robbins5__t14_robbins52025-09-12 03:17 4.5K 
[   ]robbins5__t15_robbins52025-09-12 03:18 8.5K 

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