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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]xxreal_3__l11_xxreal_32021-07-18 13:30 22K 
[ ]xxreal_3__l12_xxreal_32021-07-18 13:30 22K 
[ ]xxreal_3__l15_xxreal_32021-07-18 13:51 29K 
[ ]xxreal_3__l16_xxreal_32021-07-18 13:52 30K 
[ ]xxreal_3__l17_xxreal_32021-07-18 13:30 17K 
[ ]xxreal_3__l18_xxreal_32021-07-18 13:52 24K 
[ ]xxreal_3__l19_xxreal_32021-07-18 13:52 24K 
[ ]xxreal_3__l22_xxreal_32021-07-18 13:52 22K 
[ ]xxreal_3__l23_xxreal_32021-07-18 13:52 22K 
[ ]xxreal_3__l38_xxreal_32021-07-18 13:31 17K 
[ ]xxreal_3__l39_xxreal_32021-07-18 13:53 24K 
[ ]xxreal_3__l50_xxreal_32021-07-18 13:53 65K 
[ ]xxreal_3__l51_xxreal_32021-07-18 13:53 22K 
[ ]xxreal_3__l52_xxreal_32021-07-18 13:53 22K 
[ ]xxreal_3__l53_xxreal_32021-07-18 13:54 44K 
[ ]xxreal_3__l66_xxreal_32021-07-18 13:31 14K 
[ ]xxreal_3__l89_xxreal_32021-07-18 13:54 20K 
[ ]xxreal_3__l90_xxreal_32021-07-18 13:54 18K 
[ ]xxreal_3__l91_xxreal_32021-07-18 13:54 19K 
[ ]xxreal_3__l92_xxreal_32021-07-18 13:54 19K 
[ ]xxreal_3__l93_xxreal_32021-07-18 13:55 22K 
[ ]xxreal_3__l94_xxreal_32021-07-18 13:55 23K 
[ ]xxreal_3__l100_xxreal_32021-07-18 13:55 22K 
[ ]xxreal_3__l125_xxreal_32021-07-18 13:55 27K 
[ ]xxreal_3__l126_xxreal_32021-07-18 13:55 27K 
[ ]xxreal_3__l127_xxreal_32021-07-18 13:31 27K 
[ ]xxreal_3__l128_xxreal_32021-07-18 13:56 45K 
[ ]xxreal_3__l129_xxreal_32021-07-18 13:56 33K 
[ ]xxreal_3__t1_xxreal_32021-07-18 13:31 14K 
[ ]xxreal_3__t2_xxreal_32021-07-18 13:31 14K 
[ ]xxreal_3__t3_xxreal_32021-07-18 13:32 31K 
[ ]xxreal_3__t4_xxreal_32021-07-18 13:32 22K 
[ ]xxreal_3__t5_xxreal_32021-07-18 13:28 17K 
[ ]xxreal_3__t6_xxreal_32021-07-18 13:28 17K 
[ ]xxreal_3__t7_xxreal_32021-07-18 13:32 54K 
[ ]xxreal_3__t8_xxreal_32021-07-18 13:32 55K 
[ ]xxreal_3__t9_xxreal_32021-07-18 13:33 37K 
[ ]xxreal_3__t10_xxreal_32021-07-18 13:33 37K 
[ ]xxreal_3__t11_xxreal_32021-07-18 13:33 55K 
[ ]xxreal_3__t12_xxreal_32021-07-18 13:33 7.5K 
[ ]xxreal_3__t13_xxreal_32021-07-18 13:33 28K 
[ ]xxreal_3__t14_xxreal_32021-07-18 13:34 28K 
[ ]xxreal_3__t15_xxreal_32021-07-18 13:34 30K 
[ ]xxreal_3__t16_xxreal_32021-07-18 13:28 19K 
[ ]xxreal_3__t17_xxreal_32021-07-18 13:28 20K 
[ ]xxreal_3__t18_xxreal_32021-07-18 13:34 27K 
[ ]xxreal_3__t19_xxreal_32021-07-18 13:34 27K 
[ ]xxreal_3__t20_xxreal_32021-07-18 13:34 21K 
[ ]xxreal_3__t21_xxreal_32021-07-18 13:35 27K 
[ ]xxreal_3__t22_xxreal_32021-07-18 13:35 28K 
[ ]xxreal_3__t23_xxreal_32021-07-18 13:35 18K 
[ ]xxreal_3__t24_xxreal_32021-07-18 13:35 56K 
[ ]xxreal_3__t25_xxreal_32021-07-18 13:36 36K 
[ ]xxreal_3__t26_xxreal_32021-07-18 13:36 2.1K 
[ ]xxreal_3__t27_xxreal_32021-07-18 13:36 2.2K 
[ ]xxreal_3__t28_xxreal_32021-07-18 13:36 29K 
[ ]xxreal_3__t29_xxreal_32021-07-18 13:36 55K 
[ ]xxreal_3__t30_xxreal_32021-07-18 13:36 28K 
[ ]xxreal_3__t31_xxreal_32021-07-18 13:37 57K 
[ ]xxreal_3__t32_xxreal_32021-07-18 13:37 42K 
[ ]xxreal_3__t33_xxreal_32021-07-18 13:37 57K 
[ ]xxreal_3__t34_xxreal_32021-07-18 13:37 7.8K 
[ ]xxreal_3__t35_xxreal_32021-07-18 13:28 1.8K 
[ ]xxreal_3__t36_xxreal_32021-07-18 13:38 69K 
[ ]xxreal_3__t37_xxreal_32021-07-18 13:38 3.0K 
[ ]xxreal_3__t38_xxreal_32021-07-18 13:38 1.6K 
[ ]xxreal_3__t39_xxreal_32021-07-18 13:38 24K 
[ ]xxreal_3__t40_xxreal_32021-07-18 13:38 32K 
[ ]xxreal_3__t41_xxreal_32021-07-18 13:39 72K 
[ ]xxreal_3__t42_xxreal_32021-07-18 13:39 73K 
[ ]xxreal_3__t43_xxreal_32021-07-18 13:39 31K 
[ ]xxreal_3__t44_xxreal_32021-07-18 13:39 66K 
[ ]xxreal_3__t45_xxreal_32021-07-18 13:40 36K 
[ ]xxreal_3__t46_xxreal_32021-07-18 13:40 33K 
[ ]xxreal_3__t47_xxreal_32021-07-18 13:40 36K 
[ ]xxreal_3__t48_xxreal_32021-07-18 13:40 40K 
[ ]xxreal_3__t49_xxreal_32021-07-18 13:40 35K 
[ ]xxreal_3__t50_xxreal_32021-07-18 13:41 141K 
[ ]xxreal_3__t51_xxreal_32021-07-18 13:41 50K 
[ ]xxreal_3__t52_xxreal_32021-07-18 13:41 72K 
[ ]xxreal_3__t53_xxreal_32021-07-18 13:41 72K 
[ ]xxreal_3__t54_xxreal_32021-07-18 13:42 72K 
[ ]xxreal_3__t55_xxreal_32021-07-18 13:42 72K 
[ ]xxreal_3__t56_xxreal_32021-07-18 13:42 72K 
[ ]xxreal_3__t57_xxreal_32021-07-18 13:43 38K 
[ ]xxreal_3__t58_xxreal_32021-07-18 13:43 34K 
[ ]xxreal_3__t59_xxreal_32021-07-18 13:43 26K 
[ ]xxreal_3__t60_xxreal_32021-07-18 13:43 1.7K 
[ ]xxreal_3__t61_xxreal_32021-07-18 13:43 72K 
[ ]xxreal_3__t62_xxreal_32021-07-18 13:44 35K 
[ ]xxreal_3__t63_xxreal_32021-07-18 13:44 39K 
[ ]xxreal_3__t64_xxreal_32021-07-18 13:44 37K 
[ ]xxreal_3__t65_xxreal_32021-07-18 13:44 24K 
[ ]xxreal_3__t66_xxreal_32021-07-18 13:44 3.7K 
[ ]xxreal_3__t67_xxreal_32021-07-18 13:45 42K 
[ ]xxreal_3__t68_xxreal_32021-07-18 13:45 40K 
[ ]xxreal_3__t69_xxreal_32021-07-18 13:45 21K 
[ ]xxreal_3__t70_xxreal_32021-07-18 13:45 21K 
[ ]xxreal_3__t71_xxreal_32021-07-18 13:46 45K 
[ ]xxreal_3__t72_xxreal_32021-07-18 13:46 40K 
[ ]xxreal_3__t73_xxreal_32021-07-18 13:28 20K 
[ ]xxreal_3__t74_xxreal_32021-07-18 13:29 17K 
[ ]xxreal_3__t75_xxreal_32021-07-18 13:29 17K 
[ ]xxreal_3__t76_xxreal_32021-07-18 13:29 41K 
[ ]xxreal_3__t77_xxreal_32021-07-18 13:29 41K 
[ ]xxreal_3__t78_xxreal_32021-07-18 13:46 42K 
[ ]xxreal_3__t79_xxreal_32021-07-18 13:29 30K 
[ ]xxreal_3__t80_xxreal_32021-07-18 13:46 32K 
[ ]xxreal_3__t81_xxreal_32021-07-18 13:47 34K 
[ ]xxreal_3__t82_xxreal_32021-07-18 13:47 18K 
[ ]xxreal_3__t83_xxreal_32021-07-18 13:47 32K 
[ ]xxreal_3__t84_xxreal_32021-07-18 13:47 32K 
[ ]xxreal_3__t85_xxreal_32021-07-18 13:47 32K 
[ ]xxreal_3__t86_xxreal_32021-07-18 13:48 32K 
[ ]xxreal_3__t87_xxreal_32021-07-18 13:48 42K 
[ ]xxreal_3__t88_xxreal_32021-07-18 13:48 48K 
[ ]xxreal_3__t89_xxreal_32021-07-18 13:48 25K 
[ ]xxreal_3__t90_xxreal_32021-07-18 13:49 22K 
[ ]xxreal_3__t91_xxreal_32021-07-18 13:49 42K 
[ ]xxreal_3__t92_xxreal_32021-07-18 13:49 23K 
[ ]xxreal_3__t93_xxreal_32021-07-18 13:49 36K 
[ ]xxreal_3__t94_xxreal_32021-07-18 13:49 45K 
[ ]xxreal_3__t95_xxreal_32021-07-18 13:50 6.5K 
[ ]xxreal_3__t96_xxreal_32021-07-18 13:50 34K 
[ ]xxreal_3__t97_xxreal_32021-07-18 13:50 34K 
[ ]xxreal_3__t98_xxreal_32021-07-18 13:30 27K 
[ ]xxreal_3__t99_xxreal_32021-07-18 13:50 41K 
[ ]xxreal_3__t100_xxreal_32021-07-18 13:50 9.9K 
[ ]xxreal_3__t101_xxreal_32021-07-18 13:51 26K 
[ ]xxreal_3__t102_xxreal_32021-07-18 13:51 27K 
[ ]xxreal_3__t103_xxreal_32021-07-18 13:30 30K 
[ ]xxreal_3__t104_xxreal_32021-07-18 13:51 32K 
[ ]xxreal_3__t105_xxreal_32021-07-18 13:51 38K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80