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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]incsp_1__l39_incsp_12025-09-13 09:30 11K 
[ ]incsp_1__l64_incsp_12025-09-13 09:32 27K 
[ ]incsp_1__t1_incsp_12025-09-13 08:42 9.3K 
[ ]incsp_1__t2_incsp_12025-09-13 08:43 9.2K 
[ ]incsp_1__t3_incsp_12025-09-13 08:44 9.6K 
[ ]incsp_1__t4_incsp_12025-09-13 08:45 9.5K 
[ ]incsp_1__t5_incsp_12025-09-13 08:45 9.8K 
[ ]incsp_1__t6_incsp_12025-09-13 08:38 6.5K 
[ ]incsp_1__t7_incsp_12025-09-13 08:38 6.5K 
[ ]incsp_1__t8_incsp_12025-09-13 08:46 14K 
[ ]incsp_1__t9_incsp_12025-09-13 08:47 14K 
[ ]incsp_1__t10_incsp_12025-09-13 08:48 11K 
[ ]incsp_1__t11_incsp_12025-09-13 08:48 11K 
[ ]incsp_1__t12_incsp_12025-09-13 08:49 8.5K 
[ ]incsp_1__t13_incsp_12025-09-13 08:50 8.5K 
[ ]incsp_1__t14_incsp_12025-09-13 08:39 11K 
[ ]incsp_1__t15_incsp_12025-09-13 08:50 10K 
[ ]incsp_1__t16_incsp_12025-09-13 08:51 10K 
[ ]incsp_1__t17_incsp_12025-09-13 08:52 22K 
[ ]incsp_1__t18_incsp_12025-09-13 08:53 16K 
[ ]incsp_1__t19_incsp_12025-09-13 08:54 17K 
[ ]incsp_1__t20_incsp_12025-09-13 08:55 18K 
[ ]incsp_1__t21_incsp_12025-09-13 08:57 23K 
[ ]incsp_1__t22_incsp_12025-09-13 08:58 23K 
[ ]incsp_1__t23_incsp_12025-09-13 08:59 16K 
[ ]incsp_1__t24_incsp_12025-09-13 09:00 9.6K 
[ ]incsp_1__t25_incsp_12025-09-13 09:00 9.7K 
[ ]incsp_1__t26_incsp_12025-09-13 09:01 21K 
[ ]incsp_1__t27_incsp_12025-09-13 09:03 19K 
[ ]incsp_1__t28_incsp_12025-09-13 09:03 9.2K 
[ ]incsp_1__t29_incsp_12025-09-13 09:04 9.6K 
[ ]incsp_1__t30_incsp_12025-09-13 09:05 9.6K 
[ ]incsp_1__t31_incsp_12025-09-13 09:06 9.4K 
[ ]incsp_1__t32_incsp_12025-09-13 09:07 9.4K 
[ ]incsp_1__t33_incsp_12025-09-13 09:07 9.4K 
[ ]incsp_1__t34_incsp_12025-09-13 09:09 18K 
[ ]incsp_1__t35_incsp_12025-09-13 09:09 13K 
[ ]incsp_1__t36_incsp_12025-09-13 09:10 13K 
[ ]incsp_1__t37_incsp_12025-09-13 09:11 21K 
[ ]incsp_1__t38_incsp_12025-09-13 09:12 16K 
[ ]incsp_1__t39_incsp_12025-09-13 09:14 20K 
[ ]incsp_1__t40_incsp_12025-09-13 09:15 22K 
[ ]incsp_1__t41_incsp_12025-09-13 09:16 29K 
[ ]incsp_1__t42_incsp_12025-09-13 08:40 10K 
[ ]incsp_1__t43_incsp_12025-09-13 08:41 8.8K 
[ ]incsp_1__t44_incsp_12025-09-13 09:17 15K 
[ ]incsp_1__t45_incsp_12025-09-13 09:18 14K 
[ ]incsp_1__t46_incsp_12025-09-13 09:19 22K 
[ ]incsp_1__t47_incsp_12025-09-13 09:20 12K 
[ ]incsp_1__t48_incsp_12025-09-13 09:21 11K 
[ ]incsp_1__t49_incsp_12025-09-13 09:22 18K 
[ ]incsp_1__t50_incsp_12025-09-13 09:23 25K 
[ ]incsp_1__t51_incsp_12025-09-13 09:24 23K 
[ ]incsp_1__t52_incsp_12025-09-13 09:25 20K 
[ ]incsp_1__t53_incsp_12025-09-13 09:26 16K 
[ ]incsp_1__t54_incsp_12025-09-13 09:28 18K 
[ ]incsp_1__t55_incsp_12025-09-13 09:29 22K 
[ ]incsp_1__t56_incsp_12025-09-13 08:42 12K 
[ ]incsp_1__t57_incsp_12025-09-13 09:30 16K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80