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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]quatern3__l2_quatern32025-09-13 21:15 20K 
[ ]quatern3__l76_quatern32025-09-13 19:22 4.9K 
[ ]quatern3__l77_quatern32025-09-13 19:23 19K 
[ ]quatern3__t1_quatern32025-09-13 19:24 52K 
[ ]quatern3__t2_quatern32025-09-13 19:25 29K 
[ ]quatern3__t3_quatern32025-09-13 19:27 41K 
[ ]quatern3__t4_quatern32025-09-13 19:28 54K 
[ ]quatern3__t5_quatern32025-09-13 19:29 21K 
[ ]quatern3__t6_quatern32025-09-13 19:30 20K 
[ ]quatern3__t7_quatern32025-09-13 19:31 20K 
[ ]quatern3__t8_quatern32025-09-13 19:32 37K 
[ ]quatern3__t9_quatern32025-09-13 19:34 137K 
[ ]quatern3__t10_quatern32025-09-13 19:35 20K 
[ ]quatern3__t11_quatern32025-09-13 19:36 49K 
[ ]quatern3__t12_quatern32025-09-13 19:37 460K 
[ ]quatern3__t13_quatern32025-09-13 19:38 138K 
[ ]quatern3__t14_quatern32025-09-13 19:40 87K 
[ ]quatern3__t15_quatern32025-09-13 19:41 140K 
[ ]quatern3__t16_quatern32025-09-13 19:43 140K 
[ ]quatern3__t17_quatern32025-09-13 19:44 188K 
[ ]quatern3__t18_quatern32025-09-13 19:45 456K 
[ ]quatern3__t19_quatern32025-09-13 19:47 461K 
[ ]quatern3__t20_quatern32025-09-13 19:48 140K 
[ ]quatern3__t21_quatern32025-09-13 19:49 461K 
[ ]quatern3__t22_quatern32025-09-13 19:51 140K 
[ ]quatern3__t23_quatern32025-09-13 19:52 461K 
[ ]quatern3__t24_quatern32025-09-13 19:54 459K 
[ ]quatern3__t25_quatern32025-09-13 19:55 459K 
[ ]quatern3__t26_quatern32025-09-13 19:57 459K 
[ ]quatern3__t27_quatern32025-09-13 19:58 459K 
[ ]quatern3__t28_quatern32025-09-13 19:59 460K 
[ ]quatern3__t29_quatern32025-09-13 20:01 464K 
[ ]quatern3__t30_quatern32025-09-13 20:02 53K 
[ ]quatern3__t31_quatern32025-09-13 20:03 16K 
[ ]quatern3__t32_quatern32025-09-13 20:05 459K 
[ ]quatern3__t33_quatern32025-09-13 20:06 459K 
[ ]quatern3__t34_quatern32025-09-13 20:07 53K 
[ ]quatern3__t35_quatern32025-09-13 20:08 67K 
[ ]quatern3__t36_quatern32025-09-13 20:10 68K 
[ ]quatern3__t37_quatern32025-09-13 20:11 67K 
[ ]quatern3__t38_quatern32025-09-13 20:12 479K 
[ ]quatern3__t39_quatern32025-09-13 20:13 480K 
[ ]quatern3__t40_quatern32025-09-13 20:15 67K 
[ ]quatern3__t41_quatern32025-09-13 20:16 67K 
[ ]quatern3__t42_quatern32025-09-13 20:17 67K 
[ ]quatern3__t43_quatern32025-09-13 20:18 79K 
[ ]quatern3__t44_quatern32025-09-13 20:19 480K 
[ ]quatern3__t45_quatern32025-09-13 20:20 479K 
[ ]quatern3__t46_quatern32025-09-13 20:22 467K 
[ ]quatern3__t47_quatern32025-09-13 20:23 460K 
[ ]quatern3__t48_quatern32025-09-13 20:25 187K 
[ ]quatern3__t49_quatern32025-09-13 20:26 187K 
[ ]quatern3__t50_quatern32025-09-13 20:27 19K 
[ ]quatern3__t51_quatern32025-09-13 20:28 18K 
[ ]quatern3__t52_quatern32025-09-13 20:29 19K 
[ ]quatern3__t53_quatern32025-09-13 20:30 19K 
[ ]quatern3__t54_quatern32025-09-13 20:31 20K 
[ ]quatern3__t55_quatern32025-09-13 20:32 20K 
[ ]quatern3__t56_quatern32025-09-13 20:34 19K 
[ ]quatern3__t57_quatern32025-09-13 20:35 19K 
[ ]quatern3__t58_quatern32025-09-13 20:36 18K 
[ ]quatern3__t59_quatern32025-09-13 20:37 18K 
[ ]quatern3__t60_quatern32025-09-13 20:38 18K 
[ ]quatern3__t61_quatern32025-09-13 20:39 18K 
[ ]quatern3__t62_quatern32025-09-13 20:40 186K 
[ ]quatern3__t63_quatern32025-09-13 20:41 186K 
[ ]quatern3__t64_quatern32025-09-13 20:42 19K 
[ ]quatern3__t65_quatern32025-09-13 20:43 19K 
[ ]quatern3__t66_quatern32025-09-13 20:44 18K 
[ ]quatern3__t67_quatern32025-09-13 20:45 17K 
[ ]quatern3__t68_quatern32025-09-13 20:47 18K 
[ ]quatern3__t69_quatern32025-09-13 20:48 18K 
[ ]quatern3__t70_quatern32025-09-13 20:49 188K 
[ ]quatern3__t71_quatern32025-09-13 20:50 20K 
[ ]quatern3__t72_quatern32025-09-13 20:51 53K 
[ ]quatern3__t73_quatern32025-09-13 20:53 187K 
[ ]quatern3__t74_quatern32025-09-13 20:54 189K 
[ ]quatern3__t75_quatern32025-09-13 20:55 575K 
[ ]quatern3__t76_quatern32025-09-13 20:57 303K 
[ ]quatern3__t77_quatern32025-09-13 20:58 303K 
[ ]quatern3__t78_quatern32025-09-13 21:00 187K 
[ ]quatern3__t79_quatern32025-09-13 21:01 191K 
[ ]quatern3__t80_quatern32025-09-13 21:02 191K 
[ ]quatern3__t81_quatern32025-09-13 21:04 188K 
[ ]quatern3__t82_quatern32025-09-13 21:05 192K 
[ ]quatern3__t83_quatern32025-09-13 21:06 192K 
[ ]quatern3__t84_quatern32025-09-13 21:08 135K 
[ ]quatern3__t85_quatern32025-09-13 21:09 54K 
[ ]quatern3__t86_quatern32025-09-13 21:10 55K 
[ ]quatern3__t87_quatern32025-09-13 21:12 193K 
[ ]quatern3__t88_quatern32025-09-13 21:13 194K 
[ ]quatern3__t89_quatern32025-09-13 21:14 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80