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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]instalg1__t44_instalg1.vout2024-08-03 08:02 4.7K 
[ ]instalg1__t44_instalg12024-07-28 20:59 64K 
[ ]instalg1__t43_instalg1.vout2024-08-03 08:56 4.7K 
[ ]instalg1__t43_instalg12024-07-28 20:57 61K 
[ ]instalg1__t42_instalg1.vout2024-08-03 04:51 4.7K 
[ ]instalg1__t42_instalg12024-07-28 20:55 87K 
[ ]instalg1__t41_instalg1.vout2024-08-03 04:40 4.7K 
[ ]instalg1__t41_instalg12024-07-28 20:52 70K 
[ ]instalg1__t40_instalg1.vout2024-08-03 07:09 4.7K 
[ ]instalg1__t40_instalg12024-07-28 20:50 49K 
[ ]instalg1__t39_instalg1.vout2024-08-03 04:22 37K 
[ ]instalg1__t39_instalg1.vmin1out2024-08-03 10:21 34K 
[ ]instalg1__t39_instalg1.vmin12024-08-03 10:19 1.7K 
[ ]instalg1__t39_instalg1.depvmin12024-08-03 10:24 73  
[ ]instalg1__t39_instalg1.depv12024-08-03 10:19 73  
[ ]instalg1__t39_instalg12024-07-28 20:48 27K 
[ ]instalg1__t38_instalg1.vout2024-08-03 07:00 37K 
[ ]instalg1__t38_instalg1.vmin1out2024-08-03 10:21 40K 
[ ]instalg1__t38_instalg1.vmin12024-08-03 10:19 2.5K 
[ ]instalg1__t38_instalg1.depvmin12024-08-03 10:24 26  
[ ]instalg1__t38_instalg1.depv12024-08-03 10:19 95  
[ ]instalg1__t38_instalg12024-07-28 19:59 40K 
[ ]instalg1__t37_instalg1.vout2024-08-03 07:36 35K 
[ ]instalg1__t37_instalg1.vmin1out2024-08-03 10:21 43K 
[ ]instalg1__t37_instalg1.vmin12024-08-03 10:19 2.7K 
[ ]instalg1__t37_instalg1.depvmin12024-08-03 10:24 80  
[ ]instalg1__t37_instalg1.depv12024-08-03 10:19 80  
[ ]instalg1__t37_instalg12024-07-28 20:47 40K 
[ ]instalg1__t36_instalg1.vout2024-08-03 08:45 4.7K 
[ ]instalg1__t36_instalg12024-07-28 20:46 52K 
[ ]instalg1__t35_instalg1.vout2024-08-03 10:15 4.7K 
[ ]instalg1__t35_instalg12024-07-28 20:44 49K 
[ ]instalg1__t34_instalg1.vout2024-08-03 05:25 4.7K 
[ ]instalg1__t34_instalg12024-07-28 20:42 48K 
[ ]instalg1__t33_instalg1.vout2024-08-03 06:18 4.7K 
[ ]instalg1__t33_instalg12024-07-28 20:41 46K 
[ ]instalg1__t32_instalg1.vout2024-08-03 05:12 4.7K 
[ ]instalg1__t32_instalg12024-07-28 20:39 42K 
[ ]instalg1__t31_instalg1.vout2024-08-03 04:26 4.7K 
[ ]instalg1__t31_instalg12024-07-28 20:37 41K 
[ ]instalg1__t30_instalg1.vout2024-08-03 08:22 4.7K 
[ ]instalg1__t30_instalg12024-07-28 20:36 42K 
[ ]instalg1__t29_instalg1.vout2024-08-03 08:40 4.7K 
[ ]instalg1__t29_instalg12024-07-28 20:34 40K 
[ ]instalg1__t28_instalg1.vout2024-08-03 10:06 4.7K 
[ ]instalg1__t28_instalg12024-07-28 20:33 40K 
[ ]instalg1__t27_instalg1.vout2024-08-03 05:45 4.7K 
[ ]instalg1__t27_instalg12024-07-28 20:31 37K 
[ ]instalg1__t26_instalg1.vout2024-08-03 04:34 9.2K 
[ ]instalg1__t26_instalg1.vmin1out2024-08-03 10:20 7.1K 
[ ]instalg1__t26_instalg1.vmin12024-08-03 10:19 746  
[ ]instalg1__t26_instalg1.depvmin12024-08-03 10:24 38  
[ ]instalg1__t26_instalg1.depv12024-08-03 10:19 38  
[ ]instalg1__t26_instalg12024-07-28 19:58 34K 
[ ]instalg1__t25_instalg1.vout2024-08-03 05:57 5.8K 
[ ]instalg1__t25_instalg12024-07-28 20:30 39K 
[ ]instalg1__t24_instalg1.vout2024-08-03 04:11 4.7K 
[ ]instalg1__t24_instalg12024-07-28 20:28 43K 
[ ]instalg1__t23_instalg1.vout2024-08-03 09:43 4.7K 
[ ]instalg1__t23_instalg12024-07-28 20:27 40K 
[ ]instalg1__t22_instalg1.vout2024-08-03 05:19 4.7K 
[ ]instalg1__t22_instalg12024-07-28 20:25 38K 
[ ]instalg1__t21_instalg1.vout2024-08-03 06:09 49K 
[ ]instalg1__t21_instalg1.vmin1out2024-08-03 10:23 53K 
[ ]instalg1__t21_instalg1.vmin12024-08-03 10:19 2.6K 
[ ]instalg1__t21_instalg1.depvmin12024-08-03 10:24 132  
[ ]instalg1__t21_instalg1.depv12024-08-03 10:19 132  
[ ]instalg1__t21_instalg12024-07-28 20:24 37K 
[ ]instalg1__t20_instalg1.vout2024-08-03 05:33 7.3K 
[ ]instalg1__t20_instalg12024-07-28 20:22 35K 
[ ]instalg1__t19_instalg1.vout2024-08-03 10:02 7.3K 
[ ]instalg1__t19_instalg12024-07-28 20:21 30K 
[ ]instalg1__t18_instalg1.vout2024-08-03 08:50 7.3K 
[ ]instalg1__t18_instalg12024-07-28 20:20 33K 
[ ]instalg1__t17_instalg1.vout2024-08-03 06:37 11K 
[ ]instalg1__t17_instalg1.vmin1out2024-08-03 10:20 11K 
[ ]instalg1__t17_instalg1.vmin12024-08-03 10:19 1.1K 
[ ]instalg1__t17_instalg1.depvmin12024-08-03 10:24 80  
[ ]instalg1__t17_instalg1.depv12024-08-03 10:19 80  
[ ]instalg1__t17_instalg12024-07-28 20:19 23K 
[ ]instalg1__t16_instalg1.vout2024-08-03 05:31 7.4K 
[ ]instalg1__t16_instalg12024-07-28 20:18 31K 
[ ]instalg1__t15_instalg1.vout2024-08-03 06:56 6.8K 
[ ]instalg1__t15_instalg1.vmin1out2024-08-03 10:23 4.5K 
[ ]instalg1__t15_instalg1.vmin12024-08-03 10:19 559  
[ ]instalg1__t15_instalg1.depvmin12024-08-03 10:24 37  
[ ]instalg1__t15_instalg1.depv12024-08-03 10:19 62  
[ ]instalg1__t15_instalg12024-07-28 20:16 30K 
[ ]instalg1__t14_instalg1.vout2024-08-03 05:21 16K 
[ ]instalg1__t14_instalg1.vmin1out2024-08-03 10:20 15K 
[ ]instalg1__t14_instalg1.vmin12024-08-03 10:19 1.7K 
[ ]instalg1__t14_instalg1.depvmin12024-08-03 10:24 106  
[ ]instalg1__t14_instalg1.depv12024-08-03 10:19 131  
[ ]instalg1__t14_instalg12024-07-28 20:15 25K 
[ ]instalg1__t13_instalg1.vout2024-08-03 09:44 7.4K 
[ ]instalg1__t13_instalg12024-07-28 20:14 38K 
[ ]instalg1__t12_instalg1.vout2024-08-03 06:47 7.3K 
[ ]instalg1__t12_instalg12024-07-28 20:13 27K 
[ ]instalg1__t11_instalg1.vout2024-08-03 09:44 6.2K 
[ ]instalg1__t11_instalg12024-07-28 20:12 36K 
[ ]instalg1__t10_instalg1.vout2024-08-03 09:12 22K 
[ ]instalg1__t10_instalg1.vmin1out2024-08-03 10:20 23K 
[ ]instalg1__t10_instalg1.vmin12024-08-03 10:19 1.6K 
[ ]instalg1__t10_instalg1.depvmin12024-08-03 10:24 116  
[ ]instalg1__t10_instalg1.depv12024-08-03 10:19 116  
[ ]instalg1__t10_instalg12024-07-28 20:10 30K 
[ ]instalg1__t9_instalg1.vout2024-08-03 05:22 33K 
[ ]instalg1__t9_instalg1.vmin1out2024-08-03 10:22 30K 
[ ]instalg1__t9_instalg1.vmin12024-08-03 10:19 1.4K 
[ ]instalg1__t9_instalg1.depvmin12024-08-03 10:24 36  
[ ]instalg1__t9_instalg1.depv12024-08-03 10:19 36  
[ ]instalg1__t9_instalg12024-07-28 19:56 28K 
[ ]instalg1__t8_instalg1.vout2024-08-03 05:41 7.2K 
[ ]instalg1__t8_instalg1.vmin1out2024-08-03 10:22 5.5K 
[ ]instalg1__t8_instalg1.vmin12024-08-03 10:19 712  
[ ]instalg1__t8_instalg1.depvmin12024-08-03 10:24 50  
[ ]instalg1__t8_instalg1.depv12024-08-03 10:19 75  
[ ]instalg1__t8_instalg12024-07-28 20:09 34K 
[ ]instalg1__t7_instalg1.vout2024-08-03 07:20 8.4K 
[ ]instalg1__t7_instalg12024-07-28 19:55 21K 
[ ]instalg1__t6_instalg1.vout2024-08-03 04:14 4.7K 
[ ]instalg1__t6_instalg12024-07-28 20:08 41K 
[ ]instalg1__t5_instalg1.vout2024-08-03 09:36 4.7K 
[ ]instalg1__t5_instalg12024-07-28 20:06 41K 
[ ]instalg1__t4_instalg1.vout2024-08-03 07:27 26K 
[ ]instalg1__t4_instalg1.vmin1out2024-08-03 10:22 16K 
[ ]instalg1__t4_instalg1.vmin12024-08-03 10:19 1.9K 
[ ]instalg1__t4_instalg1.depvmin12024-08-03 10:24 116  
[ ]instalg1__t4_instalg1.depv12024-08-03 10:19 116  
[ ]instalg1__t4_instalg12024-07-28 19:54 35K 
[ ]instalg1__t3_instalg1.vout2024-08-03 07:48 4.7K 
[ ]instalg1__t3_instalg12024-07-28 20:05 56K 
[ ]instalg1__t2_instalg1.vout2024-08-03 09:59 2.0K 
[ ]instalg1__t2_instalg12024-07-28 20:03 38K 
[ ]instalg1__t1_instalg1.vout2024-08-03 04:26 7.3K 
[ ]instalg1__t1_instalg12024-07-28 20:01 54K 
[ ]instalg1__l41_instalg1.vout2024-08-03 04:13 4.7K 
[ ]instalg1__l41_instalg12024-07-28 21:01 47K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80