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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]c0sp3__l35_c0sp32025-09-13 13:22 49K 
[   ]c0sp3__l41_c0sp32025-09-13 13:24 108K 
[   ]c0sp3__t1_c0sp32025-09-13 11:06 78K 
[   ]c0sp3__t2_c0sp32025-09-13 11:08 80K 
[   ]c0sp3__t3_c0sp32025-09-13 11:10 45K 
[   ]c0sp3__t4_c0sp32025-09-13 11:12 43K 
[   ]c0sp3__t5_c0sp32025-09-13 11:14 82K 
[   ]c0sp3__t6_c0sp32025-09-13 10:44 59K 
[   ]c0sp3__t7_c0sp32025-09-13 11:16 79K 
[   ]c0sp3__t8_c0sp32025-09-13 11:18 74K 
[   ]c0sp3__t9_c0sp32025-09-13 11:20 66K 
[   ]c0sp3__t10_c0sp32025-09-13 11:22 74K 
[   ]c0sp3__t11_c0sp32025-09-13 11:25 99K 
[   ]c0sp3__t12_c0sp32025-09-13 10:46 58K 
[   ]c0sp3__t13_c0sp32025-09-13 11:27 98K 
[   ]c0sp3__t14_c0sp32025-09-13 11:30 92K 
[   ]c0sp3__t15_c0sp32025-09-13 10:47 66K 
[   ]c0sp3__t16_c0sp32025-09-13 11:32 66K 
[   ]c0sp3__t17_c0sp32025-09-13 10:49 48K 
[   ]c0sp3__t18_c0sp32025-09-13 10:51 48K 
[   ]c0sp3__t19_c0sp32025-09-13 11:34 62K 
[   ]c0sp3__t20_c0sp32025-09-13 11:37 79K 
[   ]c0sp3__t21_c0sp32025-09-13 11:39 62K 
[   ]c0sp3__t22_c0sp32025-09-13 11:41 62K 
[   ]c0sp3__t23_c0sp32025-09-13 11:43 75K 
[   ]c0sp3__t24_c0sp32025-09-13 11:45 75K 
[   ]c0sp3__t25_c0sp32025-09-13 11:48 92K 
[   ]c0sp3__t26_c0sp32025-09-13 11:50 71K 
[   ]c0sp3__t27_c0sp32025-09-13 11:52 73K 
[   ]c0sp3__t28_c0sp32025-09-13 11:55 84K 
[   ]c0sp3__t29_c0sp32025-09-13 11:57 80K 
[   ]c0sp3__t30_c0sp32025-09-13 11:59 63K 
[   ]c0sp3__t31_c0sp32025-09-13 12:02 84K 
[   ]c0sp3__t32_c0sp32025-09-13 12:05 83K 
[   ]c0sp3__t33_c0sp32025-09-13 12:07 71K 
[   ]c0sp3__t34_c0sp32025-09-13 12:09 78K 
[   ]c0sp3__t35_c0sp32025-09-13 12:11 84K 
[   ]c0sp3__t36_c0sp32025-09-13 10:53 103K 
[   ]c0sp3__t37_c0sp32025-09-13 12:14 110K 
[   ]c0sp3__t38_c0sp32025-09-13 12:16 108K 
[   ]c0sp3__t39_c0sp32025-09-13 12:19 105K 
[   ]c0sp3__t40_c0sp32025-09-13 12:21 102K 
[   ]c0sp3__t41_c0sp32025-09-13 12:24 101K 
[   ]c0sp3__t42_c0sp32025-09-13 12:26 108K 
[   ]c0sp3__t43_c0sp32025-09-13 12:29 107K 
[   ]c0sp3__t44_c0sp32025-09-13 12:32 112K 
[   ]c0sp3__t45_c0sp32025-09-13 12:34 109K 
[   ]c0sp3__t46_c0sp32025-09-13 12:37 124K 
[   ]c0sp3__t47_c0sp32025-09-13 12:40 115K 
[   ]c0sp3__t48_c0sp32025-09-13 12:42 113K 
[   ]c0sp3__t49_c0sp32025-09-13 12:45 128K 
[   ]c0sp3__t50_c0sp32025-09-13 12:48 126K 
[   ]c0sp3__t51_c0sp32025-09-13 12:51 125K 
[   ]c0sp3__t52_c0sp32025-09-13 12:54 100K 
[   ]c0sp3__t53_c0sp32025-09-13 10:54 25K 
[   ]c0sp3__t54_c0sp32025-09-13 12:56 65K 
[   ]c0sp3__t55_c0sp32025-09-13 12:58 49K 
[   ]c0sp3__t56_c0sp32025-09-13 13:00 96K 
[   ]c0sp3__t57_c0sp32025-09-13 13:03 83K 
[   ]c0sp3__t58_c0sp32025-09-13 10:57 75K 
[   ]c0sp3__t59_c0sp32025-09-13 10:59 72K 
[   ]c0sp3__t60_c0sp32025-09-13 13:05 83K 
[   ]c0sp3__t61_c0sp32025-09-13 13:07 69K 
[   ]c0sp3__t62_c0sp32025-09-13 13:09 74K 
[   ]c0sp3__t63_c0sp32025-09-13 13:12 101K 
[   ]c0sp3__t64_c0sp32025-09-13 13:15 108K 
[   ]c0sp3__t65_c0sp32025-09-13 13:17 105K 
[   ]c0sp3__t66_c0sp32025-09-13 13:20 124K 
[   ]c0sp3__t67_c0sp32025-09-13 11:01 113K 
[   ]c0sp3__t68_c0sp32025-09-13 11:04 98K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80