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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]catalan1__t1_catalan12025-09-12 00:19 482K 
[ ]catalan1__t2_catalan12025-09-12 00:20 191K 
[ ]catalan1__t3_catalan12025-09-12 00:21 40K 
[ ]catalan1__t4_catalan12025-09-12 00:21 20K 
[ ]catalan1__t5_catalan12025-09-12 00:22 604K 
[ ]catalan1__t6_catalan12025-09-12 00:23 136K 
[ ]catalan1__t7_catalan12025-09-12 00:24 234K 
[ ]catalan1__t8_catalan12025-09-12 00:25 58K 
[ ]catalan1__t9_catalan12025-09-12 00:26 608K 
[ ]catalan1__t10_catalan12025-09-12 00:17 35K 
[ ]catalan1__t11_catalan12025-09-12 00:26 21K 
[ ]catalan1__t12_catalan12025-09-12 00:27 233K 
[ ]catalan1__t13_catalan12025-09-12 00:28 192K 
[ ]catalan1__t14_catalan12025-09-12 00:29 58K 
[ ]catalan1__t15_catalan12025-09-12 00:30 136K 
[ ]catalan1__t16_catalan12025-09-12 00:31 235K 
[ ]catalan1__t17_catalan12025-09-12 00:18 23K 
[ ]catalan1__t18_catalan12025-09-12 00:32 26K 
[ ]catalan1__t19_catalan12025-09-12 00:33 239K 
[ ]catalan1__t20_catalan12025-09-12 00:34 29K 
[ ]catalan1__t21_catalan12025-09-12 00:34 236K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80