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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]setlim_2__t1_setlim_22025-09-12 14:52 25K 
[ ]setlim_2__t2_setlim_22025-09-12 14:53 26K 
[ ]setlim_2__t3_setlim_22025-09-12 14:54 30K 
[ ]setlim_2__t8_setlim_22025-09-12 14:55 23K 
[ ]setlim_2__t9_setlim_22025-09-12 14:56 24K 
[ ]setlim_2__t10_setlim_22025-09-12 14:56 22K 
[ ]setlim_2__t11_setlim_22025-09-12 14:57 28K 
[ ]setlim_2__t12_setlim_22025-09-12 14:58 23K 
[ ]setlim_2__t13_setlim_22025-09-12 14:59 23K 
[ ]setlim_2__t14_setlim_22025-09-12 15:00 22K 
[ ]setlim_2__t15_setlim_22025-09-12 15:01 30K 
[ ]setlim_2__t21_setlim_22025-09-12 15:02 21K 
[ ]setlim_2__t22_setlim_22025-09-12 15:03 21K 
[ ]setlim_2__t23_setlim_22025-09-12 15:03 18K 
[ ]setlim_2__t24_setlim_22025-09-12 15:04 22K 
[ ]setlim_2__t25_setlim_22025-09-12 15:05 22K 
[ ]setlim_2__t26_setlim_22025-09-12 15:06 18K 
[ ]setlim_2__t27_setlim_22025-09-12 15:07 21K 
[ ]setlim_2__t28_setlim_22025-09-12 15:08 21K 
[ ]setlim_2__t29_setlim_22025-09-12 15:08 18K 
[ ]setlim_2__t30_setlim_22025-09-12 15:09 21K 
[ ]setlim_2__t31_setlim_22025-09-12 15:10 21K 
[ ]setlim_2__t32_setlim_22025-09-12 15:11 18K 
[ ]setlim_2__t33_setlim_22025-09-12 15:12 22K 
[ ]setlim_2__t34_setlim_22025-09-12 15:13 22K 
[ ]setlim_2__t35_setlim_22025-09-12 15:13 22K 
[ ]setlim_2__t36_setlim_22025-09-12 15:14 21K 
[ ]setlim_2__t37_setlim_22025-09-12 15:15 23K 
[ ]setlim_2__t38_setlim_22025-09-12 15:16 22K 
[ ]setlim_2__t39_setlim_22025-09-12 15:17 23K 
[ ]setlim_2__t40_setlim_22025-09-12 15:18 22K 
[ ]setlim_2__t41_setlim_22025-09-12 15:19 22K 
[ ]setlim_2__t42_setlim_22025-09-12 15:20 24K 
[ ]setlim_2__t43_setlim_22025-09-12 15:21 26K 
[ ]setlim_2__t44_setlim_22025-09-12 15:22 26K 
[ ]setlim_2__t45_setlim_22025-09-12 15:22 25K 
[ ]setlim_2__t46_setlim_22025-09-12 15:23 27K 
[ ]setlim_2__t47_setlim_22025-09-12 15:24 27K 
[ ]setlim_2__t48_setlim_22025-09-12 15:25 25K 
[ ]setlim_2__t49_setlim_22025-09-12 15:26 28K 
[ ]setlim_2__t50_setlim_22025-09-12 15:27 25K 
[ ]setlim_2__t51_setlim_22025-09-12 15:28 25K 
[ ]setlim_2__t52_setlim_22025-09-12 15:29 24K 
[ ]setlim_2__t53_setlim_22025-09-12 15:30 24K 
[ ]setlim_2__t54_setlim_22025-09-12 15:30 26K 
[ ]setlim_2__t55_setlim_22025-09-12 15:31 25K 
[ ]setlim_2__t56_setlim_22025-09-12 15:32 26K 
[ ]setlim_2__t57_setlim_22025-09-12 15:33 25K 
[ ]setlim_2__t58_setlim_22025-09-12 15:34 25K 
[ ]setlim_2__t59_setlim_22025-09-12 15:35 26K 
[ ]setlim_2__t60_setlim_22025-09-12 15:36 23K 
[ ]setlim_2__t61_setlim_22025-09-12 15:37 23K 
[ ]setlim_2__t62_setlim_22025-09-12 15:38 24K 
[ ]setlim_2__t63_setlim_22025-09-12 15:39 28K 
[ ]setlim_2__t64_setlim_22025-09-12 15:39 27K 
[ ]setlim_2__t65_setlim_22025-09-12 15:40 28K 
[ ]setlim_2__t66_setlim_22025-09-12 15:41 29K 
[ ]setlim_2__t67_setlim_22025-09-12 15:42 23K 
[ ]setlim_2__t68_setlim_22025-09-12 15:43 23K 
[ ]setlim_2__t69_setlim_22025-09-12 15:44 24K 
[ ]setlim_2__t70_setlim_22025-09-12 15:45 27K 
[ ]setlim_2__t71_setlim_22025-09-12 15:46 28K 
[ ]setlim_2__t72_setlim_22025-09-12 15:47 27K 
[ ]setlim_2__t73_setlim_22025-09-12 15:48 27K 
[ ]setlim_2__t74_setlim_22025-09-12 15:49 27K 
[ ]setlim_2__t75_setlim_22025-09-12 15:50 27K 
[ ]setlim_2__t76_setlim_22025-09-12 15:51 24K 
[ ]setlim_2__t77_setlim_22025-09-12 15:52 26K 
[ ]setlim_2__t78_setlim_22025-09-12 15:52 26K 
[ ]setlim_2__t79_setlim_22025-09-12 15:53 26K 
[ ]setlim_2__t80_setlim_22025-09-12 15:54 28K 
[ ]setlim_2__t81_setlim_22025-09-12 15:55 26K 
[ ]setlim_2__t82_setlim_22025-09-12 15:56 26K 
[ ]setlim_2__t83_setlim_22025-09-12 15:57 24K 
[ ]setlim_2__t84_setlim_22025-09-12 15:58 25K 
[ ]setlim_2__t85_setlim_22025-09-12 15:59 23K 
[ ]setlim_2__t86_setlim_22025-09-12 16:00 26K 
[ ]setlim_2__t87_setlim_22025-09-12 16:01 28K 
[ ]setlim_2__t88_setlim_22025-09-12 16:01 22K 
[ ]setlim_2__t89_setlim_22025-09-12 16:02 23K 
[ ]setlim_2__t90_setlim_22025-09-12 16:03 21K 
[ ]setlim_2__t91_setlim_22025-09-12 16:04 24K 
[ ]setlim_2__t92_setlim_22025-09-12 16:05 21K 
[ ]setlim_2__t93_setlim_22025-09-12 16:06 21K 
[ ]setlim_2__t94_setlim_22025-09-12 16:06 20K 
[ ]setlim_2__t95_setlim_22025-09-12 16:07 20K 
[ ]setlim_2__t96_setlim_22025-09-12 16:08 22K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80