Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/poset_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]poset_1__l4_poset_12025-09-08 07:10 18K 
[ ]poset_1__l4_poset_1.depv12025-09-15 19:47 183  
[ ]poset_1__l4_poset_1.depvmin12025-09-15 19:52 183  
[ ]poset_1__l4_poset_1.vmin12025-09-15 19:47 1.9K 
[ ]poset_1__l4_poset_1.vmin1out2025-09-15 19:50 20K 
[ ]poset_1__l4_poset_1.vout2025-09-15 17:34 20K 
[ ]poset_1__l6_poset_12025-09-08 06:51 22K 
[ ]poset_1__l6_poset_1.depv12025-09-15 19:47 207  
[ ]poset_1__l6_poset_1.depvmin12025-09-15 19:52 207  
[ ]poset_1__l6_poset_1.vmin12025-09-15 19:47 3.1K 
[ ]poset_1__l6_poset_1.vmin1out2025-09-15 19:49 51K 
[ ]poset_1__l6_poset_1.vout2025-09-15 18:16 54K 
[ ]poset_1__l7_poset_12025-09-08 07:12 29K 
[ ]poset_1__l7_poset_1.vout2025-09-15 15:24 4.7K 
[ ]poset_1__l8_poset_12025-09-08 07:13 29K 
[ ]poset_1__l8_poset_1.vout2025-09-15 17:37 4.7K 
[ ]poset_1__l9_poset_12025-09-08 07:15 38K 
[ ]poset_1__l9_poset_1.depv12025-09-15 19:47 32  
[ ]poset_1__l9_poset_1.depvmin12025-09-15 19:52 32  
[ ]poset_1__l9_poset_1.vmin12025-09-15 19:47 2.0K 
[ ]poset_1__l9_poset_1.vmin1out2025-09-15 19:47 54K 
[ ]poset_1__l9_poset_1.vout2025-09-15 17:06 43K 
[ ]poset_1__l10_poset_12025-09-08 07:16 28K 
[ ]poset_1__l10_poset_1.vout2025-09-15 19:26 4.7K 
[ ]poset_1__l11_poset_12025-09-08 07:18 30K 
[ ]poset_1__l11_poset_1.vout2025-09-15 14:11 4.7K 
[ ]poset_1__l20_poset_12025-09-08 07:19 27K 
[ ]poset_1__l20_poset_1.depv12025-09-15 19:47 279  
[ ]poset_1__l20_poset_1.depvmin12025-09-15 19:52 279  
[ ]poset_1__l20_poset_1.vmin12025-09-15 19:47 4.3K 
[ ]poset_1__l20_poset_1.vmin1out2025-09-15 19:50 68K 
[ ]poset_1__l20_poset_1.vout2025-09-15 16:58 69K 
[ ]poset_1__l21_poset_12025-09-08 07:21 25K 
[ ]poset_1__l21_poset_1.vout2025-09-15 15:31 7.3K 
[ ]poset_1__l26_poset_12025-09-08 07:22 19K 
[ ]poset_1__l26_poset_1.depv12025-09-15 19:47 115  
[ ]poset_1__l26_poset_1.depvmin12025-09-15 19:52 115  
[ ]poset_1__l26_poset_1.vmin12025-09-15 19:47 2.1K 
[ ]poset_1__l26_poset_1.vmin1out2025-09-15 19:48 32K 
[ ]poset_1__l26_poset_1.vout2025-09-15 17:10 25K 
[ ]poset_1__l27_poset_12025-09-08 07:23 20K 
[ ]poset_1__l27_poset_1.depv12025-09-15 19:47 78  
[ ]poset_1__l27_poset_1.depvmin12025-09-15 19:52 78  
[ ]poset_1__l27_poset_1.vmin12025-09-15 19:47 2.4K 
[ ]poset_1__l27_poset_1.vmin1out2025-09-15 19:49 59K 
[ ]poset_1__l27_poset_1.vout2025-09-15 17:45 35K 
[ ]poset_1__l28_poset_12025-09-08 07:25 22K 
[ ]poset_1__l28_poset_1.vout2025-09-15 19:34 4.1K 
[ ]poset_1__l30_poset_12025-09-08 07:26 24K 
[ ]poset_1__l30_poset_1.depv12025-09-15 19:47 62  
[ ]poset_1__l30_poset_1.depvmin12025-09-15 19:52 62  
[ ]poset_1__l30_poset_1.vmin12025-09-15 19:47 1.1K 
[ ]poset_1__l30_poset_1.vmin1out2025-09-15 19:48 12K 
[ ]poset_1__l30_poset_1.vout2025-09-15 17:36 19K 
[ ]poset_1__l31_poset_12025-09-08 07:27 24K 
[ ]poset_1__l31_poset_1.vout2025-09-15 15:03 7.3K 
[ ]poset_1__l32_poset_12025-09-08 07:29 25K 
[ ]poset_1__l32_poset_1.vout2025-09-15 15:45 7.3K 
[ ]poset_1__l33_poset_12025-09-08 07:30 25K 
[ ]poset_1__l33_poset_1.vout2025-09-15 17:17 7.3K 
[ ]poset_1__l37_poset_12025-09-08 07:32 31K 
[ ]poset_1__l37_poset_1.vout2025-09-15 14:08 7.3K 
[ ]poset_1__l38_poset_12025-09-08 07:33 18K 
[ ]poset_1__l38_poset_1.depv12025-09-15 19:47 87  
[ ]poset_1__l38_poset_1.depvmin12025-09-15 19:52 87  
[ ]poset_1__l38_poset_1.vmin12025-09-15 19:47 1.5K 
[ ]poset_1__l38_poset_1.vmin1out2025-09-15 19:47 25K 
[ ]poset_1__l38_poset_1.vout2025-09-15 18:22 22K 
[ ]poset_1__l39_poset_12025-09-08 07:34 18K 
[ ]poset_1__l39_poset_1.depv12025-09-15 19:47 87  
[ ]poset_1__l39_poset_1.depvmin12025-09-15 19:52 87  
[ ]poset_1__l39_poset_1.vmin12025-09-15 19:47 1.6K 
[ ]poset_1__l39_poset_1.vmin1out2025-09-15 19:51 30K 
[ ]poset_1__l39_poset_1.vout2025-09-15 13:56 25K 
[ ]poset_1__l40_poset_12025-09-08 07:36 36K 
[ ]poset_1__l40_poset_1.vout2025-09-15 14:45 7.8K 
[ ]poset_1__l41_poset_12025-09-08 07:37 26K 
[ ]poset_1__l41_poset_1.vout2025-09-15 16:23 7.8K 
[ ]poset_1__l42_poset_12025-09-08 07:39 25K 
[ ]poset_1__l42_poset_1.depv12025-09-15 19:47 302  
[ ]poset_1__l42_poset_1.depvmin12025-09-15 19:52 251  
[ ]poset_1__l42_poset_1.vmin12025-09-15 19:47 5.1K 
[ ]poset_1__l42_poset_1.vmin1out2025-09-15 19:49 71K 
[ ]poset_1__l42_poset_1.vout2025-09-15 18:22 115K 
[ ]poset_1__l45_poset_12025-09-08 07:40 28K 
[ ]poset_1__l45_poset_1.vout2025-09-15 18:18 7.3K 
[ ]poset_1__l47_poset_12025-09-08 07:41 25K 
[ ]poset_1__l47_poset_1.depv12025-09-15 19:47 294  
[ ]poset_1__l47_poset_1.depvmin12025-09-15 19:52 240  
[ ]poset_1__l47_poset_1.vmin12025-09-15 19:47 4.7K 
[ ]poset_1__l47_poset_1.vmin1out2025-09-15 19:48 54K 
[ ]poset_1__l47_poset_1.vout2025-09-15 19:33 108K 
[ ]poset_1__l48_poset_12025-09-08 07:43 26K 
[ ]poset_1__l48_poset_1.vout2025-09-15 15:21 7.3K 
[ ]poset_1__l50_poset_12025-09-08 07:44 28K 
[ ]poset_1__l50_poset_1.depv12025-09-15 19:47 204  
[ ]poset_1__l50_poset_1.depvmin12025-09-15 19:52 177  
[ ]poset_1__l50_poset_1.vmin12025-09-15 19:47 5.6K 
[ ]poset_1__l50_poset_1.vmin1out2025-09-15 19:50 52K 
[ ]poset_1__l50_poset_1.vout2025-09-15 17:47 68K 
[ ]poset_1__l51_poset_12025-09-08 07:46 30K 
[ ]poset_1__l51_poset_1.vout2025-09-15 15:24 7.3K 
[ ]poset_1__l52_poset_12025-09-08 07:54 28K 
[ ]poset_1__l52_poset_1.depv12025-09-15 19:47 58  
[ ]poset_1__l52_poset_1.depvmin12025-09-15 19:52 58  
[ ]poset_1__l52_poset_1.vmin12025-09-15 19:47 1.7K 
[ ]poset_1__l52_poset_1.vmin1out2025-09-15 19:48 93K 
[ ]poset_1__l52_poset_1.vout2025-09-15 14:43 98K 
[ ]poset_1__l53_poset_12025-09-08 07:55 27K 
[ ]poset_1__l53_poset_1.depv12025-09-15 19:47 58  
[ ]poset_1__l53_poset_1.depvmin12025-09-15 19:52 58  
[ ]poset_1__l53_poset_1.vmin12025-09-15 19:47 1.4K 
[ ]poset_1__l53_poset_1.vmin1out2025-09-15 19:50 31K 
[ ]poset_1__l53_poset_1.vout2025-09-15 19:13 25K 
[ ]poset_1__l54_poset_12025-09-08 07:57 29K 
[ ]poset_1__l54_poset_1.vout2025-09-15 15:56 7.3K 
[ ]poset_1__l55_poset_12025-09-08 07:47 27K 
[ ]poset_1__l55_poset_1.vout2025-09-15 19:26 7.3K 
[ ]poset_1__l56_poset_12025-09-08 07:58 32K 
[ ]poset_1__l56_poset_1.vout2025-09-15 16:07 7.3K 
[ ]poset_1__l57_poset_12025-09-08 07:49 27K 
[ ]poset_1__l57_poset_1.depv12025-09-15 19:47 220  
[ ]poset_1__l57_poset_1.depvmin12025-09-15 19:52 220  
[ ]poset_1__l57_poset_1.vmin12025-09-15 19:47 3.4K 
[ ]poset_1__l57_poset_1.vmin1out2025-09-15 19:51 47K 
[ ]poset_1__l57_poset_1.vout2025-09-15 18:43 48K 
[ ]poset_1__l58_poset_12025-09-08 07:50 33K 
[ ]poset_1__l58_poset_1.vout2025-09-15 19:36 6.8K 
[ ]poset_1__l59_poset_12025-09-08 08:00 30K 
[ ]poset_1__l59_poset_1.depv12025-09-15 19:47 159  
[ ]poset_1__l59_poset_1.depvmin12025-09-15 19:52 159  
[ ]poset_1__l59_poset_1.vmin12025-09-15 19:47 3.0K 
[ ]poset_1__l59_poset_1.vmin1out2025-09-15 19:50 113K 
[ ]poset_1__l59_poset_1.vout2025-09-15 15:57 117K 
[ ]poset_1__l60_poset_12025-09-08 07:52 61K 
[ ]poset_1__l60_poset_1.vout2025-09-15 16:40 6.8K 
[ ]poset_1__t1_poset_12025-09-08 06:52 20K 
[ ]poset_1__t1_poset_1.vout2025-09-15 19:28 7.3K 
[ ]poset_1__t2_poset_12025-09-08 06:54 23K 
[ ]poset_1__t2_poset_1.vout2025-09-15 19:18 4.1K 
[ ]poset_1__t3_poset_12025-09-08 06:55 24K 
[ ]poset_1__t3_poset_1.vout2025-09-15 19:16 7.8K 
[ ]poset_1__t4_poset_12025-09-08 06:57 37K 
[ ]poset_1__t4_poset_1.vout2025-09-15 18:10 7.3K 
[ ]poset_1__t5_poset_12025-09-08 06:58 25K 
[ ]poset_1__t5_poset_1.vout2025-09-15 19:08 6.8K 
[ ]poset_1__t6_poset_12025-09-08 07:00 21K 
[ ]poset_1__t6_poset_1.vout2025-09-15 16:42 3.2K 
[ ]poset_1__t7_poset_12025-09-08 07:01 25K 
[ ]poset_1__t7_poset_1.vout2025-09-15 13:50 4.1K 
[ ]poset_1__t8_poset_12025-09-08 07:03 23K 
[ ]poset_1__t8_poset_1.depv12025-09-15 19:47 176  
[ ]poset_1__t8_poset_1.depvmin12025-09-15 19:52 176  
[ ]poset_1__t8_poset_1.vmin12025-09-15 19:47 3.8K 
[ ]poset_1__t8_poset_1.vmin1out2025-09-15 19:47 34K 
[ ]poset_1__t8_poset_1.vout2025-09-15 18:07 98K 
[ ]poset_1__t9_poset_12025-09-08 07:04 26K 
[ ]poset_1__t9_poset_1.depv12025-09-15 19:47 73  
[ ]poset_1__t9_poset_1.depvmin12025-09-15 19:52 73  
[ ]poset_1__t9_poset_1.vmin12025-09-15 19:47 2.9K 
[ ]poset_1__t9_poset_1.vmin1out2025-09-15 19:48 58K 
[ ]poset_1__t9_poset_1.vout2025-09-15 14:09 60K 
[ ]poset_1__t10_poset_12025-09-08 07:05 25K 
[ ]poset_1__t10_poset_1.depv12025-09-15 19:47 46  
[ ]poset_1__t10_poset_1.depvmin12025-09-15 19:52 46  
[ ]poset_1__t10_poset_1.vmin12025-09-15 19:47 2.4K 
[ ]poset_1__t10_poset_1.vmin1out2025-09-15 19:49 33K 
[ ]poset_1__t10_poset_1.vout2025-09-15 14:02 42K 
[ ]poset_1__t11_poset_12025-09-08 07:07 35K 
[ ]poset_1__t11_poset_1.vout2025-09-15 19:20 6.8K 
[ ]poset_1__t12_poset_12025-09-08 07:09 32K 
[ ]poset_1__t12_poset_1.vout2025-09-15 19:28 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80