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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]quatern3__l2_quatern32021-07-18 22:19 22K 
[ ]quatern3__l76_quatern32021-07-18 21:47 6.5K 
[ ]quatern3__l77_quatern32021-07-18 21:47 20K 
[ ]quatern3__t1_quatern32021-07-18 21:48 54K 
[ ]quatern3__t2_quatern32021-07-18 21:48 30K 
[ ]quatern3__t3_quatern32021-07-18 21:48 42K 
[ ]quatern3__t4_quatern32021-07-18 21:49 55K 
[ ]quatern3__t5_quatern32021-07-18 21:49 22K 
[ ]quatern3__t6_quatern32021-07-18 21:49 22K 
[ ]quatern3__t7_quatern32021-07-18 21:50 22K 
[ ]quatern3__t8_quatern32021-07-18 21:50 38K 
[ ]quatern3__t9_quatern32021-07-18 21:50 135K 
[ ]quatern3__t10_quatern32021-07-18 21:51 21K 
[ ]quatern3__t11_quatern32021-07-18 21:51 51K 
[ ]quatern3__t12_quatern32021-07-18 21:51 430K 
[ ]quatern3__t13_quatern32021-07-18 21:52 136K 
[ ]quatern3__t14_quatern32021-07-18 21:52 87K 
[ ]quatern3__t15_quatern32021-07-18 21:52 139K 
[ ]quatern3__t16_quatern32021-07-18 21:53 138K 
[ ]quatern3__t17_quatern32021-07-18 21:53 185K 
[ ]quatern3__t18_quatern32021-07-18 21:54 427K 
[ ]quatern3__t19_quatern32021-07-18 21:54 431K 
[ ]quatern3__t20_quatern32021-07-18 21:54 138K 
[ ]quatern3__t21_quatern32021-07-18 21:55 432K 
[ ]quatern3__t22_quatern32021-07-18 21:55 138K 
[ ]quatern3__t23_quatern32021-07-18 21:56 432K 
[ ]quatern3__t24_quatern32021-07-18 21:56 430K 
[ ]quatern3__t25_quatern32021-07-18 21:56 430K 
[ ]quatern3__t26_quatern32021-07-18 21:57 430K 
[ ]quatern3__t27_quatern32021-07-18 21:57 430K 
[ ]quatern3__t28_quatern32021-07-18 21:58 431K 
[ ]quatern3__t29_quatern32021-07-18 21:58 434K 
[ ]quatern3__t30_quatern32021-07-18 21:58 54K 
[ ]quatern3__t31_quatern32021-07-18 21:59 17K 
[ ]quatern3__t32_quatern32021-07-18 21:59 430K 
[ ]quatern3__t33_quatern32021-07-18 22:00 430K 
[ ]quatern3__t34_quatern32021-07-18 22:00 54K 
[ ]quatern3__t35_quatern32021-07-18 22:00 68K 
[ ]quatern3__t36_quatern32021-07-18 22:01 69K 
[ ]quatern3__t37_quatern32021-07-18 22:01 67K 
[ ]quatern3__t38_quatern32021-07-18 22:01 410K 
[ ]quatern3__t39_quatern32021-07-18 22:02 410K 
[ ]quatern3__t40_quatern32021-07-18 22:02 67K 
[ ]quatern3__t41_quatern32021-07-18 22:02 68K 
[ ]quatern3__t42_quatern32021-07-18 22:03 68K 
[ ]quatern3__t43_quatern32021-07-18 22:03 81K 
[ ]quatern3__t44_quatern32021-07-18 22:03 410K 
[ ]quatern3__t45_quatern32021-07-18 22:04 410K 
[ ]quatern3__t46_quatern32021-07-18 22:04 437K 
[ ]quatern3__t47_quatern32021-07-18 22:05 431K 
[ ]quatern3__t48_quatern32021-07-18 22:05 185K 
[ ]quatern3__t49_quatern32021-07-18 22:05 185K 
[ ]quatern3__t50_quatern32021-07-18 22:06 20K 
[ ]quatern3__t51_quatern32021-07-18 22:06 19K 
[ ]quatern3__t52_quatern32021-07-18 22:06 21K 
[ ]quatern3__t53_quatern32021-07-18 22:07 21K 
[ ]quatern3__t54_quatern32021-07-18 22:07 21K 
[ ]quatern3__t55_quatern32021-07-18 22:07 21K 
[ ]quatern3__t56_quatern32021-07-18 22:08 20K 
[ ]quatern3__t57_quatern32021-07-18 22:08 20K 
[ ]quatern3__t58_quatern32021-07-18 22:08 20K 
[ ]quatern3__t59_quatern32021-07-18 22:08 19K 
[ ]quatern3__t60_quatern32021-07-18 22:09 19K 
[ ]quatern3__t61_quatern32021-07-18 22:09 19K 
[ ]quatern3__t62_quatern32021-07-18 22:09 183K 
[ ]quatern3__t63_quatern32021-07-18 22:10 184K 
[ ]quatern3__t64_quatern32021-07-18 22:10 20K 
[ ]quatern3__t65_quatern32021-07-18 22:10 20K 
[ ]quatern3__t66_quatern32021-07-18 22:11 19K 
[ ]quatern3__t67_quatern32021-07-18 22:11 18K 
[ ]quatern3__t68_quatern32021-07-18 22:11 19K 
[ ]quatern3__t69_quatern32021-07-18 22:12 19K 
[ ]quatern3__t70_quatern32021-07-18 22:12 185K 
[ ]quatern3__t71_quatern32021-07-18 22:12 21K 
[ ]quatern3__t72_quatern32021-07-18 22:13 54K 
[ ]quatern3__t73_quatern32021-07-18 22:13 184K 
[ ]quatern3__t74_quatern32021-07-18 22:13 187K 
[ ]quatern3__t75_quatern32021-07-18 22:14 530K 
[ ]quatern3__t76_quatern32021-07-18 22:14 190K 
[ ]quatern3__t77_quatern32021-07-18 22:14 190K 
[ ]quatern3__t78_quatern32021-07-18 22:15 184K 
[ ]quatern3__t79_quatern32021-07-18 22:15 189K 
[ ]quatern3__t80_quatern32021-07-18 22:15 189K 
[ ]quatern3__t81_quatern32021-07-18 22:16 185K 
[ ]quatern3__t82_quatern32021-07-18 22:16 189K 
[ ]quatern3__t83_quatern32021-07-18 22:17 190K 
[ ]quatern3__t84_quatern32021-07-18 22:17 134K 
[ ]quatern3__t85_quatern32021-07-18 22:17 56K 
[ ]quatern3__t86_quatern32021-07-18 22:18 57K 
[ ]quatern3__t87_quatern32021-07-18 22:18 191K 
[ ]quatern3__t88_quatern32021-07-18 22:18 192K 
[ ]quatern3__t89_quatern32021-07-18 22:19 20K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80