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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]poset_2__l1_poset_22023-06-28 10:42 24K 
[ ]poset_2__l2_poset_22023-06-28 10:25 50K 
[ ]poset_2__l7_poset_22023-06-28 10:43 79K 
[ ]poset_2__l10_poset_22023-06-28 10:44 70K 
[ ]poset_2__l12_poset_22023-06-28 10:44 75K 
[ ]poset_2__l18_poset_22023-06-28 10:45 50K 
[ ]poset_2__l19_poset_22023-06-28 10:45 50K 
[ ]poset_2__l37_poset_22023-06-28 10:46 95K 
[ ]poset_2__l46_poset_22023-06-28 10:47 99K 
[ ]poset_2__t1_poset_22023-06-28 10:26 70K 
[ ]poset_2__t2_poset_22023-06-28 10:26 69K 
[ ]poset_2__t3_poset_22023-06-28 10:27 69K 
[ ]poset_2__t4_poset_22023-06-28 10:28 52K 
[ ]poset_2__t5_poset_22023-06-28 10:24 78K 
[ ]poset_2__t6_poset_22023-06-28 10:28 74K 
[ ]poset_2__t7_poset_22023-06-28 10:29 79K 
[ ]poset_2__t8_poset_22023-06-28 10:29 71K 
[ ]poset_2__t9_poset_22023-06-28 10:30 74K 
[ ]poset_2__t10_poset_22023-06-28 10:31 84K 
[ ]poset_2__t11_poset_22023-06-28 10:24 49K 
[ ]poset_2__t12_poset_22023-06-28 10:25 78K 
[ ]poset_2__t13_poset_22023-06-28 10:31 76K 
[ ]poset_2__t14_poset_22023-06-28 10:32 83K 
[ ]poset_2__t15_poset_22023-06-28 10:32 77K 
[ ]poset_2__t16_poset_22023-06-28 10:33 83K 
[ ]poset_2__t17_poset_22023-06-28 10:34 95K 
[ ]poset_2__t18_poset_22023-06-28 10:35 126K 
[ ]poset_2__t19_poset_22023-06-28 10:35 100K 
[ ]poset_2__t20_poset_22023-06-28 10:36 107K 
[ ]poset_2__t21_poset_22023-06-28 10:37 49K 
[ ]poset_2__t22_poset_22023-06-28 10:37 55K 
[ ]poset_2__t23_poset_22023-06-28 10:39 148K 
[ ]poset_2__t24_poset_22023-06-28 10:39 116K 
[ ]poset_2__t25_poset_22023-06-28 10:40 140K 
[ ]poset_2__t26_poset_22023-06-28 10:41 53K 
[ ]poset_2__t27_poset_22023-06-28 10:41 58K 
[ ]poset_2__t28_poset_22023-06-28 10:42 52K 
[ ]poset_2__t29_poset_22023-06-28 10:42 56K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80