Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/ordeq_02

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ordeq_02__l1_ordeq_022025-09-08 07:16 22K 
[ ]ordeq_02__l1_ordeq_02.depv12025-09-15 19:47 95  
[ ]ordeq_02__l1_ordeq_02.depvmin12025-09-15 19:52 95  
[ ]ordeq_02__l1_ordeq_02.vmin12025-09-15 19:47 563  
[ ]ordeq_02__l1_ordeq_02.vmin1out2025-09-15 19:50 4.0K 
[ ]ordeq_02__l1_ordeq_02.vout2025-09-15 14:37 3.7K 
[ ]ordeq_02__l2_ordeq_022025-09-08 07:18 55K 
[ ]ordeq_02__l2_ordeq_02.depv12025-09-15 19:47 66  
[ ]ordeq_02__l2_ordeq_02.depvmin12025-09-15 19:52 66  
[ ]ordeq_02__l2_ordeq_02.vmin12025-09-15 19:47 1.0K 
[ ]ordeq_02__l2_ordeq_02.vmin1out2025-09-15 19:48 9.1K 
[ ]ordeq_02__l2_ordeq_02.vout2025-09-15 17:18 9.2K 
[ ]ordeq_02__l3_ordeq_022025-09-08 08:49 46K 
[ ]ordeq_02__l3_ordeq_02.vout2025-09-15 13:45 8.4K 
[ ]ordeq_02__l11_ordeq_022025-09-08 08:51 56K 
[ ]ordeq_02__l11_ordeq_02.vout2025-09-15 14:04 5.8K 
[ ]ordeq_02__l17_ordeq_022025-09-08 08:54 87K 
[ ]ordeq_02__l17_ordeq_02.vout2025-09-15 13:29 6.8K 
[ ]ordeq_02__l18_ordeq_022025-09-08 08:56 69K 
[ ]ordeq_02__l18_ordeq_02.vout2025-09-15 13:33 3.7K 
[ ]ordeq_02__l19_ordeq_022025-09-08 08:59 61K 
[ ]ordeq_02__l19_ordeq_02.vout2025-09-15 15:39 1.1K 
[ ]ordeq_02__l29_ordeq_022025-09-08 09:00 68K 
[ ]ordeq_02__l29_ordeq_02.vout2025-09-15 14:34 4.1K 
[ ]ordeq_02__l30_ordeq_022025-09-08 09:02 98K 
[ ]ordeq_02__l30_ordeq_02.vout2025-09-15 15:43 4.1K 
[ ]ordeq_02__l31_ordeq_022025-09-08 09:05 83K 
[ ]ordeq_02__l31_ordeq_02.vout2025-09-15 18:02 3.7K 
[ ]ordeq_02__l32_ordeq_022025-09-08 09:07 76K 
[ ]ordeq_02__l32_ordeq_02.vout2025-09-15 14:11 6.8K 
[ ]ordeq_02__l36_ordeq_022025-09-08 09:08 50K 
[ ]ordeq_02__l36_ordeq_02.vout2025-09-15 19:38 2.0K 
[ ]ordeq_02__l37_ordeq_022025-09-08 09:10 68K 
[ ]ordeq_02__l37_ordeq_02.vout2025-09-15 15:35 7.3K 
[ ]ordeq_02__t1_ordeq_022025-09-08 07:20 86K 
[ ]ordeq_02__t1_ordeq_02.vout2025-09-15 13:50 4.7K 
[ ]ordeq_02__t2_ordeq_022025-09-08 07:23 81K 
[ ]ordeq_02__t2_ordeq_02.vout2025-09-15 13:41 4.7K 
[ ]ordeq_02__t3_ordeq_022025-09-08 07:26 112K 
[ ]ordeq_02__t3_ordeq_02.vout2025-09-15 16:08 6.8K 
[ ]ordeq_02__t5_ordeq_022025-09-08 07:30 177K 
[ ]ordeq_02__t5_ordeq_02.vout2025-09-15 17:39 3.7K 
[ ]ordeq_02__t6_ordeq_022025-09-08 07:34 158K 
[ ]ordeq_02__t6_ordeq_02.vout2025-09-15 16:24 3.7K 
[ ]ordeq_02__t7_ordeq_022025-09-08 07:37 120K 
[ ]ordeq_02__t7_ordeq_02.vout2025-09-15 19:37 4.7K 
[ ]ordeq_02__t8_ordeq_022025-09-08 07:41 138K 
[ ]ordeq_02__t8_ordeq_02.vout2025-09-15 14:53 6.8K 
[ ]ordeq_02__t9_ordeq_022025-09-08 07:44 104K 
[ ]ordeq_02__t9_ordeq_02.vout2025-09-15 16:29 7.3K 
[ ]ordeq_02__t10_ordeq_022025-09-08 07:46 95K 
[ ]ordeq_02__t10_ordeq_02.vout2025-09-15 15:28 7.3K 
[ ]ordeq_02__t11_ordeq_022025-09-08 07:50 123K 
[ ]ordeq_02__t11_ordeq_02.vout2025-09-15 15:09 3.7K 
[ ]ordeq_02__t12_ordeq_022025-09-08 07:54 150K 
[ ]ordeq_02__t12_ordeq_02.vout2025-09-15 17:21 3.7K 
[ ]ordeq_02__t13_ordeq_022025-09-08 07:57 167K 
[ ]ordeq_02__t13_ordeq_02.vout2025-09-15 15:29 3.7K 
[ ]ordeq_02__t14_ordeq_022025-09-08 08:00 92K 
[ ]ordeq_02__t14_ordeq_02.vout2025-09-15 13:53 3.7K 
[ ]ordeq_02__t15_ordeq_022025-09-08 08:02 58K 
[ ]ordeq_02__t15_ordeq_02.vout2025-09-15 15:15 3.7K 
[ ]ordeq_02__t16_ordeq_022025-09-08 08:04 55K 
[ ]ordeq_02__t16_ordeq_02.depv12025-09-15 19:47 287  
[ ]ordeq_02__t16_ordeq_02.depvmin12025-09-15 19:52 274  
[ ]ordeq_02__t16_ordeq_02.vmin12025-09-15 19:47 3.5K 
[ ]ordeq_02__t16_ordeq_02.vmin1out2025-09-15 19:50 33K 
[ ]ordeq_02__t16_ordeq_02.vout2025-09-15 13:37 59K 
[ ]ordeq_02__t17_ordeq_022025-09-08 08:07 94K 
[ ]ordeq_02__t17_ordeq_02.vout2025-09-15 14:37 6.8K 
[ ]ordeq_02__t18_ordeq_022025-09-08 08:10 83K 
[ ]ordeq_02__t18_ordeq_02.vout2025-09-15 13:29 3.7K 
[ ]ordeq_02__t19_ordeq_022025-09-08 08:13 70K 
[ ]ordeq_02__t19_ordeq_02.vout2025-09-15 18:07 6.8K 
[ ]ordeq_02__t20_ordeq_022025-09-08 08:16 203K 
[ ]ordeq_02__t20_ordeq_02.vout2025-09-15 14:43 3.7K 
[ ]ordeq_02__t21_ordeq_022025-09-08 08:19 83K 
[ ]ordeq_02__t21_ordeq_02.vout2025-09-15 19:02 7.3K 
[ ]ordeq_02__t22_ordeq_022025-09-08 08:22 121K 
[ ]ordeq_02__t22_ordeq_02.vout2025-09-15 18:16 3.7K 
[ ]ordeq_02__t23_ordeq_022025-09-08 08:26 152K 
[ ]ordeq_02__t23_ordeq_02.vout2025-09-15 14:16 3.7K 
[ ]ordeq_02__t24_ordeq_022025-09-08 08:29 117K 
[ ]ordeq_02__t24_ordeq_02.vout2025-09-15 14:47 6.8K 
[ ]ordeq_02__t25_ordeq_022025-09-08 08:32 114K 
[ ]ordeq_02__t25_ordeq_02.vout2025-09-15 15:03 7.3K 
[ ]ordeq_02__t26_ordeq_022025-09-08 08:35 92K 
[ ]ordeq_02__t26_ordeq_02.vout2025-09-15 13:44 7.3K 
[ ]ordeq_02__t27_ordeq_022025-09-08 08:38 108K 
[ ]ordeq_02__t27_ordeq_02.vout2025-09-15 14:14 3.7K 
[ ]ordeq_02__t28_ordeq_022025-09-08 08:41 108K 
[ ]ordeq_02__t28_ordeq_02.vout2025-09-15 19:28 3.7K 
[ ]ordeq_02__t29_ordeq_022025-09-08 08:44 93K 
[ ]ordeq_02__t29_ordeq_02.vout2025-09-15 13:43 6.8K 
[ ]ordeq_02__t30_ordeq_022025-09-08 08:47 103K 
[ ]ordeq_02__t30_ordeq_02.vout2025-09-15 14:44 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80