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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa8a__l14_scmfsa8a2025-09-13 12:03 65K 
[ ]scmfsa8a__l28_scmfsa8a2025-09-13 12:06 114K 
[ ]scmfsa8a__l39_scmfsa8a2025-09-13 12:08 186K 
[ ]scmfsa8a__l45_scmfsa8a2025-09-13 12:11 207K 
[ ]scmfsa8a__l48_scmfsa8a2025-09-13 12:14 215K 
[ ]scmfsa8a__t8_scmfsa8a2025-09-13 11:30 126K 
[ ]scmfsa8a__t9_scmfsa8a2025-09-13 11:32 70K 
[ ]scmfsa8a__t10_scmfsa8a2025-09-13 11:34 56K 
[ ]scmfsa8a__t11_scmfsa8a2025-09-13 11:35 56K 
[ ]scmfsa8a__t12_scmfsa8a2025-09-13 11:37 55K 
[ ]scmfsa8a__t13_scmfsa8a2025-09-13 11:39 64K 
[ ]scmfsa8a__t14_scmfsa8a2025-09-13 11:41 104K 
[ ]scmfsa8a__t15_scmfsa8a2025-09-13 11:00 64K 
[ ]scmfsa8a__t16_scmfsa8a2025-09-13 11:02 62K 
[ ]scmfsa8a__t17_scmfsa8a2025-09-13 11:43 93K 
[ ]scmfsa8a__t18_scmfsa8a2025-09-13 11:46 148K 
[ ]scmfsa8a__t23_scmfsa8a2025-09-13 11:04 96K 
[ ]scmfsa8a__t24_scmfsa8a2025-09-13 11:06 96K 
[ ]scmfsa8a__t25_scmfsa8a2025-09-13 11:08 102K 
[ ]scmfsa8a__t26_scmfsa8a2025-09-13 11:48 232K 
[ ]scmfsa8a__t27_scmfsa8a2025-09-13 11:51 240K 
[ ]scmfsa8a__t30_scmfsa8a2025-09-13 11:11 134K 
[ ]scmfsa8a__t31_scmfsa8a2025-09-13 11:13 64K 
[ ]scmfsa8a__t32_scmfsa8a2025-09-13 11:15 141K 
[ ]scmfsa8a__t33_scmfsa8a2025-09-13 11:18 141K 
[ ]scmfsa8a__t34_scmfsa8a2025-09-13 11:20 140K 
[ ]scmfsa8a__t35_scmfsa8a2025-09-13 11:23 141K 
[ ]scmfsa8a__t38_scmfsa8a2025-09-13 11:25 147K 
[ ]scmfsa8a__t39_scmfsa8a2025-09-13 11:28 154K 
[ ]scmfsa8a__t40_scmfsa8a2025-09-13 11:54 176K 
[ ]scmfsa8a__t42_scmfsa8a2025-09-13 11:55 55K 
[ ]scmfsa8a__t43_scmfsa8a2025-09-13 11:58 109K 
[ ]scmfsa8a__t44_scmfsa8a2025-09-13 12:00 71K 
[ ]scmfsa8a__t45_scmfsa8a2025-09-13 12:01 53K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80