Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/ordeq_01

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordeq_01__l26_ordeq_012024-07-27 08:44 99K 
[ ]ordeq_01__l26_ordeq_01.vout2024-08-03 04:41 6.8K 
[ ]ordeq_01__l27_ordeq_012024-07-27 08:47 92K 
[ ]ordeq_01__l27_ordeq_01.vout2024-08-03 04:44 4.7K 
[ ]ordeq_01__l28_ordeq_012024-07-27 08:49 79K 
[ ]ordeq_01__l28_ordeq_01.vout2024-08-03 07:49 3.3K 
[ ]ordeq_01__l31_ordeq_012024-07-27 08:52 163K 
[ ]ordeq_01__l31_ordeq_01.vout2024-08-03 07:03 6.8K 
[ ]ordeq_01__l34_ordeq_012024-07-27 08:55 79K 
[ ]ordeq_01__l34_ordeq_01.depv12024-08-03 10:19 67  
[ ]ordeq_01__l34_ordeq_01.depvmin12024-08-03 10:24 67  
[ ]ordeq_01__l34_ordeq_01.vmin12024-08-03 10:19 3.6K 
[ ]ordeq_01__l34_ordeq_01.vmin1out2024-08-03 10:23 81K 
[ ]ordeq_01__l34_ordeq_01.vout2024-08-03 07:12 104K 
[ ]ordeq_01__l51_ordeq_012024-07-27 08:57 71K 
[ ]ordeq_01__l51_ordeq_01.vout2024-08-03 05:27 4.7K 
[ ]ordeq_01__l58_ordeq_012024-07-27 08:59 65K 
[ ]ordeq_01__l58_ordeq_01.vout2024-08-03 06:01 6.8K 
[ ]ordeq_01__l61_ordeq_012024-07-27 09:01 67K 
[ ]ordeq_01__l61_ordeq_01.vout2024-08-03 04:22 4.1K 
[ ]ordeq_01__l62_ordeq_012024-07-27 09:03 125K 
[ ]ordeq_01__l62_ordeq_01.vout2024-08-03 05:38 4.7K 
[ ]ordeq_01__l63_ordeq_012024-07-27 09:05 91K 
[ ]ordeq_01__l63_ordeq_01.vout2024-08-03 06:47 4.7K 
[ ]ordeq_01__l64_ordeq_012024-07-27 09:07 85K 
[ ]ordeq_01__l64_ordeq_01.vout2024-08-03 08:04 6.8K 
[ ]ordeq_01__l69_ordeq_012024-07-27 09:09 42K 
[ ]ordeq_01__l69_ordeq_01.vout2024-08-03 09:35 2.0K 
[ ]ordeq_01__l70_ordeq_012024-07-27 09:11 76K 
[ ]ordeq_01__l70_ordeq_01.vout2024-08-03 09:53 7.3K 
[ ]ordeq_01__t1_ordeq_012024-07-27 06:26 36K 
[ ]ordeq_01__t1_ordeq_01.depv12024-08-03 10:19 77  
[ ]ordeq_01__t1_ordeq_01.depvmin12024-08-03 10:24 77  
[ ]ordeq_01__t1_ordeq_01.vmin12024-08-03 10:19 965  
[ ]ordeq_01__t1_ordeq_01.vmin1out2024-08-03 10:22 13K 
[ ]ordeq_01__t1_ordeq_01.vout2024-08-03 07:49 11K 
[ ]ordeq_01__t2_ordeq_012024-07-27 06:28 36K 
[ ]ordeq_01__t2_ordeq_01.depv12024-08-03 10:19 66  
[ ]ordeq_01__t2_ordeq_01.depvmin12024-08-03 10:24 66  
[ ]ordeq_01__t2_ordeq_01.vmin12024-08-03 10:19 716  
[ ]ordeq_01__t2_ordeq_01.vmin1out2024-08-03 10:23 6.8K 
[ ]ordeq_01__t2_ordeq_01.vout2024-08-03 08:05 6.4K 
[ ]ordeq_01__t3_ordeq_012024-07-27 06:30 59K 
[ ]ordeq_01__t3_ordeq_01.vout2024-08-03 04:55 7.9K 
[ ]ordeq_01__t4_ordeq_012024-07-27 06:32 63K 
[ ]ordeq_01__t4_ordeq_01.depv12024-08-03 10:19 106  
[ ]ordeq_01__t4_ordeq_01.depvmin12024-08-03 10:24 106  
[ ]ordeq_01__t4_ordeq_01.vmin12024-08-03 10:19 1.8K 
[ ]ordeq_01__t4_ordeq_01.vmin1out2024-08-03 10:22 25K 
[ ]ordeq_01__t4_ordeq_01.vout2024-08-03 04:20 25K 
[ ]ordeq_01__t5_ordeq_012024-07-27 06:34 66K 
[ ]ordeq_01__t5_ordeq_01.vout2024-08-03 10:13 4.7K 
[ ]ordeq_01__t7_ordeq_012024-07-27 06:36 74K 
[ ]ordeq_01__t7_ordeq_01.vout2024-08-03 04:35 4.7K 
[ ]ordeq_01__t8_ordeq_012024-07-27 06:38 60K 
[ ]ordeq_01__t8_ordeq_01.vout2024-08-03 09:12 6.8K 
[ ]ordeq_01__t9_ordeq_012024-07-27 06:41 80K 
[ ]ordeq_01__t9_ordeq_01.vout2024-08-03 06:56 4.7K 
[ ]ordeq_01__t10_ordeq_012024-07-27 06:44 80K 
[ ]ordeq_01__t10_ordeq_01.vout2024-08-03 06:07 4.1K 
[ ]ordeq_01__t11_ordeq_012024-07-27 06:46 78K 
[ ]ordeq_01__t11_ordeq_01.vout2024-08-03 06:37 4.1K 
[ ]ordeq_01__t12_ordeq_012024-07-27 06:48 69K 
[ ]ordeq_01__t12_ordeq_01.depv12024-08-03 10:19 313  
[ ]ordeq_01__t12_ordeq_01.depvmin12024-08-03 10:24 287  
[ ]ordeq_01__t12_ordeq_01.vmin12024-08-03 10:19 11K 
[ ]ordeq_01__t12_ordeq_01.vmin1out2024-08-03 10:22 92K 
[ ]ordeq_01__t12_ordeq_01.vout2024-08-03 04:57 178K 
[ ]ordeq_01__t13_ordeq_012024-07-27 06:51 66K 
[ ]ordeq_01__t13_ordeq_01.depv12024-08-03 10:19 92  
[ ]ordeq_01__t13_ordeq_01.depvmin12024-08-03 10:24 77  
[ ]ordeq_01__t13_ordeq_01.vmin12024-08-03 10:19 3.3K 
[ ]ordeq_01__t13_ordeq_01.vmin1out2024-08-03 10:23 62K 
[ ]ordeq_01__t13_ordeq_01.vout2024-08-03 05:13 49K 
[ ]ordeq_01__t14_ordeq_012024-07-27 06:53 81K 
[ ]ordeq_01__t14_ordeq_01.depv12024-08-03 10:19 529  
[ ]ordeq_01__t14_ordeq_01.depvmin12024-08-03 10:24 364  
[ ]ordeq_01__t14_ordeq_01.vmin12024-08-03 10:19 15K 
[ ]ordeq_01__t14_ordeq_01.vmin1out2024-08-03 10:22 76K 
[ ]ordeq_01__t14_ordeq_01.vout2024-08-03 09:57 259K 
[ ]ordeq_01__t15_ordeq_012024-07-27 06:56 89K 
[ ]ordeq_01__t15_ordeq_01.vout2024-08-03 06:49 4.1K 
[ ]ordeq_01__t16_ordeq_012024-07-27 06:58 88K 
[ ]ordeq_01__t16_ordeq_01.vout2024-08-03 06:46 4.1K 
[ ]ordeq_01__t17_ordeq_012024-07-27 06:22 83K 
[ ]ordeq_01__t17_ordeq_01.vout2024-08-03 06:50 3.2K 
[ ]ordeq_01__t18_ordeq_012024-07-27 07:01 84K 
[ ]ordeq_01__t18_ordeq_01.vout2024-08-03 09:15 6.8K 
[ ]ordeq_01__t19_ordeq_012024-07-27 07:03 82K 
[ ]ordeq_01__t19_ordeq_01.vout2024-08-03 06:36 6.8K 
[ ]ordeq_01__t20_ordeq_012024-07-27 07:06 92K 
[ ]ordeq_01__t20_ordeq_01.vout2024-08-03 04:14 4.1K 
[ ]ordeq_01__t21_ordeq_012024-07-27 07:08 84K 
[ ]ordeq_01__t21_ordeq_01.vout2024-08-03 06:10 4.1K 
[ ]ordeq_01__t22_ordeq_012024-07-27 06:25 68K 
[ ]ordeq_01__t22_ordeq_01.vout2024-08-03 05:33 4.1K 
[ ]ordeq_01__t23_ordeq_012024-07-27 07:11 97K 
[ ]ordeq_01__t23_ordeq_01.vout2024-08-03 08:30 4.7K 
[ ]ordeq_01__t24_ordeq_012024-07-27 07:13 91K 
[ ]ordeq_01__t24_ordeq_01.vout2024-08-03 05:29 6.8K 
[ ]ordeq_01__t25_ordeq_012024-07-27 07:16 107K 
[ ]ordeq_01__t25_ordeq_01.vout2024-08-03 04:48 3.7K 
[ ]ordeq_01__t26_ordeq_012024-07-27 07:19 92K 
[ ]ordeq_01__t26_ordeq_01.vout2024-08-03 09:21 4.1K 
[ ]ordeq_01__t27_ordeq_012024-07-27 07:21 92K 
[ ]ordeq_01__t27_ordeq_01.vout2024-08-03 04:52 4.1K 
[ ]ordeq_01__t28_ordeq_012024-07-27 07:23 73K 
[ ]ordeq_01__t28_ordeq_01.vout2024-08-03 08:32 4.1K 
[ ]ordeq_01__t29_ordeq_012024-07-27 07:25 70K 
[ ]ordeq_01__t29_ordeq_01.vout2024-08-03 07:10 7.3K 
[ ]ordeq_01__t30_ordeq_012024-07-27 07:27 70K 
[ ]ordeq_01__t30_ordeq_01.vout2024-08-03 09:32 7.3K 
[ ]ordeq_01__t31_ordeq_012024-07-27 07:29 90K 
[ ]ordeq_01__t31_ordeq_01.vout2024-08-03 06:23 6.8K 
[ ]ordeq_01__t32_ordeq_012024-07-27 07:32 79K 
[ ]ordeq_01__t32_ordeq_01.depv12024-08-03 10:19 193  
[ ]ordeq_01__t32_ordeq_01.depvmin12024-08-03 10:24 193  
[ ]ordeq_01__t32_ordeq_01.vmin12024-08-03 10:19 3.3K 
[ ]ordeq_01__t32_ordeq_01.vmin1out2024-08-03 10:20 43K 
[ ]ordeq_01__t32_ordeq_01.vout2024-08-03 04:10 44K 
[ ]ordeq_01__t33_ordeq_012024-07-27 07:35 81K 
[ ]ordeq_01__t33_ordeq_01.depv12024-08-03 10:19 155  
[ ]ordeq_01__t33_ordeq_01.depvmin12024-08-03 10:24 155  
[ ]ordeq_01__t33_ordeq_01.vmin12024-08-03 10:19 3.5K 
[ ]ordeq_01__t33_ordeq_01.vmin1out2024-08-03 10:21 44K 
[ ]ordeq_01__t33_ordeq_01.vout2024-08-03 08:02 46K 
[ ]ordeq_01__t34_ordeq_012024-07-27 07:38 90K 
[ ]ordeq_01__t34_ordeq_01.vout2024-08-03 05:05 7.3K 
[ ]ordeq_01__t35_ordeq_012024-07-27 07:40 84K 
[ ]ordeq_01__t35_ordeq_01.vout2024-08-03 04:30 4.7K 
[ ]ordeq_01__t36_ordeq_012024-07-27 07:43 101K 
[ ]ordeq_01__t36_ordeq_01.vout2024-08-03 07:46 6.8K 
[ ]ordeq_01__t37_ordeq_012024-07-27 07:45 87K 
[ ]ordeq_01__t37_ordeq_01.vout2024-08-03 05:29 4.7K 
[ ]ordeq_01__t38_ordeq_012024-07-27 07:48 80K 
[ ]ordeq_01__t38_ordeq_01.vout2024-08-03 07:44 4.7K 
[ ]ordeq_01__t39_ordeq_012024-07-27 07:52 145K 
[ ]ordeq_01__t39_ordeq_01.vout2024-08-03 05:23 7.3K 
[ ]ordeq_01__t40_ordeq_012024-07-27 07:55 95K 
[ ]ordeq_01__t40_ordeq_01.vout2024-08-03 08:11 4.7K 
[ ]ordeq_01__t41_ordeq_012024-07-27 07:57 101K 
[ ]ordeq_01__t41_ordeq_01.vout2024-08-03 08:38 6.8K 
[ ]ordeq_01__t42_ordeq_012024-07-27 08:01 214K 
[ ]ordeq_01__t42_ordeq_01.vout2024-08-03 08:47 3.7K 
[ ]ordeq_01__t43_ordeq_012024-07-27 08:03 94K 
[ ]ordeq_01__t43_ordeq_01.vout2024-08-03 08:28 6.8K 
[ ]ordeq_01__t44_ordeq_012024-07-27 08:06 100K 
[ ]ordeq_01__t44_ordeq_01.vout2024-08-03 07:43 4.7K 
[ ]ordeq_01__t45_ordeq_012024-07-27 08:10 105K 
[ ]ordeq_01__t45_ordeq_01.vout2024-08-03 05:16 6.8K 
[ ]ordeq_01__t46_ordeq_012024-07-27 08:12 84K 
[ ]ordeq_01__t46_ordeq_01.vout2024-08-03 04:40 6.8K 
[ ]ordeq_01__t47_ordeq_012024-07-27 08:14 69K 
[ ]ordeq_01__t47_ordeq_01.vout2024-08-03 06:54 6.8K 
[ ]ordeq_01__t48_ordeq_012024-07-27 08:16 62K 
[ ]ordeq_01__t48_ordeq_01.vout2024-08-03 08:47 1.1K 
[ ]ordeq_01__t49_ordeq_012024-07-27 08:19 132K 
[ ]ordeq_01__t49_ordeq_01.vout2024-08-03 07:16 6.8K 
[ ]ordeq_01__t50_ordeq_012024-07-27 08:23 162K 
[ ]ordeq_01__t50_ordeq_01.vout2024-08-03 06:54 6.8K 
[ ]ordeq_01__t51_ordeq_012024-07-27 08:26 110K 
[ ]ordeq_01__t51_ordeq_01.vout2024-08-03 08:42 6.8K 
[ ]ordeq_01__t52_ordeq_012024-07-27 08:28 107K 
[ ]ordeq_01__t52_ordeq_01.vout2024-08-03 04:51 7.3K 
[ ]ordeq_01__t53_ordeq_012024-07-27 08:31 85K 
[ ]ordeq_01__t53_ordeq_01.vout2024-08-03 05:39 3.2K 
[ ]ordeq_01__t54_ordeq_012024-07-27 08:34 106K 
[ ]ordeq_01__t54_ordeq_01.vout2024-08-03 05:02 6.8K 
[ ]ordeq_01__t55_ordeq_012024-07-27 08:37 108K 
[ ]ordeq_01__t55_ordeq_01.vout2024-08-03 04:13 6.8K 
[ ]ordeq_01__t56_ordeq_012024-07-27 08:39 93K 
[ ]ordeq_01__t56_ordeq_01.vout2024-08-03 09:51 6.8K 
[ ]ordeq_01__t57_ordeq_012024-07-27 08:42 103K 
[ ]ordeq_01__t57_ordeq_01.vout2024-08-03 06:59 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80