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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ckspace1__l18_ckspace12025-09-14 01:22 65K 
[ ]ckspace1__l19_ckspace12025-09-14 01:23 53K 
[ ]ckspace1__t1_ckspace12025-09-14 00:34 105K 
[ ]ckspace1__t2_ckspace12025-09-14 00:36 104K 
[ ]ckspace1__t3_ckspace12025-09-14 00:39 105K 
[ ]ckspace1__t4_ckspace12025-09-14 00:41 92K 
[ ]ckspace1__t5_ckspace12025-09-14 00:43 85K 
[ ]ckspace1__t6_ckspace12025-09-14 00:45 92K 
[ ]ckspace1__t7_ckspace12025-09-14 00:47 110K 
[ ]ckspace1__t8_ckspace12025-09-14 00:30 78K 
[ ]ckspace1__t9_ckspace12025-09-14 00:49 95K 
[ ]ckspace1__t10_ckspace12025-09-14 00:32 62K 
[ ]ckspace1__t11_ckspace12025-09-14 00:51 136K 
[ ]ckspace1__t12_ckspace12025-09-14 00:54 112K 
[ ]ckspace1__t13_ckspace12025-09-14 00:56 78K 
[ ]ckspace1__t14_ckspace12025-09-14 00:57 69K 
[ ]ckspace1__t15_ckspace12025-09-14 00:59 90K 
[ ]ckspace1__t16_ckspace12025-09-14 01:01 88K 
[ ]ckspace1__t17_ckspace12025-09-14 01:03 82K 
[ ]ckspace1__t18_ckspace12025-09-14 01:05 113K 
[ ]ckspace1__t19_ckspace12025-09-14 01:07 78K 
[ ]ckspace1__t20_ckspace12025-09-14 01:10 101K 
[ ]ckspace1__t21_ckspace12025-09-14 01:12 97K 
[ ]ckspace1__t22_ckspace12025-09-14 01:15 100K 
[ ]ckspace1__t23_ckspace12025-09-14 01:18 92K 
[ ]ckspace1__t24_ckspace12025-09-14 01:20 92K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80