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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]poset_1__l4_poset_12025-09-12 21:50 30K 
[ ]poset_1__l6_poset_12025-09-12 21:30 36K 
[ ]poset_1__l7_poset_12025-09-12 21:52 45K 
[ ]poset_1__l8_poset_12025-09-12 21:53 44K 
[ ]poset_1__l9_poset_12025-09-12 21:55 65K 
[ ]poset_1__l10_poset_12025-09-12 21:56 44K 
[ ]poset_1__l11_poset_12025-09-12 21:58 46K 
[ ]poset_1__l20_poset_12025-09-12 21:59 43K 
[ ]poset_1__l21_poset_12025-09-12 22:01 40K 
[ ]poset_1__l26_poset_12025-09-12 22:02 33K 
[ ]poset_1__l27_poset_12025-09-12 22:03 34K 
[ ]poset_1__l28_poset_12025-09-12 22:05 36K 
[ ]poset_1__l30_poset_12025-09-12 22:06 38K 
[ ]poset_1__l31_poset_12025-09-12 22:08 39K 
[ ]poset_1__l32_poset_12025-09-12 22:09 40K 
[ ]poset_1__l33_poset_12025-09-12 22:11 40K 
[ ]poset_1__l37_poset_12025-09-12 22:12 49K 
[ ]poset_1__l38_poset_12025-09-12 22:13 30K 
[ ]poset_1__l39_poset_12025-09-12 22:15 30K 
[ ]poset_1__l40_poset_12025-09-12 22:16 55K 
[ ]poset_1__l41_poset_12025-09-12 22:18 42K 
[ ]poset_1__l42_poset_12025-09-12 22:19 40K 
[ ]poset_1__l45_poset_12025-09-12 22:21 45K 
[ ]poset_1__l47_poset_12025-09-12 22:22 40K 
[ ]poset_1__l48_poset_12025-09-12 22:23 41K 
[ ]poset_1__l50_poset_12025-09-12 22:25 44K 
[ ]poset_1__l51_poset_12025-09-12 22:26 48K 
[ ]poset_1__l52_poset_12025-09-12 22:28 44K 
[ ]poset_1__l53_poset_12025-09-12 22:29 43K 
[ ]poset_1__l54_poset_12025-09-12 22:31 45K 
[ ]poset_1__l55_poset_12025-09-12 22:32 43K 
[ ]poset_1__l56_poset_12025-09-12 22:34 52K 
[ ]poset_1__l57_poset_12025-09-12 22:36 44K 
[ ]poset_1__l58_poset_12025-09-12 22:37 51K 
[ ]poset_1__l59_poset_12025-09-12 22:39 48K 
[ ]poset_1__l60_poset_12025-09-12 22:41 86K 
[ ]poset_1__t1_poset_12025-09-12 21:31 34K 
[ ]poset_1__t2_poset_12025-09-12 21:33 38K 
[ ]poset_1__t3_poset_12025-09-12 21:35 39K 
[ ]poset_1__t4_poset_12025-09-12 21:36 60K 
[ ]poset_1__t5_poset_12025-09-12 21:38 40K 
[ ]poset_1__t6_poset_12025-09-12 21:39 35K 
[ ]poset_1__t7_poset_12025-09-12 21:41 42K 
[ ]poset_1__t8_poset_12025-09-12 21:42 37K 
[ ]poset_1__t9_poset_12025-09-12 21:44 41K 
[ ]poset_1__t10_poset_12025-09-12 21:45 40K 
[ ]poset_1__t11_poset_12025-09-12 21:47 54K 
[ ]poset_1__t12_poset_12025-09-12 21:49 51K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80