Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/wallace1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]wallace1__l14_wallace12021-07-18 19:19 57K 
[ ]wallace1__l21_wallace12021-07-18 19:19 57K 
[ ]wallace1__l22_wallace12021-07-18 19:20 58K 
[ ]wallace1__l27_wallace12021-07-18 19:20 19K 
[ ]wallace1__l35_wallace12021-07-18 19:21 132K 
[ ]wallace1__l36_wallace12021-07-18 19:21 129K 
[ ]wallace1__l37_wallace12021-07-18 19:22 129K 
[ ]wallace1__l38_wallace12021-07-18 19:23 111K 
[ ]wallace1__l39_wallace12021-07-18 19:24 119K 
[ ]wallace1__l40_wallace12021-07-18 19:24 111K 
[ ]wallace1__l41_wallace12021-07-18 19:25 117K 
[ ]wallace1__l42_wallace12021-07-18 19:26 110K 
[ ]wallace1__l43_wallace12021-07-18 19:27 117K 
[ ]wallace1__l44_wallace12021-07-18 19:28 110K 
[ ]wallace1__l45_wallace12021-07-18 19:28 113K 
[ ]wallace1__l53_wallace12021-07-18 19:29 56K 
[ ]wallace1__l54_wallace12021-07-18 19:29 62K 
[ ]wallace1__l58_wallace12021-07-18 19:30 19K 
[ ]wallace1__l64_wallace12021-07-18 19:31 136K 
[ ]wallace1__l65_wallace12021-07-18 19:31 133K 
[ ]wallace1__l66_wallace12021-07-18 19:32 140K 
[ ]wallace1__l67_wallace12021-07-18 19:33 114K 
[ ]wallace1__l68_wallace12021-07-18 19:34 119K 
[ ]wallace1__l69_wallace12021-07-18 19:35 117K 
[ ]wallace1__l70_wallace12021-07-18 19:36 139K 
[ ]wallace1__l71_wallace12021-07-18 19:36 120K 
[ ]wallace1__l72_wallace12021-07-18 19:37 124K 
[ ]wallace1__l73_wallace12021-07-18 19:38 121K 
[ ]wallace1__l74_wallace12021-07-18 19:39 125K 
[ ]wallace1__l75_wallace12021-07-18 19:40 121K 
[ ]wallace1__l76_wallace12021-07-18 19:40 125K 
[ ]wallace1__t1_wallace12021-07-18 19:03 66K 
[ ]wallace1__t2_wallace12021-07-18 19:00 55K 
[ ]wallace1__t3_wallace12021-07-18 19:04 60K 
[ ]wallace1__t4_wallace12021-07-18 19:04 57K 
[ ]wallace1__t5_wallace12021-07-18 19:05 63K 
[ ]wallace1__t6_wallace12021-07-18 19:05 66K 
[ ]wallace1__t7_wallace12021-07-18 19:06 57K 
[ ]wallace1__t8_wallace12021-07-18 19:07 126K 
[ ]wallace1__t9_wallace12021-07-18 19:07 105K 
[ ]wallace1__t10_wallace12021-07-18 19:08 69K 
[ ]wallace1__t11_wallace12021-07-18 19:01 60K 
[ ]wallace1__t12_wallace12021-07-18 19:09 80K 
[ ]wallace1__t13_wallace12021-07-18 19:09 66K 
[ ]wallace1__t14_wallace12021-07-18 19:10 62K 
[ ]wallace1__t15_wallace12021-07-18 19:10 69K 
[ ]wallace1__t16_wallace12021-07-18 19:11 69K 
[ ]wallace1__t17_wallace12021-07-18 19:12 64K 
[ ]wallace1__t18_wallace12021-07-18 19:12 63K 
[ ]wallace1__t19_wallace12021-07-18 19:01 120K 
[ ]wallace1__t20_wallace12021-07-18 19:13 117K 
[ ]wallace1__t21_wallace12021-07-18 19:13 72K 
[ ]wallace1__t22_wallace12021-07-18 19:14 72K 
[ ]wallace1__t23_wallace12021-07-18 19:02 64K 
[ ]wallace1__t24_wallace12021-07-18 19:15 79K 
[ ]wallace1__t25_wallace12021-07-18 19:15 66K 
[ ]wallace1__t26_wallace12021-07-18 19:16 76K 
[ ]wallace1__t27_wallace12021-07-18 19:17 76K 
[ ]wallace1__t28_wallace12021-07-18 19:17 67K 
[ ]wallace1__t29_wallace12021-07-18 19:02 126K 
[ ]wallace1__t30_wallace12021-07-18 19:18 122K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80