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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]algnum_1__l5_algnum_12025-09-11 19:30 75K 
[ ]algnum_1__l6_algnum_12025-09-11 19:33 74K 
[ ]algnum_1__l7_algnum_12025-09-11 16:46 97K 
[ ]algnum_1__l63_algnum_12025-09-11 16:49 141K 
[ ]algnum_1__t1_algnum_12025-09-11 16:52 74K 
[ ]algnum_1__t2_algnum_12025-09-11 16:35 94K 
[ ]algnum_1__t3_algnum_12025-09-11 16:38 93K 
[ ]algnum_1__t4_algnum_12025-09-11 16:41 95K 
[ ]algnum_1__t5_algnum_12025-09-11 16:54 80K 
[ ]algnum_1__t6_algnum_12025-09-11 16:57 80K 
[ ]algnum_1__t7_algnum_12025-09-11 17:00 92K 
[ ]algnum_1__t8_algnum_12025-09-11 17:02 71K 
[ ]algnum_1__t9_algnum_12025-09-11 17:05 70K 
[ ]algnum_1__t10_algnum_12025-09-11 17:08 130K 
[ ]algnum_1__t11_algnum_12025-09-11 17:11 74K 
[ ]algnum_1__t12_algnum_12025-09-11 17:14 91K 
[ ]algnum_1__t13_algnum_12025-09-11 17:17 96K 
[ ]algnum_1__t14_algnum_12025-09-11 17:20 119K 
[ ]algnum_1__t15_algnum_12025-09-11 17:24 172K 
[ ]algnum_1__t16_algnum_12025-09-11 17:28 343K 
[ ]algnum_1__t17_algnum_12025-09-11 17:31 156K 
[ ]algnum_1__t18_algnum_12025-09-11 17:34 331K 
[ ]algnum_1__t19_algnum_12025-09-11 17:37 116K 
[ ]algnum_1__t20_algnum_12025-09-11 17:40 116K 
[ ]algnum_1__t21_algnum_12025-09-11 17:44 116K 
[ ]algnum_1__t22_algnum_12025-09-11 17:47 142K 
[ ]algnum_1__t23_algnum_12025-09-11 17:50 124K 
[ ]algnum_1__t24_algnum_12025-09-11 17:53 116K 
[ ]algnum_1__t25_algnum_12025-09-11 17:56 114K 
[ ]algnum_1__t26_algnum_12025-09-11 17:59 114K 
[ ]algnum_1__t27_algnum_12025-09-11 18:02 120K 
[ ]algnum_1__t28_algnum_12025-09-11 18:05 134K 
[ ]algnum_1__t29_algnum_12025-09-11 18:08 165K 
[ ]algnum_1__t30_algnum_12025-09-11 18:11 134K 
[ ]algnum_1__t31_algnum_12025-09-11 18:15 163K 
[ ]algnum_1__t32_algnum_12025-09-11 18:18 139K 
[ ]algnum_1__t33_algnum_12025-09-11 18:21 179K 
[ ]algnum_1__t34_algnum_12025-09-11 18:25 176K 
[ ]algnum_1__t35_algnum_12025-09-11 18:28 127K 
[ ]algnum_1__t36_algnum_12025-09-11 16:43 81K 
[ ]algnum_1__t37_algnum_12025-09-11 18:32 221K 
[ ]algnum_1__t38_algnum_12025-09-11 18:35 205K 
[ ]algnum_1__t39_algnum_12025-09-11 18:39 188K 
[ ]algnum_1__t40_algnum_12025-09-11 18:42 158K 
[ ]algnum_1__t41_algnum_12025-09-11 18:45 164K 
[ ]algnum_1__t42_algnum_12025-09-11 18:48 140K 
[ ]algnum_1__t43_algnum_12025-09-11 18:51 143K 
[ ]algnum_1__t44_algnum_12025-09-11 18:55 190K 
[ ]algnum_1__t45_algnum_12025-09-11 18:58 144K 
[ ]algnum_1__t46_algnum_12025-09-11 19:01 147K 
[ ]algnum_1__t47_algnum_12025-09-11 19:04 147K 
[ ]algnum_1__t48_algnum_12025-09-11 19:07 149K 
[ ]algnum_1__t49_algnum_12025-09-11 19:10 142K 
[ ]algnum_1__t50_algnum_12025-09-11 19:12 124K 
[ ]algnum_1__t51_algnum_12025-09-11 19:15 146K 
[ ]algnum_1__t52_algnum_12025-09-11 19:18 160K 
[ ]algnum_1__t53_algnum_12025-09-11 19:21 174K 
[ ]algnum_1__t54_algnum_12025-09-11 19:25 232K 
[ ]algnum_1__t55_algnum_12025-09-11 19:28 170K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80