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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]poset_1__l4_poset_12024-07-27 02:38 18K 
[ ]poset_1__l4_poset_1.depv12024-08-03 10:19 183  
[ ]poset_1__l4_poset_1.depvmin12024-08-03 10:24 183  
[ ]poset_1__l4_poset_1.vmin12024-08-03 10:19 1.9K 
[ ]poset_1__l4_poset_1.vmin1out2024-08-03 10:23 20K 
[ ]poset_1__l4_poset_1.vout2024-08-03 04:57 20K 
[ ]poset_1__l6_poset_12024-07-27 02:19 22K 
[ ]poset_1__l6_poset_1.depv12024-08-03 10:19 207  
[ ]poset_1__l6_poset_1.depvmin12024-08-03 10:24 207  
[ ]poset_1__l6_poset_1.vmin12024-08-03 10:19 3.1K 
[ ]poset_1__l6_poset_1.vmin1out2024-08-03 10:23 51K 
[ ]poset_1__l6_poset_1.vout2024-08-03 09:16 54K 
[ ]poset_1__l7_poset_12024-07-27 02:40 29K 
[ ]poset_1__l7_poset_1.vout2024-08-03 08:31 4.7K 
[ ]poset_1__l8_poset_12024-07-27 02:41 29K 
[ ]poset_1__l8_poset_1.vout2024-08-03 07:37 4.7K 
[ ]poset_1__l9_poset_12024-07-27 02:43 38K 
[ ]poset_1__l9_poset_1.depv12024-08-03 10:19 32  
[ ]poset_1__l9_poset_1.depvmin12024-08-03 10:24 32  
[ ]poset_1__l9_poset_1.vmin12024-08-03 10:19 2.0K 
[ ]poset_1__l9_poset_1.vmin1out2024-08-03 10:23 54K 
[ ]poset_1__l9_poset_1.vout2024-08-03 09:37 43K 
[ ]poset_1__l10_poset_12024-07-27 02:44 28K 
[ ]poset_1__l10_poset_1.vout2024-08-03 10:11 4.7K 
[ ]poset_1__l11_poset_12024-07-27 02:45 30K 
[ ]poset_1__l11_poset_1.vout2024-08-03 10:12 4.7K 
[ ]poset_1__l20_poset_12024-07-27 02:47 27K 
[ ]poset_1__l20_poset_1.depv12024-08-03 10:19 279  
[ ]poset_1__l20_poset_1.depvmin12024-08-03 10:24 279  
[ ]poset_1__l20_poset_1.vmin12024-08-03 10:19 4.3K 
[ ]poset_1__l20_poset_1.vmin1out2024-08-03 10:21 68K 
[ ]poset_1__l20_poset_1.vout2024-08-03 07:24 69K 
[ ]poset_1__l21_poset_12024-07-27 02:48 25K 
[ ]poset_1__l21_poset_1.vout2024-08-03 07:46 7.3K 
[ ]poset_1__l26_poset_12024-07-27 02:49 19K 
[ ]poset_1__l26_poset_1.depv12024-08-03 10:19 115  
[ ]poset_1__l26_poset_1.depvmin12024-08-03 10:24 115  
[ ]poset_1__l26_poset_1.vmin12024-08-03 10:19 2.1K 
[ ]poset_1__l26_poset_1.vmin1out2024-08-03 10:21 32K 
[ ]poset_1__l26_poset_1.vout2024-08-03 10:01 25K 
[ ]poset_1__l27_poset_12024-07-27 02:51 20K 
[ ]poset_1__l27_poset_1.depv12024-08-03 10:19 78  
[ ]poset_1__l27_poset_1.depvmin12024-08-03 10:24 78  
[ ]poset_1__l27_poset_1.vmin12024-08-03 10:19 2.4K 
[ ]poset_1__l27_poset_1.vmin1out2024-08-03 10:21 59K 
[ ]poset_1__l27_poset_1.vout2024-08-03 04:50 35K 
[ ]poset_1__l28_poset_12024-07-27 02:52 22K 
[ ]poset_1__l28_poset_1.vout2024-08-03 08:29 4.1K 
[ ]poset_1__l30_poset_12024-07-27 02:53 24K 
[ ]poset_1__l30_poset_1.depv12024-08-03 10:19 62  
[ ]poset_1__l30_poset_1.depvmin12024-08-03 10:24 62  
[ ]poset_1__l30_poset_1.vmin12024-08-03 10:19 1.1K 
[ ]poset_1__l30_poset_1.vmin1out2024-08-03 10:20 12K 
[ ]poset_1__l30_poset_1.vout2024-08-03 09:36 19K 
[ ]poset_1__l31_poset_12024-07-27 02:55 24K 
[ ]poset_1__l31_poset_1.vout2024-08-03 04:45 7.3K 
[ ]poset_1__l32_poset_12024-07-27 02:56 25K 
[ ]poset_1__l32_poset_1.vout2024-08-03 05:14 7.3K 
[ ]poset_1__l33_poset_12024-07-27 02:58 25K 
[ ]poset_1__l33_poset_1.vout2024-08-03 05:04 7.3K 
[ ]poset_1__l37_poset_12024-07-27 02:59 31K 
[ ]poset_1__l37_poset_1.vout2024-08-03 06:28 7.3K 
[ ]poset_1__l38_poset_12024-07-27 03:00 18K 
[ ]poset_1__l38_poset_1.depv12024-08-03 10:19 87  
[ ]poset_1__l38_poset_1.depvmin12024-08-03 10:24 87  
[ ]poset_1__l38_poset_1.vmin12024-08-03 10:19 1.5K 
[ ]poset_1__l38_poset_1.vmin1out2024-08-03 10:23 25K 
[ ]poset_1__l38_poset_1.vout2024-08-03 05:43 22K 
[ ]poset_1__l39_poset_12024-07-27 03:02 18K 
[ ]poset_1__l39_poset_1.depv12024-08-03 10:19 87  
[ ]poset_1__l39_poset_1.depvmin12024-08-03 10:24 87  
[ ]poset_1__l39_poset_1.vmin12024-08-03 10:19 1.6K 
[ ]poset_1__l39_poset_1.vmin1out2024-08-03 10:23 30K 
[ ]poset_1__l39_poset_1.vout2024-08-03 07:16 25K 
[ ]poset_1__l40_poset_12024-07-27 03:03 36K 
[ ]poset_1__l40_poset_1.vout2024-08-03 06:24 7.3K 
[ ]poset_1__l41_poset_12024-07-27 03:05 26K 
[ ]poset_1__l41_poset_1.vout2024-08-03 05:00 7.8K 
[ ]poset_1__l42_poset_12024-07-27 03:06 25K 
[ ]poset_1__l42_poset_1.depv12024-08-03 10:19 302  
[ ]poset_1__l42_poset_1.depvmin12024-08-03 10:24 251  
[ ]poset_1__l42_poset_1.vmin12024-08-03 10:19 5.1K 
[ ]poset_1__l42_poset_1.vmin1out2024-08-03 10:22 71K 
[ ]poset_1__l42_poset_1.vout2024-08-03 06:52 115K 
[ ]poset_1__l45_poset_12024-07-27 03:07 28K 
[ ]poset_1__l45_poset_1.vout2024-08-03 05:51 7.3K 
[ ]poset_1__l47_poset_12024-07-27 03:09 25K 
[ ]poset_1__l47_poset_1.depv12024-08-03 10:19 294  
[ ]poset_1__l47_poset_1.depvmin12024-08-03 10:24 240  
[ ]poset_1__l47_poset_1.vmin12024-08-03 10:19 4.7K 
[ ]poset_1__l47_poset_1.vmin1out2024-08-03 10:20 54K 
[ ]poset_1__l47_poset_1.vout2024-08-03 05:53 108K 
[ ]poset_1__l48_poset_12024-07-27 03:10 26K 
[ ]poset_1__l48_poset_1.vout2024-08-03 06:41 7.3K 
[ ]poset_1__l50_poset_12024-07-27 03:11 28K 
[ ]poset_1__l50_poset_1.depv12024-08-03 10:19 204  
[ ]poset_1__l50_poset_1.depvmin12024-08-03 10:24 177  
[ ]poset_1__l50_poset_1.vmin12024-08-03 10:19 5.6K 
[ ]poset_1__l50_poset_1.vmin1out2024-08-03 10:21 52K 
[ ]poset_1__l50_poset_1.vout2024-08-03 09:18 68K 
[ ]poset_1__l51_poset_12024-07-27 03:13 30K 
[ ]poset_1__l51_poset_1.vout2024-08-03 06:54 7.3K 
[ ]poset_1__l52_poset_12024-07-27 03:21 28K 
[ ]poset_1__l52_poset_1.depv12024-08-03 10:19 58  
[ ]poset_1__l52_poset_1.depvmin12024-08-03 10:24 58  
[ ]poset_1__l52_poset_1.vmin12024-08-03 10:19 1.7K 
[ ]poset_1__l52_poset_1.vmin1out2024-08-03 10:21 93K 
[ ]poset_1__l52_poset_1.vout2024-08-03 07:07 98K 
[ ]poset_1__l53_poset_12024-07-27 03:22 27K 
[ ]poset_1__l53_poset_1.depv12024-08-03 10:19 58  
[ ]poset_1__l53_poset_1.depvmin12024-08-03 10:24 58  
[ ]poset_1__l53_poset_1.vmin12024-08-03 10:19 1.4K 
[ ]poset_1__l53_poset_1.vmin1out2024-08-03 10:20 31K 
[ ]poset_1__l53_poset_1.vout2024-08-03 04:43 25K 
[ ]poset_1__l54_poset_12024-07-27 03:24 29K 
[ ]poset_1__l54_poset_1.vout2024-08-03 08:41 7.3K 
[ ]poset_1__l55_poset_12024-07-27 03:14 27K 
[ ]poset_1__l55_poset_1.vout2024-08-03 07:59 7.3K 
[ ]poset_1__l56_poset_12024-07-27 03:25 32K 
[ ]poset_1__l56_poset_1.vout2024-08-03 08:04 7.3K 
[ ]poset_1__l57_poset_12024-07-27 03:16 27K 
[ ]poset_1__l57_poset_1.depv12024-08-03 10:19 220  
[ ]poset_1__l57_poset_1.depvmin12024-08-03 10:24 220  
[ ]poset_1__l57_poset_1.vmin12024-08-03 10:19 3.4K 
[ ]poset_1__l57_poset_1.vmin1out2024-08-03 10:22 47K 
[ ]poset_1__l57_poset_1.vout2024-08-03 06:55 48K 
[ ]poset_1__l58_poset_12024-07-27 03:17 33K 
[ ]poset_1__l58_poset_1.vout2024-08-03 04:53 7.3K 
[ ]poset_1__l59_poset_12024-07-27 03:27 30K 
[ ]poset_1__l59_poset_1.depv12024-08-03 10:19 159  
[ ]poset_1__l59_poset_1.depvmin12024-08-03 10:24 159  
[ ]poset_1__l59_poset_1.vmin12024-08-03 10:19 3.0K 
[ ]poset_1__l59_poset_1.vmin1out2024-08-03 10:22 113K 
[ ]poset_1__l59_poset_1.vout2024-08-03 08:33 117K 
[ ]poset_1__l60_poset_12024-07-27 03:20 61K 
[ ]poset_1__l60_poset_1.vout2024-08-03 04:22 6.8K 
[ ]poset_1__t1_poset_12024-07-27 02:20 20K 
[ ]poset_1__t1_poset_1.vout2024-08-03 05:47 7.3K 
[ ]poset_1__t2_poset_12024-07-27 02:22 23K 
[ ]poset_1__t2_poset_1.vout2024-08-03 09:56 4.1K 
[ ]poset_1__t3_poset_12024-07-27 02:23 24K 
[ ]poset_1__t3_poset_1.vout2024-08-03 05:07 7.3K 
[ ]poset_1__t4_poset_12024-07-27 02:25 37K 
[ ]poset_1__t4_poset_1.vout2024-08-03 07:52 6.8K 
[ ]poset_1__t5_poset_12024-07-27 02:27 25K 
[ ]poset_1__t5_poset_1.vout2024-08-03 09:04 6.8K 
[ ]poset_1__t6_poset_12024-07-27 02:28 21K 
[ ]poset_1__t6_poset_1.vout2024-08-03 07:28 3.2K 
[ ]poset_1__t7_poset_12024-07-27 02:30 25K 
[ ]poset_1__t7_poset_1.vout2024-08-03 10:14 4.1K 
[ ]poset_1__t8_poset_12024-07-27 02:31 23K 
[ ]poset_1__t8_poset_1.depv12024-08-03 10:19 176  
[ ]poset_1__t8_poset_1.depvmin12024-08-03 10:24 176  
[ ]poset_1__t8_poset_1.vmin12024-08-03 10:19 3.8K 
[ ]poset_1__t8_poset_1.vmin1out2024-08-03 10:21 34K 
[ ]poset_1__t8_poset_1.vout2024-08-03 04:46 98K 
[ ]poset_1__t9_poset_12024-07-27 02:32 26K 
[ ]poset_1__t9_poset_1.depv12024-08-03 10:19 73  
[ ]poset_1__t9_poset_1.depvmin12024-08-03 10:24 73  
[ ]poset_1__t9_poset_1.vmin12024-08-03 10:19 2.9K 
[ ]poset_1__t9_poset_1.vmin1out2024-08-03 10:22 58K 
[ ]poset_1__t9_poset_1.vout2024-08-03 07:31 60K 
[ ]poset_1__t10_poset_12024-07-27 02:34 25K 
[ ]poset_1__t10_poset_1.depv12024-08-03 10:19 46  
[ ]poset_1__t10_poset_1.depvmin12024-08-03 10:24 46  
[ ]poset_1__t10_poset_1.vmin12024-08-03 10:19 2.4K 
[ ]poset_1__t10_poset_1.vmin1out2024-08-03 10:22 33K 
[ ]poset_1__t10_poset_1.vout2024-08-03 06:21 42K 
[ ]poset_1__t11_poset_12024-07-27 02:35 35K 
[ ]poset_1__t11_poset_1.vout2024-08-03 04:20 6.8K 
[ ]poset_1__t12_poset_12024-07-27 02:37 32K 
[ ]poset_1__t12_poset_1.vout2024-08-03 04:23 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80