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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]valued_1__l1_valued_12025-09-13 05:44 63K 
[ ]valued_1__l2_valued_12025-09-13 05:46 67K 
[ ]valued_1__l26_valued_12025-09-13 05:48 100K 
[ ]valued_1__l31_valued_12025-09-13 05:49 85K 
[ ]valued_1__l65_valued_12025-09-13 05:51 78K 
[ ]valued_1__l71_valued_12025-09-13 05:52 57K 
[ ]valued_1__l87_valued_12025-09-13 05:54 75K 
[ ]valued_1__l88_valued_12025-09-13 05:56 104K 
[ ]valued_1__s1_valued_12025-09-13 04:05 135K 
[ ]valued_1__t1_valued_12025-09-13 04:07 86K 
[ ]valued_1__t2_valued_12025-09-13 04:09 79K 
[ ]valued_1__t3_valued_12025-09-13 04:10 64K 
[ ]valued_1__t4_valued_12025-09-13 04:12 88K 
[ ]valued_1__t5_valued_12025-09-13 04:14 79K 
[ ]valued_1__t6_valued_12025-09-13 04:15 57K 
[ ]valued_1__t7_valued_12025-09-13 04:17 77K 
[ ]valued_1__t8_valued_12025-09-13 04:18 62K 
[ ]valued_1__t9_valued_12025-09-13 04:20 61K 
[ ]valued_1__t10_valued_12025-09-13 04:21 56K 
[ ]valued_1__t11_valued_12025-09-13 04:23 77K 
[ ]valued_1__t12_valued_12025-09-13 04:24 77K 
[ ]valued_1__t13_valued_12025-09-13 04:26 76K 
[ ]valued_1__t14_valued_12025-09-13 04:28 77K 
[ ]valued_1__t15_valued_12025-09-13 04:29 107K 
[ ]valued_1__t16_valued_12025-09-13 04:31 68K 
[ ]valued_1__t17_valued_12025-09-13 04:32 84K 
[ ]valued_1__t18_valued_12025-09-13 04:34 55K 
[ ]valued_1__t19_valued_12025-09-13 03:51 63K 
[ ]valued_1__t20_valued_12025-09-13 04:35 72K 
[ ]valued_1__t21_valued_12025-09-13 04:37 72K 
[ ]valued_1__t22_valued_12025-09-13 04:39 105K 
[ ]valued_1__t23_valued_12025-09-13 04:41 109K 
[ ]valued_1__t24_valued_12025-09-13 04:42 64K 
[ ]valued_1__t25_valued_12025-09-13 04:44 74K 
[ ]valued_1__t26_valued_12025-09-13 04:45 68K 
[ ]valued_1__t27_valued_12025-09-13 04:47 102K 
[ ]valued_1__t29_valued_12025-09-13 04:49 107K 
[ ]valued_1__t30_valued_12025-09-13 03:53 62K 
[ ]valued_1__t31_valued_12025-09-13 03:54 65K 
[ ]valued_1__t32_valued_12025-09-13 03:56 62K 
[ ]valued_1__t33_valued_12025-09-13 03:57 62K 
[ ]valued_1__t34_valued_12025-09-13 03:59 65K 
[ ]valued_1__t35_valued_12025-09-13 04:00 62K 
[ ]valued_1__t36_valued_12025-09-13 04:51 87K 
[ ]valued_1__t37_valued_12025-09-13 04:52 93K 
[ ]valued_1__t38_valued_12025-09-13 04:54 100K 
[ ]valued_1__t39_valued_12025-09-13 04:56 74K 
[ ]valued_1__t40_valued_12025-09-13 04:58 115K 
[ ]valued_1__t41_valued_12025-09-13 04:59 114K 
[ ]valued_1__t42_valued_12025-09-13 05:01 74K 
[ ]valued_1__t43_valued_12025-09-13 05:03 88K 
[ ]valued_1__t44_valued_12025-09-13 05:05 127K 
[ ]valued_1__t45_valued_12025-09-13 05:06 85K 
[ ]valued_1__t46_valued_12025-09-13 05:08 79K 
[ ]valued_1__t47_valued_12025-09-13 05:10 78K 
[ ]valued_1__t48_valued_12025-09-13 05:11 97K 
[ ]valued_1__t49_valued_12025-09-13 05:13 92K 
[ ]valued_1__t50_valued_12025-09-13 05:15 71K 
[ ]valued_1__t51_valued_12025-09-13 05:16 70K 
[ ]valued_1__t52_valued_12025-09-13 05:18 75K 
[ ]valued_1__t53_valued_12025-09-13 05:20 90K 
[ ]valued_1__t54_valued_12025-09-13 05:22 89K 
[ ]valued_1__t55_valued_12025-09-13 05:23 113K 
[ ]valued_1__t56_valued_12025-09-13 05:25 83K 
[ ]valued_1__t57_valued_12025-09-13 05:27 137K 
[ ]valued_1__t58_valued_12025-09-13 05:29 97K 
[ ]valued_1__t59_valued_12025-09-13 05:30 79K 
[ ]valued_1__t60_valued_12025-09-13 05:32 81K 
[ ]valued_1__t61_valued_12025-09-13 05:34 89K 
[ ]valued_1__t62_valued_12025-09-13 05:35 109K 
[ ]valued_1__t63_valued_12025-09-13 05:38 129K 
[ ]valued_1__t64_valued_12025-09-13 05:39 102K 
[ ]valued_1__t65_valued_12025-09-13 05:41 104K 
[ ]valued_1__t66_valued_12025-09-13 04:02 60K 
[ ]valued_1__t67_valued_12025-09-13 05:43 75K 
[ ]valued_1__t68_valued_12025-09-13 04:03 62K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80