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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]poset_2__l1_poset_22025-09-12 23:09 13K 
[ ]poset_2__l2_poset_22025-09-12 22:25 29K 
[ ]poset_2__l7_poset_22025-09-12 23:11 51K 
[ ]poset_2__l10_poset_22025-09-12 23:12 36K 
[ ]poset_2__l12_poset_22025-09-12 23:14 40K 
[ ]poset_2__l18_poset_22025-09-12 23:15 33K 
[ ]poset_2__l19_poset_22025-09-12 23:16 33K 
[ ]poset_2__l37_poset_22025-09-12 23:18 67K 
[ ]poset_2__l46_poset_22025-09-12 23:20 70K 
[ ]poset_2__t1_poset_22025-09-12 22:26 37K 
[ ]poset_2__t2_poset_22025-09-12 22:28 35K 
[ ]poset_2__t3_poset_22025-09-12 22:29 35K 
[ ]poset_2__t4_poset_22025-09-12 22:30 33K 
[ ]poset_2__t5_poset_22025-09-12 22:21 50K 
[ ]poset_2__t6_poset_22025-09-12 22:32 40K 
[ ]poset_2__t7_poset_22025-09-12 22:33 44K 
[ ]poset_2__t8_poset_22025-09-12 22:35 38K 
[ ]poset_2__t9_poset_22025-09-12 22:36 40K 
[ ]poset_2__t10_poset_22025-09-12 22:38 57K 
[ ]poset_2__t11_poset_22025-09-12 22:22 33K 
[ ]poset_2__t12_poset_22025-09-12 22:24 51K 
[ ]poset_2__t13_poset_22025-09-12 22:39 49K 
[ ]poset_2__t14_poset_22025-09-12 22:41 55K 
[ ]poset_2__t15_poset_22025-09-12 22:42 41K 
[ ]poset_2__t16_poset_22025-09-12 22:44 47K 
[ ]poset_2__t17_poset_22025-09-12 22:46 59K 
[ ]poset_2__t18_poset_22025-09-12 22:48 98K 
[ ]poset_2__t19_poset_22025-09-12 22:50 71K 
[ ]poset_2__t20_poset_22025-09-12 22:52 78K 
[ ]poset_2__t21_poset_22025-09-12 22:53 33K 
[ ]poset_2__t22_poset_22025-09-12 22:55 40K 
[ ]poset_2__t23_poset_22025-09-12 22:59 122K 
[ ]poset_2__t24_poset_22025-09-12 23:01 90K 
[ ]poset_2__t25_poset_22025-09-12 23:03 110K 
[ ]poset_2__t26_poset_22025-09-12 23:05 36K 
[ ]poset_2__t27_poset_22025-09-12 23:06 42K 
[ ]poset_2__t28_poset_22025-09-12 23:07 36K 
[ ]poset_2__t29_poset_22025-09-12 23:08 40K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80