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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal3__l14_ordinal32025-09-14 03:44 9.4K 
[ ]ordinal3__t1_ordinal32025-09-14 03:42 9.2K 
[ ]ordinal3__t2_ordinal32025-09-14 03:45 9.2K 
[ ]ordinal3__t3_ordinal32025-09-14 03:45 10K 
[ ]ordinal3__t4_ordinal32025-09-14 03:46 7.8K 
[ ]ordinal3__t5_ordinal32025-09-14 03:46 6.9K 
[ ]ordinal3__t6_ordinal32025-09-14 03:47 7.9K 
[ ]ordinal3__t7_ordinal32025-09-14 03:47 9.5K 
[ ]ordinal3__t8_ordinal32025-09-14 03:48 8.7K 
[ ]ordinal3__t9_ordinal32025-09-14 03:48 7.5K 
[ ]ordinal3__t10_ordinal32025-09-14 03:49 7.1K 
[ ]ordinal3__t11_ordinal32025-09-14 03:50 8.0K 
[ ]ordinal3__t12_ordinal32025-09-14 03:50 9.5K 
[ ]ordinal3__t13_ordinal32025-09-14 03:51 9.2K 
[ ]ordinal3__t14_ordinal32025-09-14 03:51 12K 
[ ]ordinal3__t15_ordinal32025-09-14 03:43 9.5K 
[ ]ordinal3__t16_ordinal32025-09-14 03:52 9.7K 
[ ]ordinal3__t17_ordinal32025-09-14 03:52 10K 
[ ]ordinal3__t18_ordinal32025-09-14 03:53 9.3K 
[ ]ordinal3__t19_ordinal32025-09-14 03:53 10K 
[ ]ordinal3__t20_ordinal32025-09-14 03:54 9.1K 
[ ]ordinal3__t21_ordinal32025-09-14 03:54 7.2K 
[ ]ordinal3__t22_ordinal32025-09-14 03:55 9.5K 
[ ]ordinal3__t23_ordinal32025-09-14 03:56 10K 
[ ]ordinal3__t24_ordinal32025-09-14 03:56 10K 
[ ]ordinal3__t25_ordinal32025-09-14 03:57 8.9K 
[ ]ordinal3__t26_ordinal32025-09-14 03:43 9.2K 
[ ]ordinal3__t27_ordinal32025-09-14 03:58 19K 
[ ]ordinal3__t28_ordinal32025-09-14 03:58 9.8K 
[ ]ordinal3__t29_ordinal32025-09-14 03:59 18K 
[ ]ordinal3__t30_ordinal32025-09-14 04:00 18K 
[ ]ordinal3__t31_ordinal32025-09-14 04:00 9.8K 
[ ]ordinal3__t32_ordinal32025-09-14 04:01 14K 
[ ]ordinal3__t33_ordinal32025-09-14 04:01 7.4K 
[ ]ordinal3__t34_ordinal32025-09-14 04:02 9.2K 
[ ]ordinal3__t35_ordinal32025-09-14 04:03 10K 
[ ]ordinal3__t36_ordinal32025-09-14 04:03 13K 
[ ]ordinal3__t37_ordinal32025-09-14 04:04 14K 
[ ]ordinal3__t38_ordinal32025-09-14 04:04 9.8K 
[ ]ordinal3__t39_ordinal32025-09-14 04:05 14K 
[ ]ordinal3__t40_ordinal32025-09-14 04:06 19K 
[ ]ordinal3__t41_ordinal32025-09-14 04:07 18K 
[ ]ordinal3__t42_ordinal32025-09-14 04:08 14K 
[ ]ordinal3__t43_ordinal32025-09-14 04:08 11K 
[ ]ordinal3__t44_ordinal32025-09-14 04:09 11K 
[ ]ordinal3__t45_ordinal32025-09-14 04:09 10K 
[ ]ordinal3__t46_ordinal32025-09-14 04:10 20K 
[ ]ordinal3__t47_ordinal32025-09-14 04:11 18K 
[ ]ordinal3__t48_ordinal32025-09-14 04:12 11K 
[ ]ordinal3__t49_ordinal32025-09-14 04:12 19K 
[ ]ordinal3__t50_ordinal32025-09-14 04:13 20K 
[ ]ordinal3__t51_ordinal32025-09-14 04:14 9.6K 
[ ]ordinal3__t52_ordinal32025-09-14 04:14 9.5K 
[ ]ordinal3__t53_ordinal32025-09-14 04:15 10K 
[ ]ordinal3__t54_ordinal32025-09-14 04:15 9.7K 
[ ]ordinal3__t55_ordinal32025-09-14 04:16 8.9K 
[ ]ordinal3__t56_ordinal32025-09-14 04:16 10K 
[ ]ordinal3__t57_ordinal32025-09-14 04:17 10K 
[ ]ordinal3__t58_ordinal32025-09-14 04:17 10K 
[ ]ordinal3__t59_ordinal32025-09-14 04:18 9.6K 
[ ]ordinal3__t60_ordinal32025-09-14 04:18 10K 
[ ]ordinal3__t61_ordinal32025-09-14 04:19 9.7K 
[ ]ordinal3__t62_ordinal32025-09-14 04:19 9.7K 
[ ]ordinal3__t63_ordinal32025-09-14 04:20 11K 
[ ]ordinal3__t64_ordinal32025-09-14 04:20 10K 
[ ]ordinal3__t65_ordinal32025-09-14 04:21 10K 
[ ]ordinal3__t66_ordinal32025-09-14 04:21 8.8K 
[ ]ordinal3__t67_ordinal32025-09-14 04:22 13K 
[ ]ordinal3__t68_ordinal32025-09-14 04:22 8.4K 
[ ]ordinal3__t69_ordinal32025-09-14 04:23 8.5K 
[ ]ordinal3__t70_ordinal32025-09-14 04:23 9.6K 
[ ]ordinal3__t71_ordinal32025-09-14 04:24 12K 
[ ]ordinal3__t72_ordinal32025-09-14 04:24 12K 
[ ]ordinal3__t73_ordinal32025-09-14 04:25 15K 
[ ]ordinal3__t74_ordinal32025-09-14 03:44 9.8K 
[ ]ordinal3__t75_ordinal32025-09-14 04:25 11K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80