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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finsop_1__t21_finsop_1.vout2021-07-25 15:49 27K 
[ ]finsop_1__t21_finsop_1.vmin1out2021-07-25 21:01 30K 
[ ]finsop_1__t21_finsop_1.vmin12021-07-25 20:57 2.6K 
[ ]finsop_1__t21_finsop_1.depvmin12021-07-25 21:03 327  
[ ]finsop_1__t21_finsop_1.depv12021-07-25 20:57 327  
[ ]finsop_1__t21_finsop_12021-07-18 04:59 25K 
[ ]finsop_1__t20_finsop_1.vout2021-07-25 19:33 6.9K 
[ ]finsop_1__t20_finsop_1.vmin1out2021-07-25 20:59 6.9K 
[ ]finsop_1__t20_finsop_1.vmin12021-07-25 20:57 625  
[ ]finsop_1__t20_finsop_1.depvmin12021-07-25 21:03 26  
[ ]finsop_1__t20_finsop_1.depv12021-07-25 20:57 26  
[ ]finsop_1__t20_finsop_12021-07-18 04:53 20K 
[ ]finsop_1__t19_finsop_1.vout2021-07-25 14:49 6.8K 
[ ]finsop_1__t19_finsop_12021-07-18 04:59 30K 
[ ]finsop_1__t18_finsop_1.vout2021-07-25 15:24 64K 
[ ]finsop_1__t18_finsop_1.vmin1out2021-07-25 21:02 62K 
[ ]finsop_1__t18_finsop_1.vmin12021-07-25 20:57 4.1K 
[ ]finsop_1__t18_finsop_1.depvmin12021-07-25 21:03 393  
[ ]finsop_1__t18_finsop_1.depv12021-07-25 20:57 393  
[ ]finsop_1__t18_finsop_12021-07-18 04:58 29K 
[ ]finsop_1__t17_finsop_1.vout2021-07-25 14:25 12K 
[ ]finsop_1__t17_finsop_1.vmin1out2021-07-25 21:00 11K 
[ ]finsop_1__t17_finsop_1.vmin12021-07-25 20:57 1.2K 
[ ]finsop_1__t17_finsop_1.depvmin12021-07-25 21:03 116  
[ ]finsop_1__t17_finsop_1.depv12021-07-25 20:57 116  
[ ]finsop_1__t17_finsop_12021-07-18 04:58 22K 
[ ]finsop_1__t16_finsop_1.vout2021-07-25 20:33 10K 
[ ]finsop_1__t16_finsop_1.vmin1out2021-07-25 20:58 11K 
[ ]finsop_1__t16_finsop_1.vmin12021-07-25 20:57 1.2K 
[ ]finsop_1__t16_finsop_1.depvmin12021-07-25 21:03 141  
[ ]finsop_1__t16_finsop_1.depv12021-07-25 20:57 141  
[ ]finsop_1__t16_finsop_12021-07-18 04:58 21K 
[ ]finsop_1__t15_finsop_1.vout2021-07-25 16:00 18K 
[ ]finsop_1__t15_finsop_1.vmin1out2021-07-25 21:01 21K 
[ ]finsop_1__t15_finsop_1.vmin12021-07-25 20:57 1.6K 
[ ]finsop_1__t15_finsop_1.depvmin12021-07-25 21:03 86  
[ ]finsop_1__t15_finsop_1.depv12021-07-25 20:57 86  
[ ]finsop_1__t15_finsop_12021-07-18 04:57 21K 
[ ]finsop_1__t14_finsop_1.vout2021-07-25 17:52 6.8K 
[ ]finsop_1__t14_finsop_12021-07-18 04:57 30K 
[ ]finsop_1__t13_finsop_1.vout2021-07-25 16:22 16K 
[ ]finsop_1__t13_finsop_1.vmin1out2021-07-25 20:57 19K 
[ ]finsop_1__t13_finsop_1.vmin12021-07-25 20:57 1.5K 
[ ]finsop_1__t13_finsop_1.depvmin12021-07-25 21:03 86  
[ ]finsop_1__t13_finsop_1.depv12021-07-25 20:57 86  
[ ]finsop_1__t13_finsop_12021-07-18 04:56 20K 
[ ]finsop_1__t12_finsop_1.vout2021-07-25 15:58 6.8K 
[ ]finsop_1__t12_finsop_12021-07-18 04:56 31K 
[ ]finsop_1__t11_finsop_1.vout2021-07-25 16:17 7.4K 
[ ]finsop_1__t11_finsop_1.vmin1out2021-07-25 20:59 7.4K 
[ ]finsop_1__t11_finsop_1.vmin12021-07-25 20:57 721  
[ ]finsop_1__t11_finsop_1.depvmin12021-07-25 21:03 51  
[ ]finsop_1__t11_finsop_1.depv12021-07-25 20:57 51  
[ ]finsop_1__t11_finsop_12021-07-18 04:52 19K 
[ ]finsop_1__t10_finsop_1.vout2021-07-25 18:35 7.0K 
[ ]finsop_1__t10_finsop_1.vmin1out2021-07-25 21:01 7.0K 
[ ]finsop_1__t10_finsop_1.vmin12021-07-25 20:57 716  
[ ]finsop_1__t10_finsop_1.depvmin12021-07-25 21:03 47  
[ ]finsop_1__t10_finsop_1.depv12021-07-25 20:57 47  
[ ]finsop_1__t10_finsop_12021-07-18 04:52 19K 
[ ]finsop_1__t9_finsop_1.vout2021-07-25 16:24 70K 
[ ]finsop_1__t9_finsop_1.vmin1out2021-07-25 20:58 72K 
[ ]finsop_1__t9_finsop_1.vmin12021-07-25 20:57 3.2K 
[ ]finsop_1__t9_finsop_1.depvmin12021-07-25 21:03 181  
[ ]finsop_1__t9_finsop_1.depv12021-07-25 20:57 181  
[ ]finsop_1__t9_finsop_12021-07-18 04:55 26K 
[ ]finsop_1__t8_finsop_1.vout2021-07-25 16:52 27K 
[ ]finsop_1__t8_finsop_1.vmin1out2021-07-25 20:59 25K 
[ ]finsop_1__t8_finsop_1.vmin12021-07-25 20:57 2.2K 
[ ]finsop_1__t8_finsop_1.depvmin12021-07-25 21:03 131  
[ ]finsop_1__t8_finsop_1.depv12021-07-25 20:57 131  
[ ]finsop_1__t8_finsop_12021-07-18 04:55 24K 
[ ]finsop_1__t7_finsop_1.vout2021-07-25 15:56 66K 
[ ]finsop_1__t7_finsop_1.vmin1out2021-07-25 21:00 78K 
[ ]finsop_1__t7_finsop_1.vmin12021-07-25 20:57 4.5K 
[ ]finsop_1__t7_finsop_1.depvmin12021-07-25 21:03 293  
[ ]finsop_1__t7_finsop_1.depv12021-07-25 20:57 293  
[ ]finsop_1__t7_finsop_12021-07-18 04:55 30K 
[ ]finsop_1__t6_finsop_1.vout2021-07-25 17:50 34K 
[ ]finsop_1__t6_finsop_1.vmin1out2021-07-25 21:00 31K 
[ ]finsop_1__t6_finsop_1.vmin12021-07-25 20:57 2.0K 
[ ]finsop_1__t6_finsop_1.depvmin12021-07-25 21:03 178  
[ ]finsop_1__t6_finsop_1.depv12021-07-25 20:57 178  
[ ]finsop_1__t6_finsop_12021-07-18 04:54 28K 
[ ]finsop_1__t5_finsop_1.vout2021-07-25 16:42 2.0K 
[ ]finsop_1__t5_finsop_12021-07-18 04:54 47K 
[ ]finsop_1__t4_finsop_1.vout2021-07-25 19:48 23K 
[ ]finsop_1__t4_finsop_1.vmin1out2021-07-25 20:59 19K 
[ ]finsop_1__t4_finsop_1.vmin12021-07-25 20:57 2.5K 
[ ]finsop_1__t4_finsop_1.depvmin12021-07-25 21:03 130  
[ ]finsop_1__t4_finsop_1.depv12021-07-25 20:57 226  
[ ]finsop_1__t4_finsop_12021-07-18 04:53 28K 
[ ]finsop_1__t3_finsop_1.vout2021-07-25 15:29 24K 
[ ]finsop_1__t3_finsop_1.vmin1out2021-07-25 20:58 20K 
[ ]finsop_1__t3_finsop_1.vmin12021-07-25 20:57 2.7K 
[ ]finsop_1__t3_finsop_1.depvmin12021-07-25 21:03 129  
[ ]finsop_1__t3_finsop_1.depv12021-07-25 20:57 225  
[ ]finsop_1__t3_finsop_12021-07-18 04:53 26K 
[ ]finsop_1__t2_finsop_1.vout2021-07-25 16:56 55K 
[ ]finsop_1__t2_finsop_1.vmin1out2021-07-25 20:59 52K 
[ ]finsop_1__t2_finsop_1.vmin12021-07-25 20:57 3.4K 
[ ]finsop_1__t2_finsop_1.depvmin12021-07-25 21:03 204  
[ ]finsop_1__t2_finsop_1.depv12021-07-25 20:57 260  
[ ]finsop_1__t2_finsop_12021-07-18 04:52 26K 
[ ]finsop_1__t1_finsop_1.vout2021-07-25 20:52 65K 
[ ]finsop_1__t1_finsop_1.vmin1out2021-07-25 21:02 52K 
[ ]finsop_1__t1_finsop_1.vmin12021-07-25 20:57 2.7K 
[ ]finsop_1__t1_finsop_1.depvmin12021-07-25 21:03 171  
[ ]finsop_1__t1_finsop_1.depv12021-07-25 20:57 171  
[ ]finsop_1__t1_finsop_12021-07-18 04:52 26K 
[ ]finsop_1__l22_finsop_1.vout2021-07-25 18:50 40K 
[ ]finsop_1__l22_finsop_1.vmin1out2021-07-25 21:02 39K 
[ ]finsop_1__l22_finsop_1.vmin12021-07-25 20:57 2.5K 
[ ]finsop_1__l22_finsop_1.depvmin12021-07-25 21:03 116  
[ ]finsop_1__l22_finsop_1.depv12021-07-25 20:57 116  
[ ]finsop_1__l22_finsop_12021-07-18 05:05 27K 
[ ]finsop_1__l21_finsop_1.vout2021-07-25 15:54 6.8K 
[ ]finsop_1__l21_finsop_12021-07-18 05:05 52K 
[ ]finsop_1__l20_finsop_1.vout2021-07-25 15:26 23K 
[ ]finsop_1__l20_finsop_1.vmin1out2021-07-25 21:00 24K 
[ ]finsop_1__l20_finsop_1.vmin12021-07-25 20:57 2.1K 
[ ]finsop_1__l20_finsop_1.depvmin12021-07-25 21:03 246  
[ ]finsop_1__l20_finsop_1.depv12021-07-25 20:57 246  
[ ]finsop_1__l20_finsop_12021-07-18 05:04 24K 
[ ]finsop_1__l18_finsop_1.vout2021-07-25 16:04 41K 
[ ]finsop_1__l18_finsop_1.vmin1out2021-07-25 21:02 34K 
[ ]finsop_1__l18_finsop_1.vmin12021-07-25 20:57 2.6K 
[ ]finsop_1__l18_finsop_1.depvmin12021-07-25 21:03 131  
[ ]finsop_1__l18_finsop_1.depv12021-07-25 20:57 146  
[ ]finsop_1__l18_finsop_12021-07-18 05:04 27K 
[ ]finsop_1__l17_finsop_1.vout2021-07-25 14:57 6.8K 
[ ]finsop_1__l17_finsop_12021-07-18 05:04 32K 
[ ]finsop_1__l15_finsop_1.vout2021-07-25 19:24 24K 
[ ]finsop_1__l15_finsop_1.vmin1out2021-07-25 20:58 17K 
[ ]finsop_1__l15_finsop_1.vmin12021-07-25 20:57 2.2K 
[ ]finsop_1__l15_finsop_1.depvmin12021-07-25 21:03 175  
[ ]finsop_1__l15_finsop_1.depv12021-07-25 20:57 235  
[ ]finsop_1__l15_finsop_12021-07-18 05:03 31K 
[ ]finsop_1__l14_finsop_1.vout2021-07-25 19:46 6.8K 
[ ]finsop_1__l14_finsop_12021-07-18 05:03 111K 
[ ]finsop_1__l10_finsop_1.vout2021-07-25 20:20 43K 
[ ]finsop_1__l10_finsop_1.vmin1out2021-07-25 21:02 44K 
[ ]finsop_1__l10_finsop_1.vmin12021-07-25 20:57 4.4K 
[ ]finsop_1__l10_finsop_1.depvmin12021-07-25 21:03 315  
[ ]finsop_1__l10_finsop_1.depv12021-07-25 20:57 381  
[ ]finsop_1__l10_finsop_12021-07-18 05:02 30K 
[ ]finsop_1__l9_finsop_1.vout2021-07-25 18:27 4.7K 
[ ]finsop_1__l9_finsop_12021-07-18 05:02 50K 
[ ]finsop_1__l8_finsop_1.vout2021-07-25 17:54 7.3K 
[ ]finsop_1__l8_finsop_12021-07-18 05:01 30K 
[ ]finsop_1__l7_finsop_1.vout2021-07-25 19:54 24K 
[ ]finsop_1__l7_finsop_1.vmin1out2021-07-25 20:58 28K 
[ ]finsop_1__l7_finsop_1.vmin12021-07-25 20:57 2.8K 
[ ]finsop_1__l7_finsop_1.depvmin12021-07-25 21:03 236  
[ ]finsop_1__l7_finsop_1.depv12021-07-25 20:57 260  
[ ]finsop_1__l7_finsop_12021-07-18 05:01 26K 
[ ]finsop_1__l5_finsop_1.vout2021-07-25 19:15 7.3K 
[ ]finsop_1__l5_finsop_12021-07-18 05:00 30K 
[ ]finsop_1__l4_finsop_1.vout2021-07-25 14:52 6.8K 
[ ]finsop_1__l4_finsop_12021-07-18 05:00 39K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80