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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseqop__l10_finseqop2021-07-19 04:37 44K 
[ ]finseqop__l11_finseqop2021-07-19 04:38 48K 
[ ]finseqop__l12_finseqop2021-07-19 04:38 48K 
[ ]finseqop__l27_finseqop2021-07-19 04:38 40K 
[ ]finseqop__t1_finseqop2021-07-19 04:01 31K 
[ ]finseqop__t2_finseqop2021-07-19 04:01 33K 
[ ]finseqop__t3_finseqop2021-07-19 04:02 23K 
[ ]finseqop__t4_finseqop2021-07-19 04:02 44K 
[ ]finseqop__t5_finseqop2021-07-19 04:02 44K 
[ ]finseqop__t6_finseqop2021-07-19 04:03 47K 
[ ]finseqop__t7_finseqop2021-07-19 04:03 49K 
[ ]finseqop__t8_finseqop2021-07-19 04:04 58K 
[ ]finseqop__t9_finseqop2021-07-19 04:04 49K 
[ ]finseqop__t10_finseqop2021-07-19 04:05 61K 
[ ]finseqop__t11_finseqop2021-07-19 04:05 60K 
[ ]finseqop__t12_finseqop2021-07-19 04:06 64K 
[ ]finseqop__t13_finseqop2021-07-19 04:06 58K 
[ ]finseqop__t14_finseqop2021-07-19 04:07 64K 
[ ]finseqop__t15_finseqop2021-07-19 04:07 58K 
[ ]finseqop__t16_finseqop2021-07-19 04:08 57K 
[ ]finseqop__t17_finseqop2021-07-19 04:08 60K 
[ ]finseqop__t18_finseqop2021-07-19 04:09 61K 
[ ]finseqop__t19_finseqop2021-07-19 04:09 61K 
[ ]finseqop__t20_finseqop2021-07-19 04:10 58K 
[ ]finseqop__t21_finseqop2021-07-19 04:10 55K 
[ ]finseqop__t22_finseqop2021-07-19 04:11 51K 
[ ]finseqop__t23_finseqop2021-07-19 04:11 50K 
[ ]finseqop__t24_finseqop2021-07-19 04:11 60K 
[ ]finseqop__t25_finseqop2021-07-19 04:12 60K 
[ ]finseqop__t26_finseqop2021-07-19 04:12 60K 
[ ]finseqop__t27_finseqop2021-07-19 04:13 60K 
[ ]finseqop__t28_finseqop2021-07-19 04:13 50K 
[ ]finseqop__t29_finseqop2021-07-19 04:14 58K 
[ ]finseqop__t30_finseqop2021-07-19 04:14 62K 
[ ]finseqop__t31_finseqop2021-07-19 04:15 57K 
[ ]finseqop__t32_finseqop2021-07-19 04:15 57K 
[ ]finseqop__t33_finseqop2021-07-19 04:15 49K 
[ ]finseqop__t34_finseqop2021-07-19 04:16 57K 
[ ]finseqop__t35_finseqop2021-07-19 04:16 58K 
[ ]finseqop__t36_finseqop2021-07-19 04:17 58K 
[ ]finseqop__t37_finseqop2021-07-19 04:17 50K 
[ ]finseqop__t38_finseqop2021-07-19 04:18 58K 
[ ]finseqop__t39_finseqop2021-07-19 04:18 58K 
[ ]finseqop__t40_finseqop2021-07-19 03:58 51K 
[ ]finseqop__t41_finseqop2021-07-19 03:59 55K 
[ ]finseqop__t42_finseqop2021-07-19 03:59 55K 
[ ]finseqop__t43_finseqop2021-07-19 04:19 52K 
[ ]finseqop__t44_finseqop2021-07-19 04:19 53K 
[ ]finseqop__t45_finseqop2021-07-19 04:20 53K 
[ ]finseqop__t46_finseqop2021-07-19 04:20 62K 
[ ]finseqop__t47_finseqop2021-07-19 04:21 62K 
[ ]finseqop__t48_finseqop2021-07-19 04:21 56K 
[ ]finseqop__t49_finseqop2021-07-19 04:21 61K 
[ ]finseqop__t50_finseqop2021-07-19 04:22 61K 
[ ]finseqop__t51_finseqop2021-07-19 03:59 51K 
[ ]finseqop__t52_finseqop2021-07-19 04:00 56K 
[ ]finseqop__t53_finseqop2021-07-19 04:00 56K 
[ ]finseqop__t54_finseqop2021-07-19 04:22 57K 
[ ]finseqop__t55_finseqop2021-07-19 04:23 57K 
[ ]finseqop__t56_finseqop2021-07-19 04:23 60K 
[ ]finseqop__t57_finseqop2021-07-19 04:24 53K 
[ ]finseqop__t58_finseqop2021-07-19 04:24 53K 
[ ]finseqop__t59_finseqop2021-07-19 04:25 38K 
[ ]finseqop__t60_finseqop2021-07-19 04:25 38K 
[ ]finseqop__t61_finseqop2021-07-19 04:25 38K 
[ ]finseqop__t62_finseqop2021-07-19 04:26 38K 
[ ]finseqop__t63_finseqop2021-07-19 04:26 41K 
[ ]finseqop__t64_finseqop2021-07-19 04:27 38K 
[ ]finseqop__t65_finseqop2021-07-19 04:27 36K 
[ ]finseqop__t66_finseqop2021-07-19 04:27 38K 
[ ]finseqop__t67_finseqop2021-07-19 04:28 43K 
[ ]finseqop__t68_finseqop2021-07-19 04:28 58K 
[ ]finseqop__t69_finseqop2021-07-19 04:29 55K 
[ ]finseqop__t70_finseqop2021-07-19 04:29 55K 
[ ]finseqop__t71_finseqop2021-07-19 04:30 55K 
[ ]finseqop__t72_finseqop2021-07-19 04:30 55K 
[ ]finseqop__t73_finseqop2021-07-19 04:31 64K 
[ ]finseqop__t74_finseqop2021-07-19 04:31 63K 
[ ]finseqop__t75_finseqop2021-07-19 04:32 55K 
[ ]finseqop__t76_finseqop2021-07-19 04:32 63K 
[ ]finseqop__t77_finseqop2021-07-19 04:33 29K 
[ ]finseqop__t79_finseqop2021-07-19 04:33 41K 
[ ]finseqop__t80_finseqop2021-07-19 04:01 39K 
[ ]finseqop__t81_finseqop2021-07-19 04:33 47K 
[ ]finseqop__t82_finseqop2021-07-19 04:34 47K 
[ ]finseqop__t83_finseqop2021-07-19 04:34 54K 
[ ]finseqop__t84_finseqop2021-07-19 04:35 56K 
[ ]finseqop__t85_finseqop2021-07-19 04:35 52K 
[ ]finseqop__t86_finseqop2021-07-19 04:36 48K 
[ ]finseqop__t87_finseqop2021-07-19 04:36 48K 
[ ]finseqop__t88_finseqop2021-07-19 04:36 47K 
[ ]finseqop__t89_finseqop2021-07-19 04:37 53K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80