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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa7b__l3_scmfsa7b2025-09-12 12:49 346K 
[ ]scmfsa7b__l5_scmfsa7b2025-09-12 12:50 26K 
[ ]scmfsa7b__l6_scmfsa7b2025-09-12 12:52 338K 
[ ]scmfsa7b__l7_scmfsa7b2025-09-12 12:54 83K 
[ ]scmfsa7b__l8_scmfsa7b2025-09-12 12:58 359K 
[ ]scmfsa7b__t1_scmfsa7b2025-09-12 12:11 105K 
[ ]scmfsa7b__t2_scmfsa7b2025-09-12 12:13 105K 
[ ]scmfsa7b__t3_scmfsa7b2025-09-12 12:15 107K 
[ ]scmfsa7b__t4_scmfsa7b2025-09-12 12:17 123K 
[ ]scmfsa7b__t5_scmfsa7b2025-09-12 12:03 73K 
[ ]scmfsa7b__t6_scmfsa7b2025-09-12 12:19 80K 
[ ]scmfsa7b__t7_scmfsa7b2025-09-12 12:21 80K 
[ ]scmfsa7b__t8_scmfsa7b2025-09-12 12:23 80K 
[ ]scmfsa7b__t9_scmfsa7b2025-09-12 12:25 80K 
[ ]scmfsa7b__t10_scmfsa7b2025-09-12 12:27 80K 
[ ]scmfsa7b__t11_scmfsa7b2025-09-12 12:05 72K 
[ ]scmfsa7b__t12_scmfsa7b2025-09-12 12:07 73K 
[ ]scmfsa7b__t13_scmfsa7b2025-09-12 12:09 73K 
[ ]scmfsa7b__t14_scmfsa7b2025-09-12 12:29 80K 
[ ]scmfsa7b__t15_scmfsa7b2025-09-12 12:31 83K 
[ ]scmfsa7b__t16_scmfsa7b2025-09-12 12:33 79K 
[ ]scmfsa7b__t17_scmfsa7b2025-09-12 12:35 82K 
[ ]scmfsa7b__t19_scmfsa7b2025-09-12 12:37 86K 
[ ]scmfsa7b__t20_scmfsa7b2025-09-12 12:40 202K 
[ ]scmfsa7b__t21_scmfsa7b2025-09-12 12:42 126K 
[ ]scmfsa7b__t22_scmfsa7b2025-09-12 12:44 116K 
[ ]scmfsa7b__t23_scmfsa7b2025-09-12 12:46 91K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80