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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_9__t51_finseq_9.vout2021-07-25 18:34 7.3K 
[ ]finseq_9__t51_finseq_92021-07-18 10:57 99K 
[ ]finseq_9__t50_finseq_9.vout2021-07-25 16:03 7.3K 
[ ]finseq_9__t50_finseq_92021-07-18 10:56 66K 
[ ]finseq_9__t49_finseq_9.vout2021-07-25 17:37 7.3K 
[ ]finseq_9__t49_finseq_92021-07-18 10:56 100K 
[ ]finseq_9__t48_finseq_9.vout2021-07-25 20:32 7.3K 
[ ]finseq_9__t48_finseq_92021-07-18 10:55 68K 
[ ]finseq_9__t47_finseq_9.vout2021-07-25 14:26 46K 
[ ]finseq_9__t47_finseq_9.vmin1out2021-07-25 20:58 2.0K 
[ ]finseq_9__t47_finseq_9.vmin12021-07-25 20:57 2.3K 
[ ]finseq_9__t47_finseq_9.depv12021-07-25 20:57 182  
[ ]finseq_9__t47_finseq_92021-07-18 10:55 90K 
[ ]finseq_9__t46_finseq_9.vout2021-07-25 14:49 36K 
[ ]finseq_9__t46_finseq_9.vmin1out2021-07-25 20:59 31K 
[ ]finseq_9__t46_finseq_9.vmin12021-07-25 20:57 2.1K 
[ ]finseq_9__t46_finseq_9.depvmin12021-07-25 21:03 182  
[ ]finseq_9__t46_finseq_9.depv12021-07-25 20:57 182  
[ ]finseq_9__t46_finseq_92021-07-18 10:54 89K 
[ ]finseq_9__t45_finseq_9.vout2021-07-25 19:36 20K 
[ ]finseq_9__t45_finseq_9.vmin1out2021-07-25 21:01 18K 
[ ]finseq_9__t45_finseq_9.vmin12021-07-25 20:57 1.6K 
[ ]finseq_9__t45_finseq_9.depvmin12021-07-25 21:03 158  
[ ]finseq_9__t45_finseq_9.depv12021-07-25 20:57 158  
[ ]finseq_9__t45_finseq_92021-07-18 10:53 87K 
[ ]finseq_9__t44_finseq_9.vout2021-07-25 18:22 7.3K 
[ ]finseq_9__t44_finseq_92021-07-18 10:53 127K 
[ ]finseq_9__t43_finseq_9.vout2021-07-25 15:22 46K 
[ ]finseq_9__t43_finseq_9.vmin1out2021-07-25 20:58 2.0K 
[ ]finseq_9__t43_finseq_9.vmin12021-07-25 20:57 2.3K 
[ ]finseq_9__t43_finseq_9.depv12021-07-25 20:57 182  
[ ]finseq_9__t43_finseq_92021-07-18 10:52 91K 
[ ]finseq_9__t42_finseq_9.vout2021-07-25 17:17 36K 
[ ]finseq_9__t42_finseq_9.vmin1out2021-07-25 21:01 31K 
[ ]finseq_9__t42_finseq_9.vmin12021-07-25 20:57 2.1K 
[ ]finseq_9__t42_finseq_9.depvmin12021-07-25 21:03 182  
[ ]finseq_9__t42_finseq_9.depv12021-07-25 20:57 182  
[ ]finseq_9__t42_finseq_92021-07-18 10:52 90K 
[ ]finseq_9__t41_finseq_9.vout2021-07-25 15:22 21K 
[ ]finseq_9__t41_finseq_9.vmin1out2021-07-25 21:00 18K 
[ ]finseq_9__t41_finseq_9.vmin12021-07-25 20:57 1.6K 
[ ]finseq_9__t41_finseq_9.depvmin12021-07-25 21:03 156  
[ ]finseq_9__t41_finseq_9.depv12021-07-25 20:57 156  
[ ]finseq_9__t41_finseq_92021-07-18 10:51 88K 
[ ]finseq_9__t40_finseq_9.vout2021-07-25 16:29 7.3K 
[ ]finseq_9__t40_finseq_92021-07-18 10:51 123K 
[ ]finseq_9__t39_finseq_9.vout2021-07-25 16:11 7.3K 
[ ]finseq_9__t39_finseq_92021-07-18 10:50 67K 
[ ]finseq_9__t38_finseq_9.vout2021-07-25 20:30 7.3K 
[ ]finseq_9__t38_finseq_92021-07-18 10:49 93K 
[ ]finseq_9__t37_finseq_9.vout2021-07-25 20:04 7.3K 
[ ]finseq_9__t37_finseq_92021-07-18 10:49 79K 
[ ]finseq_9__t36_finseq_9.vout2021-07-25 15:34 7.3K 
[ ]finseq_9__t36_finseq_92021-07-18 10:48 92K 
[ ]finseq_9__t35_finseq_9.vout2021-07-25 17:17 7.3K 
[ ]finseq_9__t35_finseq_92021-07-18 10:48 71K 
[ ]finseq_9__t34_finseq_9.vout2021-07-25 17:33 7.3K 
[ ]finseq_9__t34_finseq_92021-07-18 10:47 62K 
[ ]finseq_9__t33_finseq_9.vout2021-07-25 17:33 49K 
[ ]finseq_9__t33_finseq_9.vmin1out2021-07-25 21:00 49K 
[ ]finseq_9__t33_finseq_9.vmin12021-07-25 20:57 4.1K 
[ ]finseq_9__t33_finseq_9.depvmin12021-07-25 21:03 453  
[ ]finseq_9__t33_finseq_9.depv12021-07-25 20:57 453  
[ ]finseq_9__t33_finseq_92021-07-18 10:47 60K 
[ ]finseq_9__t32_finseq_9.vout2021-07-25 19:04 7.3K 
[ ]finseq_9__t32_finseq_92021-07-18 10:46 76K 
[ ]finseq_9__t31_finseq_9.vout2021-07-25 14:47 37K 
[ ]finseq_9__t31_finseq_9.vmin1out2021-07-25 20:59 35K 
[ ]finseq_9__t31_finseq_9.vmin12021-07-25 20:57 2.8K 
[ ]finseq_9__t31_finseq_9.depvmin12021-07-25 21:03 312  
[ ]finseq_9__t31_finseq_9.depv12021-07-25 20:57 336  
[ ]finseq_9__t31_finseq_92021-07-18 10:46 71K 
[ ]finseq_9__t30_finseq_9.vout2021-07-25 18:11 27K 
[ ]finseq_9__t30_finseq_9.vmin1out2021-07-25 21:01 23K 
[ ]finseq_9__t30_finseq_9.vmin12021-07-25 20:57 2.0K 
[ ]finseq_9__t30_finseq_9.depvmin12021-07-25 21:03 164  
[ ]finseq_9__t30_finseq_9.depv12021-07-25 20:57 179  
[ ]finseq_9__t30_finseq_92021-07-18 10:45 60K 
[ ]finseq_9__t29_finseq_9.vout2021-07-25 17:15 7.9K 
[ ]finseq_9__t29_finseq_92021-07-18 10:45 100K 
[ ]finseq_9__t28_finseq_9.vout2021-07-25 15:37 23K 
[ ]finseq_9__t28_finseq_9.vmin1out2021-07-25 20:58 22K 
[ ]finseq_9__t28_finseq_9.vmin12021-07-25 20:57 1.8K 
[ ]finseq_9__t28_finseq_9.depvmin12021-07-25 21:03 154  
[ ]finseq_9__t28_finseq_9.depv12021-07-25 20:57 154  
[ ]finseq_9__t28_finseq_92021-07-18 10:44 78K 
[ ]finseq_9__t27_finseq_9.vout2021-07-25 17:45 7.3K 
[ ]finseq_9__t27_finseq_92021-07-18 10:44 78K 
[ ]finseq_9__t26_finseq_9.vout2021-07-25 15:39 7.3K 
[ ]finseq_9__t26_finseq_92021-07-18 10:43 83K 
[ ]finseq_9__t25_finseq_9.vout2021-07-25 19:48 7.3K 
[ ]finseq_9__t25_finseq_92021-07-18 10:43 120K 
[ ]finseq_9__t24_finseq_9.vout2021-07-25 20:01 7.4K 
[ ]finseq_9__t24_finseq_92021-07-18 10:42 164K 
[ ]finseq_9__t23_finseq_9.vout2021-07-25 17:25 7.3K 
[ ]finseq_9__t23_finseq_92021-07-18 10:42 88K 
[ ]finseq_9__t22_finseq_9.vout2021-07-25 18:01 7.3K 
[ ]finseq_9__t22_finseq_92021-07-18 10:41 163K 
[ ]finseq_9__t21_finseq_9.vout2021-07-25 19:05 7.3K 
[ ]finseq_9__t21_finseq_92021-07-18 10:41 117K 
[ ]finseq_9__t20_finseq_9.vout2021-07-25 19:58 19K 
[ ]finseq_9__t20_finseq_9.vmin1out2021-07-25 21:00 12K 
[ ]finseq_9__t20_finseq_9.vmin12021-07-25 20:57 1.3K 
[ ]finseq_9__t20_finseq_9.depvmin12021-07-25 21:03 126  
[ ]finseq_9__t20_finseq_9.depv12021-07-25 20:57 126  
[ ]finseq_9__t20_finseq_92021-07-18 10:40 64K 
[ ]finseq_9__t19_finseq_9.vout2021-07-25 17:59 7.3K 
[ ]finseq_9__t19_finseq_92021-07-18 10:40 104K 
[ ]finseq_9__t18_finseq_9.vout2021-07-25 19:27 12K 
[ ]finseq_9__t18_finseq_9.vmin1out2021-07-25 20:59 11K 
[ ]finseq_9__t18_finseq_9.vmin12021-07-25 20:57 1.0K 
[ ]finseq_9__t18_finseq_9.depvmin12021-07-25 21:03 88  
[ ]finseq_9__t18_finseq_9.depv12021-07-25 20:57 88  
[ ]finseq_9__t18_finseq_92021-07-18 10:39 57K 
[ ]finseq_9__t17_finseq_9.vout2021-07-25 19:15 14K 
[ ]finseq_9__t17_finseq_9.vmin1out2021-07-25 20:57 14K 
[ ]finseq_9__t17_finseq_9.vmin12021-07-25 20:57 1.1K 
[ ]finseq_9__t17_finseq_9.depvmin12021-07-25 21:03 102  
[ ]finseq_9__t17_finseq_9.depv12021-07-25 20:57 102  
[ ]finseq_9__t17_finseq_92021-07-18 10:39 3.8K 
[ ]finseq_9__t16_finseq_9.vout2021-07-25 19:14 8.9K 
[ ]finseq_9__t16_finseq_9.vmin1out2021-07-25 20:58 8.9K 
[ ]finseq_9__t16_finseq_9.vmin12021-07-25 20:57 761  
[ ]finseq_9__t16_finseq_9.depvmin12021-07-25 21:03 61  
[ ]finseq_9__t16_finseq_9.depv12021-07-25 20:57 61  
[ ]finseq_9__t16_finseq_92021-07-18 10:39 3.5K 
[ ]finseq_9__t15_finseq_9.vout2021-07-25 18:33 12K 
[ ]finseq_9__t15_finseq_9.vmin1out2021-07-25 21:00 12K 
[ ]finseq_9__t15_finseq_9.vmin12021-07-25 20:57 913  
[ ]finseq_9__t15_finseq_9.depvmin12021-07-25 21:03 75  
[ ]finseq_9__t15_finseq_9.depv12021-07-25 20:57 75  
[ ]finseq_9__t15_finseq_92021-07-18 10:38 2.3K 
[ ]finseq_9__t14_finseq_9.vout2021-07-25 17:53 7.4K 
[ ]finseq_9__t14_finseq_92021-07-18 10:38 78K 
[ ]finseq_9__t13_finseq_9.vout2021-07-25 18:23 7.4K 
[ ]finseq_9__t13_finseq_92021-07-18 10:38 77K 
[ ]finseq_9__t12_finseq_9.vout2021-07-25 18:53 7.3K 
[ ]finseq_9__t12_finseq_92021-07-18 10:37 77K 
[ ]finseq_9__t11_finseq_9.vout2021-07-25 14:32 7.3K 
[ ]finseq_9__t11_finseq_92021-07-18 10:37 77K 
[ ]finseq_9__t10_finseq_9.vout2021-07-25 19:23 7.4K 
[ ]finseq_9__t10_finseq_92021-07-18 10:36 77K 
[ ]finseq_9__t9_finseq_9.vout2021-07-25 19:36 7.8K 
[ ]finseq_9__t9_finseq_9.vmin1out2021-07-25 21:00 6.8K 
[ ]finseq_9__t9_finseq_9.vmin12021-07-25 20:57 494  
[ ]finseq_9__t9_finseq_9.depvmin12021-07-25 21:03 52  
[ ]finseq_9__t9_finseq_9.depv12021-07-25 20:57 52  
[ ]finseq_9__t9_finseq_92021-07-18 10:36 46K 
[ ]finseq_9__t8_finseq_9.vout2021-07-25 14:48 7.3K 
[ ]finseq_9__t8_finseq_92021-07-18 10:35 77K 
[ ]finseq_9__t7_finseq_9.vout2021-07-25 14:46 7.8K 
[ ]finseq_9__t7_finseq_9.vmin1out2021-07-25 21:00 6.8K 
[ ]finseq_9__t7_finseq_9.vmin12021-07-25 20:57 494  
[ ]finseq_9__t7_finseq_9.depvmin12021-07-25 21:03 52  
[ ]finseq_9__t7_finseq_9.depv12021-07-25 20:57 52  
[ ]finseq_9__t7_finseq_92021-07-18 10:35 46K 
[ ]finseq_9__t6_finseq_9.vout2021-07-25 19:30 7.3K 
[ ]finseq_9__t6_finseq_92021-07-18 10:35 77K 
[ ]finseq_9__t5_finseq_9.vout2021-07-25 16:12 7.3K 
[ ]finseq_9__t5_finseq_92021-07-18 10:34 77K 
[ ]finseq_9__t4_finseq_9.vout2021-07-25 16:43 7.3K 
[ ]finseq_9__t4_finseq_92021-07-18 10:33 77K 
[ ]finseq_9__t3_finseq_9.vout2021-07-25 17:01 7.9K 
[ ]finseq_9__t3_finseq_9.vmin1out2021-07-25 20:59 6.8K 
[ ]finseq_9__t3_finseq_9.vmin12021-07-25 20:57 496  
[ ]finseq_9__t3_finseq_9.depvmin12021-07-25 21:03 51  
[ ]finseq_9__t3_finseq_9.depv12021-07-25 20:57 51  
[ ]finseq_9__t3_finseq_92021-07-18 10:33 46K 
[ ]finseq_9__t2_finseq_9.vout2021-07-25 16:18 7.3K 
[ ]finseq_9__t2_finseq_92021-07-18 10:33 77K 
[ ]finseq_9__t1_finseq_9.vout2021-07-25 14:27 7.3K 
[ ]finseq_9__t1_finseq_92021-07-18 10:32 78K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80