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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordinal6__l12_ordinal62025-09-12 05:56 2.2K 
[ ]ordinal6__l78_ordinal62025-09-12 07:35 71K 
[ ]ordinal6__l79_ordinal62025-09-12 07:37 73K 
[ ]ordinal6__l80_ordinal62025-09-12 07:39 89K 
[ ]ordinal6__l98_ordinal62025-09-12 07:40 34K 
[ ]ordinal6__l99_ordinal62025-09-12 07:41 44K 
[ ]ordinal6__l100_ordinal62025-09-12 07:43 81K 
[ ]ordinal6__s1_ordinal62025-09-12 05:58 70K 
[ ]ordinal6__s2_ordinal62025-09-12 06:00 70K 
[ ]ordinal6__t1_ordinal62025-09-12 06:01 30K 
[ ]ordinal6__t2_ordinal62025-09-12 06:02 31K 
[ ]ordinal6__t3_ordinal62025-09-12 05:51 30K 
[ ]ordinal6__t4_ordinal62025-09-12 06:03 31K 
[ ]ordinal6__t5_ordinal62025-09-12 06:04 33K 
[ ]ordinal6__t6_ordinal62025-09-12 06:05 40K 
[ ]ordinal6__t7_ordinal62025-09-12 06:06 41K 
[ ]ordinal6__t8_ordinal62025-09-12 06:08 33K 
[ ]ordinal6__t9_ordinal62025-09-12 06:09 41K 
[ ]ordinal6__t11_ordinal62025-09-12 06:10 33K 
[ ]ordinal6__t12_ordinal62025-09-12 06:11 32K 
[ ]ordinal6__t13_ordinal62025-09-12 06:12 46K 
[ ]ordinal6__t14_ordinal62025-09-12 05:52 27K 
[ ]ordinal6__t15_ordinal62025-09-12 06:13 37K 
[ ]ordinal6__t16_ordinal62025-09-12 06:14 43K 
[ ]ordinal6__t17_ordinal62025-09-12 05:53 3.6K 
[ ]ordinal6__t18_ordinal62025-09-12 06:15 40K 
[ ]ordinal6__t19_ordinal62025-09-12 06:16 5.6K 
[ ]ordinal6__t20_ordinal62025-09-12 06:17 40K 
[ ]ordinal6__t21_ordinal62025-09-12 06:18 36K 
[ ]ordinal6__t22_ordinal62025-09-12 06:20 44K 
[ ]ordinal6__t23_ordinal62025-09-12 06:21 40K 
[ ]ordinal6__t24_ordinal62025-09-12 06:22 55K 
[ ]ordinal6__t25_ordinal62025-09-12 06:24 43K 
[ ]ordinal6__t26_ordinal62025-09-12 06:25 42K 
[ ]ordinal6__t27_ordinal62025-09-12 05:53 31K 
[ ]ordinal6__t28_ordinal62025-09-12 06:26 29K 
[ ]ordinal6__t29_ordinal62025-09-12 06:27 36K 
[ ]ordinal6__t30_ordinal62025-09-12 06:29 43K 
[ ]ordinal6__t31_ordinal62025-09-12 05:55 41K 
[ ]ordinal6__t32_ordinal62025-09-12 06:30 45K 
[ ]ordinal6__t33_ordinal62025-09-12 06:31 43K 
[ ]ordinal6__t34_ordinal62025-09-12 06:33 46K 
[ ]ordinal6__t35_ordinal62025-09-12 06:34 52K 
[ ]ordinal6__t36_ordinal62025-09-12 06:36 57K 
[ ]ordinal6__t37_ordinal62025-09-12 06:37 37K 
[ ]ordinal6__t38_ordinal62025-09-12 06:38 43K 
[ ]ordinal6__t39_ordinal62025-09-12 06:40 62K 
[ ]ordinal6__t40_ordinal62025-09-12 06:41 50K 
[ ]ordinal6__t41_ordinal62025-09-12 06:43 53K 
[ ]ordinal6__t42_ordinal62025-09-12 06:44 51K 
[ ]ordinal6__t43_ordinal62025-09-12 06:45 62K 
[ ]ordinal6__t44_ordinal62025-09-12 06:47 74K 
[ ]ordinal6__t45_ordinal62025-09-12 06:49 62K 
[ ]ordinal6__t46_ordinal62025-09-12 06:50 32K 
[ ]ordinal6__t47_ordinal62025-09-12 06:51 38K 
[ ]ordinal6__t48_ordinal62025-09-12 05:56 44K 
[ ]ordinal6__t49_ordinal62025-09-12 06:52 46K 
[ ]ordinal6__t50_ordinal62025-09-12 06:54 38K 
[ ]ordinal6__t51_ordinal62025-09-12 06:55 46K 
[ ]ordinal6__t52_ordinal62025-09-12 06:57 64K 
[ ]ordinal6__t53_ordinal62025-09-12 06:58 57K 
[ ]ordinal6__t54_ordinal62025-09-12 07:00 65K 
[ ]ordinal6__t55_ordinal62025-09-12 07:01 54K 
[ ]ordinal6__t56_ordinal62025-09-12 07:03 58K 
[ ]ordinal6__t57_ordinal62025-09-12 07:04 39K 
[ ]ordinal6__t58_ordinal62025-09-12 07:06 76K 
[ ]ordinal6__t59_ordinal62025-09-12 07:08 79K 
[ ]ordinal6__t60_ordinal62025-09-12 07:09 77K 
[ ]ordinal6__t61_ordinal62025-09-12 07:11 83K 
[ ]ordinal6__t62_ordinal62025-09-12 07:12 54K 
[ ]ordinal6__t63_ordinal62025-09-12 07:14 80K 
[ ]ordinal6__t64_ordinal62025-09-12 07:15 54K 
[ ]ordinal6__t65_ordinal62025-09-12 07:18 84K 
[ ]ordinal6__t66_ordinal62025-09-12 07:19 36K 
[ ]ordinal6__t67_ordinal62025-09-12 07:20 32K 
[ ]ordinal6__t68_ordinal62025-09-12 07:21 77K 
[ ]ordinal6__t69_ordinal62025-09-12 07:23 77K 
[ ]ordinal6__t70_ordinal62025-09-12 07:24 58K 
[ ]ordinal6__t71_ordinal62025-09-12 07:26 61K 
[ ]ordinal6__t72_ordinal62025-09-12 07:27 39K 
[ ]ordinal6__t73_ordinal62025-09-12 07:28 32K 
[ ]ordinal6__t74_ordinal62025-09-12 07:30 73K 
[ ]ordinal6__t75_ordinal62025-09-12 07:31 36K 
[ ]ordinal6__t76_ordinal62025-09-12 07:33 83K 
[ ]ordinal6__t77_ordinal62025-09-12 07:34 36K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80