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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]scmfsa6a__l18_scmfsa6a2025-09-13 12:39 75K 
[   ]scmfsa6a__l19_scmfsa6a2025-09-13 12:41 93K 
[   ]scmfsa6a__t1_scmfsa6a2025-09-13 11:30 76K 
[   ]scmfsa6a__t2_scmfsa6a2025-09-13 11:57 101K 
[   ]scmfsa6a__t3_scmfsa6a2025-09-13 12:00 180K 
[   ]scmfsa6a__t8_scmfsa6a2025-09-13 12:04 1.4M 
[   ]scmfsa6a__t15_scmfsa6a2025-09-13 12:06 152K 
[   ]scmfsa6a__t16_scmfsa6a2025-09-13 12:08 123K 
[   ]scmfsa6a__t17_scmfsa6a2025-09-13 12:10 121K 
[   ]scmfsa6a__t18_scmfsa6a2025-09-13 12:13 123K 
[   ]scmfsa6a__t19_scmfsa6a2025-09-13 11:32 122K 
[   ]scmfsa6a__t20_scmfsa6a2025-09-13 11:35 122K 
[   ]scmfsa6a__t21_scmfsa6a2025-09-13 12:15 127K 
[   ]scmfsa6a__t22_scmfsa6a2025-09-13 11:36 77K 
[   ]scmfsa6a__t23_scmfsa6a2025-09-13 12:17 113K 
[   ]scmfsa6a__t24_scmfsa6a2025-09-13 12:19 122K 
[   ]scmfsa6a__t25_scmfsa6a2025-09-13 12:22 123K 
[   ]scmfsa6a__t26_scmfsa6a2025-09-13 11:39 121K 
[   ]scmfsa6a__t27_scmfsa6a2025-09-13 11:41 124K 
[   ]scmfsa6a__t28_scmfsa6a2025-09-13 11:43 123K 
[   ]scmfsa6a__t29_scmfsa6a2025-09-13 11:45 121K 
[   ]scmfsa6a__t30_scmfsa6a2025-09-13 11:47 124K 
[   ]scmfsa6a__t31_scmfsa6a2025-09-13 11:49 123K 
[   ]scmfsa6a__t32_scmfsa6a2025-09-13 11:51 125K 
[   ]scmfsa6a__t33_scmfsa6a2025-09-13 12:24 126K 
[   ]scmfsa6a__t34_scmfsa6a2025-09-13 12:26 126K 
[   ]scmfsa6a__t35_scmfsa6a2025-09-13 12:28 129K 
[   ]scmfsa6a__t36_scmfsa6a2025-09-13 11:53 76K 
[   ]scmfsa6a__t37_scmfsa6a2025-09-13 11:55 89K 
[   ]scmfsa6a__t38_scmfsa6a2025-09-13 12:30 116K 
[   ]scmfsa6a__t39_scmfsa6a2025-09-13 12:33 121K 
[   ]scmfsa6a__t40_scmfsa6a2025-09-13 12:35 118K 
[   ]scmfsa6a__t41_scmfsa6a2025-09-13 12:37 125K 

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