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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dblseq_2__t55_dblseq_2.vout2021-07-25 20:36 6.8K 
[ ]dblseq_2__t55_dblseq_22021-07-18 00:31 77K 
[ ]dblseq_2__t54_dblseq_2.vout2021-07-25 15:46 6.8K 
[ ]dblseq_2__t54_dblseq_22021-07-18 00:30 53K 
[ ]dblseq_2__t53_dblseq_2.vout2021-07-25 17:00 7.3K 
[ ]dblseq_2__t53_dblseq_22021-07-18 00:29 41K 
[ ]dblseq_2__t52_dblseq_2.vout2021-07-25 15:47 2.0K 
[ ]dblseq_2__t52_dblseq_22021-07-18 00:29 75K 
[ ]dblseq_2__t51_dblseq_2.vout2021-07-25 18:02 7.3K 
[ ]dblseq_2__t51_dblseq_22021-07-18 00:28 47K 
[ ]dblseq_2__t50_dblseq_2.vout2021-07-25 18:00 3.7K 
[ ]dblseq_2__t50_dblseq_22021-07-18 00:27 81K 
[ ]dblseq_2__t49_dblseq_2.vout2021-07-25 19:33 6.8K 
[ ]dblseq_2__t49_dblseq_22021-07-18 00:27 61K 
[ ]dblseq_2__t48_dblseq_2.vout2021-07-25 20:49 3.7K 
[ ]dblseq_2__t48_dblseq_22021-07-18 00:26 74K 
[ ]dblseq_2__t47_dblseq_2.vout2021-07-25 20:49 7.3K 
[ ]dblseq_2__t47_dblseq_22021-07-18 00:25 51K 
[ ]dblseq_2__t46_dblseq_2.vout2021-07-25 20:38 7.3K 
[ ]dblseq_2__t46_dblseq_22021-07-18 00:25 40K 
[ ]dblseq_2__t45_dblseq_2.vout2021-07-25 18:03 3.7K 
[ ]dblseq_2__t45_dblseq_22021-07-18 00:24 70K 
[ ]dblseq_2__t44_dblseq_2.vout2021-07-25 16:53 7.3K 
[ ]dblseq_2__t44_dblseq_22021-07-18 00:23 47K 
[ ]dblseq_2__t43_dblseq_2.vout2021-07-25 20:48 4.7K 
[ ]dblseq_2__t43_dblseq_22021-07-18 00:23 47K 
[ ]dblseq_2__t42_dblseq_2.vout2021-07-25 15:24 86K 
[ ]dblseq_2__t42_dblseq_2.vmin1out2021-07-25 20:57 35K 
[ ]dblseq_2__t42_dblseq_2.vmin12021-07-25 20:57 6.5K 
[ ]dblseq_2__t42_dblseq_2.depvmin12021-07-25 21:03 204  
[ ]dblseq_2__t42_dblseq_2.depv12021-07-25 20:57 334  
[ ]dblseq_2__t42_dblseq_22021-07-18 00:22 40K 
[ ]dblseq_2__t41_dblseq_2.vout2021-07-25 18:38 13K 
[ ]dblseq_2__t41_dblseq_2.vmin1out2021-07-25 20:58 13K 
[ ]dblseq_2__t41_dblseq_2.vmin12021-07-25 20:57 1.3K 
[ ]dblseq_2__t41_dblseq_2.depvmin12021-07-25 21:03 52  
[ ]dblseq_2__t41_dblseq_2.depv12021-07-25 20:57 52  
[ ]dblseq_2__t41_dblseq_22021-07-18 00:22 35K 
[ ]dblseq_2__t40_dblseq_2.vout2021-07-25 15:40 7.3K 
[ ]dblseq_2__t40_dblseq_22021-07-18 00:21 59K 
[ ]dblseq_2__t39_dblseq_2.vout2021-07-25 14:45 6.8K 
[ ]dblseq_2__t39_dblseq_22021-07-18 00:20 51K 
[ ]dblseq_2__t38_dblseq_2.vout2021-07-25 17:36 1.1K 
[ ]dblseq_2__t38_dblseq_22021-07-18 00:20 38K 
[ ]dblseq_2__t37_dblseq_2.vout2021-07-25 19:57 6.8K 
[ ]dblseq_2__t37_dblseq_22021-07-18 00:19 48K 
[ ]dblseq_2__t36_dblseq_2.vout2021-07-25 20:31 6.8K 
[ ]dblseq_2__t36_dblseq_22021-07-18 00:19 58K 
[ ]dblseq_2__t35_dblseq_2.vout2021-07-25 16:53 7.4K 
[ ]dblseq_2__t35_dblseq_22021-07-18 00:18 42K 
[ ]dblseq_2__t34_dblseq_2.vout2021-07-25 19:10 6.8K 
[ ]dblseq_2__t34_dblseq_22021-07-18 00:18 45K 
[ ]dblseq_2__t33_dblseq_2.vout2021-07-25 16:18 7.3K 
[ ]dblseq_2__t33_dblseq_22021-07-18 00:17 44K 
[ ]dblseq_2__t32_dblseq_2.vout2021-07-25 19:30 7.3K 
[ ]dblseq_2__t32_dblseq_22021-07-18 00:17 49K 
[ ]dblseq_2__t31_dblseq_2.vout2021-07-25 19:31 6.8K 
[ ]dblseq_2__t31_dblseq_22021-07-18 00:16 47K 
[ ]dblseq_2__t30_dblseq_2.vout2021-07-25 18:10 19K 
[ ]dblseq_2__t30_dblseq_2.vmin1out2021-07-25 20:59 20K 
[ ]dblseq_2__t30_dblseq_2.vmin12021-07-25 20:57 1.8K 
[ ]dblseq_2__t30_dblseq_2.depvmin12021-07-25 21:03 67  
[ ]dblseq_2__t30_dblseq_2.depv12021-07-25 20:57 67  
[ ]dblseq_2__t30_dblseq_22021-07-18 00:16 36K 
[ ]dblseq_2__t29_dblseq_2.vout2021-07-25 19:16 6.9K 
[ ]dblseq_2__t29_dblseq_22021-07-18 00:15 59K 
[ ]dblseq_2__t28_dblseq_2.vout2021-07-25 18:45 6.8K 
[ ]dblseq_2__t28_dblseq_22021-07-18 00:15 46K 
[ ]dblseq_2__t27_dblseq_2.vout2021-07-25 20:04 4.7K 
[ ]dblseq_2__t27_dblseq_22021-07-18 00:14 49K 
[ ]dblseq_2__t26_dblseq_2.vout2021-07-25 14:42 4.7K 
[ ]dblseq_2__t26_dblseq_22021-07-18 00:14 49K 
[ ]dblseq_2__t25_dblseq_2.vout2021-07-25 17:02 4.7K 
[ ]dblseq_2__t25_dblseq_22021-07-18 00:13 59K 
[ ]dblseq_2__t24_dblseq_2.vout2021-07-25 19:38 4.7K 
[ ]dblseq_2__t24_dblseq_22021-07-18 00:13 58K 
[ ]dblseq_2__t23_dblseq_2.vout2021-07-25 15:38 4.7K 
[ ]dblseq_2__t23_dblseq_22021-07-18 00:12 80K 
[ ]dblseq_2__t22_dblseq_2.vout2021-07-25 16:59 4.7K 
[ ]dblseq_2__t22_dblseq_22021-07-18 00:11 80K 
[ ]dblseq_2__t21_dblseq_2.vout2021-07-25 15:39 4.1K 
[ ]dblseq_2__t21_dblseq_22021-07-18 00:10 51K 
[ ]dblseq_2__t20_dblseq_2.vout2021-07-25 20:37 4.1K 
[ ]dblseq_2__t20_dblseq_22021-07-18 00:10 51K 
[ ]dblseq_2__t19_dblseq_2.vout2021-07-25 18:18 4.7K 
[ ]dblseq_2__t19_dblseq_22021-07-18 00:09 44K 
[ ]dblseq_2__t18_dblseq_2.vout2021-07-25 15:09 6.8K 
[ ]dblseq_2__t18_dblseq_22021-07-18 00:09 49K 
[ ]dblseq_2__t17_dblseq_2.vout2021-07-25 17:01 4.1K 
[ ]dblseq_2__t17_dblseq_22021-07-18 00:08 45K 
[ ]dblseq_2__t16_dblseq_2.vout2021-07-25 20:21 4.1K 
[ ]dblseq_2__t16_dblseq_22021-07-18 00:08 43K 
[ ]dblseq_2__t15_dblseq_2.vout2021-07-25 17:15 6.8K 
[ ]dblseq_2__t15_dblseq_22021-07-18 00:07 218K 
[ ]dblseq_2__t14_dblseq_2.vout2021-07-25 20:56 6.8K 
[ ]dblseq_2__t14_dblseq_22021-07-18 00:06 55K 
[ ]dblseq_2__t13_dblseq_2.vout2021-07-25 18:49 7.3K 
[ ]dblseq_2__t13_dblseq_22021-07-18 00:06 56K 
[ ]dblseq_2__t12_dblseq_2.vout2021-07-25 14:26 4.1K 
[ ]dblseq_2__t12_dblseq_22021-07-18 00:05 38K 
[ ]dblseq_2__t11_dblseq_2.vout2021-07-25 14:38 6.8K 
[ ]dblseq_2__t11_dblseq_22021-07-18 00:05 54K 
[ ]dblseq_2__t10_dblseq_2.vout2021-07-25 16:04 4.1K 
[ ]dblseq_2__t10_dblseq_22021-07-18 00:04 40K 
[ ]dblseq_2__t9_dblseq_2.vout2021-07-25 15:22 6.8K 
[ ]dblseq_2__t9_dblseq_22021-07-18 00:03 47K 
[ ]dblseq_2__t8_dblseq_2.vout2021-07-25 15:34 4.7K 
[ ]dblseq_2__t8_dblseq_22021-07-18 00:03 61K 
[ ]dblseq_2__t7_dblseq_2.vout2021-07-25 17:07 29K 
[ ]dblseq_2__t7_dblseq_2.vmin1out2021-07-25 20:59 25K 
[ ]dblseq_2__t7_dblseq_2.vmin12021-07-25 20:57 2.0K 
[ ]dblseq_2__t7_dblseq_2.depvmin12021-07-25 21:03 149  
[ ]dblseq_2__t7_dblseq_2.depv12021-07-25 20:57 149  
[ ]dblseq_2__t7_dblseq_22021-07-17 23:59 5.8K 
[ ]dblseq_2__t6_dblseq_2.vout2021-07-25 15:44 25K 
[ ]dblseq_2__t6_dblseq_2.vmin1out2021-07-25 21:00 22K 
[ ]dblseq_2__t6_dblseq_2.vmin12021-07-25 20:57 1.1K 
[ ]dblseq_2__t6_dblseq_2.depvmin12021-07-25 21:03 40  
[ ]dblseq_2__t6_dblseq_2.depv12021-07-25 20:57 40  
[ ]dblseq_2__t6_dblseq_22021-07-18 00:02 34K 
[ ]dblseq_2__t5_dblseq_2.vout2021-07-25 20:13 6.8K 
[ ]dblseq_2__t5_dblseq_22021-07-18 00:02 55K 
[ ]dblseq_2__t4_dblseq_2.vout2021-07-25 16:13 4.7K 
[ ]dblseq_2__t4_dblseq_22021-07-18 00:01 68K 
[ ]dblseq_2__t3_dblseq_2.vout2021-07-25 20:03 6.8K 
[ ]dblseq_2__t3_dblseq_22021-07-18 00:00 40K 
[ ]dblseq_2__t2_dblseq_2.vout2021-07-25 20:33 6.8K 
[ ]dblseq_2__t2_dblseq_22021-07-18 00:00 40K 
[ ]dblseq_2__t1_dblseq_2.vout2021-07-25 20:55 7.3K 
[ ]dblseq_2__t1_dblseq_22021-07-17 23:59 39K 
[ ]dblseq_2__l16_dblseq_2.vout2021-07-25 17:15 6.8K 
[ ]dblseq_2__l16_dblseq_22021-07-18 00:32 54K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80