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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]termord__l6_termord2021-07-17 22:07 34K 
[ ]termord__l6_termord.vout2021-07-25 20:20 7.3K 
[ ]termord__l11_termord2021-07-17 22:08 28K 
[ ]termord__l11_termord.depv12021-07-25 20:57 133  
[ ]termord__l11_termord.depvmin12021-07-25 21:03 133  
[ ]termord__l11_termord.vmin12021-07-25 20:57 1.9K 
[ ]termord__l11_termord.vmin1out2021-07-25 21:01 33K 
[ ]termord__l11_termord.vout2021-07-25 18:08 29K 
[ ]termord__l12_termord2021-07-17 22:08 29K 
[ ]termord__l12_termord.depv12021-07-25 20:57 241  
[ ]termord__l12_termord.depvmin12021-07-25 21:03 157  
[ ]termord__l12_termord.vmin12021-07-25 20:57 3.1K 
[ ]termord__l12_termord.vmin1out2021-07-25 21:02 42K 
[ ]termord__l12_termord.vout2021-07-25 14:43 45K 
[ ]termord__l13_termord2021-07-17 22:09 27K 
[ ]termord__l13_termord.depv12021-07-25 20:57 64  
[ ]termord__l13_termord.depvmin12021-07-25 21:03 64  
[ ]termord__l13_termord.vmin12021-07-25 20:57 892  
[ ]termord__l13_termord.vmin1out2021-07-25 21:00 17K 
[ ]termord__l13_termord.vout2021-07-25 17:54 18K 
[ ]termord__l15_termord2021-07-17 22:09 29K 
[ ]termord__l15_termord.depv12021-07-25 20:57 168  
[ ]termord__l15_termord.depvmin12021-07-25 21:03 156  
[ ]termord__l15_termord.vmin12021-07-25 20:57 2.9K 
[ ]termord__l15_termord.vmin1out2021-07-25 21:02 59K 
[ ]termord__l15_termord.vout2021-07-25 17:26 52K 
[ ]termord__l23_termord2021-07-17 21:49 30K 
[ ]termord__l23_termord.depv12021-07-25 20:57 181  
[ ]termord__l23_termord.depvmin12021-07-25 21:03 57  
[ ]termord__l23_termord.vmin12021-07-25 20:57 3.5K 
[ ]termord__l23_termord.vmin1out2021-07-25 20:57 36K 
[ ]termord__l23_termord.vout2021-07-25 15:37 47K 
[ ]termord__l31_termord2021-07-17 22:10 43K 
[ ]termord__l31_termord.vout2021-07-25 17:14 4.7K 
[ ]termord__l32_termord2021-07-17 22:10 47K 
[ ]termord__l32_termord.vout2021-07-25 16:52 4.7K 
[ ]termord__l33_termord2021-07-17 22:11 39K 
[ ]termord__l33_termord.vout2021-07-25 20:34 6.8K 
[ ]termord__l34_termord2021-07-17 22:11 48K 
[ ]termord__l34_termord.vout2021-07-25 15:19 4.7K 
[ ]termord__l35_termord2021-07-17 22:12 46K 
[ ]termord__l35_termord.vout2021-07-25 16:24 4.7K 
[ ]termord__l39_termord2021-07-17 22:13 40K 
[ ]termord__l39_termord.vout2021-07-25 16:46 4.7K 
[ ]termord__l49_termord2021-07-17 22:13 25K 
[ ]termord__l49_termord.depv12021-07-25 20:57 74  
[ ]termord__l49_termord.depvmin12021-07-25 21:03 74  
[ ]termord__l49_termord.vmin12021-07-25 20:57 1.0K 
[ ]termord__l49_termord.vmin1out2021-07-25 20:57 9.3K 
[ ]termord__l49_termord.vout2021-07-25 16:28 14K 
[ ]termord__l50_termord2021-07-17 22:14 77K 
[ ]termord__l50_termord.vout2021-07-25 16:16 4.7K 
[ ]termord__l58_termord2021-07-17 22:15 49K 
[ ]termord__l58_termord.vout2021-07-25 20:27 7.3K 
[ ]termord__l59_termord2021-07-17 22:15 49K 
[ ]termord__l59_termord.vout2021-07-25 17:46 7.3K 
[ ]termord__l60_termord2021-07-17 22:16 54K 
[ ]termord__l60_termord.vout2021-07-25 14:43 7.3K 
[ ]termord__l63_termord2021-07-17 22:17 47K 
[ ]termord__l63_termord.vout2021-07-25 18:34 4.7K 
[ ]termord__l64_termord2021-07-17 22:17 50K 
[ ]termord__l64_termord.vout2021-07-25 19:25 4.7K 
[ ]termord__t1_termord2021-07-17 21:49 43K 
[ ]termord__t1_termord.vout2021-07-25 15:53 3.7K 
[ ]termord__t2_termord2021-07-17 21:50 53K 
[ ]termord__t2_termord.vout2021-07-25 20:45 4.7K 
[ ]termord__t3_termord2021-07-17 21:51 64K 
[ ]termord__t3_termord.vout2021-07-25 16:57 4.7K 
[ ]termord__t4_termord2021-07-17 21:52 51K 
[ ]termord__t4_termord.vout2021-07-25 15:46 4.7K 
[ ]termord__t5_termord2021-07-17 21:52 30K 
[ ]termord__t5_termord.depv12021-07-25 20:57 177  
[ ]termord__t5_termord.depvmin12021-07-25 21:03 151  
[ ]termord__t5_termord.vmin12021-07-25 20:57 4.1K 
[ ]termord__t5_termord.vmin1out2021-07-25 20:59 72K 
[ ]termord__t5_termord.vout2021-07-25 16:30 64K 
[ ]termord__t6_termord2021-07-17 21:43 27K 
[ ]termord__t6_termord.depv12021-07-25 20:57 23  
[ ]termord__t6_termord.depvmin12021-07-25 21:03 23  
[ ]termord__t6_termord.vmin12021-07-25 20:57 838  
[ ]termord__t6_termord.vmin1out2021-07-25 20:57 10K 
[ ]termord__t6_termord.vout2021-07-25 15:55 9.7K 
[ ]termord__t7_termord2021-07-17 21:43 28K 
[ ]termord__t7_termord.depv12021-07-25 20:57 23  
[ ]termord__t7_termord.depvmin12021-07-25 21:03 23  
[ ]termord__t7_termord.vmin12021-07-25 20:57 1.2K 
[ ]termord__t7_termord.vmin1out2021-07-25 20:57 17K 
[ ]termord__t7_termord.vout2021-07-25 15:17 11K 
[ ]termord__t8_termord2021-07-17 21:53 28K 
[ ]termord__t8_termord.depv12021-07-25 20:57 133  
[ ]termord__t8_termord.depvmin12021-07-25 21:03 133  
[ ]termord__t8_termord.vmin12021-07-25 20:57 2.4K 
[ ]termord__t8_termord.vmin1out2021-07-25 21:01 40K 
[ ]termord__t8_termord.vout2021-07-25 16:54 52K 
[ ]termord__t9_termord2021-07-17 21:44 31K 
[ ]termord__t9_termord.vout2021-07-25 20:06 2.0K 
[ ]termord__t10_termord2021-07-17 21:53 34K 
[ ]termord__t10_termord.vout2021-07-25 17:41 4.7K 
[ ]termord__t11_termord2021-07-17 21:54 29K 
[ ]termord__t11_termord.depv12021-07-25 20:57 156  
[ ]termord__t11_termord.depvmin12021-07-25 21:03 46  
[ ]termord__t11_termord.vmin12021-07-25 20:57 2.2K 
[ ]termord__t11_termord.vmin1out2021-07-25 21:01 19K 
[ ]termord__t11_termord.vout2021-07-25 20:48 33K 
[ ]termord__t12_termord2021-07-17 21:54 29K 
[ ]termord__t12_termord.depv12021-07-25 20:57 156  
[ ]termord__t12_termord.depvmin12021-07-25 21:03 46  
[ ]termord__t12_termord.vmin12021-07-25 20:57 2.2K 
[ ]termord__t12_termord.vmin1out2021-07-25 21:02 19K 
[ ]termord__t12_termord.vout2021-07-25 20:50 33K 
[ ]termord__t13_termord2021-07-17 21:55 32K 
[ ]termord__t13_termord.depv12021-07-25 20:57 61  
[ ]termord__t13_termord.depvmin12021-07-25 21:03 35  
[ ]termord__t13_termord.vmin12021-07-25 20:57 2.0K 
[ ]termord__t13_termord.vmin1out2021-07-25 20:59 31K 
[ ]termord__t13_termord.vout2021-07-25 17:44 50K 
[ ]termord__t14_termord2021-07-17 21:55 32K 
[ ]termord__t14_termord.depv12021-07-25 20:57 61  
[ ]termord__t14_termord.depvmin12021-07-25 21:03 35  
[ ]termord__t14_termord.vmin12021-07-25 20:57 2.0K 
[ ]termord__t14_termord.vmin1out2021-07-25 21:00 31K 
[ ]termord__t14_termord.vout2021-07-25 19:09 50K 
[ ]termord__t15_termord2021-07-17 21:56 32K 
[ ]termord__t15_termord.depv12021-07-25 20:57 181  
[ ]termord__t15_termord.depvmin12021-07-25 21:03 93  
[ ]termord__t15_termord.vmin12021-07-25 20:57 6.0K 
[ ]termord__t15_termord.vmin1out2021-07-25 21:00 122K 
[ ]termord__t15_termord.vout2021-07-25 16:28 96K 
[ ]termord__t16_termord2021-07-17 21:56 33K 
[ ]termord__t16_termord.depv12021-07-25 20:57 231  
[ ]termord__t16_termord.depvmin12021-07-25 21:03 121  
[ ]termord__t16_termord.vmin12021-07-25 20:57 6.2K 
[ ]termord__t16_termord.vmin1out2021-07-25 21:00 171K 
[ ]termord__t16_termord.vout2021-07-25 16:37 81K 
[ ]termord__t17_termord2021-07-17 21:44 38K 
[ ]termord__t17_termord.depv12021-07-25 20:57 50  
[ ]termord__t17_termord.depvmin12021-07-25 21:03 24  
[ ]termord__t17_termord.vmin12021-07-25 20:57 1.3K 
[ ]termord__t17_termord.vmin1out2021-07-25 21:02 22K 
[ ]termord__t17_termord.vout2021-07-25 16:36 19K 
[ ]termord__t18_termord2021-07-17 21:45 37K 
[ ]termord__t18_termord.depv12021-07-25 20:57 50  
[ ]termord__t18_termord.depvmin12021-07-25 21:03 24  
[ ]termord__t18_termord.vmin12021-07-25 20:57 1.3K 
[ ]termord__t18_termord.vmin1out2021-07-25 21:00 15K 
[ ]termord__t18_termord.vout2021-07-25 17:47 16K 
[ ]termord__t19_termord2021-07-17 21:57 45K 
[ ]termord__t19_termord.vout2021-07-25 17:50 4.7K 
[ ]termord__t20_termord2021-07-17 21:57 41K 
[ ]termord__t20_termord.vout2021-07-25 16:52 6.8K 
[ ]termord__t21_termord2021-07-17 21:45 38K 
[ ]termord__t21_termord.depv12021-07-25 20:57 50  
[ ]termord__t21_termord.depvmin12021-07-25 21:03 24  
[ ]termord__t21_termord.vmin12021-07-25 20:57 1.4K 
[ ]termord__t21_termord.vmin1out2021-07-25 21:02 17K 
[ ]termord__t21_termord.vout2021-07-25 14:39 19K 
[ ]termord__t22_termord2021-07-17 21:58 48K 
[ ]termord__t22_termord.vout2021-07-25 14:59 4.7K 
[ ]termord__t23_termord2021-07-17 21:46 40K 
[ ]termord__t23_termord.depv12021-07-25 20:57 24  
[ ]termord__t23_termord.depvmin12021-07-25 21:03 24  
[ ]termord__t23_termord.vmin12021-07-25 20:57 1.4K 
[ ]termord__t23_termord.vmin1out2021-07-25 21:02 26K 
[ ]termord__t23_termord.vout2021-07-25 16:09 15K 
[ ]termord__t24_termord2021-07-17 21:59 41K 
[ ]termord__t24_termord.depv12021-07-25 20:57 76  
[ ]termord__t24_termord.depvmin12021-07-25 21:03 76  
[ ]termord__t24_termord.vmin12021-07-25 20:57 2.2K 
[ ]termord__t24_termord.vmin1out2021-07-25 20:59 31K 
[ ]termord__t24_termord.vout2021-07-25 17:34 18K 
[ ]termord__t25_termord2021-07-17 21:59 41K 
[ ]termord__t25_termord.depv12021-07-25 20:57 130  
[ ]termord__t25_termord.depvmin12021-07-25 21:03 130  
[ ]termord__t25_termord.vmin12021-07-25 20:57 2.6K 
[ ]termord__t25_termord.vmin1out2021-07-25 21:00 38K 
[ ]termord__t25_termord.vout2021-07-25 20:18 38K 
[ ]termord__t26_termord2021-07-17 22:00 49K 
[ ]termord__t26_termord.vout2021-07-25 14:57 4.7K 
[ ]termord__t27_termord2021-07-17 22:00 38K 
[ ]termord__t27_termord.vout2021-07-25 20:15 4.7K 
[ ]termord__t28_termord2021-07-17 21:46 40K 
[ ]termord__t28_termord.depv12021-07-25 20:57 38  
[ ]termord__t28_termord.depvmin12021-07-25 21:03 38  
[ ]termord__t28_termord.vmin12021-07-25 20:57 2.0K 
[ ]termord__t28_termord.vmin1out2021-07-25 20:59 40K 
[ ]termord__t28_termord.vout2021-07-25 20:23 17K 
[ ]termord__t29_termord2021-07-17 22:01 57K 
[ ]termord__t29_termord.vout2021-07-25 18:48 4.7K 
[ ]termord__t30_termord2021-07-17 22:07 57K 
[ ]termord__t30_termord.vout2021-07-25 19:46 3.7K 
[ ]termord__t31_termord2021-07-17 22:02 52K 
[ ]termord__t31_termord.vout2021-07-25 16:17 4.2K 
[ ]termord__t32_termord2021-07-17 22:03 50K 
[ ]termord__t32_termord.vout2021-07-25 19:16 4.7K 
[ ]termord__t33_termord2021-07-17 22:03 56K 
[ ]termord__t33_termord.vout2021-07-25 20:42 4.7K 
[ ]termord__t34_termord2021-07-17 22:04 48K 
[ ]termord__t34_termord.vout2021-07-25 19:05 7.3K 
[ ]termord__t35_termord2021-07-17 22:05 45K 
[ ]termord__t35_termord.vout2021-07-25 20:00 7.3K 
[ ]termord__t36_termord2021-07-17 21:47 45K 
[ ]termord__t36_termord.depv12021-07-25 20:57 50  
[ ]termord__t36_termord.depvmin12021-07-25 21:03 24  
[ ]termord__t36_termord.vmin12021-07-25 20:57 1.5K 
[ ]termord__t36_termord.vmin1out2021-07-25 20:58 18K 
[ ]termord__t36_termord.vout2021-07-25 16:21 20K 
[ ]termord__t37_termord2021-07-17 22:05 50K 
[ ]termord__t37_termord.vout2021-07-25 15:37 7.3K 
[ ]termord__t38_termord2021-07-17 22:06 49K 
[ ]termord__t38_termord.vout2021-07-25 20:17 4.7K 
[ ]termord__t39_termord2021-07-17 21:48 43K 
[ ]termord__t39_termord.depv12021-07-25 20:57 50  
[ ]termord__t39_termord.depvmin12021-07-25 21:03 24  
[ ]termord__t39_termord.vmin12021-07-25 20:57 1.4K 
[ ]termord__t39_termord.vmin1out2021-07-25 21:01 16K 
[ ]termord__t39_termord.vout2021-07-25 16:33 18K 
[ ]termord__t40_termord2021-07-17 21:48 43K 
[ ]termord__t40_termord.depv12021-07-25 20:57 50  
[ ]termord__t40_termord.depvmin12021-07-25 21:03 50  
[ ]termord__t40_termord.vmin12021-07-25 20:57 1.8K 
[ ]termord__t40_termord.vmin1out2021-07-25 21:01 39K 
[ ]termord__t40_termord.vout2021-07-25 15:40 40K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80