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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordeq_02__l1_ordeq_022024-07-27 02:23 22K 
[ ]ordeq_02__l1_ordeq_02.depv12024-08-03 10:19 95  
[ ]ordeq_02__l1_ordeq_02.depvmin12024-08-03 10:24 95  
[ ]ordeq_02__l1_ordeq_02.vmin12024-08-03 10:19 563  
[ ]ordeq_02__l1_ordeq_02.vmin1out2024-08-03 10:22 4.0K 
[ ]ordeq_02__l1_ordeq_02.vout2024-08-03 05:15 3.7K 
[ ]ordeq_02__l2_ordeq_022024-07-27 02:25 55K 
[ ]ordeq_02__l2_ordeq_02.depv12024-08-03 10:19 66  
[ ]ordeq_02__l2_ordeq_02.depvmin12024-08-03 10:24 66  
[ ]ordeq_02__l2_ordeq_02.vmin12024-08-03 10:19 1.0K 
[ ]ordeq_02__l2_ordeq_02.vmin1out2024-08-03 10:22 9.1K 
[ ]ordeq_02__l2_ordeq_02.vout2024-08-03 09:53 9.2K 
[ ]ordeq_02__l3_ordeq_022024-07-27 03:52 46K 
[ ]ordeq_02__l3_ordeq_02.vout2024-08-03 06:22 8.4K 
[ ]ordeq_02__l11_ordeq_022024-07-27 03:54 56K 
[ ]ordeq_02__l11_ordeq_02.vout2024-08-03 07:32 5.8K 
[ ]ordeq_02__l17_ordeq_022024-07-27 03:56 87K 
[ ]ordeq_02__l17_ordeq_02.vout2024-08-03 06:20 6.8K 
[ ]ordeq_02__l18_ordeq_022024-07-27 03:59 69K 
[ ]ordeq_02__l18_ordeq_02.vout2024-08-03 06:58 3.7K 
[ ]ordeq_02__l19_ordeq_022024-07-27 04:01 61K 
[ ]ordeq_02__l19_ordeq_02.vout2024-08-03 06:12 1.1K 
[ ]ordeq_02__l29_ordeq_022024-07-27 04:02 68K 
[ ]ordeq_02__l29_ordeq_02.vout2024-08-03 05:12 4.1K 
[ ]ordeq_02__l30_ordeq_022024-07-27 04:04 98K 
[ ]ordeq_02__l30_ordeq_02.vout2024-08-03 06:03 4.1K 
[ ]ordeq_02__l31_ordeq_022024-07-27 04:06 83K 
[ ]ordeq_02__l31_ordeq_02.vout2024-08-03 09:33 3.7K 
[ ]ordeq_02__l32_ordeq_022024-07-27 04:08 76K 
[ ]ordeq_02__l32_ordeq_02.vout2024-08-03 08:45 6.8K 
[ ]ordeq_02__l36_ordeq_022024-07-27 04:09 50K 
[ ]ordeq_02__l36_ordeq_02.vout2024-08-03 07:19 2.0K 
[ ]ordeq_02__l37_ordeq_022024-07-27 04:11 68K 
[ ]ordeq_02__l37_ordeq_02.vout2024-08-03 07:38 7.3K 
[ ]ordeq_02__t1_ordeq_022024-07-27 02:28 86K 
[ ]ordeq_02__t1_ordeq_02.vout2024-08-03 07:56 4.7K 
[ ]ordeq_02__t2_ordeq_022024-07-27 02:30 81K 
[ ]ordeq_02__t2_ordeq_02.vout2024-08-03 09:49 4.7K 
[ ]ordeq_02__t3_ordeq_022024-07-27 02:33 112K 
[ ]ordeq_02__t3_ordeq_02.vout2024-08-03 04:14 7.3K 
[ ]ordeq_02__t5_ordeq_022024-07-27 02:38 177K 
[ ]ordeq_02__t5_ordeq_02.vout2024-08-03 08:59 3.7K 
[ ]ordeq_02__t6_ordeq_022024-07-27 02:42 158K 
[ ]ordeq_02__t6_ordeq_02.vout2024-08-03 09:46 3.7K 
[ ]ordeq_02__t7_ordeq_022024-07-27 02:45 120K 
[ ]ordeq_02__t7_ordeq_02.vout2024-08-03 09:19 4.7K 
[ ]ordeq_02__t8_ordeq_022024-07-27 02:48 138K 
[ ]ordeq_02__t8_ordeq_02.vout2024-08-03 09:35 7.3K 
[ ]ordeq_02__t9_ordeq_022024-07-27 02:51 104K 
[ ]ordeq_02__t9_ordeq_02.vout2024-08-03 06:08 7.3K 
[ ]ordeq_02__t10_ordeq_022024-07-27 02:54 95K 
[ ]ordeq_02__t10_ordeq_02.vout2024-08-03 07:07 7.3K 
[ ]ordeq_02__t11_ordeq_022024-07-27 02:57 123K 
[ ]ordeq_02__t11_ordeq_02.vout2024-08-03 07:39 3.7K 
[ ]ordeq_02__t12_ordeq_022024-07-27 03:01 150K 
[ ]ordeq_02__t12_ordeq_02.vout2024-08-03 09:33 3.7K 
[ ]ordeq_02__t13_ordeq_022024-07-27 03:04 167K 
[ ]ordeq_02__t13_ordeq_02.vout2024-08-03 04:14 3.7K 
[ ]ordeq_02__t14_ordeq_022024-07-27 03:07 92K 
[ ]ordeq_02__t14_ordeq_02.vout2024-08-03 07:52 3.7K 
[ ]ordeq_02__t15_ordeq_022024-07-27 03:09 58K 
[ ]ordeq_02__t15_ordeq_02.vout2024-08-03 05:44 3.7K 
[ ]ordeq_02__t16_ordeq_022024-07-27 03:11 55K 
[ ]ordeq_02__t16_ordeq_02.depv12024-08-03 10:19 287  
[ ]ordeq_02__t16_ordeq_02.depvmin12024-08-03 10:24 274  
[ ]ordeq_02__t16_ordeq_02.vmin12024-08-03 10:19 3.5K 
[ ]ordeq_02__t16_ordeq_02.vmin1out2024-08-03 10:20 33K 
[ ]ordeq_02__t16_ordeq_02.vout2024-08-03 05:43 59K 
[ ]ordeq_02__t17_ordeq_022024-07-27 03:14 93K 
[ ]ordeq_02__t17_ordeq_02.vout2024-08-03 06:01 6.8K 
[ ]ordeq_02__t18_ordeq_022024-07-27 03:16 83K 
[ ]ordeq_02__t18_ordeq_02.vout2024-08-03 08:33 3.7K 
[ ]ordeq_02__t19_ordeq_022024-07-27 03:18 70K 
[ ]ordeq_02__t19_ordeq_02.vout2024-08-03 06:15 6.8K 
[ ]ordeq_02__t20_ordeq_022024-07-27 03:21 202K 
[ ]ordeq_02__t20_ordeq_02.vout2024-08-03 09:52 3.7K 
[ ]ordeq_02__t21_ordeq_022024-07-27 03:24 83K 
[ ]ordeq_02__t21_ordeq_02.vout2024-08-03 04:45 6.8K 
[ ]ordeq_02__t22_ordeq_022024-07-27 03:27 121K 
[ ]ordeq_02__t22_ordeq_02.vout2024-08-03 06:20 3.7K 
[ ]ordeq_02__t23_ordeq_022024-07-27 03:30 152K 
[ ]ordeq_02__t23_ordeq_02.vout2024-08-03 06:21 3.7K 
[ ]ordeq_02__t24_ordeq_022024-07-27 03:33 117K 
[ ]ordeq_02__t24_ordeq_02.vout2024-08-03 04:58 6.8K 
[ ]ordeq_02__t25_ordeq_022024-07-27 03:36 113K 
[ ]ordeq_02__t25_ordeq_02.vout2024-08-03 09:01 7.3K 
[ ]ordeq_02__t26_ordeq_022024-07-27 03:39 92K 
[ ]ordeq_02__t26_ordeq_02.vout2024-08-03 07:19 7.3K 
[ ]ordeq_02__t27_ordeq_022024-07-27 03:41 108K 
[ ]ordeq_02__t27_ordeq_02.vout2024-08-03 07:25 3.7K 
[ ]ordeq_02__t28_ordeq_022024-07-27 03:44 107K 
[ ]ordeq_02__t28_ordeq_02.vout2024-08-03 09:10 4.2K 
[ ]ordeq_02__t29_ordeq_022024-07-27 03:47 93K 
[ ]ordeq_02__t29_ordeq_02.vout2024-08-03 09:10 6.8K 
[ ]ordeq_02__t30_ordeq_022024-07-27 03:50 103K 
[ ]ordeq_02__t30_ordeq_02.vout2024-08-03 08:44 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80