Index of /~mptp/mml5.63.1382/MPTP2/problems_small/instalg1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]instalg1__t44_instalg1.vout2021-07-25 17:45 4.7K 
[ ]instalg1__t44_instalg12021-07-18 12:06 63K 
[ ]instalg1__t43_instalg1.vout2021-07-25 14:34 4.7K 
[ ]instalg1__t43_instalg12021-07-18 12:05 60K 
[ ]instalg1__t42_instalg1.vout2021-07-25 16:00 4.7K 
[ ]instalg1__t42_instalg12021-07-18 12:05 86K 
[ ]instalg1__t41_instalg1.vout2021-07-25 15:00 4.7K 
[ ]instalg1__t41_instalg12021-07-18 12:04 69K 
[ ]instalg1__t40_instalg1.vout2021-07-25 18:14 4.7K 
[ ]instalg1__t40_instalg12021-07-18 12:03 48K 
[ ]instalg1__t39_instalg1.vout2021-07-25 15:17 37K 
[ ]instalg1__t39_instalg1.vmin1out2021-07-25 20:59 34K 
[ ]instalg1__t39_instalg1.vmin12021-07-25 20:57 1.7K 
[ ]instalg1__t39_instalg1.depvmin12021-07-25 21:03 73  
[ ]instalg1__t39_instalg1.depv12021-07-25 20:57 73  
[ ]instalg1__t39_instalg12021-07-18 12:03 26K 
[ ]instalg1__t38_instalg1.vout2021-07-25 14:31 37K 
[ ]instalg1__t38_instalg1.vmin1out2021-07-25 21:02 40K 
[ ]instalg1__t38_instalg1.vmin12021-07-25 20:57 2.5K 
[ ]instalg1__t38_instalg1.depvmin12021-07-25 21:03 26  
[ ]instalg1__t38_instalg1.depv12021-07-25 20:57 95  
[ ]instalg1__t38_instalg12021-07-18 11:49 39K 
[ ]instalg1__t37_instalg1.vout2021-07-25 14:49 35K 
[ ]instalg1__t37_instalg1.vmin1out2021-07-25 20:57 43K 
[ ]instalg1__t37_instalg1.vmin12021-07-25 20:57 2.7K 
[ ]instalg1__t37_instalg1.depvmin12021-07-25 21:03 80  
[ ]instalg1__t37_instalg1.depv12021-07-25 20:57 80  
[ ]instalg1__t37_instalg12021-07-18 12:03 39K 
[ ]instalg1__t36_instalg1.vout2021-07-25 16:06 4.7K 
[ ]instalg1__t36_instalg12021-07-18 12:02 51K 
[ ]instalg1__t35_instalg1.vout2021-07-25 18:08 4.7K 
[ ]instalg1__t35_instalg12021-07-18 12:02 48K 
[ ]instalg1__t34_instalg1.vout2021-07-25 16:18 4.7K 
[ ]instalg1__t34_instalg12021-07-18 12:01 47K 
[ ]instalg1__t33_instalg1.vout2021-07-25 19:53 4.7K 
[ ]instalg1__t33_instalg12021-07-18 12:01 45K 
[ ]instalg1__t32_instalg1.vout2021-07-25 20:56 4.7K 
[ ]instalg1__t32_instalg12021-07-18 12:01 41K 
[ ]instalg1__t31_instalg1.vout2021-07-25 17:40 4.7K 
[ ]instalg1__t31_instalg12021-07-18 12:00 40K 
[ ]instalg1__t30_instalg1.vout2021-07-25 15:40 4.7K 
[ ]instalg1__t30_instalg12021-07-18 12:00 41K 
[ ]instalg1__t29_instalg1.vout2021-07-25 20:25 4.7K 
[ ]instalg1__t29_instalg12021-07-18 11:59 39K 
[ ]instalg1__t28_instalg1.vout2021-07-25 20:37 4.7K 
[ ]instalg1__t28_instalg12021-07-18 11:59 39K 
[ ]instalg1__t27_instalg1.vout2021-07-25 15:22 4.7K 
[ ]instalg1__t27_instalg12021-07-18 11:59 36K 
[ ]instalg1__t26_instalg1.vout2021-07-25 14:47 9.2K 
[ ]instalg1__t26_instalg1.vmin1out2021-07-25 21:01 7.1K 
[ ]instalg1__t26_instalg1.vmin12021-07-25 20:57 746  
[ ]instalg1__t26_instalg1.depvmin12021-07-25 21:03 38  
[ ]instalg1__t26_instalg1.depv12021-07-25 20:57 38  
[ ]instalg1__t26_instalg12021-07-18 11:49 33K 
[ ]instalg1__t25_instalg1.vout2021-07-25 18:49 5.8K 
[ ]instalg1__t25_instalg12021-07-18 11:58 39K 
[ ]instalg1__t24_instalg1.vout2021-07-25 20:23 4.7K 
[ ]instalg1__t24_instalg12021-07-18 11:58 42K 
[ ]instalg1__t23_instalg1.vout2021-07-25 18:02 4.7K 
[ ]instalg1__t23_instalg12021-07-18 11:57 39K 
[ ]instalg1__t22_instalg1.vout2021-07-25 20:26 4.7K 
[ ]instalg1__t22_instalg12021-07-18 11:57 37K 
[ ]instalg1__t21_instalg1.vout2021-07-25 20:35 49K 
[ ]instalg1__t21_instalg1.vmin1out2021-07-25 21:02 53K 
[ ]instalg1__t21_instalg1.vmin12021-07-25 20:57 2.6K 
[ ]instalg1__t21_instalg1.depvmin12021-07-25 21:03 132  
[ ]instalg1__t21_instalg1.depv12021-07-25 20:57 132  
[ ]instalg1__t21_instalg12021-07-18 11:56 36K 
[ ]instalg1__t20_instalg1.vout2021-07-25 16:03 6.8K 
[ ]instalg1__t20_instalg12021-07-18 11:56 34K 
[ ]instalg1__t19_instalg1.vout2021-07-25 17:30 6.8K 
[ ]instalg1__t19_instalg12021-07-18 11:55 30K 
[ ]instalg1__t18_instalg1.vout2021-07-25 20:19 7.3K 
[ ]instalg1__t18_instalg12021-07-18 11:55 32K 
[ ]instalg1__t17_instalg1.vout2021-07-25 15:03 11K 
[ ]instalg1__t17_instalg1.vmin1out2021-07-25 20:58 11K 
[ ]instalg1__t17_instalg1.vmin12021-07-25 20:57 1.1K 
[ ]instalg1__t17_instalg1.depvmin12021-07-25 21:03 80  
[ ]instalg1__t17_instalg1.depv12021-07-25 20:57 80  
[ ]instalg1__t17_instalg12021-07-18 11:55 22K 
[ ]instalg1__t16_instalg1.vout2021-07-25 18:03 7.4K 
[ ]instalg1__t16_instalg12021-07-18 11:54 30K 
[ ]instalg1__t15_instalg1.vout2021-07-25 15:20 6.8K 
[ ]instalg1__t15_instalg1.vmin1out2021-07-25 21:01 4.5K 
[ ]instalg1__t15_instalg1.vmin12021-07-25 20:57 559  
[ ]instalg1__t15_instalg1.depvmin12021-07-25 21:03 37  
[ ]instalg1__t15_instalg1.depv12021-07-25 20:57 62  
[ ]instalg1__t15_instalg12021-07-18 11:54 29K 
[ ]instalg1__t14_instalg1.vout2021-07-25 18:37 16K 
[ ]instalg1__t14_instalg1.vmin1out2021-07-25 21:01 15K 
[ ]instalg1__t14_instalg1.vmin12021-07-25 20:57 1.7K 
[ ]instalg1__t14_instalg1.depvmin12021-07-25 21:03 106  
[ ]instalg1__t14_instalg1.depv12021-07-25 20:57 131  
[ ]instalg1__t14_instalg12021-07-18 11:54 25K 
[ ]instalg1__t13_instalg1.vout2021-07-25 19:03 7.4K 
[ ]instalg1__t13_instalg12021-07-18 11:53 36K 
[ ]instalg1__t12_instalg1.vout2021-07-25 16:39 7.4K 
[ ]instalg1__t12_instalg12021-07-18 11:53 26K 
[ ]instalg1__t11_instalg1.vout2021-07-25 18:01 6.3K 
[ ]instalg1__t11_instalg12021-07-18 11:53 35K 
[ ]instalg1__t10_instalg1.vout2021-07-25 20:55 22K 
[ ]instalg1__t10_instalg1.vmin1out2021-07-25 21:00 23K 
[ ]instalg1__t10_instalg1.vmin12021-07-25 20:57 1.6K 
[ ]instalg1__t10_instalg1.depvmin12021-07-25 21:03 116  
[ ]instalg1__t10_instalg1.depv12021-07-25 20:57 116  
[ ]instalg1__t10_instalg12021-07-18 11:52 29K 
[ ]instalg1__t9_instalg1.vout2021-07-25 20:12 33K 
[ ]instalg1__t9_instalg1.vmin1out2021-07-25 21:01 30K 
[ ]instalg1__t9_instalg1.vmin12021-07-25 20:57 1.4K 
[ ]instalg1__t9_instalg1.depvmin12021-07-25 21:03 36  
[ ]instalg1__t9_instalg1.depv12021-07-25 20:57 36  
[ ]instalg1__t9_instalg12021-07-18 11:48 28K 
[ ]instalg1__t8_instalg1.vout2021-07-25 15:30 7.2K 
[ ]instalg1__t8_instalg1.vmin1out2021-07-25 21:01 5.5K 
[ ]instalg1__t8_instalg1.vmin12021-07-25 20:57 712  
[ ]instalg1__t8_instalg1.depvmin12021-07-25 21:03 50  
[ ]instalg1__t8_instalg1.depv12021-07-25 20:57 75  
[ ]instalg1__t8_instalg12021-07-18 11:52 33K 
[ ]instalg1__t7_instalg1.vout2021-07-25 16:31 8.4K 
[ ]instalg1__t7_instalg12021-07-18 11:48 20K 
[ ]instalg1__t6_instalg1.vout2021-07-25 14:54 4.7K 
[ ]instalg1__t6_instalg12021-07-18 11:52 40K 
[ ]instalg1__t5_instalg1.vout2021-07-25 15:36 4.7K 
[ ]instalg1__t5_instalg12021-07-18 11:51 40K 
[ ]instalg1__t4_instalg1.vout2021-07-25 17:31 26K 
[ ]instalg1__t4_instalg1.vmin1out2021-07-25 21:02 16K 
[ ]instalg1__t4_instalg1.vmin12021-07-25 20:57 1.9K 
[ ]instalg1__t4_instalg1.depvmin12021-07-25 21:03 116  
[ ]instalg1__t4_instalg1.depv12021-07-25 20:57 116  
[ ]instalg1__t4_instalg12021-07-18 11:48 34K 
[ ]instalg1__t3_instalg1.vout2021-07-25 20:49 4.7K 
[ ]instalg1__t3_instalg12021-07-18 11:51 55K 
[ ]instalg1__t2_instalg1.vout2021-07-25 15:30 2.0K 
[ ]instalg1__t2_instalg12021-07-18 11:50 36K 
[ ]instalg1__t1_instalg1.vout2021-07-25 16:56 7.3K 
[ ]instalg1__t1_instalg12021-07-18 11:50 53K 
[ ]instalg1__l41_instalg1.vout2021-07-25 16:25 4.7K 
[ ]instalg1__l41_instalg12021-07-18 12:06 46K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80