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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_8__t29_finseq_8.vout2021-07-25 20:51 7.3K 
[ ]finseq_8__t29_finseq_82021-07-18 09:45 47K 
[ ]finseq_8__t28_finseq_8.vout2021-07-25 14:57 7.9K 
[ ]finseq_8__t28_finseq_82021-07-18 09:45 28K 
[ ]finseq_8__t27_finseq_8.vout2021-07-25 19:45 7.3K 
[ ]finseq_8__t27_finseq_82021-07-18 09:45 38K 
[ ]finseq_8__t26_finseq_8.vout2021-07-25 15:56 32K 
[ ]finseq_8__t26_finseq_8.vmin1out2021-07-25 21:00 32K 
[ ]finseq_8__t26_finseq_8.vmin12021-07-25 20:57 3.0K 
[ ]finseq_8__t26_finseq_8.depvmin12021-07-25 21:03 293  
[ ]finseq_8__t26_finseq_8.depv12021-07-25 20:57 343  
[ ]finseq_8__t26_finseq_82021-07-18 09:44 20K 
[ ]finseq_8__t25_finseq_8.vout2021-07-25 15:55 7.9K 
[ ]finseq_8__t25_finseq_82021-07-18 09:44 45K 
[ ]finseq_8__t24_finseq_8.vout2021-07-25 16:43 7.9K 
[ ]finseq_8__t24_finseq_82021-07-18 09:44 41K 
[ ]finseq_8__t23_finseq_8.vout2021-07-25 15:40 28K 
[ ]finseq_8__t23_finseq_8.vmin1out2021-07-25 21:01 29K 
[ ]finseq_8__t23_finseq_8.vmin12021-07-25 20:57 1.7K 
[ ]finseq_8__t23_finseq_8.depvmin12021-07-25 21:03 120  
[ ]finseq_8__t23_finseq_8.depv12021-07-25 20:57 120  
[ ]finseq_8__t23_finseq_82021-07-18 09:43 24K 
[ ]finseq_8__t22_finseq_8.vout2021-07-25 16:43 29K 
[ ]finseq_8__t22_finseq_8.vmin1out2021-07-25 21:01 28K 
[ ]finseq_8__t22_finseq_8.vmin12021-07-25 20:57 1.7K 
[ ]finseq_8__t22_finseq_8.depvmin12021-07-25 21:03 140  
[ ]finseq_8__t22_finseq_8.depv12021-07-25 20:57 140  
[ ]finseq_8__t22_finseq_82021-07-18 09:43 20K 
[ ]finseq_8__t21_finseq_8.vout2021-07-25 15:05 18K 
[ ]finseq_8__t21_finseq_8.vmin1out2021-07-25 20:59 23K 
[ ]finseq_8__t21_finseq_8.vmin12021-07-25 20:57 1.6K 
[ ]finseq_8__t21_finseq_8.depvmin12021-07-25 21:03 174  
[ ]finseq_8__t21_finseq_8.depv12021-07-25 20:57 174  
[ ]finseq_8__t21_finseq_82021-07-18 09:43 19K 
[ ]finseq_8__t20_finseq_8.vout2021-07-25 16:58 7.3K 
[ ]finseq_8__t20_finseq_82021-07-18 09:43 30K 
[ ]finseq_8__t19_finseq_8.vout2021-07-25 20:37 27K 
[ ]finseq_8__t19_finseq_8.vmin1out2021-07-25 20:57 26K 
[ ]finseq_8__t19_finseq_8.vmin12021-07-25 20:57 2.8K 
[ ]finseq_8__t19_finseq_8.depvmin12021-07-25 21:03 295  
[ ]finseq_8__t19_finseq_8.depv12021-07-25 20:57 345  
[ ]finseq_8__t19_finseq_82021-07-18 09:42 22K 
[ ]finseq_8__t18_finseq_8.vout2021-07-25 19:13 28K 
[ ]finseq_8__t18_finseq_8.vmin1out2021-07-25 21:02 28K 
[ ]finseq_8__t18_finseq_8.vmin12021-07-25 20:57 1.0K 
[ ]finseq_8__t18_finseq_8.depvmin12021-07-25 21:03 50  
[ ]finseq_8__t18_finseq_8.depv12021-07-25 20:57 50  
[ ]finseq_8__t18_finseq_82021-07-18 09:42 18K 
[ ]finseq_8__t17_finseq_8.vout2021-07-25 19:05 7.3K 
[ ]finseq_8__t17_finseq_82021-07-18 09:42 98K 
[ ]finseq_8__t16_finseq_8.vout2021-07-25 17:23 7.9K 
[ ]finseq_8__t16_finseq_82021-07-18 09:41 27K 
[ ]finseq_8__t15_finseq_8.vout2021-07-25 19:25 7.3K 
[ ]finseq_8__t15_finseq_82021-07-18 09:41 39K 
[ ]finseq_8__t14_finseq_8.vout2021-07-25 14:37 7.9K 
[ ]finseq_8__t14_finseq_82021-07-18 09:41 35K 
[ ]finseq_8__t13_finseq_8.vout2021-07-25 19:16 7.3K 
[ ]finseq_8__t13_finseq_82021-07-18 09:40 34K 
[ ]finseq_8__t12_finseq_8.vout2021-07-25 18:55 7.4K 
[ ]finseq_8__t12_finseq_82021-07-18 09:40 30K 
[ ]finseq_8__t11_finseq_8.vout2021-07-25 16:04 7.4K 
[ ]finseq_8__t11_finseq_82021-07-18 09:40 42K 
[ ]finseq_8__t10_finseq_8.vout2021-07-25 16:36 7.9K 
[ ]finseq_8__t10_finseq_82021-07-18 09:39 31K 
[ ]finseq_8__t9_finseq_8.vout2021-07-25 16:36 7.3K 
[ ]finseq_8__t9_finseq_82021-07-18 09:39 24K 
[ ]finseq_8__t8_finseq_8.vout2021-07-25 20:02 7.3K 
[ ]finseq_8__t8_finseq_82021-07-18 09:39 24K 
[ ]finseq_8__t7_finseq_8.vout2021-07-25 17:28 7.3K 
[ ]finseq_8__t7_finseq_82021-07-18 09:38 22K 
[ ]finseq_8__t6_finseq_8.vout2021-07-25 20:38 8.6K 
[ ]finseq_8__t6_finseq_8.vmin1out2021-07-25 20:59 5.9K 
[ ]finseq_8__t6_finseq_8.vmin12021-07-25 20:57 568  
[ ]finseq_8__t6_finseq_8.depvmin12021-07-25 21:03 37  
[ ]finseq_8__t6_finseq_8.depv12021-07-25 20:57 37  
[ ]finseq_8__t6_finseq_82021-07-18 09:38 22K 
[ ]finseq_8__t5_finseq_8.vout2021-07-25 19:49 7.3K 
[ ]finseq_8__t5_finseq_82021-07-18 09:38 22K 
[ ]finseq_8__t4_finseq_8.vout2021-07-25 17:15 7.3K 
[ ]finseq_8__t4_finseq_82021-07-18 09:38 27K 
[ ]finseq_8__t3_finseq_8.vout2021-07-25 14:27 7.3K 
[ ]finseq_8__t3_finseq_82021-07-18 09:37 25K 
[ ]finseq_8__t2_finseq_8.vout2021-07-25 16:16 4.7K 
[ ]finseq_8__t2_finseq_82021-07-18 09:37 23K 
[ ]finseq_8__t1_finseq_8.vout2021-07-25 18:21 7.3K 
[ ]finseq_8__t1_finseq_82021-07-18 09:37 40K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80