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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]poset_1__l4_poset_12023-06-28 07:23 30K 
[   ]poset_1__l6_poset_12023-06-28 07:16 36K 
[   ]poset_1__l7_poset_12023-06-28 07:24 45K 
[   ]poset_1__l8_poset_12023-06-28 07:24 44K 
[   ]poset_1__l9_poset_12023-06-28 07:25 66K 
[   ]poset_1__l10_poset_12023-06-28 07:25 44K 
[   ]poset_1__l11_poset_12023-06-28 07:26 46K 
[   ]poset_1__l20_poset_12023-06-28 07:26 43K 
[   ]poset_1__l21_poset_12023-06-28 07:27 40K 
[   ]poset_1__l26_poset_12023-06-28 07:27 33K 
[   ]poset_1__l27_poset_12023-06-28 07:27 34K 
[   ]poset_1__l28_poset_12023-06-28 07:28 36K 
[   ]poset_1__l30_poset_12023-06-28 07:28 38K 
[   ]poset_1__l31_poset_12023-06-28 07:29 39K 
[   ]poset_1__l32_poset_12023-06-28 07:29 40K 
[   ]poset_1__l33_poset_12023-06-28 07:30 40K 
[   ]poset_1__l37_poset_12023-06-28 07:30 49K 
[   ]poset_1__l38_poset_12023-06-28 07:31 30K 
[   ]poset_1__l39_poset_12023-06-28 07:31 30K 
[   ]poset_1__l40_poset_12023-06-28 07:32 55K 
[   ]poset_1__l41_poset_12023-06-28 07:32 42K 
[   ]poset_1__l42_poset_12023-06-28 07:33 40K 
[   ]poset_1__l45_poset_12023-06-28 07:33 45K 
[   ]poset_1__l47_poset_12023-06-28 07:34 40K 
[   ]poset_1__l48_poset_12023-06-28 07:34 41K 
[   ]poset_1__l50_poset_12023-06-28 07:35 44K 
[   ]poset_1__l51_poset_12023-06-28 07:35 48K 
[   ]poset_1__l52_poset_12023-06-28 07:36 44K 
[   ]poset_1__l53_poset_12023-06-28 07:36 43K 
[   ]poset_1__l54_poset_12023-06-28 07:37 45K 
[   ]poset_1__l55_poset_12023-06-28 07:37 43K 
[   ]poset_1__l56_poset_12023-06-28 07:38 52K 
[   ]poset_1__l57_poset_12023-06-28 07:38 44K 
[   ]poset_1__l58_poset_12023-06-28 07:39 51K 
[   ]poset_1__l59_poset_12023-06-28 07:39 48K 
[   ]poset_1__l60_poset_12023-06-28 07:40 86K 
[   ]poset_1__t1_poset_12023-06-28 07:17 34K 
[   ]poset_1__t2_poset_12023-06-28 07:17 38K 
[   ]poset_1__t3_poset_12023-06-28 07:18 39K 
[   ]poset_1__t4_poset_12023-06-28 07:18 60K 
[   ]poset_1__t5_poset_12023-06-28 07:19 40K 
[   ]poset_1__t6_poset_12023-06-28 07:19 35K 
[   ]poset_1__t7_poset_12023-06-28 07:20 42K 
[   ]poset_1__t8_poset_12023-06-28 07:20 37K 
[   ]poset_1__t9_poset_12023-06-28 07:21 41K 
[   ]poset_1__t10_poset_12023-06-28 07:21 40K 
[   ]poset_1__t11_poset_12023-06-28 07:22 54K 
[   ]poset_1__t12_poset_12023-06-28 07:23 51K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80