Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/convex1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]convex1__l9_convex12024-07-28 01:18 26K 
[ ]convex1__l9_convex1.vout2024-08-03 10:05 3.7K 
[ ]convex1__l10_convex12024-07-28 01:19 29K 
[ ]convex1__l10_convex1.vout2024-08-03 09:42 3.7K 
[ ]convex1__l11_convex12024-07-28 01:21 17K 
[ ]convex1__l11_convex1.vout2024-08-03 08:39 4.2K 
[ ]convex1__l12_convex12024-07-28 01:22 28K 
[ ]convex1__l12_convex1.vout2024-08-03 09:36 3.7K 
[ ]convex1__l13_convex12024-07-28 01:24 29K 
[ ]convex1__l13_convex1.vout2024-08-03 04:28 3.7K 
[ ]convex1__l20_convex12024-07-28 01:25 26K 
[ ]convex1__l20_convex1.depv12024-08-03 10:19 79  
[ ]convex1__l20_convex1.depvmin12024-08-03 10:24 79  
[ ]convex1__l20_convex1.vmin12024-08-03 10:20 1.1K 
[ ]convex1__l20_convex1.vmin1out2024-08-03 10:22 25K 
[ ]convex1__l20_convex1.vout2024-08-03 05:01 30K 
[ ]convex1__l21_convex12024-07-28 01:26 26K 
[ ]convex1__l21_convex1.depv12024-08-03 10:19 140  
[ ]convex1__l21_convex1.depvmin12024-08-03 10:24 127  
[ ]convex1__l21_convex1.vmin12024-08-03 10:20 1.4K 
[ ]convex1__l21_convex1.vmin1out2024-08-03 10:23 17K 
[ ]convex1__l21_convex1.vout2024-08-03 05:19 13K 
[ ]convex1__l22_convex12024-07-28 01:27 16K 
[ ]convex1__l22_convex1.depv12024-08-03 10:19 140  
[ ]convex1__l22_convex1.depvmin12024-08-03 10:24 127  
[ ]convex1__l22_convex1.vmin12024-08-03 10:20 1.5K 
[ ]convex1__l22_convex1.vmin1out2024-08-03 10:23 18K 
[ ]convex1__l22_convex1.vout2024-08-03 06:58 15K 
[ ]convex1__l23_convex12024-07-28 01:28 17K 
[ ]convex1__l23_convex1.vout2024-08-03 09:59 3.7K 
[ ]convex1__l24_convex12024-07-28 01:30 55K 
[ ]convex1__l24_convex1.vout2024-08-03 06:08 3.7K 
[ ]convex1__l37_convex12024-07-28 01:32 46K 
[ ]convex1__l37_convex1.vout2024-08-03 05:29 7.3K 
[ ]convex1__l38_convex12024-07-28 01:34 56K 
[ ]convex1__l38_convex1.vout2024-08-03 08:58 7.3K 
[ ]convex1__l39_convex12024-07-28 01:36 29K 
[ ]convex1__l39_convex1.vout2024-08-03 04:43 4.7K 
[ ]convex1__l40_convex12024-07-28 01:38 49K 
[ ]convex1__l40_convex1.vout2024-08-03 07:32 7.3K 
[ ]convex1__l41_convex12024-07-28 01:40 94K 
[ ]convex1__l41_convex1.vout2024-08-03 09:12 7.3K 
[ ]convex1__t1_convex12024-07-28 00:38 34K 
[ ]convex1__t1_convex1.vout2024-08-03 06:57 7.3K 
[ ]convex1__t2_convex12024-07-28 00:40 34K 
[ ]convex1__t2_convex1.vout2024-08-03 04:20 7.3K 
[ ]convex1__t3_convex12024-07-28 00:41 36K 
[ ]convex1__t3_convex1.vout2024-08-03 07:54 7.3K 
[ ]convex1__t4_convex12024-07-28 00:43 34K 
[ ]convex1__t4_convex1.vout2024-08-03 06:15 3.7K 
[ ]convex1__t5_convex12024-07-28 00:44 35K 
[ ]convex1__t5_convex1.vout2024-08-03 07:33 3.7K 
[ ]convex1__t6_convex12024-07-28 00:46 38K 
[ ]convex1__t6_convex1.vout2024-08-03 07:26 7.3K 
[ ]convex1__t7_convex12024-07-28 00:48 38K 
[ ]convex1__t7_convex1.vout2024-08-03 06:17 7.3K 
[ ]convex1__t8_convex12024-07-28 00:50 38K 
[ ]convex1__t8_convex1.vout2024-08-03 07:27 4.7K 
[ ]convex1__t9_convex12024-07-28 00:51 36K 
[ ]convex1__t9_convex1.vout2024-08-03 06:00 7.3K 
[ ]convex1__t10_convex12024-07-28 00:17 15K 
[ ]convex1__t10_convex1.vout2024-08-03 06:10 2.0K 
[ ]convex1__t11_convex12024-07-28 00:53 38K 
[ ]convex1__t11_convex1.vout2024-08-03 05:34 7.3K 
[ ]convex1__t12_convex12024-07-28 00:55 30K 
[ ]convex1__t12_convex1.vout2024-08-03 05:22 3.6K 
[ ]convex1__t13_convex12024-07-28 00:18 33K 
[ ]convex1__t13_convex1.vout2024-08-03 04:32 3.7K 
[ ]convex1__t14_convex12024-07-28 00:56 32K 
[ ]convex1__t14_convex1.depv12024-08-03 10:19 117  
[ ]convex1__t14_convex1.vmin12024-08-03 10:20 2.2K 
[ ]convex1__t14_convex1.vmin1out2024-08-03 10:21 2.0K 
[ ]convex1__t14_convex1.vout2024-08-03 09:40 26K 
[ ]convex1__t15_convex12024-07-28 00:58 32K 
[ ]convex1__t15_convex1.vout2024-08-03 05:08 7.3K 
[ ]convex1__t16_convex12024-07-28 00:59 34K 
[ ]convex1__t16_convex1.vout2024-08-03 04:16 2.0K 
[ ]convex1__t17_convex12024-07-28 01:12 42K 
[ ]convex1__t17_convex1.vout2024-08-03 05:55 7.3K 
[ ]convex1__t18_convex12024-07-28 01:14 42K 
[ ]convex1__t18_convex1.vout2024-08-03 08:37 7.3K 
[ ]convex1__t19_convex12024-07-28 01:15 42K 
[ ]convex1__t19_convex1.vout2024-08-03 09:36 7.3K 
[ ]convex1__t20_convex12024-07-28 01:17 42K 
[ ]convex1__t20_convex1.vout2024-08-03 07:30 7.3K 
[ ]convex1__t21_convex12024-07-28 01:01 39K 
[ ]convex1__t21_convex1.vout2024-08-03 10:13 2.0K 
[ ]convex1__t22_convex12024-07-28 01:03 41K 
[ ]convex1__t22_convex1.vout2024-08-03 05:01 7.8K 
[ ]convex1__t23_convex12024-07-28 00:20 28K 
[ ]convex1__t23_convex1.depv12024-08-03 10:19 63  
[ ]convex1__t23_convex1.depvmin12024-08-03 10:24 63  
[ ]convex1__t23_convex1.vmin12024-08-03 10:20 1.0K 
[ ]convex1__t23_convex1.vmin1out2024-08-03 10:20 17K 
[ ]convex1__t23_convex1.vout2024-08-03 06:31 17K 
[ ]convex1__t24_convex12024-07-28 01:04 31K 
[ ]convex1__t24_convex1.depv12024-08-03 10:19 186  
[ ]convex1__t24_convex1.depvmin12024-08-03 10:24 186  
[ ]convex1__t24_convex1.vmin12024-08-03 10:20 2.6K 
[ ]convex1__t24_convex1.vmin1out2024-08-03 10:21 46K 
[ ]convex1__t24_convex1.vout2024-08-03 05:19 50K 
[ ]convex1__t25_convex12024-07-28 01:06 47K 
[ ]convex1__t25_convex1.vout2024-08-03 04:25 3.7K 
[ ]convex1__t26_convex12024-07-28 01:08 49K 
[ ]convex1__t26_convex1.vout2024-08-03 09:41 3.7K 
[ ]convex1__t27_convex12024-07-28 00:21 30K 
[ ]convex1__t27_convex1.depv12024-08-03 10:19 24  
[ ]convex1__t27_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t27_convex1.vmin12024-08-03 10:20 947  
[ ]convex1__t27_convex1.vmin1out2024-08-03 10:21 11K 
[ ]convex1__t27_convex1.vout2024-08-03 08:49 11K 
[ ]convex1__t28_convex12024-07-28 00:23 35K 
[ ]convex1__t28_convex1.depv12024-08-03 10:19 48  
[ ]convex1__t28_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t28_convex1.vmin12024-08-03 10:20 1.4K 
[ ]convex1__t28_convex1.vmin1out2024-08-03 10:20 13K 
[ ]convex1__t28_convex1.vout2024-08-03 05:18 14K 
[ ]convex1__t29_convex12024-07-28 00:24 35K 
[ ]convex1__t29_convex1.depv12024-08-03 10:19 48  
[ ]convex1__t29_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t29_convex1.vmin12024-08-03 10:20 1.9K 
[ ]convex1__t29_convex1.vmin1out2024-08-03 10:20 22K 
[ ]convex1__t29_convex1.vout2024-08-03 09:41 24K 
[ ]convex1__t30_convex12024-07-28 01:09 16K 
[ ]convex1__t30_convex1.depv12024-08-03 10:19 85  
[ ]convex1__t30_convex1.depvmin12024-08-03 10:24 85  
[ ]convex1__t30_convex1.vmin12024-08-03 10:20 1.3K 
[ ]convex1__t30_convex1.vmin1out2024-08-03 10:23 19K 
[ ]convex1__t30_convex1.vout2024-08-03 07:14 19K 
[ ]convex1__t31_convex12024-07-28 00:26 20K 
[ ]convex1__t31_convex1.depv12024-08-03 10:19 24  
[ ]convex1__t31_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t31_convex1.vmin12024-08-03 10:20 931  
[ ]convex1__t31_convex1.vmin1out2024-08-03 10:22 17K 
[ ]convex1__t31_convex1.vout2024-08-03 08:13 17K 
[ ]convex1__t32_convex12024-07-28 00:27 26K 
[ ]convex1__t32_convex1.depv12024-08-03 10:19 23  
[ ]convex1__t32_convex1.depvmin12024-08-03 10:24 23  
[ ]convex1__t32_convex1.vmin12024-08-03 10:20 516  
[ ]convex1__t32_convex1.vmin1out2024-08-03 10:22 5.8K 
[ ]convex1__t32_convex1.vout2024-08-03 05:41 8.4K 
[ ]convex1__t33_convex12024-07-28 00:28 26K 
[ ]convex1__t33_convex1.depv12024-08-03 10:19 63  
[ ]convex1__t33_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t33_convex1.vmin12024-08-03 10:20 661  
[ ]convex1__t33_convex1.vmin1out2024-08-03 10:21 5.5K 
[ ]convex1__t33_convex1.vout2024-08-03 05:25 10K 
[ ]convex1__t34_convex12024-07-28 00:30 29K 
[ ]convex1__t34_convex1.depv12024-08-03 10:19 48  
[ ]convex1__t34_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t34_convex1.vmin12024-08-03 10:20 904  
[ ]convex1__t34_convex1.vmin1out2024-08-03 10:22 9.3K 
[ ]convex1__t34_convex1.vout2024-08-03 05:58 15K 
[ ]convex1__t35_convex12024-07-28 00:31 16K 
[ ]convex1__t35_convex1.depv12024-08-03 10:19 24  
[ ]convex1__t35_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t35_convex1.vmin12024-08-03 10:20 475  
[ ]convex1__t35_convex1.vmin1out2024-08-03 10:22 5.0K 
[ ]convex1__t35_convex1.vout2024-08-03 08:45 4.9K 
[ ]convex1__t36_convex12024-07-28 00:32 15K 
[ ]convex1__t36_convex1.depv12024-08-03 10:19 24  
[ ]convex1__t36_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t36_convex1.vmin12024-08-03 10:20 751  
[ ]convex1__t36_convex1.vmin1out2024-08-03 10:21 8.5K 
[ ]convex1__t36_convex1.vout2024-08-03 08:46 8.2K 
[ ]convex1__t37_convex12024-07-28 00:33 28K 
[ ]convex1__t37_convex1.depv12024-08-03 10:19 24  
[ ]convex1__t37_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t37_convex1.vmin12024-08-03 10:20 753  
[ ]convex1__t37_convex1.vmin1out2024-08-03 10:20 8.9K 
[ ]convex1__t37_convex1.vout2024-08-03 08:15 13K 
[ ]convex1__t38_convex12024-07-28 00:34 27K 
[ ]convex1__t38_convex1.depv12024-08-03 10:19 24  
[ ]convex1__t38_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t38_convex1.vmin12024-08-03 10:20 853  
[ ]convex1__t38_convex1.vmin1out2024-08-03 10:21 10K 
[ ]convex1__t38_convex1.vout2024-08-03 05:37 14K 
[ ]convex1__t39_convex12024-07-28 00:35 27K 
[ ]convex1__t39_convex1.depv12024-08-03 10:19 24  
[ ]convex1__t39_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t39_convex1.vmin12024-08-03 10:20 647  
[ ]convex1__t39_convex1.vmin1out2024-08-03 10:22 7.0K 
[ ]convex1__t39_convex1.vout2024-08-03 08:00 6.3K 
[ ]convex1__t40_convex12024-07-28 00:36 15K 
[ ]convex1__t40_convex1.depv12024-08-03 10:19 24  
[ ]convex1__t40_convex1.depvmin12024-08-03 10:24 24  
[ ]convex1__t40_convex1.vmin12024-08-03 10:20 537  
[ ]convex1__t40_convex1.vmin1out2024-08-03 10:22 5.8K 
[ ]convex1__t40_convex1.vout2024-08-03 08:21 5.9K 
[ ]convex1__t41_convex12024-07-28 01:10 17K 
[ ]convex1__t41_convex1.vout2024-08-03 04:24 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80