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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]knaster__t48_knaster.vout2021-07-25 18:13 4.2K 
[ ]knaster__t48_knaster2021-07-18 03:13 37K 
[ ]knaster__t47_knaster.vout2021-07-25 17:35 4.2K 
[ ]knaster__t47_knaster2021-07-18 03:12 37K 
[ ]knaster__t46_knaster.vout2021-07-25 19:17 53K 
[ ]knaster__t46_knaster.vmin1out2021-07-25 21:00 58K 
[ ]knaster__t46_knaster.vmin12021-07-25 20:57 2.2K 
[ ]knaster__t46_knaster.depvmin12021-07-25 21:03 133  
[ ]knaster__t46_knaster.depv12021-07-25 20:57 133  
[ ]knaster__t46_knaster2021-07-18 03:12 25K 
[ ]knaster__t45_knaster.vout2021-07-25 18:22 57K 
[ ]knaster__t45_knaster.vmin1out2021-07-25 21:02 55K 
[ ]knaster__t45_knaster.vmin12021-07-25 20:57 3.7K 
[ ]knaster__t45_knaster.depvmin12021-07-25 21:03 142  
[ ]knaster__t45_knaster.depv12021-07-25 20:57 142  
[ ]knaster__t45_knaster2021-07-18 03:11 26K 
[ ]knaster__t44_knaster.vout2021-07-25 17:07 56K 
[ ]knaster__t44_knaster.vmin1out2021-07-25 20:59 54K 
[ ]knaster__t44_knaster.vmin12021-07-25 20:57 3.7K 
[ ]knaster__t44_knaster.depvmin12021-07-25 21:03 141  
[ ]knaster__t44_knaster.depv12021-07-25 20:57 141  
[ ]knaster__t44_knaster2021-07-18 03:11 26K 
[ ]knaster__t43_knaster.vout2021-07-25 15:50 7.3K 
[ ]knaster__t43_knaster2021-07-18 03:10 35K 
[ ]knaster__t42_knaster.vout2021-07-25 14:31 6.8K 
[ ]knaster__t42_knaster2021-07-18 03:10 25K 
[ ]knaster__t41_knaster.vout2021-07-25 18:50 6.8K 
[ ]knaster__t41_knaster2021-07-18 03:09 25K 
[ ]knaster__t40_knaster.vout2021-07-25 17:33 4.8K 
[ ]knaster__t40_knaster2021-07-18 03:09 33K 
[ ]knaster__t39_knaster.vout2021-07-25 17:40 119K 
[ ]knaster__t39_knaster.vmin1out2021-07-25 20:59 43K 
[ ]knaster__t39_knaster.vmin12021-07-25 20:57 2.4K 
[ ]knaster__t39_knaster.depvmin12021-07-25 21:03 48  
[ ]knaster__t39_knaster.depv12021-07-25 20:57 48  
[ ]knaster__t39_knaster2021-07-18 03:08 25K 
[ ]knaster__t38_knaster.vout2021-07-25 16:09 31K 
[ ]knaster__t38_knaster.vmin1out2021-07-25 21:02 32K 
[ ]knaster__t38_knaster.vmin12021-07-25 20:57 1.3K 
[ ]knaster__t38_knaster.depvmin12021-07-25 21:03 70  
[ ]knaster__t38_knaster.depv12021-07-25 20:57 70  
[ ]knaster__t38_knaster2021-07-18 03:07 23K 
[ ]knaster__t37_knaster.vout2021-07-25 18:24 17K 
[ ]knaster__t37_knaster.vmin1out2021-07-25 20:59 29K 
[ ]knaster__t37_knaster.vmin12021-07-25 20:57 1.8K 
[ ]knaster__t37_knaster.depvmin12021-07-25 21:03 133  
[ ]knaster__t37_knaster.depv12021-07-25 20:57 133  
[ ]knaster__t37_knaster2021-07-18 03:07 23K 
[ ]knaster__t36_knaster.vout2021-07-25 20:00 97K 
[ ]knaster__t36_knaster.vmin1out2021-07-25 21:00 110K 
[ ]knaster__t36_knaster.vmin12021-07-25 20:57 3.3K 
[ ]knaster__t36_knaster.depvmin12021-07-25 21:03 104  
[ ]knaster__t36_knaster.depv12021-07-25 20:57 137  
[ ]knaster__t36_knaster2021-07-18 03:13 25K 
[ ]knaster__t35_knaster.vout2021-07-25 15:00 6.8K 
[ ]knaster__t35_knaster2021-07-18 03:07 29K 
[ ]knaster__t34_knaster.vout2021-07-25 15:00 6.8K 
[ ]knaster__t34_knaster2021-07-18 03:06 28K 
[ ]knaster__t33_knaster.vout2021-07-25 18:30 2.0K 
[ ]knaster__t33_knaster2021-07-18 03:05 26K 
[ ]knaster__t32_knaster.vout2021-07-25 18:04 2.0K 
[ ]knaster__t32_knaster2021-07-18 03:05 26K 
[ ]knaster__t31_knaster.vout2021-07-25 17:35 6.8K 
[ ]knaster__t31_knaster2021-07-18 03:04 27K 
[ ]knaster__t30_knaster.vout2021-07-25 16:43 6.8K 
[ ]knaster__t30_knaster2021-07-18 03:04 27K 
[ ]knaster__t29_knaster.vout2021-07-25 15:19 6.8K 
[ ]knaster__t29_knaster2021-07-18 03:03 30K 
[ ]knaster__t28_knaster.vout2021-07-25 18:43 4.7K 
[ ]knaster__t28_knaster2021-07-18 03:03 29K 
[ ]knaster__t27_knaster.vout2021-07-25 17:56 6.8K 
[ ]knaster__t27_knaster2021-07-18 03:02 25K 
[ ]knaster__t26_knaster.vout2021-07-25 16:38 6.8K 
[ ]knaster__t26_knaster2021-07-18 03:02 25K 
[ ]knaster__t25_knaster.vout2021-07-25 17:39 3.7K 
[ ]knaster__t25_knaster2021-07-18 03:01 32K 
[ ]knaster__t24_knaster.vout2021-07-25 15:41 3.7K 
[ ]knaster__t24_knaster2021-07-18 03:01 32K 
[ ]knaster__t23_knaster.vout2021-07-25 18:29 6.8K 
[ ]knaster__t23_knaster2021-07-18 03:00 28K 
[ ]knaster__t22_knaster.vout2021-07-25 16:34 6.8K 
[ ]knaster__t22_knaster2021-07-18 03:00 28K 
[ ]knaster__t21_knaster.vout2021-07-25 17:42 7.3K 
[ ]knaster__t21_knaster2021-07-18 02:59 24K 
[ ]knaster__t20_knaster.vout2021-07-25 19:11 6.8K 
[ ]knaster__t20_knaster2021-07-18 02:59 31K 
[ ]knaster__t19_knaster.vout2021-07-25 18:21 6.8K 
[ ]knaster__t19_knaster2021-07-18 02:58 31K 
[ ]knaster__t18_knaster.vout2021-07-25 16:08 7.3K 
[ ]knaster__t18_knaster2021-07-18 02:58 25K 
[ ]knaster__t17_knaster.vout2021-07-25 20:25 7.3K 
[ ]knaster__t17_knaster2021-07-18 02:57 24K 
[ ]knaster__t16_knaster.vout2021-07-25 18:22 7.3K 
[ ]knaster__t16_knaster2021-07-18 02:57 24K 
[ ]knaster__t15_knaster.vout2021-07-25 20:26 7.3K 
[ ]knaster__t15_knaster2021-07-18 02:56 24K 
[ ]knaster__t14_knaster.vout2021-07-25 17:34 7.3K 
[ ]knaster__t14_knaster2021-07-18 02:56 24K 
[ ]knaster__t13_knaster.vout2021-07-25 15:33 7.3K 
[ ]knaster__t13_knaster2021-07-18 02:56 24K 
[ ]knaster__t12_knaster.vout2021-07-25 17:20 12K 
[ ]knaster__t12_knaster.vmin1out2021-07-25 20:57 21K 
[ ]knaster__t12_knaster.vmin12021-07-25 20:57 1.1K 
[ ]knaster__t12_knaster.depvmin12021-07-25 21:03 36  
[ ]knaster__t12_knaster.depv12021-07-25 20:57 36  
[ ]knaster__t12_knaster2021-07-18 02:55 14K 
[ ]knaster__t11_knaster.vout2021-07-25 14:29 4.7K 
[ ]knaster__t11_knaster2021-07-18 02:55 16K 
[ ]knaster__t10_knaster.vout2021-07-25 20:55 6.8K 
[ ]knaster__t10_knaster2021-07-18 02:54 23K 
[ ]knaster__t9_knaster.vout2021-07-25 18:21 3.7K 
[ ]knaster__t9_knaster2021-07-18 02:54 23K 
[ ]knaster__t8_knaster.vout2021-07-25 19:21 22K 
[ ]knaster__t8_knaster.vmin1out2021-07-25 20:59 16K 
[ ]knaster__t8_knaster.vmin12021-07-25 20:57 1.6K 
[ ]knaster__t8_knaster.depvmin12021-07-25 21:03 102  
[ ]knaster__t8_knaster.depv12021-07-25 20:57 102  
[ ]knaster__t8_knaster2021-07-18 02:51 18K 
[ ]knaster__t7_knaster.vout2021-07-25 17:14 20K 
[ ]knaster__t7_knaster.vmin1out2021-07-25 21:00 16K 
[ ]knaster__t7_knaster.vmin12021-07-25 20:57 1.3K 
[ ]knaster__t7_knaster.depvmin12021-07-25 21:03 106  
[ ]knaster__t7_knaster.depv12021-07-25 20:57 106  
[ ]knaster__t7_knaster2021-07-18 02:54 16K 
[ ]knaster__t6_knaster.vout2021-07-25 18:30 20K 
[ ]knaster__t6_knaster.vmin1out2021-07-25 20:58 16K 
[ ]knaster__t6_knaster.vmin12021-07-25 20:57 1.3K 
[ ]knaster__t6_knaster.depvmin12021-07-25 21:03 105  
[ ]knaster__t6_knaster.depv12021-07-25 20:57 105  
[ ]knaster__t6_knaster2021-07-18 02:53 15K 
[ ]knaster__t5_knaster.vout2021-07-25 19:14 7.3K 
[ ]knaster__t5_knaster2021-07-18 02:53 17K 
[ ]knaster__t4_knaster.vout2021-07-25 20:36 7.3K 
[ ]knaster__t4_knaster2021-07-18 02:53 17K 
[ ]knaster__t3_knaster.vout2021-07-25 15:23 42K 
[ ]knaster__t3_knaster.vmin1out2021-07-25 20:59 21K 
[ ]knaster__t3_knaster.vmin12021-07-25 20:57 1.9K 
[ ]knaster__t3_knaster.depvmin12021-07-25 21:03 141  
[ ]knaster__t3_knaster.depv12021-07-25 20:57 141  
[ ]knaster__t3_knaster2021-07-18 02:52 15K 
[ ]knaster__t2_knaster.vout2021-07-25 20:15 6.8K 
[ ]knaster__t2_knaster2021-07-18 02:52 20K 
[ ]knaster__t1_knaster.vout2021-07-25 15:33 6.8K 
[ ]knaster__t1_knaster2021-07-18 02:52 12K 
[ ]knaster__l38_knaster.vout2021-07-25 18:41 8.9K 
[ ]knaster__l38_knaster.vmin1out2021-07-25 21:00 8.7K 
[ ]knaster__l38_knaster.vmin12021-07-25 20:57 562  
[ ]knaster__l38_knaster.depvmin12021-07-25 21:03 75  
[ ]knaster__l38_knaster.depv12021-07-25 20:57 75  
[ ]knaster__l38_knaster2021-07-18 03:14 12K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80