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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]connsp_1__t1_connsp_12025-09-12 11:17 10K 
[ ]connsp_1__t2_connsp_12025-09-12 11:14 9.9K 
[ ]connsp_1__t3_connsp_12025-09-12 11:18 16K 
[ ]connsp_1__t4_connsp_12025-09-12 11:19 16K 
[ ]connsp_1__t5_connsp_12025-09-12 11:19 13K 
[ ]connsp_1__t6_connsp_12025-09-12 11:20 15K 
[ ]connsp_1__t7_connsp_12025-09-12 11:21 11K 
[ ]connsp_1__t8_connsp_12025-09-12 11:21 14K 
[ ]connsp_1__t9_connsp_12025-09-12 11:22 16K 
[ ]connsp_1__t10_connsp_12025-09-12 11:23 15K 
[ ]connsp_1__t11_connsp_12025-09-12 11:24 15K 
[ ]connsp_1__t12_connsp_12025-09-12 11:24 19K 
[ ]connsp_1__t13_connsp_12025-09-12 11:25 18K 
[ ]connsp_1__t14_connsp_12025-09-12 11:26 24K 
[ ]connsp_1__t15_connsp_12025-09-12 11:27 25K 
[ ]connsp_1__t16_connsp_12025-09-12 11:28 15K 
[ ]connsp_1__t17_connsp_12025-09-12 11:28 16K 
[ ]connsp_1__t18_connsp_12025-09-12 11:29 15K 
[ ]connsp_1__t19_connsp_12025-09-12 11:29 8.3K 
[ ]connsp_1__t20_connsp_12025-09-12 11:30 18K 
[ ]connsp_1__t21_connsp_12025-09-12 11:31 17K 
[ ]connsp_1__t22_connsp_12025-09-12 11:32 19K 
[ ]connsp_1__t23_connsp_12025-09-12 11:33 26K 
[ ]connsp_1__t24_connsp_12025-09-12 11:34 29K 
[ ]connsp_1__t25_connsp_12025-09-12 11:35 17K 
[ ]connsp_1__t26_connsp_12025-09-12 11:36 15K 
[ ]connsp_1__t27_connsp_12025-09-12 11:37 25K 
[ ]connsp_1__t28_connsp_12025-09-12 11:38 19K 
[ ]connsp_1__t29_connsp_12025-09-12 11:39 15K 
[ ]connsp_1__t30_connsp_12025-09-12 11:39 14K 
[ ]connsp_1__t31_connsp_12025-09-12 11:40 14K 
[ ]connsp_1__t32_connsp_12025-09-12 11:15 13K 
[ ]connsp_1__t33_connsp_12025-09-12 11:16 7.6K 
[ ]connsp_1__t34_connsp_12025-09-12 11:41 12K 
[ ]connsp_1__t35_connsp_12025-09-12 11:16 11K 
[ ]connsp_1__t36_connsp_12025-09-12 11:41 13K 
[ ]connsp_1__t37_connsp_12025-09-12 11:43 33K 
[ ]connsp_1__t38_connsp_12025-09-12 11:43 15K 
[ ]connsp_1__t39_connsp_12025-09-12 11:44 15K 
[ ]connsp_1__t40_connsp_12025-09-12 11:45 16K 
[ ]connsp_1__t41_connsp_12025-09-12 11:46 19K 
[ ]connsp_1__t42_connsp_12025-09-12 11:47 20K 
[ ]connsp_1__t43_connsp_12025-09-12 11:48 17K 
[ ]connsp_1__t44_connsp_12025-09-12 11:49 19K 
[ ]connsp_1__t45_connsp_12025-09-12 11:17 17K 
[ ]connsp_1__t46_connsp_12025-09-12 11:49 19K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80