Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/scmfsa7b

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]scmfsa7b__l3_scmfsa7b2021-07-18 15:59 339K 
[ ]scmfsa7b__l5_scmfsa7b2021-07-18 15:59 27K 
[ ]scmfsa7b__l6_scmfsa7b2021-07-18 16:00 331K 
[ ]scmfsa7b__l7_scmfsa7b2021-07-18 16:01 84K 
[ ]scmfsa7b__l8_scmfsa7b2021-07-18 16:01 352K 
[ ]scmfsa7b__t1_scmfsa7b2021-07-18 15:48 108K 
[ ]scmfsa7b__t2_scmfsa7b2021-07-18 15:49 108K 
[ ]scmfsa7b__t3_scmfsa7b2021-07-18 15:49 107K 
[ ]scmfsa7b__t4_scmfsa7b2021-07-18 15:50 124K 
[ ]scmfsa7b__t5_scmfsa7b2021-07-18 15:46 73K 
[ ]scmfsa7b__t6_scmfsa7b2021-07-18 15:51 80K 
[ ]scmfsa7b__t7_scmfsa7b2021-07-18 15:51 80K 
[ ]scmfsa7b__t8_scmfsa7b2021-07-18 15:52 80K 
[ ]scmfsa7b__t9_scmfsa7b2021-07-18 15:52 80K 
[ ]scmfsa7b__t10_scmfsa7b2021-07-18 15:53 80K 
[ ]scmfsa7b__t11_scmfsa7b2021-07-18 15:47 73K 
[ ]scmfsa7b__t12_scmfsa7b2021-07-18 15:47 74K 
[ ]scmfsa7b__t13_scmfsa7b2021-07-18 15:48 74K 
[ ]scmfsa7b__t14_scmfsa7b2021-07-18 15:53 80K 
[ ]scmfsa7b__t15_scmfsa7b2021-07-18 15:54 83K 
[ ]scmfsa7b__t16_scmfsa7b2021-07-18 15:54 80K 
[ ]scmfsa7b__t17_scmfsa7b2021-07-18 15:55 82K 
[ ]scmfsa7b__t19_scmfsa7b2021-07-18 15:56 87K 
[ ]scmfsa7b__t20_scmfsa7b2021-07-18 15:56 201K 
[ ]scmfsa7b__t21_scmfsa7b2021-07-18 15:57 127K 
[ ]scmfsa7b__t22_scmfsa7b2021-07-18 15:58 117K 
[ ]scmfsa7b__t23_scmfsa7b2021-07-18 15:58 92K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80