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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]card_1__l24_card_12025-09-13 04:51 27K 
[ ]card_1__l43_card_12025-09-13 04:52 19K 
[ ]card_1__l50_card_12025-09-13 04:53 26K 
[ ]card_1__l57_card_12025-09-13 04:54 31K 
[ ]card_1__l58_card_12025-09-13 04:54 16K 
[ ]card_1__s1_card_12025-09-13 04:05 13K 
[ ]card_1__s2_card_12025-09-13 04:06 12K 
[ ]card_1__t2_card_12025-09-13 04:07 21K 
[ ]card_1__t3_card_12025-09-13 03:55 18K 
[ ]card_1__t4_card_12025-09-13 03:56 18K 
[ ]card_1__t5_card_12025-09-13 04:07 3.3K 
[ ]card_1__t6_card_12025-09-13 04:08 24K 
[ ]card_1__t7_card_12025-09-13 04:09 26K 
[ ]card_1__t8_card_12025-09-13 04:10 22K 
[ ]card_1__t9_card_12025-09-13 03:57 19K 
[ ]card_1__t10_card_12025-09-13 04:11 25K 
[ ]card_1__t11_card_12025-09-13 04:12 22K 
[ ]card_1__t12_card_12025-09-13 04:13 29K 
[ ]card_1__t13_card_12025-09-13 04:13 21K 
[ ]card_1__t14_card_12025-09-13 04:14 26K 
[ ]card_1__t15_card_12025-09-13 04:15 19K 
[ ]card_1__t16_card_12025-09-13 04:16 19K 
[ ]card_1__t17_card_12025-09-13 04:16 3.4K 
[ ]card_1__t18_card_12025-09-13 04:17 23K 
[ ]card_1__t19_card_12025-09-13 03:58 19K 
[ ]card_1__t20_card_12025-09-13 03:58 19K 
[ ]card_1__t21_card_12025-09-13 04:18 31K 
[ ]card_1__t22_card_12025-09-13 04:19 12K 
[ ]card_1__t23_card_12025-09-13 04:19 19K 
[ ]card_1__t24_card_12025-09-13 04:20 22K 
[ ]card_1__t25_card_12025-09-13 04:21 22K 
[ ]card_1__t26_card_12025-09-13 03:59 15K 
[ ]card_1__t27_card_12025-09-13 04:00 13K 
[ ]card_1__t28_card_12025-09-13 04:22 31K 
[ ]card_1__t29_card_12025-09-13 04:01 17K 
[ ]card_1__t30_card_12025-09-13 04:23 26K 
[ ]card_1__t31_card_12025-09-13 04:24 25K 
[ ]card_1__t32_card_12025-09-13 04:25 24K 
[ ]card_1__t33_card_12025-09-13 04:26 23K 
[ ]card_1__t34_card_12025-09-13 04:27 24K 
[ ]card_1__t35_card_12025-09-13 04:27 24K 
[ ]card_1__t36_card_12025-09-13 04:28 15K 
[ ]card_1__t37_card_12025-09-13 04:29 22K 
[ ]card_1__t38_card_12025-09-13 04:30 23K 
[ ]card_1__t39_card_12025-09-13 04:31 16K 
[ ]card_1__t40_card_12025-09-13 04:01 2.0K 
[ ]card_1__t41_card_12025-09-13 04:02 19K 
[ ]card_1__t42_card_12025-09-13 04:02 13K 
[ ]card_1__t44_card_12025-09-13 04:31 22K 
[ ]card_1__t45_card_12025-09-13 04:32 20K 
[ ]card_1__t46_card_12025-09-13 04:33 26K 
[ ]card_1__t47_card_12025-09-13 04:03 13K 
[ ]card_1__t48_card_12025-09-13 04:34 14K 
[ ]card_1__t49_card_12025-09-13 04:34 16K 
[ ]card_1__t50_card_12025-09-13 04:35 18K 
[ ]card_1__t51_card_12025-09-13 04:36 18K 
[ ]card_1__t52_card_12025-09-13 04:37 18K 
[ ]card_1__t53_card_12025-09-13 04:38 18K 
[ ]card_1__t54_card_12025-09-13 04:38 19K 
[ ]card_1__t55_card_12025-09-13 04:39 19K 
[ ]card_1__t56_card_12025-09-13 04:40 19K 
[ ]card_1__t57_card_12025-09-13 04:41 20K 
[ ]card_1__t58_card_12025-09-13 04:42 20K 
[ ]card_1__t59_card_12025-09-13 04:43 15K 
[ ]card_1__t60_card_12025-09-13 04:03 3.2K 
[ ]card_1__t61_card_12025-09-13 04:04 13K 
[ ]card_1__t62_card_12025-09-13 04:43 25K 
[ ]card_1__t63_card_12025-09-13 04:44 23K 
[ ]card_1__t64_card_12025-09-13 04:45 30K 
[ ]card_1__t65_card_12025-09-13 04:46 22K 
[ ]card_1__t66_card_12025-09-13 04:47 28K 
[ ]card_1__t67_card_12025-09-13 04:05 24K 
[ ]card_1__t68_card_12025-09-13 04:48 24K 
[ ]card_1__t69_card_12025-09-13 04:49 31K 
[ ]card_1__t70_card_12025-09-13 04:50 26K 
[ ]card_1__t71_card_12025-09-13 04:50 2.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80