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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]quaterni__l7_quaterni2021-07-18 17:09 14K 
[ ]quaterni__l11_quaterni2021-07-18 17:09 14K 
[ ]quaterni__l12_quaterni2021-07-18 17:10 38K 
[ ]quaterni__l14_quaterni2021-07-18 17:43 49K 
[ ]quaterni__l18_quaterni2021-07-18 17:43 15K 
[ ]quaterni__l20_quaterni2021-07-18 17:44 146K 
[ ]quaterni__l25_quaterni2021-07-18 17:44 52K 
[ ]quaterni__l45_quaterni2021-07-18 17:44 42K 
[ ]quaterni__l46_quaterni2021-07-18 17:45 54K 
[ ]quaterni__l52_quaterni2021-07-18 17:45 56K 
[ ]quaterni__l56_quaterni2021-07-18 17:45 51K 
[ ]quaterni__l60_quaterni2021-07-18 17:46 45K 
[ ]quaterni__l61_quaterni2021-07-18 17:46 45K 
[ ]quaterni__l62_quaterni2021-07-18 17:47 45K 
[ ]quaterni__l63_quaterni2021-07-18 17:47 68K 
[ ]quaterni__l64_quaterni2021-07-18 17:48 46K 
[ ]quaterni__l65_quaterni2021-07-18 17:48 69K 
[ ]quaterni__l66_quaterni2021-07-18 17:48 68K 
[ ]quaterni__l68_quaterni2021-07-18 17:49 52K 
[ ]quaterni__l75_quaterni2021-07-18 17:49 73K 
[ ]quaterni__l76_quaterni2021-07-18 17:50 61K 
[ ]quaterni__l78_quaterni2021-07-18 17:50 149K 
[ ]quaterni__l80_quaterni2021-07-18 17:51 56K 
[ ]quaterni__l81_quaterni2021-07-18 17:51 61K 
[ ]quaterni__l85_quaterni2021-07-18 17:52 74K 
[ ]quaterni__l87_quaterni2021-07-18 17:52 82K 
[ ]quaterni__l123_quaterni2021-07-18 17:52 30K 
[ ]quaterni__l124_quaterni2021-07-18 17:53 30K 
[ ]quaterni__l125_quaterni2021-07-18 17:53 30K 
[ ]quaterni__l126_quaterni2021-07-18 17:53 57K 
[ ]quaterni__l127_quaterni2021-07-18 17:53 3.4K 
[ ]quaterni__l128_quaterni2021-07-18 17:54 35K 
[ ]quaterni__l129_quaterni2021-07-18 17:54 58K 
[ ]quaterni__l130_quaterni2021-07-18 17:54 39K 
[ ]quaterni__l137_quaterni2021-07-18 17:54 71K 
[ ]quaterni__l138_quaterni2021-07-18 17:55 71K 
[ ]quaterni__l139_quaterni2021-07-18 17:55 63K 
[ ]quaterni__l140_quaterni2021-07-18 17:56 207K 
[ ]quaterni__l141_quaterni2021-07-18 17:56 207K 
[ ]quaterni__l146_quaterni2021-07-18 17:57 71K 
[ ]quaterni__t5_quaterni2021-07-18 17:10 15K 
[ ]quaterni__t7_quaterni2021-07-18 17:10 56K 
[ ]quaterni__t9_quaterni2021-07-18 17:11 29K 
[ ]quaterni__t10_quaterni2021-07-18 17:11 53K 
[ ]quaterni__t12_quaterni2021-07-18 17:12 51K 
[ ]quaterni__t13_quaterni2021-07-18 17:12 160K 
[ ]quaterni__t14_quaterni2021-07-18 17:13 90K 
[ ]quaterni__t15_quaterni2021-07-18 17:13 90K 
[ ]quaterni__t16_quaterni2021-07-18 17:13 163K 
[ ]quaterni__t17_quaterni2021-07-18 17:14 163K 
[ ]quaterni__t18_quaterni2021-07-18 17:14 163K 
[ ]quaterni__t19_quaterni2021-07-18 17:15 165K 
[ ]quaterni__t20_quaterni2021-07-18 17:15 89K 
[ ]quaterni__t21_quaterni2021-07-18 17:16 165K 
[ ]quaterni__t22_quaterni2021-07-18 17:16 40K 
[ ]quaterni__t23_quaterni2021-07-18 17:17 58K 
[ ]quaterni__t24_quaterni2021-07-18 17:17 58K 
[ ]quaterni__t25_quaterni2021-07-18 17:18 40K 
[ ]quaterni__t26_quaterni2021-07-18 17:18 41K 
[ ]quaterni__t27_quaterni2021-07-18 17:18 75K 
[ ]quaterni__t28_quaterni2021-07-18 17:19 48K 
[ ]quaterni__t29_quaterni2021-07-18 17:03 42K 
[ ]quaterni__t30_quaterni2021-07-18 17:19 52K 
[ ]quaterni__t31_quaterni2021-07-18 17:03 53K 
[ ]quaterni__t32_quaterni2021-07-18 17:20 45K 
[ ]quaterni__t33_quaterni2021-07-18 17:20 105K 
[ ]quaterni__t34_quaterni2021-07-18 17:20 89K 
[ ]quaterni__t35_quaterni2021-07-18 17:21 89K 
[ ]quaterni__t36_quaterni2021-07-18 17:21 45K 
[ ]quaterni__t37_quaterni2021-07-18 17:22 57K 
[ ]quaterni__t38_quaterni2021-07-18 17:22 464K 
[ ]quaterni__t39_quaterni2021-07-18 17:23 77K 
[ ]quaterni__t40_quaterni2021-07-18 17:23 77K 
[ ]quaterni__t41_quaterni2021-07-18 17:24 61K 
[ ]quaterni__t42_quaterni2021-07-18 17:24 82K 
[ ]quaterni__t43_quaterni2021-07-18 17:25 120K 
[ ]quaterni__t44_quaterni2021-07-18 17:25 61K 
[ ]quaterni__t45_quaterni2021-07-18 17:26 61K 
[ ]quaterni__t46_quaterni2021-07-18 17:26 166K 
[ ]quaterni__t47_quaterni2021-07-18 17:27 62K 
[ ]quaterni__t48_quaterni2021-07-18 17:27 62K 
[ ]quaterni__t49_quaterni2021-07-18 17:27 62K 
[ ]quaterni__t50_quaterni2021-07-18 17:28 62K 
[ ]quaterni__t51_quaterni2021-07-18 17:03 61K 
[ ]quaterni__t52_quaterni2021-07-18 17:04 61K 
[ ]quaterni__t53_quaterni2021-07-18 17:04 61K 
[ ]quaterni__t54_quaterni2021-07-18 17:28 70K 
[ ]quaterni__t55_quaterni2021-07-18 17:29 75K 
[ ]quaterni__t56_quaterni2021-07-18 17:29 84K 
[ ]quaterni__t57_quaterni2021-07-18 17:30 463K 
[ ]quaterni__t58_quaterni2021-07-18 17:30 61K 
[ ]quaterni__t59_quaterni2021-07-18 17:31 61K 
[ ]quaterni__t60_quaterni2021-07-18 17:31 168K 
[ ]quaterni__t61_quaterni2021-07-18 17:32 119K 
[ ]quaterni__t62_quaterni2021-07-18 17:32 58K 
[ ]quaterni__t63_quaterni2021-07-18 17:33 72K 
[ ]quaterni__t64_quaterni2021-07-18 17:33 168K 
[ ]quaterni__t65_quaterni2021-07-18 17:34 76K 
[ ]quaterni__t66_quaterni2021-07-18 17:34 256K 
[ ]quaterni__t67_quaterni2021-07-18 17:34 31K 
[ ]quaterni__t68_quaterni2021-07-18 17:35 77K 
[ ]quaterni__t69_quaterni2021-07-18 17:05 46K 
[ ]quaterni__t70_quaterni2021-07-18 17:05 63K 
[ ]quaterni__t71_quaterni2021-07-18 17:06 63K 
[ ]quaterni__t72_quaterni2021-07-18 17:35 207K 
[ ]quaterni__t73_quaterni2021-07-18 17:36 461K 
[ ]quaterni__t74_quaterni2021-07-18 17:36 29K 
[ ]quaterni__t75_quaterni2021-07-18 17:36 59K 
[ ]quaterni__t76_quaterni2021-07-18 17:37 59K 
[ ]quaterni__t77_quaterni2021-07-18 17:37 59K 
[ ]quaterni__t78_quaterni2021-07-18 17:37 59K 
[ ]quaterni__t79_quaterni2021-07-18 17:38 261K 
[ ]quaterni__t80_quaterni2021-07-18 17:38 91K 
[ ]quaterni__t81_quaterni2021-07-18 17:39 91K 
[ ]quaterni__t82_quaterni2021-07-18 17:39 91K 
[ ]quaterni__t83_quaterni2021-07-18 17:40 78K 
[ ]quaterni__t84_quaterni2021-07-18 17:40 78K 
[ ]quaterni__t85_quaterni2021-07-18 17:41 91K 
[ ]quaterni__t86_quaterni2021-07-18 17:41 91K 
[ ]quaterni__t87_quaterni2021-07-18 17:41 258K 
[ ]quaterni__t88_quaterni2021-07-18 17:42 90K 
[ ]quaterni__t89_quaterni2021-07-18 17:42 167K 
[ ]quaterni__t90_quaterni2021-07-18 17:06 15K 
[ ]quaterni__t91_quaterni2021-07-18 17:06 40K 
[ ]quaterni__t92_quaterni2021-07-18 17:07 61K 
[ ]quaterni__t93_quaterni2021-07-18 17:07 149K 
[ ]quaterni__t94_quaterni2021-07-18 17:08 60K 
[ ]quaterni__t95_quaterni2021-07-18 17:08 81K 
[ ]quaterni__t96_quaterni2021-07-18 17:09 47K 
[ ]quaterni__t97_quaterni2021-07-18 17:09 68K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80