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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]termord__l6_termord2024-07-27 01:26 38K 
[ ]termord__l6_termord.vout2024-08-03 04:20 7.3K 
[ ]termord__l11_termord2024-07-27 01:27 31K 
[ ]termord__l11_termord.depv12024-08-03 10:19 133  
[ ]termord__l11_termord.depvmin12024-08-03 10:24 133  
[ ]termord__l11_termord.vmin12024-08-03 10:19 1.9K 
[ ]termord__l11_termord.vmin1out2024-08-03 10:20 33K 
[ ]termord__l11_termord.vout2024-08-03 06:46 29K 
[ ]termord__l12_termord2024-07-27 01:29 32K 
[ ]termord__l12_termord.depv12024-08-03 10:19 156  
[ ]termord__l12_termord.depvmin12024-08-03 10:24 156  
[ ]termord__l12_termord.vmin12024-08-03 10:19 2.4K 
[ ]termord__l12_termord.vmin1out2024-08-03 10:21 42K 
[ ]termord__l12_termord.vout2024-08-03 09:37 46K 
[ ]termord__l13_termord2024-07-27 01:30 30K 
[ ]termord__l13_termord.depv12024-08-03 10:19 64  
[ ]termord__l13_termord.depvmin12024-08-03 10:24 64  
[ ]termord__l13_termord.vmin12024-08-03 10:19 892  
[ ]termord__l13_termord.vmin1out2024-08-03 10:21 17K 
[ ]termord__l13_termord.vout2024-08-03 04:29 18K 
[ ]termord__l15_termord2024-07-27 01:31 32K 
[ ]termord__l15_termord.depv12024-08-03 10:19 168  
[ ]termord__l15_termord.depvmin12024-08-03 10:24 156  
[ ]termord__l15_termord.vmin12024-08-03 10:19 2.9K 
[ ]termord__l15_termord.vmin1out2024-08-03 10:20 59K 
[ ]termord__l15_termord.vout2024-08-03 08:25 52K 
[ ]termord__l23_termord2024-07-27 00:33 33K 
[ ]termord__l23_termord.depv12024-08-03 10:19 167  
[ ]termord__l23_termord.depvmin12024-08-03 10:24 57  
[ ]termord__l23_termord.vmin12024-08-03 10:19 2.7K 
[ ]termord__l23_termord.vmin1out2024-08-03 10:23 23K 
[ ]termord__l23_termord.vout2024-08-03 09:17 38K 
[ ]termord__l31_termord2024-07-27 01:33 46K 
[ ]termord__l31_termord.vout2024-08-03 08:48 4.7K 
[ ]termord__l32_termord2024-07-27 01:35 50K 
[ ]termord__l32_termord.vout2024-08-03 07:12 4.7K 
[ ]termord__l33_termord2024-07-27 01:36 42K 
[ ]termord__l33_termord.vout2024-08-03 05:05 6.8K 
[ ]termord__l34_termord2024-07-27 01:38 51K 
[ ]termord__l34_termord.vout2024-08-03 06:41 4.7K 
[ ]termord__l35_termord2024-07-27 01:40 50K 
[ ]termord__l35_termord.vout2024-08-03 06:24 4.7K 
[ ]termord__l39_termord2024-07-27 01:41 43K 
[ ]termord__l39_termord.vout2024-08-03 06:22 4.7K 
[ ]termord__l49_termord2024-07-27 01:43 28K 
[ ]termord__l49_termord.depv12024-08-03 10:19 74  
[ ]termord__l49_termord.depvmin12024-08-03 10:24 74  
[ ]termord__l49_termord.vmin12024-08-03 10:19 1.0K 
[ ]termord__l49_termord.vmin1out2024-08-03 10:20 9.3K 
[ ]termord__l49_termord.vout2024-08-03 09:01 14K 
[ ]termord__l50_termord2024-07-27 01:46 82K 
[ ]termord__l50_termord.vout2024-08-03 05:03 4.7K 
[ ]termord__l58_termord2024-07-27 01:47 52K 
[ ]termord__l58_termord.vout2024-08-03 04:17 7.3K 
[ ]termord__l59_termord2024-07-27 01:49 52K 
[ ]termord__l59_termord.vout2024-08-03 06:12 7.3K 
[ ]termord__l60_termord2024-07-27 01:51 57K 
[ ]termord__l60_termord.vout2024-08-03 05:26 6.8K 
[ ]termord__l63_termord2024-07-27 01:53 50K 
[ ]termord__l63_termord.vout2024-08-03 09:27 4.7K 
[ ]termord__l64_termord2024-07-27 01:55 53K 
[ ]termord__l64_termord.vout2024-08-03 05:50 4.7K 
[ ]termord__t1_termord2024-07-27 00:35 47K 
[ ]termord__t1_termord.vout2024-08-03 08:14 3.7K 
[ ]termord__t2_termord2024-07-27 00:37 57K 
[ ]termord__t2_termord.vout2024-08-03 08:36 4.7K 
[ ]termord__t3_termord2024-07-27 00:40 68K 
[ ]termord__t3_termord.vout2024-08-03 08:39 4.7K 
[ ]termord__t4_termord2024-07-27 00:42 54K 
[ ]termord__t4_termord.vout2024-08-03 05:32 4.7K 
[ ]termord__t5_termord2024-07-27 00:44 33K 
[ ]termord__t5_termord.depv12024-08-03 10:19 177  
[ ]termord__t5_termord.depvmin12024-08-03 10:24 151  
[ ]termord__t5_termord.vmin12024-08-03 10:19 4.1K 
[ ]termord__t5_termord.vmin1out2024-08-03 10:20 72K 
[ ]termord__t5_termord.vout2024-08-03 09:23 64K 
[ ]termord__t6_termord2024-07-27 00:16 30K 
[ ]termord__t6_termord.depv12024-08-03 10:19 23  
[ ]termord__t6_termord.depvmin12024-08-03 10:24 23  
[ ]termord__t6_termord.vmin12024-08-03 10:19 838  
[ ]termord__t6_termord.vmin1out2024-08-03 10:20 10K 
[ ]termord__t6_termord.vout2024-08-03 07:15 9.7K 
[ ]termord__t7_termord2024-07-27 00:18 31K 
[ ]termord__t7_termord.depv12024-08-03 10:19 23  
[ ]termord__t7_termord.depvmin12024-08-03 10:24 23  
[ ]termord__t7_termord.vmin12024-08-03 10:19 1.2K 
[ ]termord__t7_termord.vmin1out2024-08-03 10:21 17K 
[ ]termord__t7_termord.vout2024-08-03 07:45 11K 
[ ]termord__t8_termord2024-07-27 00:45 31K 
[ ]termord__t8_termord.depv12024-08-03 10:19 133  
[ ]termord__t8_termord.depvmin12024-08-03 10:24 133  
[ ]termord__t8_termord.vmin12024-08-03 10:19 2.4K 
[ ]termord__t8_termord.vmin1out2024-08-03 10:20 40K 
[ ]termord__t8_termord.vout2024-08-03 09:05 52K 
[ ]termord__t9_termord2024-07-27 00:19 34K 
[ ]termord__t9_termord.vout2024-08-03 07:28 2.0K 
[ ]termord__t10_termord2024-07-27 00:46 37K 
[ ]termord__t10_termord.vout2024-08-03 06:58 4.7K 
[ ]termord__t11_termord2024-07-27 00:48 32K 
[ ]termord__t11_termord.depv12024-08-03 10:19 156  
[ ]termord__t11_termord.depvmin12024-08-03 10:24 46  
[ ]termord__t11_termord.vmin12024-08-03 10:19 2.2K 
[ ]termord__t11_termord.vmin1out2024-08-03 10:22 19K 
[ ]termord__t11_termord.vout2024-08-03 06:42 33K 
[ ]termord__t12_termord2024-07-27 00:49 32K 
[ ]termord__t12_termord.depv12024-08-03 10:19 156  
[ ]termord__t12_termord.depvmin12024-08-03 10:24 46  
[ ]termord__t12_termord.vmin12024-08-03 10:19 2.2K 
[ ]termord__t12_termord.vmin1out2024-08-03 10:22 19K 
[ ]termord__t12_termord.vout2024-08-03 09:48 33K 
[ ]termord__t13_termord2024-07-27 00:50 35K 
[ ]termord__t13_termord.depv12024-08-03 10:19 145  
[ ]termord__t13_termord.depvmin12024-08-03 10:24 35  
[ ]termord__t13_termord.vmin12024-08-03 10:19 2.6K 
[ ]termord__t13_termord.vmin1out2024-08-03 10:23 31K 
[ ]termord__t13_termord.vout2024-08-03 07:44 38K 
[ ]termord__t14_termord2024-07-27 00:52 35K 
[ ]termord__t14_termord.depv12024-08-03 10:19 145  
[ ]termord__t14_termord.depvmin12024-08-03 10:24 35  
[ ]termord__t14_termord.vmin12024-08-03 10:19 2.6K 
[ ]termord__t14_termord.vmin1out2024-08-03 10:22 31K 
[ ]termord__t14_termord.vout2024-08-03 05:32 38K 
[ ]termord__t15_termord2024-07-27 00:53 35K 
[ ]termord__t15_termord.depv12024-08-03 10:19 186  
[ ]termord__t15_termord.depvmin12024-08-03 10:24 100  
[ ]termord__t15_termord.vmin12024-08-03 10:19 5.6K 
[ ]termord__t15_termord.vmin1out2024-08-03 10:23 50K 
[ ]termord__t15_termord.vout2024-08-03 07:38 81K 
[ ]termord__t16_termord2024-07-27 00:55 35K 
[ ]termord__t16_termord.depv12024-08-03 10:19 243  
[ ]termord__t16_termord.depvmin12024-08-03 10:24 107  
[ ]termord__t16_termord.vmin12024-08-03 10:19 6.8K 
[ ]termord__t16_termord.vmin1out2024-08-03 10:23 131K 
[ ]termord__t16_termord.vout2024-08-03 06:58 79K 
[ ]termord__t17_termord2024-07-27 00:21 41K 
[ ]termord__t17_termord.depv12024-08-03 10:19 50  
[ ]termord__t17_termord.depvmin12024-08-03 10:24 24  
[ ]termord__t17_termord.vmin12024-08-03 10:19 1.3K 
[ ]termord__t17_termord.vmin1out2024-08-03 10:21 22K 
[ ]termord__t17_termord.vout2024-08-03 05:45 19K 
[ ]termord__t18_termord2024-07-27 00:22 40K 
[ ]termord__t18_termord.depv12024-08-03 10:19 50  
[ ]termord__t18_termord.depvmin12024-08-03 10:24 24  
[ ]termord__t18_termord.vmin12024-08-03 10:19 1.3K 
[ ]termord__t18_termord.vmin1out2024-08-03 10:20 15K 
[ ]termord__t18_termord.vout2024-08-03 09:25 16K 
[ ]termord__t19_termord2024-07-27 00:56 48K 
[ ]termord__t19_termord.vout2024-08-03 07:43 4.7K 
[ ]termord__t20_termord2024-07-27 00:58 44K 
[ ]termord__t20_termord.vout2024-08-03 05:18 6.8K 
[ ]termord__t21_termord2024-07-27 00:24 41K 
[ ]termord__t21_termord.depv12024-08-03 10:19 50  
[ ]termord__t21_termord.depvmin12024-08-03 10:24 24  
[ ]termord__t21_termord.vmin12024-08-03 10:19 1.4K 
[ ]termord__t21_termord.vmin1out2024-08-03 10:23 17K 
[ ]termord__t21_termord.vout2024-08-03 08:13 19K 
[ ]termord__t22_termord2024-07-27 01:00 51K 
[ ]termord__t22_termord.vout2024-08-03 09:58 4.7K 
[ ]termord__t23_termord2024-07-27 00:25 43K 
[ ]termord__t23_termord.depv12024-08-03 10:19 24  
[ ]termord__t23_termord.depvmin12024-08-03 10:24 24  
[ ]termord__t23_termord.vmin12024-08-03 10:19 1.4K 
[ ]termord__t23_termord.vmin1out2024-08-03 10:22 26K 
[ ]termord__t23_termord.vout2024-08-03 07:22 15K 
[ ]termord__t24_termord2024-07-27 01:01 44K 
[ ]termord__t24_termord.depv12024-08-03 10:19 76  
[ ]termord__t24_termord.depvmin12024-08-03 10:24 76  
[ ]termord__t24_termord.vmin12024-08-03 10:19 2.2K 
[ ]termord__t24_termord.vmin1out2024-08-03 10:21 31K 
[ ]termord__t24_termord.vout2024-08-03 04:43 18K 
[ ]termord__t25_termord2024-07-27 01:03 44K 
[ ]termord__t25_termord.depv12024-08-03 10:19 130  
[ ]termord__t25_termord.depvmin12024-08-03 10:24 130  
[ ]termord__t25_termord.vmin12024-08-03 10:19 2.6K 
[ ]termord__t25_termord.vmin1out2024-08-03 10:21 38K 
[ ]termord__t25_termord.vout2024-08-03 06:05 38K 
[ ]termord__t26_termord2024-07-27 01:05 51K 
[ ]termord__t26_termord.vout2024-08-03 04:58 4.7K 
[ ]termord__t27_termord2024-07-27 01:06 41K 
[ ]termord__t27_termord.vout2024-08-03 10:10 4.7K 
[ ]termord__t28_termord2024-07-27 00:27 42K 
[ ]termord__t28_termord.depv12024-08-03 10:19 38  
[ ]termord__t28_termord.depvmin12024-08-03 10:24 38  
[ ]termord__t28_termord.vmin12024-08-03 10:19 2.0K 
[ ]termord__t28_termord.vmin1out2024-08-03 10:20 40K 
[ ]termord__t28_termord.vout2024-08-03 07:29 17K 
[ ]termord__t29_termord2024-07-27 01:09 60K 
[ ]termord__t29_termord.vout2024-08-03 06:59 4.7K 
[ ]termord__t30_termord2024-07-27 01:25 61K 
[ ]termord__t30_termord.vout2024-08-03 09:08 3.7K 
[ ]termord__t31_termord2024-07-27 01:11 55K 
[ ]termord__t31_termord.vout2024-08-03 09:58 4.2K 
[ ]termord__t32_termord2024-07-27 01:13 53K 
[ ]termord__t32_termord.vout2024-08-03 05:35 4.7K 
[ ]termord__t33_termord2024-07-27 01:15 59K 
[ ]termord__t33_termord.vout2024-08-03 08:16 4.7K 
[ ]termord__t34_termord2024-07-27 01:17 51K 
[ ]termord__t34_termord.vout2024-08-03 05:18 7.3K 
[ ]termord__t35_termord2024-07-27 01:19 48K 
[ ]termord__t35_termord.vout2024-08-03 06:21 7.3K 
[ ]termord__t36_termord2024-07-27 00:29 48K 
[ ]termord__t36_termord.depv12024-08-03 10:19 50  
[ ]termord__t36_termord.depvmin12024-08-03 10:24 24  
[ ]termord__t36_termord.vmin12024-08-03 10:19 1.5K 
[ ]termord__t36_termord.vmin1out2024-08-03 10:23 18K 
[ ]termord__t36_termord.vout2024-08-03 08:11 20K 
[ ]termord__t37_termord2024-07-27 01:20 53K 
[ ]termord__t37_termord.vout2024-08-03 08:09 7.3K 
[ ]termord__t38_termord2024-07-27 01:22 53K 
[ ]termord__t38_termord.vout2024-08-03 09:19 4.7K 
[ ]termord__t39_termord2024-07-27 00:30 46K 
[ ]termord__t39_termord.depv12024-08-03 10:19 50  
[ ]termord__t39_termord.depvmin12024-08-03 10:24 24  
[ ]termord__t39_termord.vmin12024-08-03 10:19 1.4K 
[ ]termord__t39_termord.vmin1out2024-08-03 10:21 16K 
[ ]termord__t39_termord.vout2024-08-03 08:13 18K 
[ ]termord__t40_termord2024-07-27 00:32 46K 
[ ]termord__t40_termord.depv12024-08-03 10:19 50  
[ ]termord__t40_termord.depvmin12024-08-03 10:24 50  
[ ]termord__t40_termord.vmin12024-08-03 10:19 1.8K 
[ ]termord__t40_termord.vmin1out2024-08-03 10:20 39K 
[ ]termord__t40_termord.vout2024-08-03 09:51 40K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80