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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dblseq_2__l16_dblseq_22024-07-28 08:38 58K 
[ ]dblseq_2__l16_dblseq_2.vout2024-08-03 06:59 7.3K 
[ ]dblseq_2__t1_dblseq_22024-07-28 07:07 43K 
[ ]dblseq_2__t1_dblseq_2.vout2024-08-03 04:59 7.3K 
[ ]dblseq_2__t2_dblseq_22024-07-28 07:08 43K 
[ ]dblseq_2__t2_dblseq_2.vout2024-08-03 05:30 6.8K 
[ ]dblseq_2__t3_dblseq_22024-07-28 07:10 43K 
[ ]dblseq_2__t3_dblseq_2.vout2024-08-03 07:30 6.8K 
[ ]dblseq_2__t4_dblseq_22024-07-28 07:12 71K 
[ ]dblseq_2__t4_dblseq_2.vout2024-08-03 05:22 4.7K 
[ ]dblseq_2__t5_dblseq_22024-07-28 07:13 58K 
[ ]dblseq_2__t5_dblseq_2.vout2024-08-03 04:43 6.8K 
[ ]dblseq_2__t6_dblseq_22024-07-28 07:15 39K 
[ ]dblseq_2__t6_dblseq_2.vout2024-08-03 05:52 1.1K 
[ ]dblseq_2__t7_dblseq_22024-07-28 07:05 5.8K 
[ ]dblseq_2__t7_dblseq_2.depv12024-08-03 10:19 149  
[ ]dblseq_2__t7_dblseq_2.depvmin12024-08-03 10:24 149  
[ ]dblseq_2__t7_dblseq_2.vmin12024-08-03 10:19 2.0K 
[ ]dblseq_2__t7_dblseq_2.vmin1out2024-08-03 10:23 25K 
[ ]dblseq_2__t7_dblseq_2.vout2024-08-03 08:53 29K 
[ ]dblseq_2__t8_dblseq_22024-07-28 07:16 64K 
[ ]dblseq_2__t8_dblseq_2.vout2024-08-03 05:27 4.7K 
[ ]dblseq_2__t9_dblseq_22024-07-28 07:18 50K 
[ ]dblseq_2__t9_dblseq_2.vout2024-08-03 04:57 6.8K 
[ ]dblseq_2__t10_dblseq_22024-07-28 07:19 43K 
[ ]dblseq_2__t10_dblseq_2.vout2024-08-03 06:44 4.1K 
[ ]dblseq_2__t11_dblseq_22024-07-28 07:21 57K 
[ ]dblseq_2__t11_dblseq_2.vout2024-08-03 08:52 7.3K 
[ ]dblseq_2__t12_dblseq_22024-07-28 07:22 41K 
[ ]dblseq_2__t12_dblseq_2.vout2024-08-03 07:27 4.1K 
[ ]dblseq_2__t13_dblseq_22024-07-28 07:24 60K 
[ ]dblseq_2__t13_dblseq_2.vout2024-08-03 08:56 6.8K 
[ ]dblseq_2__t14_dblseq_22024-07-28 07:25 59K 
[ ]dblseq_2__t14_dblseq_2.vout2024-08-03 05:01 7.3K 
[ ]dblseq_2__t15_dblseq_22024-07-28 07:27 232K 
[ ]dblseq_2__t15_dblseq_2.vout2024-08-03 09:09 6.8K 
[ ]dblseq_2__t16_dblseq_22024-07-28 07:28 46K 
[ ]dblseq_2__t16_dblseq_2.vout2024-08-03 04:20 4.1K 
[ ]dblseq_2__t17_dblseq_22024-07-28 07:30 49K 
[ ]dblseq_2__t17_dblseq_2.vout2024-08-03 07:50 4.1K 
[ ]dblseq_2__t18_dblseq_22024-07-28 07:31 53K 
[ ]dblseq_2__t18_dblseq_2.vout2024-08-03 05:48 6.8K 
[ ]dblseq_2__t19_dblseq_22024-07-28 07:33 48K 
[ ]dblseq_2__t19_dblseq_2.vout2024-08-03 06:18 4.7K 
[ ]dblseq_2__t20_dblseq_22024-07-28 07:34 54K 
[ ]dblseq_2__t20_dblseq_2.vout2024-08-03 09:06 4.1K 
[ ]dblseq_2__t21_dblseq_22024-07-28 07:36 54K 
[ ]dblseq_2__t21_dblseq_2.vout2024-08-03 04:24 4.1K 
[ ]dblseq_2__t22_dblseq_22024-07-28 07:38 83K 
[ ]dblseq_2__t22_dblseq_2.vout2024-08-03 04:22 4.7K 
[ ]dblseq_2__t23_dblseq_22024-07-28 07:40 83K 
[ ]dblseq_2__t23_dblseq_2.vout2024-08-03 08:04 4.7K 
[ ]dblseq_2__t24_dblseq_22024-07-28 07:42 62K 
[ ]dblseq_2__t24_dblseq_2.vout2024-08-03 05:23 4.7K 
[ ]dblseq_2__t25_dblseq_22024-07-28 07:44 62K 
[ ]dblseq_2__t25_dblseq_2.vout2024-08-03 06:28 4.7K 
[ ]dblseq_2__t26_dblseq_22024-07-28 07:45 53K 
[ ]dblseq_2__t26_dblseq_2.vout2024-08-03 09:51 4.7K 
[ ]dblseq_2__t27_dblseq_22024-07-28 07:47 53K 
[ ]dblseq_2__t27_dblseq_2.vout2024-08-03 04:31 4.7K 
[ ]dblseq_2__t28_dblseq_22024-07-28 07:48 49K 
[ ]dblseq_2__t28_dblseq_2.vout2024-08-03 08:34 6.8K 
[ ]dblseq_2__t29_dblseq_22024-07-28 07:50 62K 
[ ]dblseq_2__t29_dblseq_2.vout2024-08-03 07:37 7.3K 
[ ]dblseq_2__t30_dblseq_22024-07-28 07:52 39K 
[ ]dblseq_2__t30_dblseq_2.depv12024-08-03 10:19 67  
[ ]dblseq_2__t30_dblseq_2.depvmin12024-08-03 10:24 67  
[ ]dblseq_2__t30_dblseq_2.vmin12024-08-03 10:19 1.8K 
[ ]dblseq_2__t30_dblseq_2.vmin1out2024-08-03 10:23 20K 
[ ]dblseq_2__t30_dblseq_2.vout2024-08-03 04:49 19K 
[ ]dblseq_2__t31_dblseq_22024-07-28 07:54 51K 
[ ]dblseq_2__t31_dblseq_2.vout2024-08-03 06:11 6.8K 
[ ]dblseq_2__t32_dblseq_22024-07-28 07:55 53K 
[ ]dblseq_2__t32_dblseq_2.vout2024-08-03 04:40 7.3K 
[ ]dblseq_2__t33_dblseq_22024-07-28 07:57 48K 
[ ]dblseq_2__t33_dblseq_2.vout2024-08-03 06:02 7.3K 
[ ]dblseq_2__t34_dblseq_22024-07-28 07:59 49K 
[ ]dblseq_2__t34_dblseq_2.vout2024-08-03 08:49 7.3K 
[ ]dblseq_2__t35_dblseq_22024-07-28 08:01 46K 
[ ]dblseq_2__t35_dblseq_2.vout2024-08-03 07:38 7.4K 
[ ]dblseq_2__t36_dblseq_22024-07-28 08:02 62K 
[ ]dblseq_2__t36_dblseq_2.vout2024-08-03 06:24 6.8K 
[ ]dblseq_2__t37_dblseq_22024-07-28 08:04 52K 
[ ]dblseq_2__t37_dblseq_2.vout2024-08-03 09:35 6.8K 
[ ]dblseq_2__t38_dblseq_22024-07-28 08:06 42K 
[ ]dblseq_2__t38_dblseq_2.vout2024-08-03 07:04 1.1K 
[ ]dblseq_2__t39_dblseq_22024-07-28 08:08 55K 
[ ]dblseq_2__t39_dblseq_2.vout2024-08-03 08:52 6.8K 
[ ]dblseq_2__t40_dblseq_22024-07-28 08:10 62K 
[ ]dblseq_2__t40_dblseq_2.vout2024-08-03 06:20 7.3K 
[ ]dblseq_2__t41_dblseq_22024-07-28 08:11 39K 
[ ]dblseq_2__t41_dblseq_2.depv12024-08-03 10:19 52  
[ ]dblseq_2__t41_dblseq_2.depvmin12024-08-03 10:24 52  
[ ]dblseq_2__t41_dblseq_2.vmin12024-08-03 10:19 1.3K 
[ ]dblseq_2__t41_dblseq_2.vmin1out2024-08-03 10:22 13K 
[ ]dblseq_2__t41_dblseq_2.vout2024-08-03 08:01 13K 
[ ]dblseq_2__t42_dblseq_22024-07-28 08:13 44K 
[ ]dblseq_2__t42_dblseq_2.depv12024-08-03 10:19 345  
[ ]dblseq_2__t42_dblseq_2.depvmin12024-08-03 10:24 204  
[ ]dblseq_2__t42_dblseq_2.vmin12024-08-03 10:19 6.6K 
[ ]dblseq_2__t42_dblseq_2.vmin1out2024-08-03 10:22 35K 
[ ]dblseq_2__t42_dblseq_2.vout2024-08-03 08:07 86K 
[ ]dblseq_2__t43_dblseq_22024-07-28 08:14 51K 
[ ]dblseq_2__t43_dblseq_2.vout2024-08-03 09:26 4.7K 
[ ]dblseq_2__t44_dblseq_22024-07-28 08:16 51K 
[ ]dblseq_2__t44_dblseq_2.vout2024-08-03 06:28 6.8K 
[ ]dblseq_2__t45_dblseq_22024-07-28 08:18 75K 
[ ]dblseq_2__t45_dblseq_2.vout2024-08-03 09:32 3.7K 
[ ]dblseq_2__t46_dblseq_22024-07-28 08:19 45K 
[ ]dblseq_2__t46_dblseq_2.vout2024-08-03 09:46 7.3K 
[ ]dblseq_2__t47_dblseq_22024-07-28 08:21 57K 
[ ]dblseq_2__t47_dblseq_2.vout2024-08-03 08:02 7.3K 
[ ]dblseq_2__t48_dblseq_22024-07-28 08:23 79K 
[ ]dblseq_2__t48_dblseq_2.vout2024-08-03 10:02 3.7K 
[ ]dblseq_2__t49_dblseq_22024-07-28 08:24 66K 
[ ]dblseq_2__t49_dblseq_2.vout2024-08-03 05:31 6.8K 
[ ]dblseq_2__t50_dblseq_22024-07-28 08:27 86K 
[ ]dblseq_2__t50_dblseq_2.vout2024-08-03 05:01 3.7K 
[ ]dblseq_2__t51_dblseq_22024-07-28 08:28 50K 
[ ]dblseq_2__t51_dblseq_2.vout2024-08-03 07:04 7.3K 
[ ]dblseq_2__t52_dblseq_22024-07-28 08:30 79K 
[ ]dblseq_2__t52_dblseq_2.vout2024-08-03 08:07 2.0K 
[ ]dblseq_2__t53_dblseq_22024-07-28 08:32 44K 
[ ]dblseq_2__t53_dblseq_2.vout2024-08-03 08:48 7.3K 
[ ]dblseq_2__t54_dblseq_22024-07-28 08:34 58K 
[ ]dblseq_2__t54_dblseq_2.vout2024-08-03 08:20 6.8K 
[ ]dblseq_2__t55_dblseq_22024-07-28 08:36 81K 
[ ]dblseq_2__t55_dblseq_2.vout2024-08-03 09:17 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80