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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]poset_1__l4_poset_12021-07-18 07:58 18K 
[ ]poset_1__l4_poset_1.depv12021-07-25 20:57 183  
[ ]poset_1__l4_poset_1.depvmin12021-07-25 21:03 183  
[ ]poset_1__l4_poset_1.vmin12021-07-25 20:57 1.9K 
[ ]poset_1__l4_poset_1.vmin1out2021-07-25 21:00 20K 
[ ]poset_1__l4_poset_1.vout2021-07-25 20:28 20K 
[ ]poset_1__l6_poset_12021-07-18 07:53 22K 
[ ]poset_1__l6_poset_1.vout2021-07-25 19:46 3.8K 
[ ]poset_1__l7_poset_12021-07-18 07:59 29K 
[ ]poset_1__l7_poset_1.vout2021-07-25 18:43 4.7K 
[ ]poset_1__l8_poset_12021-07-18 07:59 29K 
[ ]poset_1__l8_poset_1.vout2021-07-25 19:16 4.7K 
[ ]poset_1__l9_poset_12021-07-18 07:59 38K 
[ ]poset_1__l9_poset_1.depv12021-07-25 20:57 32  
[ ]poset_1__l9_poset_1.depvmin12021-07-25 21:03 32  
[ ]poset_1__l9_poset_1.vmin12021-07-25 20:57 2.0K 
[ ]poset_1__l9_poset_1.vmin1out2021-07-25 20:59 54K 
[ ]poset_1__l9_poset_1.vout2021-07-25 19:30 43K 
[ ]poset_1__l10_poset_12021-07-18 08:00 28K 
[ ]poset_1__l10_poset_1.vout2021-07-25 19:30 4.7K 
[ ]poset_1__l11_poset_12021-07-18 08:00 30K 
[ ]poset_1__l11_poset_1.vout2021-07-25 20:27 4.7K 
[ ]poset_1__l20_poset_12021-07-18 08:01 27K 
[ ]poset_1__l20_poset_1.depv12021-07-25 20:57 279  
[ ]poset_1__l20_poset_1.depvmin12021-07-25 21:03 279  
[ ]poset_1__l20_poset_1.vmin12021-07-25 20:57 4.3K 
[ ]poset_1__l20_poset_1.vmin1out2021-07-25 21:02 68K 
[ ]poset_1__l20_poset_1.vout2021-07-25 19:14 69K 
[ ]poset_1__l21_poset_12021-07-18 08:01 25K 
[ ]poset_1__l21_poset_1.vout2021-07-25 17:53 7.3K 
[ ]poset_1__l26_poset_12021-07-18 08:01 20K 
[ ]poset_1__l26_poset_1.depv12021-07-25 20:57 115  
[ ]poset_1__l26_poset_1.depvmin12021-07-25 21:03 115  
[ ]poset_1__l26_poset_1.vmin12021-07-25 20:57 2.1K 
[ ]poset_1__l26_poset_1.vmin1out2021-07-25 20:58 32K 
[ ]poset_1__l26_poset_1.vout2021-07-25 14:33 25K 
[ ]poset_1__l27_poset_12021-07-18 08:02 20K 
[ ]poset_1__l27_poset_1.depv12021-07-25 20:57 78  
[ ]poset_1__l27_poset_1.depvmin12021-07-25 21:03 78  
[ ]poset_1__l27_poset_1.vmin12021-07-25 20:57 2.4K 
[ ]poset_1__l27_poset_1.vmin1out2021-07-25 21:01 59K 
[ ]poset_1__l27_poset_1.vout2021-07-25 19:44 35K 
[ ]poset_1__l28_poset_12021-07-18 08:02 22K 
[ ]poset_1__l28_poset_1.vout2021-07-25 16:24 4.1K 
[ ]poset_1__l30_poset_12021-07-18 08:03 24K 
[ ]poset_1__l30_poset_1.depv12021-07-25 20:57 62  
[ ]poset_1__l30_poset_1.depvmin12021-07-25 21:03 62  
[ ]poset_1__l30_poset_1.vmin12021-07-25 20:57 1.1K 
[ ]poset_1__l30_poset_1.vmin1out2021-07-25 21:01 12K 
[ ]poset_1__l30_poset_1.vout2021-07-25 18:48 19K 
[ ]poset_1__l31_poset_12021-07-18 08:03 24K 
[ ]poset_1__l31_poset_1.vout2021-07-25 16:58 7.3K 
[ ]poset_1__l32_poset_12021-07-18 08:03 25K 
[ ]poset_1__l32_poset_1.vout2021-07-25 16:08 7.3K 
[ ]poset_1__l33_poset_12021-07-18 08:04 25K 
[ ]poset_1__l33_poset_1.vout2021-07-25 18:35 7.3K 
[ ]poset_1__l37_poset_12021-07-18 08:04 31K 
[ ]poset_1__l37_poset_1.vout2021-07-25 14:26 7.3K 
[ ]poset_1__l38_poset_12021-07-18 08:05 18K 
[ ]poset_1__l38_poset_1.depv12021-07-25 20:57 87  
[ ]poset_1__l38_poset_1.depvmin12021-07-25 21:03 87  
[ ]poset_1__l38_poset_1.vmin12021-07-25 20:57 1.5K 
[ ]poset_1__l38_poset_1.vmin1out2021-07-25 21:02 25K 
[ ]poset_1__l38_poset_1.vout2021-07-25 19:47 22K 
[ ]poset_1__l39_poset_12021-07-18 08:05 18K 
[ ]poset_1__l39_poset_1.depv12021-07-25 20:57 87  
[ ]poset_1__l39_poset_1.depvmin12021-07-25 21:03 87  
[ ]poset_1__l39_poset_1.vmin12021-07-25 20:57 1.6K 
[ ]poset_1__l39_poset_1.vmin1out2021-07-25 21:00 30K 
[ ]poset_1__l39_poset_1.vout2021-07-25 20:24 25K 
[ ]poset_1__l40_poset_12021-07-18 08:05 36K 
[ ]poset_1__l40_poset_1.vout2021-07-25 14:44 7.3K 
[ ]poset_1__l41_poset_12021-07-18 08:06 26K 
[ ]poset_1__l41_poset_1.vout2021-07-25 17:53 7.3K 
[ ]poset_1__l42_poset_12021-07-18 08:06 25K 
[ ]poset_1__l42_poset_1.vout2021-07-25 20:05 7.3K 
[ ]poset_1__l45_poset_12021-07-18 08:06 28K 
[ ]poset_1__l45_poset_1.vout2021-07-25 16:57 7.3K 
[ ]poset_1__l47_poset_12021-07-18 08:07 25K 
[ ]poset_1__l47_poset_1.depv12021-07-25 20:57 328  
[ ]poset_1__l47_poset_1.depvmin12021-07-25 21:03 252  
[ ]poset_1__l47_poset_1.vmin12021-07-25 20:57 5.7K 
[ ]poset_1__l47_poset_1.vmin1out2021-07-25 21:01 56K 
[ ]poset_1__l47_poset_1.vout2021-07-25 20:20 114K 
[ ]poset_1__l48_poset_12021-07-18 08:07 26K 
[ ]poset_1__l48_poset_1.vout2021-07-25 17:54 7.3K 
[ ]poset_1__l50_poset_12021-07-18 08:08 28K 
[ ]poset_1__l50_poset_1.depv12021-07-25 20:57 204  
[ ]poset_1__l50_poset_1.depvmin12021-07-25 21:03 177  
[ ]poset_1__l50_poset_1.vmin12021-07-25 20:57 5.6K 
[ ]poset_1__l50_poset_1.vmin1out2021-07-25 21:01 52K 
[ ]poset_1__l50_poset_1.vout2021-07-25 18:36 68K 
[ ]poset_1__l51_poset_12021-07-18 08:08 30K 
[ ]poset_1__l51_poset_1.vout2021-07-25 18:56 7.3K 
[ ]poset_1__l52_poset_12021-07-18 08:10 28K 
[ ]poset_1__l52_poset_1.depv12021-07-25 20:57 58  
[ ]poset_1__l52_poset_1.depvmin12021-07-25 21:03 58  
[ ]poset_1__l52_poset_1.vmin12021-07-25 20:57 1.7K 
[ ]poset_1__l52_poset_1.vmin1out2021-07-25 20:59 93K 
[ ]poset_1__l52_poset_1.vout2021-07-25 14:44 98K 
[ ]poset_1__l53_poset_12021-07-18 08:11 28K 
[ ]poset_1__l53_poset_1.depv12021-07-25 20:57 58  
[ ]poset_1__l53_poset_1.depvmin12021-07-25 21:03 58  
[ ]poset_1__l53_poset_1.vmin12021-07-25 20:57 1.4K 
[ ]poset_1__l53_poset_1.vmin1out2021-07-25 20:57 31K 
[ ]poset_1__l53_poset_1.vout2021-07-25 20:08 25K 
[ ]poset_1__l54_poset_12021-07-18 08:11 29K 
[ ]poset_1__l54_poset_1.vout2021-07-25 18:35 7.3K 
[ ]poset_1__l55_poset_12021-07-18 08:08 27K 
[ ]poset_1__l55_poset_1.vout2021-07-25 17:07 7.3K 
[ ]poset_1__l56_poset_12021-07-18 08:12 32K 
[ ]poset_1__l56_poset_1.vout2021-07-25 20:40 7.3K 
[ ]poset_1__l57_poset_12021-07-18 08:09 27K 
[ ]poset_1__l57_poset_1.depv12021-07-25 20:57 220  
[ ]poset_1__l57_poset_1.depvmin12021-07-25 21:03 220  
[ ]poset_1__l57_poset_1.vmin12021-07-25 20:57 3.4K 
[ ]poset_1__l57_poset_1.vmin1out2021-07-25 21:02 47K 
[ ]poset_1__l57_poset_1.vout2021-07-25 19:47 48K 
[ ]poset_1__l58_poset_12021-07-18 08:09 33K 
[ ]poset_1__l58_poset_1.depv12021-07-25 20:57 294  
[ ]poset_1__l58_poset_1.depvmin12021-07-25 21:03 249  
[ ]poset_1__l58_poset_1.vmin12021-07-25 20:57 7.7K 
[ ]poset_1__l58_poset_1.vmin1out2021-07-25 21:01 57K 
[ ]poset_1__l58_poset_1.vout2021-07-25 17:56 121K 
[ ]poset_1__l59_poset_12021-07-18 08:12 30K 
[ ]poset_1__l59_poset_1.depv12021-07-25 20:57 159  
[ ]poset_1__l59_poset_1.depvmin12021-07-25 21:03 159  
[ ]poset_1__l59_poset_1.vmin12021-07-25 20:57 3.0K 
[ ]poset_1__l59_poset_1.vmin1out2021-07-25 21:02 113K 
[ ]poset_1__l59_poset_1.vout2021-07-25 16:12 117K 
[ ]poset_1__l60_poset_12021-07-18 08:10 61K 
[ ]poset_1__l60_poset_1.vout2021-07-25 16:32 6.8K 
[ ]poset_1__t1_poset_12021-07-18 07:53 21K 
[ ]poset_1__t1_poset_1.vout2021-07-25 16:55 7.3K 
[ ]poset_1__t2_poset_12021-07-18 07:54 23K 
[ ]poset_1__t2_poset_1.vout2021-07-25 18:00 4.1K 
[ ]poset_1__t3_poset_12021-07-18 07:54 24K 
[ ]poset_1__t3_poset_1.vout2021-07-25 17:26 7.3K 
[ ]poset_1__t4_poset_12021-07-18 07:55 37K 
[ ]poset_1__t4_poset_1.vout2021-07-25 19:13 6.8K 
[ ]poset_1__t5_poset_12021-07-18 07:55 25K 
[ ]poset_1__t5_poset_1.vout2021-07-25 15:36 6.8K 
[ ]poset_1__t6_poset_12021-07-18 07:55 21K 
[ ]poset_1__t6_poset_1.vout2021-07-25 18:47 3.2K 
[ ]poset_1__t7_poset_12021-07-18 07:56 25K 
[ ]poset_1__t7_poset_1.vout2021-07-25 18:52 4.1K 
[ ]poset_1__t8_poset_12021-07-18 07:56 23K 
[ ]poset_1__t8_poset_1.depv12021-07-25 20:57 176  
[ ]poset_1__t8_poset_1.depvmin12021-07-25 21:03 176  
[ ]poset_1__t8_poset_1.vmin12021-07-25 20:57 3.8K 
[ ]poset_1__t8_poset_1.vmin1out2021-07-25 21:00 34K 
[ ]poset_1__t8_poset_1.vout2021-07-25 14:44 100K 
[ ]poset_1__t9_poset_12021-07-18 07:57 26K 
[ ]poset_1__t9_poset_1.depv12021-07-25 20:57 124  
[ ]poset_1__t9_poset_1.depvmin12021-07-25 21:03 73  
[ ]poset_1__t9_poset_1.vmin12021-07-25 20:57 3.7K 
[ ]poset_1__t9_poset_1.vmin1out2021-07-25 20:59 60K 
[ ]poset_1__t9_poset_1.vout2021-07-25 18:50 55K 
[ ]poset_1__t10_poset_12021-07-18 07:57 25K 
[ ]poset_1__t10_poset_1.depv12021-07-25 20:57 46  
[ ]poset_1__t10_poset_1.depvmin12021-07-25 21:03 46  
[ ]poset_1__t10_poset_1.vmin12021-07-25 20:57 2.4K 
[ ]poset_1__t10_poset_1.vmin1out2021-07-25 20:58 33K 
[ ]poset_1__t10_poset_1.vout2021-07-25 17:14 42K 
[ ]poset_1__t11_poset_12021-07-18 07:57 35K 
[ ]poset_1__t11_poset_1.vout2021-07-25 15:50 6.9K 
[ ]poset_1__t12_poset_12021-07-18 07:58 32K 
[ ]poset_1__t12_poset_1.vout2021-07-25 16:20 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80