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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bintree2__l1_bintree22025-09-13 19:32 40K 
[ ]bintree2__l2_bintree22025-09-13 19:33 35K 
[ ]bintree2__l11_bintree22025-09-13 19:34 34K 
[ ]bintree2__s1_bintree22025-09-13 19:36 73K 
[ ]bintree2__s2_bintree22025-09-13 19:38 75K 
[ ]bintree2__t1_bintree22025-09-13 19:39 39K 
[ ]bintree2__t2_bintree22025-09-13 19:40 63K 
[ ]bintree2__t3_bintree22025-09-13 19:42 65K 
[ ]bintree2__t4_bintree22025-09-13 19:43 55K 
[ ]bintree2__t5_bintree22025-09-13 19:45 44K 
[ ]bintree2__t6_bintree22025-09-13 19:46 49K 
[ ]bintree2__t7_bintree22025-09-13 19:47 50K 
[ ]bintree2__t8_bintree22025-09-13 19:49 56K 
[ ]bintree2__t9_bintree22025-09-13 19:50 67K 
[ ]bintree2__t10_bintree22025-09-13 19:52 54K 
[ ]bintree2__t11_bintree22025-09-13 19:53 44K 
[ ]bintree2__t12_bintree22025-09-13 19:55 83K 
[ ]bintree2__t13_bintree22025-09-13 19:57 72K 
[ ]bintree2__t14_bintree22025-09-13 19:59 81K 
[ ]bintree2__t15_bintree22025-09-13 20:00 62K 
[ ]bintree2__t16_bintree22025-09-13 20:02 65K 
[ ]bintree2__t17_bintree22025-09-13 20:04 84K 
[ ]bintree2__t18_bintree22025-09-13 20:07 133K 
[ ]bintree2__t19_bintree22025-09-13 20:08 51K 
[ ]bintree2__t20_bintree22025-09-13 20:10 46K 
[ ]bintree2__t21_bintree22025-09-13 20:11 78K 
[ ]bintree2__t22_bintree22025-09-13 20:13 57K 
[ ]bintree2__t23_bintree22025-09-13 20:15 62K 
[ ]bintree2__t24_bintree22025-09-13 20:17 92K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80