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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pscomp_1__l1_pscomp_12025-09-13 03:30 67K 
[ ]pscomp_1__l2_pscomp_12025-09-13 03:32 96K 
[ ]pscomp_1__l36_pscomp_12025-09-13 03:34 101K 
[ ]pscomp_1__t1_pscomp_12025-09-13 01:07 72K 
[ ]pscomp_1__t2_pscomp_12025-09-13 01:09 69K 
[ ]pscomp_1__t3_pscomp_12025-09-13 01:10 70K 
[ ]pscomp_1__t4_pscomp_12025-09-13 01:12 77K 
[ ]pscomp_1__t5_pscomp_12025-09-13 01:14 69K 
[ ]pscomp_1__t6_pscomp_12025-09-13 01:16 70K 
[ ]pscomp_1__t7_pscomp_12025-09-13 01:17 65K 
[ ]pscomp_1__t8_pscomp_12025-09-13 01:19 61K 
[ ]pscomp_1__t9_pscomp_12025-09-13 01:20 61K 
[ ]pscomp_1__t10_pscomp_12025-09-13 01:22 63K 
[ ]pscomp_1__t11_pscomp_12025-09-13 01:24 97K 
[ ]pscomp_1__t12_pscomp_12025-09-13 01:26 62K 
[ ]pscomp_1__t13_pscomp_12025-09-13 01:27 61K 
[ ]pscomp_1__t14_pscomp_12025-09-13 01:29 67K 
[ ]pscomp_1__t15_pscomp_12025-09-13 01:31 140K 
[ ]pscomp_1__t16_pscomp_12025-09-13 01:33 87K 
[ ]pscomp_1__t17_pscomp_12025-09-13 01:35 87K 
[ ]pscomp_1__t18_pscomp_12025-09-13 01:37 79K 
[ ]pscomp_1__t19_pscomp_12025-09-13 01:39 81K 
[ ]pscomp_1__t20_pscomp_12025-09-13 01:41 79K 
[ ]pscomp_1__t21_pscomp_12025-09-13 01:44 81K 
[ ]pscomp_1__t22_pscomp_12025-09-13 01:46 91K 
[ ]pscomp_1__t23_pscomp_12025-09-13 01:48 91K 
[ ]pscomp_1__t24_pscomp_12025-09-13 00:57 100K 
[ ]pscomp_1__t25_pscomp_12025-09-13 01:50 97K 
[ ]pscomp_1__t26_pscomp_12025-09-13 01:53 97K 
[ ]pscomp_1__t27_pscomp_12025-09-13 01:55 97K 
[ ]pscomp_1__t28_pscomp_12025-09-13 01:57 97K 
[ ]pscomp_1__t29_pscomp_12025-09-13 02:00 107K 
[ ]pscomp_1__t30_pscomp_12025-09-13 02:02 113K 
[ ]pscomp_1__t31_pscomp_12025-09-13 02:05 112K 
[ ]pscomp_1__t32_pscomp_12025-09-13 02:07 112K 
[ ]pscomp_1__t33_pscomp_12025-09-13 02:10 112K 
[ ]pscomp_1__t34_pscomp_12025-09-13 02:12 111K 
[ ]pscomp_1__t35_pscomp_12025-09-13 02:15 117K 
[ ]pscomp_1__t36_pscomp_12025-09-13 02:17 109K 
[ ]pscomp_1__t37_pscomp_12025-09-13 02:20 107K 
[ ]pscomp_1__t38_pscomp_12025-09-13 02:22 113K 
[ ]pscomp_1__t39_pscomp_12025-09-13 02:25 112K 
[ ]pscomp_1__t40_pscomp_12025-09-13 02:27 112K 
[ ]pscomp_1__t41_pscomp_12025-09-13 02:30 112K 
[ ]pscomp_1__t42_pscomp_12025-09-13 02:32 111K 
[ ]pscomp_1__t43_pscomp_12025-09-13 02:35 117K 
[ ]pscomp_1__t44_pscomp_12025-09-13 02:37 109K 
[ ]pscomp_1__t45_pscomp_12025-09-13 02:40 107K 
[ ]pscomp_1__t46_pscomp_12025-09-13 02:42 113K 
[ ]pscomp_1__t47_pscomp_12025-09-13 02:45 112K 
[ ]pscomp_1__t48_pscomp_12025-09-13 02:47 112K 
[ ]pscomp_1__t49_pscomp_12025-09-13 02:50 112K 
[ ]pscomp_1__t50_pscomp_12025-09-13 02:52 111K 
[ ]pscomp_1__t51_pscomp_12025-09-13 02:55 117K 
[ ]pscomp_1__t52_pscomp_12025-09-13 02:57 109K 
[ ]pscomp_1__t53_pscomp_12025-09-13 02:59 107K 
[ ]pscomp_1__t54_pscomp_12025-09-13 03:02 113K 
[ ]pscomp_1__t55_pscomp_12025-09-13 03:04 112K 
[ ]pscomp_1__t56_pscomp_12025-09-13 03:07 112K 
[ ]pscomp_1__t57_pscomp_12025-09-13 03:09 112K 
[ ]pscomp_1__t58_pscomp_12025-09-13 03:12 111K 
[ ]pscomp_1__t59_pscomp_12025-09-13 03:14 117K 
[ ]pscomp_1__t60_pscomp_12025-09-13 03:17 109K 
[ ]pscomp_1__t61_pscomp_12025-09-13 03:19 109K 
[ ]pscomp_1__t62_pscomp_12025-09-13 03:22 109K 
[ ]pscomp_1__t63_pscomp_12025-09-13 03:24 109K 
[ ]pscomp_1__t64_pscomp_12025-09-13 03:27 109K 
[ ]pscomp_1__t65_pscomp_12025-09-13 03:29 77K 
[ ]pscomp_1__t66_pscomp_12025-09-13 00:59 96K 
[ ]pscomp_1__t67_pscomp_12025-09-13 01:01 96K 
[ ]pscomp_1__t68_pscomp_12025-09-13 01:03 96K 
[ ]pscomp_1__t69_pscomp_12025-09-13 01:05 96K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80