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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]wallace1__l14_wallace12025-09-12 09:39 57K 
[ ]wallace1__l21_wallace12025-09-12 09:41 58K 
[ ]wallace1__l22_wallace12025-09-12 09:43 59K 
[ ]wallace1__l27_wallace12025-09-12 09:44 20K 
[ ]wallace1__l35_wallace12025-09-12 09:47 135K 
[ ]wallace1__l36_wallace12025-09-12 09:50 131K 
[ ]wallace1__l37_wallace12025-09-12 09:54 131K 
[ ]wallace1__l38_wallace12025-09-12 09:56 114K 
[ ]wallace1__l39_wallace12025-09-12 09:59 121K 
[ ]wallace1__l40_wallace12025-09-12 10:02 113K 
[ ]wallace1__l41_wallace12025-09-12 10:05 119K 
[ ]wallace1__l42_wallace12025-09-12 10:08 112K 
[ ]wallace1__l43_wallace12025-09-12 10:11 119K 
[ ]wallace1__l44_wallace12025-09-12 10:14 112K 
[ ]wallace1__l45_wallace12025-09-12 10:17 115K 
[ ]wallace1__l53_wallace12025-09-12 10:19 57K 
[ ]wallace1__l54_wallace12025-09-12 10:21 63K 
[ ]wallace1__l58_wallace12025-09-12 10:22 20K 
[ ]wallace1__l64_wallace12025-09-12 10:25 138K 
[ ]wallace1__l65_wallace12025-09-12 10:28 136K 
[ ]wallace1__l66_wallace12025-09-12 10:32 143K 
[ ]wallace1__l67_wallace12025-09-12 10:34 116K 
[ ]wallace1__l68_wallace12025-09-12 10:37 122K 
[ ]wallace1__l69_wallace12025-09-12 10:40 119K 
[ ]wallace1__l70_wallace12025-09-12 10:43 142K 
[ ]wallace1__l71_wallace12025-09-12 10:46 122K 
[ ]wallace1__l72_wallace12025-09-12 10:49 126K 
[ ]wallace1__l73_wallace12025-09-12 10:52 123K 
[ ]wallace1__l74_wallace12025-09-12 10:55 127K 
[ ]wallace1__l75_wallace12025-09-12 10:58 123K 
[ ]wallace1__l76_wallace12025-09-12 11:01 126K 
[ ]wallace1__t1_wallace12025-09-12 08:37 67K 
[ ]wallace1__t2_wallace12025-09-12 08:25 56K 
[ ]wallace1__t3_wallace12025-09-12 08:39 61K 
[ ]wallace1__t4_wallace12025-09-12 08:41 57K 
[ ]wallace1__t5_wallace12025-09-12 08:44 64K 
[ ]wallace1__t6_wallace12025-09-12 08:46 66K 
[ ]wallace1__t7_wallace12025-09-12 08:48 58K 
[ ]wallace1__t8_wallace12025-09-12 08:51 129K 
[ ]wallace1__t9_wallace12025-09-12 08:54 106K 
[ ]wallace1__t10_wallace12025-09-12 08:57 70K 
[ ]wallace1__t11_wallace12025-09-12 08:27 60K 
[ ]wallace1__t12_wallace12025-09-12 09:00 81K 
[ ]wallace1__t13_wallace12025-09-12 09:02 67K 
[ ]wallace1__t14_wallace12025-09-12 09:04 62K 
[ ]wallace1__t15_wallace12025-09-12 09:06 69K 
[ ]wallace1__t16_wallace12025-09-12 09:09 70K 
[ ]wallace1__t17_wallace12025-09-12 09:11 64K 
[ ]wallace1__t18_wallace12025-09-12 09:13 63K 
[ ]wallace1__t19_wallace12025-09-12 08:30 122K 
[ ]wallace1__t20_wallace12025-09-12 09:16 118K 
[ ]wallace1__t21_wallace12025-09-12 09:19 73K 
[ ]wallace1__t22_wallace12025-09-12 09:21 73K 
[ ]wallace1__t23_wallace12025-09-12 08:31 64K 
[ ]wallace1__t24_wallace12025-09-12 09:24 81K 
[ ]wallace1__t25_wallace12025-09-12 09:26 67K 
[ ]wallace1__t26_wallace12025-09-12 09:28 76K 
[ ]wallace1__t27_wallace12025-09-12 09:31 77K 
[ ]wallace1__t28_wallace12025-09-12 09:33 68K 
[ ]wallace1__t29_wallace12025-09-12 08:34 128K 
[ ]wallace1__t30_wallace12025-09-12 09:37 123K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80