Index of /~mptp/mml5.63.1382/MPTP2/problems_small/ordeq_01

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordeq_01__l26_ordeq_012021-07-18 03:25 95K 
[ ]ordeq_01__l26_ordeq_01.vout2021-07-25 19:15 6.8K 
[ ]ordeq_01__l27_ordeq_012021-07-18 03:26 87K 
[ ]ordeq_01__l27_ordeq_01.vout2021-07-25 16:20 4.7K 
[ ]ordeq_01__l28_ordeq_012021-07-18 03:27 74K 
[ ]ordeq_01__l28_ordeq_01.vout2021-07-25 19:51 3.2K 
[ ]ordeq_01__l31_ordeq_012021-07-18 03:28 157K 
[ ]ordeq_01__l31_ordeq_01.vout2021-07-25 19:51 6.8K 
[ ]ordeq_01__l34_ordeq_012021-07-18 03:29 74K 
[ ]ordeq_01__l34_ordeq_01.depv12021-07-25 20:57 67  
[ ]ordeq_01__l34_ordeq_01.depvmin12021-07-25 21:03 67  
[ ]ordeq_01__l34_ordeq_01.vmin12021-07-25 20:57 3.6K 
[ ]ordeq_01__l34_ordeq_01.vmin1out2021-07-25 21:02 81K 
[ ]ordeq_01__l34_ordeq_01.vout2021-07-25 18:42 111K 
[ ]ordeq_01__l51_ordeq_012021-07-18 03:29 67K 
[ ]ordeq_01__l51_ordeq_01.vout2021-07-25 17:55 4.7K 
[ ]ordeq_01__l58_ordeq_012021-07-18 03:30 60K 
[ ]ordeq_01__l58_ordeq_01.vout2021-07-25 18:17 6.8K 
[ ]ordeq_01__l61_ordeq_012021-07-18 03:31 63K 
[ ]ordeq_01__l61_ordeq_01.vout2021-07-25 15:39 4.1K 
[ ]ordeq_01__l62_ordeq_012021-07-18 03:32 120K 
[ ]ordeq_01__l62_ordeq_01.vout2021-07-25 18:21 4.7K 
[ ]ordeq_01__l63_ordeq_012021-07-18 03:32 86K 
[ ]ordeq_01__l63_ordeq_01.vout2021-07-25 20:42 4.7K 
[ ]ordeq_01__l64_ordeq_012021-07-18 03:33 80K 
[ ]ordeq_01__l64_ordeq_01.vout2021-07-25 19:50 6.8K 
[ ]ordeq_01__l69_ordeq_012021-07-18 03:34 38K 
[ ]ordeq_01__l69_ordeq_01.vout2021-07-25 19:28 2.0K 
[ ]ordeq_01__l70_ordeq_012021-07-18 03:34 72K 
[ ]ordeq_01__l70_ordeq_01.vout2021-07-25 16:35 7.3K 
[ ]ordeq_01__t1_ordeq_012021-07-18 02:37 31K 
[ ]ordeq_01__t1_ordeq_01.depv12021-07-25 20:57 77  
[ ]ordeq_01__t1_ordeq_01.depvmin12021-07-25 21:03 77  
[ ]ordeq_01__t1_ordeq_01.vmin12021-07-25 20:57 965  
[ ]ordeq_01__t1_ordeq_01.vmin1out2021-07-25 21:02 13K 
[ ]ordeq_01__t1_ordeq_01.vout2021-07-25 20:39 11K 
[ ]ordeq_01__t2_ordeq_012021-07-18 02:37 31K 
[ ]ordeq_01__t2_ordeq_01.depv12021-07-25 20:57 66  
[ ]ordeq_01__t2_ordeq_01.depvmin12021-07-25 21:03 66  
[ ]ordeq_01__t2_ordeq_01.vmin12021-07-25 20:57 716  
[ ]ordeq_01__t2_ordeq_01.vmin1out2021-07-25 20:58 6.8K 
[ ]ordeq_01__t2_ordeq_01.vout2021-07-25 19:50 6.4K 
[ ]ordeq_01__t3_ordeq_012021-07-18 02:38 55K 
[ ]ordeq_01__t3_ordeq_01.vout2021-07-25 18:30 7.9K 
[ ]ordeq_01__t4_ordeq_012021-07-18 02:39 59K 
[ ]ordeq_01__t4_ordeq_01.depv12021-07-25 20:57 106  
[ ]ordeq_01__t4_ordeq_01.depvmin12021-07-25 21:03 106  
[ ]ordeq_01__t4_ordeq_01.vmin12021-07-25 20:57 1.8K 
[ ]ordeq_01__t4_ordeq_01.vmin1out2021-07-25 20:59 25K 
[ ]ordeq_01__t4_ordeq_01.vout2021-07-25 20:31 26K 
[ ]ordeq_01__t5_ordeq_012021-07-18 02:39 62K 
[ ]ordeq_01__t5_ordeq_01.vout2021-07-25 14:34 4.7K 
[ ]ordeq_01__t7_ordeq_012021-07-18 02:40 62K 
[ ]ordeq_01__t7_ordeq_01.vout2021-07-25 14:41 4.7K 
[ ]ordeq_01__t8_ordeq_012021-07-18 02:41 48K 
[ ]ordeq_01__t8_ordeq_01.vout2021-07-25 14:31 6.8K 
[ ]ordeq_01__t9_ordeq_012021-07-18 02:41 75K 
[ ]ordeq_01__t9_ordeq_01.vout2021-07-25 16:12 4.7K 
[ ]ordeq_01__t10_ordeq_012021-07-18 02:42 75K 
[ ]ordeq_01__t10_ordeq_01.vout2021-07-25 19:55 4.1K 
[ ]ordeq_01__t11_ordeq_012021-07-18 02:43 73K 
[ ]ordeq_01__t11_ordeq_01.vout2021-07-25 20:13 4.1K 
[ ]ordeq_01__t12_ordeq_012021-07-18 02:44 65K 
[ ]ordeq_01__t12_ordeq_01.depv12021-07-25 20:57 313  
[ ]ordeq_01__t12_ordeq_01.depvmin12021-07-25 21:03 287  
[ ]ordeq_01__t12_ordeq_01.vmin12021-07-25 20:57 11K 
[ ]ordeq_01__t12_ordeq_01.vmin1out2021-07-25 20:58 92K 
[ ]ordeq_01__t12_ordeq_01.vout2021-07-25 14:30 178K 
[ ]ordeq_01__t13_ordeq_012021-07-18 02:45 62K 
[ ]ordeq_01__t13_ordeq_01.depv12021-07-25 20:57 92  
[ ]ordeq_01__t13_ordeq_01.depvmin12021-07-25 21:03 77  
[ ]ordeq_01__t13_ordeq_01.vmin12021-07-25 20:57 3.3K 
[ ]ordeq_01__t13_ordeq_01.vmin1out2021-07-25 21:00 62K 
[ ]ordeq_01__t13_ordeq_01.vout2021-07-25 15:25 49K 
[ ]ordeq_01__t14_ordeq_012021-07-18 02:45 76K 
[ ]ordeq_01__t14_ordeq_01.depv12021-07-25 20:57 529  
[ ]ordeq_01__t14_ordeq_01.depvmin12021-07-25 21:03 364  
[ ]ordeq_01__t14_ordeq_01.vmin12021-07-25 20:57 15K 
[ ]ordeq_01__t14_ordeq_01.vmin1out2021-07-25 21:02 76K 
[ ]ordeq_01__t14_ordeq_01.vout2021-07-25 17:00 260K 
[ ]ordeq_01__t15_ordeq_012021-07-18 02:46 84K 
[ ]ordeq_01__t15_ordeq_01.vout2021-07-25 16:41 4.1K 
[ ]ordeq_01__t16_ordeq_012021-07-18 02:47 82K 
[ ]ordeq_01__t16_ordeq_01.vout2021-07-25 20:38 4.1K 
[ ]ordeq_01__t17_ordeq_012021-07-18 02:36 78K 
[ ]ordeq_01__t17_ordeq_01.vout2021-07-25 19:23 3.3K 
[ ]ordeq_01__t18_ordeq_012021-07-18 02:48 79K 
[ ]ordeq_01__t18_ordeq_01.vout2021-07-25 18:05 6.8K 
[ ]ordeq_01__t19_ordeq_012021-07-18 02:49 77K 
[ ]ordeq_01__t19_ordeq_01.vout2021-07-25 18:51 6.8K 
[ ]ordeq_01__t20_ordeq_012021-07-18 02:50 87K 
[ ]ordeq_01__t20_ordeq_01.vout2021-07-25 16:13 4.1K 
[ ]ordeq_01__t21_ordeq_012021-07-18 02:51 79K 
[ ]ordeq_01__t21_ordeq_01.vout2021-07-25 18:38 4.2K 
[ ]ordeq_01__t22_ordeq_012021-07-18 02:36 63K 
[ ]ordeq_01__t22_ordeq_01.vout2021-07-25 18:04 4.1K 
[ ]ordeq_01__t23_ordeq_012021-07-18 02:52 92K 
[ ]ordeq_01__t23_ordeq_01.vout2021-07-25 15:36 4.7K 
[ ]ordeq_01__t24_ordeq_012021-07-18 02:52 86K 
[ ]ordeq_01__t24_ordeq_01.vout2021-07-25 16:25 6.8K 
[ ]ordeq_01__t25_ordeq_012021-07-18 02:53 102K 
[ ]ordeq_01__t25_ordeq_01.vout2021-07-25 16:42 3.7K 
[ ]ordeq_01__t26_ordeq_012021-07-18 02:54 87K 
[ ]ordeq_01__t26_ordeq_01.vout2021-07-25 15:29 4.1K 
[ ]ordeq_01__t27_ordeq_012021-07-18 02:55 87K 
[ ]ordeq_01__t27_ordeq_01.vout2021-07-25 16:18 4.1K 
[ ]ordeq_01__t28_ordeq_012021-07-18 02:56 68K 
[ ]ordeq_01__t28_ordeq_01.vout2021-07-25 17:15 4.1K 
[ ]ordeq_01__t29_ordeq_012021-07-18 02:56 65K 
[ ]ordeq_01__t29_ordeq_01.vout2021-07-25 18:52 6.8K 
[ ]ordeq_01__t30_ordeq_012021-07-18 02:57 64K 
[ ]ordeq_01__t30_ordeq_01.vout2021-07-25 19:17 7.3K 
[ ]ordeq_01__t31_ordeq_012021-07-18 02:58 84K 
[ ]ordeq_01__t31_ordeq_01.vout2021-07-25 17:16 6.8K 
[ ]ordeq_01__t32_ordeq_012021-07-18 02:59 74K 
[ ]ordeq_01__t32_ordeq_01.depv12021-07-25 20:57 193  
[ ]ordeq_01__t32_ordeq_01.depvmin12021-07-25 21:03 193  
[ ]ordeq_01__t32_ordeq_01.vmin12021-07-25 20:57 3.3K 
[ ]ordeq_01__t32_ordeq_01.vmin1out2021-07-25 20:59 43K 
[ ]ordeq_01__t32_ordeq_01.vout2021-07-25 20:47 44K 
[ ]ordeq_01__t33_ordeq_012021-07-18 03:00 75K 
[ ]ordeq_01__t33_ordeq_01.depv12021-07-25 20:57 155  
[ ]ordeq_01__t33_ordeq_01.depvmin12021-07-25 21:03 155  
[ ]ordeq_01__t33_ordeq_01.vmin12021-07-25 20:57 3.5K 
[ ]ordeq_01__t33_ordeq_01.vmin1out2021-07-25 21:01 44K 
[ ]ordeq_01__t33_ordeq_01.vout2021-07-25 14:53 46K 
[ ]ordeq_01__t34_ordeq_012021-07-18 03:01 84K 
[ ]ordeq_01__t34_ordeq_01.vout2021-07-25 15:43 6.8K 
[ ]ordeq_01__t35_ordeq_012021-07-18 03:02 80K 
[ ]ordeq_01__t35_ordeq_01.vout2021-07-25 17:53 4.8K 
[ ]ordeq_01__t36_ordeq_012021-07-18 03:03 96K 
[ ]ordeq_01__t36_ordeq_01.vout2021-07-25 17:02 6.8K 
[ ]ordeq_01__t37_ordeq_012021-07-18 03:04 82K 
[ ]ordeq_01__t37_ordeq_01.vout2021-07-25 16:44 4.7K 
[ ]ordeq_01__t38_ordeq_012021-07-18 03:05 75K 
[ ]ordeq_01__t38_ordeq_01.vout2021-07-25 16:28 4.7K 
[ ]ordeq_01__t39_ordeq_012021-07-18 03:06 140K 
[ ]ordeq_01__t39_ordeq_01.vout2021-07-25 16:04 7.3K 
[ ]ordeq_01__t40_ordeq_012021-07-18 03:07 89K 
[ ]ordeq_01__t40_ordeq_01.vout2021-07-25 16:02 4.7K 
[ ]ordeq_01__t41_ordeq_012021-07-18 03:08 96K 
[ ]ordeq_01__t41_ordeq_01.vout2021-07-25 17:05 6.8K 
[ ]ordeq_01__t42_ordeq_012021-07-18 03:09 205K 
[ ]ordeq_01__t42_ordeq_01.vout2021-07-25 20:40 3.7K 
[ ]ordeq_01__t43_ordeq_012021-07-18 03:10 89K 
[ ]ordeq_01__t43_ordeq_01.vout2021-07-25 14:47 6.8K 
[ ]ordeq_01__t44_ordeq_012021-07-18 03:11 95K 
[ ]ordeq_01__t44_ordeq_01.vout2021-07-25 14:49 4.7K 
[ ]ordeq_01__t45_ordeq_012021-07-18 03:12 99K 
[ ]ordeq_01__t45_ordeq_01.vout2021-07-25 17:17 6.9K 
[ ]ordeq_01__t46_ordeq_012021-07-18 03:13 80K 
[ ]ordeq_01__t46_ordeq_01.vout2021-07-25 20:39 6.8K 
[ ]ordeq_01__t47_ordeq_012021-07-18 03:14 64K 
[ ]ordeq_01__t47_ordeq_01.vout2021-07-25 19:20 6.8K 
[ ]ordeq_01__t48_ordeq_012021-07-18 03:15 57K 
[ ]ordeq_01__t48_ordeq_01.vout2021-07-25 15:55 1.1K 
[ ]ordeq_01__t49_ordeq_012021-07-18 03:16 127K 
[ ]ordeq_01__t49_ordeq_01.vout2021-07-25 16:09 6.8K 
[ ]ordeq_01__t50_ordeq_012021-07-18 03:17 156K 
[ ]ordeq_01__t50_ordeq_01.vout2021-07-25 17:33 6.8K 
[ ]ordeq_01__t51_ordeq_012021-07-18 03:18 105K 
[ ]ordeq_01__t51_ordeq_01.vout2021-07-25 15:03 6.8K 
[ ]ordeq_01__t52_ordeq_012021-07-18 03:19 101K 
[ ]ordeq_01__t52_ordeq_01.vout2021-07-25 15:47 7.3K 
[ ]ordeq_01__t53_ordeq_012021-07-18 03:20 80K 
[ ]ordeq_01__t53_ordeq_01.vout2021-07-25 20:40 3.2K 
[ ]ordeq_01__t54_ordeq_012021-07-18 03:21 101K 
[ ]ordeq_01__t54_ordeq_01.vout2021-07-25 20:23 6.8K 
[ ]ordeq_01__t55_ordeq_012021-07-18 03:22 103K 
[ ]ordeq_01__t55_ordeq_01.vout2021-07-25 16:47 6.8K 
[ ]ordeq_01__t56_ordeq_012021-07-18 03:23 88K 
[ ]ordeq_01__t56_ordeq_01.vout2021-07-25 16:15 7.3K 
[ ]ordeq_01__t57_ordeq_012021-07-18 03:24 98K 
[ ]ordeq_01__t57_ordeq_01.vout2021-07-25 15:35 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80