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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]toprealb__l1_toprealb2025-09-12 21:58 36K 
[ ]toprealb__l2_toprealb2025-09-12 22:00 35K 
[ ]toprealb__l3_toprealb2025-09-12 22:01 34K 
[ ]toprealb__l4_toprealb2025-09-12 22:02 64K 
[ ]toprealb__l5_toprealb2025-09-12 22:04 48K 
[ ]toprealb__l6_toprealb2025-09-12 22:05 129K 
[ ]toprealb__l7_toprealb2025-09-12 22:06 47K 
[ ]toprealb__l8_toprealb2025-09-12 22:07 62K 
[ ]toprealb__l9_toprealb2025-09-12 22:09 62K 
[ ]toprealb__l10_toprealb2025-09-13 02:05 41K 
[ ]toprealb__l11_toprealb2025-09-13 02:06 47K 
[ ]toprealb__l24_toprealb2025-09-13 02:08 88K 
[ ]toprealb__l25_toprealb2025-09-13 02:10 88K 
[ ]toprealb__l26_toprealb2025-09-13 02:12 84K 
[ ]toprealb__l33_toprealb2025-09-12 22:11 98K 
[ ]toprealb__l42_toprealb2025-09-13 02:15 123K 
[ ]toprealb__l46_toprealb2025-09-12 22:14 101K 
[ ]toprealb__l53_toprealb2025-09-12 22:16 101K 
[ ]toprealb__l54_toprealb2025-09-12 22:19 103K 
[ ]toprealb__l61_toprealb2025-09-12 22:21 101K 
[ ]toprealb__l65_toprealb2025-09-13 02:17 156K 
[ ]toprealb__l69_toprealb2025-09-13 02:20 127K 
[ ]toprealb__l71_toprealb2025-09-13 02:23 111K 
[ ]toprealb__l72_toprealb2025-09-13 02:24 60K 
[ ]toprealb__l74_toprealb2025-09-13 02:27 318K 
[ ]toprealb__l78_toprealb2025-09-13 02:29 97K 
[ ]toprealb__l84_toprealb2025-09-12 22:22 46K 
[ ]toprealb__l85_toprealb2025-09-12 22:24 64K 
[ ]toprealb__l86_toprealb2025-09-12 22:26 63K 
[ ]toprealb__l87_toprealb2025-09-12 22:28 63K 
[ ]toprealb__l88_toprealb2025-09-12 22:30 83K 
[ ]toprealb__l89_toprealb2025-09-12 22:32 93K 
[ ]toprealb__l90_toprealb2025-09-13 02:31 112K 
[ ]toprealb__l91_toprealb2025-09-12 22:34 99K 
[ ]toprealb__l92_toprealb2025-09-12 22:36 92K 
[ ]toprealb__l93_toprealb2025-09-12 22:37 64K 
[ ]toprealb__l94_toprealb2025-09-12 22:39 65K 
[ ]toprealb__l95_toprealb2025-09-12 22:40 62K 
[ ]toprealb__l96_toprealb2025-09-12 22:43 107K 
[ ]toprealb__l97_toprealb2025-09-12 22:44 59K 
[ ]toprealb__l98_toprealb2025-09-12 22:46 95K 
[ ]toprealb__l99_toprealb2025-09-13 02:33 123K 
[ ]toprealb__l100_toprealb2025-09-12 22:48 98K 
[ ]toprealb__l101_toprealb2025-09-12 22:49 60K 
[ ]toprealb__l102_toprealb2025-09-12 22:51 62K 
[ ]toprealb__l103_toprealb2025-09-12 22:53 100K 
[ ]toprealb__l104_toprealb2025-09-12 22:55 88K 
[ ]toprealb__l105_toprealb2025-09-12 22:57 100K 
[ ]toprealb__l106_toprealb2025-09-13 02:36 106K 
[ ]toprealb__l107_toprealb2025-09-12 22:59 100K 
[ ]toprealb__l108_toprealb2025-09-12 23:01 65K 
[ ]toprealb__l109_toprealb2025-09-12 23:03 70K 
[ ]toprealb__l110_toprealb2025-09-12 23:04 64K 
[ ]toprealb__l111_toprealb2025-09-12 23:06 69K 
[ ]toprealb__l112_toprealb2025-09-12 23:08 67K 
[ ]toprealb__l113_toprealb2025-09-12 23:10 66K 
[ ]toprealb__l114_toprealb2025-09-12 23:12 100K 
[ ]toprealb__l115_toprealb2025-09-12 23:14 84K 
[ ]toprealb__l116_toprealb2025-09-12 23:16 86K 
[ ]toprealb__l117_toprealb2025-09-12 23:19 89K 
[ ]toprealb__l118_toprealb2025-09-13 02:39 211K 
[ ]toprealb__l119_toprealb2025-09-13 02:43 292K 
[ ]toprealb__l120_toprealb2025-09-13 02:46 140K 
[ ]toprealb__l121_toprealb2025-09-12 23:20 34K 
[ ]toprealb__l122_toprealb2025-09-12 23:21 57K 
[ ]toprealb__l123_toprealb2025-09-13 02:50 290K 
[ ]toprealb__l124_toprealb2025-09-12 23:22 46K 
[ ]toprealb__l125_toprealb2025-09-12 23:24 64K 
[ ]toprealb__l126_toprealb2025-09-12 23:26 63K 
[ ]toprealb__l127_toprealb2025-09-12 23:28 83K 
[ ]toprealb__l128_toprealb2025-09-12 23:29 89K 
[ ]toprealb__l129_toprealb2025-09-12 23:31 99K 
[ ]toprealb__l130_toprealb2025-09-13 02:52 365K 
[ ]toprealb__l131_toprealb2025-09-12 23:33 146K 
[ ]toprealb__l132_toprealb2025-09-12 23:35 97K 
[ ]toprealb__l133_toprealb2025-09-12 23:37 70K 
[ ]toprealb__l134_toprealb2025-09-12 23:38 71K 
[ ]toprealb__l135_toprealb2025-09-12 23:41 153K 
[ ]toprealb__l136_toprealb2025-09-12 23:42 83K 
[ ]toprealb__l137_toprealb2025-09-12 23:44 93K 
[ ]toprealb__l138_toprealb2025-09-13 02:55 215K 
[ ]toprealb__l139_toprealb2025-09-12 23:46 113K 
[ ]toprealb__l140_toprealb2025-09-12 23:48 91K 
[ ]toprealb__l141_toprealb2025-09-12 23:50 64K 
[ ]toprealb__l142_toprealb2025-09-12 23:51 65K 
[ ]toprealb__l143_toprealb2025-09-12 23:53 120K 
[ ]toprealb__l144_toprealb2025-09-12 23:55 100K 
[ ]toprealb__l145_toprealb2025-09-13 02:57 106K 
[ ]toprealb__l146_toprealb2025-09-12 23:58 100K 
[ ]toprealb__l147_toprealb2025-09-12 23:59 65K 
[ ]toprealb__l148_toprealb2025-09-13 00:01 70K 
[ ]toprealb__l149_toprealb2025-09-13 00:03 64K 
[ ]toprealb__l150_toprealb2025-09-13 00:05 69K 
[ ]toprealb__l151_toprealb2025-09-13 00:06 67K 
[ ]toprealb__l152_toprealb2025-09-13 00:08 66K 
[ ]toprealb__l153_toprealb2025-09-13 00:10 100K 
[ ]toprealb__l154_toprealb2025-09-13 03:00 530K 
[ ]toprealb__l155_toprealb2025-09-13 03:04 530K 
[ ]toprealb__l156_toprealb2025-09-13 03:07 200K 
[ ]toprealb__l157_toprealb2025-09-13 03:11 535K 
[ ]toprealb__l158_toprealb2025-09-13 03:14 130K 
[ ]toprealb__l159_toprealb2025-09-13 00:13 178K 
[ ]toprealb__t1_toprealb2025-09-13 00:15 74K 
[ ]toprealb__t2_toprealb2025-09-13 00:16 74K 
[ ]toprealb__t3_toprealb2025-09-12 21:55 47K 
[ ]toprealb__t4_toprealb2025-09-13 00:18 77K 
[ ]toprealb__t5_toprealb2025-09-13 00:19 64K 
[ ]toprealb__t6_toprealb2025-09-13 00:21 71K 
[ ]toprealb__t7_toprealb2025-09-13 00:23 82K 
[ ]toprealb__t8_toprealb2025-09-13 00:25 80K 
[ ]toprealb__t9_toprealb2025-09-13 00:27 95K 
[ ]toprealb__t10_toprealb2025-09-13 00:30 107K 
[ ]toprealb__t11_toprealb2025-09-13 00:32 106K 
[ ]toprealb__t12_toprealb2025-09-13 00:35 95K 
[ ]toprealb__t13_toprealb2025-09-13 00:37 220K 
[ ]toprealb__t14_toprealb2025-09-13 00:40 132K 
[ ]toprealb__t15_toprealb2025-09-13 00:42 189K 
[ ]toprealb__t16_toprealb2025-09-13 00:45 132K 
[ ]toprealb__t17_toprealb2025-09-13 00:48 189K 
[ ]toprealb__t18_toprealb2025-09-12 21:57 100K 
[ ]toprealb__t19_toprealb2025-09-13 00:51 164K 
[ ]toprealb__t20_toprealb2025-09-13 00:53 96K 
[ ]toprealb__t21_toprealb2025-09-13 00:56 104K 
[ ]toprealb__t22_toprealb2025-09-13 00:58 107K 
[ ]toprealb__t23_toprealb2025-09-13 01:01 104K 
[ ]toprealb__t24_toprealb2025-09-13 01:03 192K 
[ ]toprealb__t25_toprealb2025-09-13 01:06 192K 
[ ]toprealb__t26_toprealb2025-09-13 01:08 105K 
[ ]toprealb__t27_toprealb2025-09-13 01:11 115K 
[ ]toprealb__t28_toprealb2025-09-13 01:14 115K 
[ ]toprealb__t29_toprealb2025-09-13 01:16 112K 
[ ]toprealb__t30_toprealb2025-09-13 01:19 111K 
[ ]toprealb__t31_toprealb2025-09-13 01:22 118K 
[ ]toprealb__t32_toprealb2025-09-13 01:24 115K 
[ ]toprealb__t33_toprealb2025-09-13 01:27 111K 
[ ]toprealb__t34_toprealb2025-09-13 01:30 127K 
[ ]toprealb__t35_toprealb2025-09-13 01:33 360K 
[ ]toprealb__t36_toprealb2025-09-13 01:35 507K 
[ ]toprealb__t37_toprealb2025-09-13 01:38 128K 
[ ]toprealb__t38_toprealb2025-09-13 01:41 166K 
[ ]toprealb__t39_toprealb2025-09-13 01:44 135K 
[ ]toprealb__t40_toprealb2025-09-13 01:47 133K 
[ ]toprealb__t41_toprealb2025-09-13 01:50 178K 
[ ]toprealb__t42_toprealb2025-09-13 01:53 392K 
[ ]toprealb__t43_toprealb2025-09-13 01:56 516K 
[ ]toprealb__t44_toprealb2025-09-13 01:59 147K 
[ ]toprealb__t45_toprealb2025-09-13 02:03 633K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80