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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finance5__l4_finance52024-07-27 07:04 31K 
[ ]finance5__l4_finance5.depv12024-08-03 10:19 309  
[ ]finance5__l4_finance5.depvmin12024-08-03 10:24 309  
[ ]finance5__l4_finance5.vmin12024-08-03 10:20 1.9K 
[ ]finance5__l4_finance5.vmin1out2024-08-03 10:22 14K 
[ ]finance5__l4_finance5.vout2024-08-03 04:17 17K 
[ ]finance5__l5_finance52024-07-27 07:05 33K 
[ ]finance5__l5_finance5.depv12024-08-03 10:19 586  
[ ]finance5__l5_finance5.depvmin12024-08-03 10:24 531  
[ ]finance5__l5_finance5.vmin12024-08-03 10:20 4.4K 
[ ]finance5__l5_finance5.vmin1out2024-08-03 10:22 59K 
[ ]finance5__l5_finance5.vout2024-08-03 07:42 38K 
[ ]finance5__t1_finance52024-07-27 07:03 33K 
[ ]finance5__t1_finance5.depv12024-08-03 10:19 280  
[ ]finance5__t1_finance5.depvmin12024-08-03 10:24 280  
[ ]finance5__t1_finance5.vmin12024-08-03 10:20 2.8K 
[ ]finance5__t1_finance5.vmin1out2024-08-03 10:20 43K 
[ ]finance5__t1_finance5.vout2024-08-03 09:12 44K 
[ ]finance5__t2_finance52024-07-27 06:28 23K 
[ ]finance5__t2_finance5.vout2024-08-03 05:19 2.0K 
[ ]finance5__t3_finance52024-07-27 06:29 31K 
[ ]finance5__t3_finance5.vout2024-08-03 06:04 7.3K 
[ ]finance5__t4_finance52024-07-27 06:31 31K 
[ ]finance5__t4_finance5.vout2024-08-03 09:50 7.3K 
[ ]finance5__t5_finance52024-07-27 06:32 30K 
[ ]finance5__t5_finance5.depv12024-08-03 10:19 204  
[ ]finance5__t5_finance5.depvmin12024-08-03 10:24 194  
[ ]finance5__t5_finance5.vmin12024-08-03 10:20 1.7K 
[ ]finance5__t5_finance5.vmin1out2024-08-03 10:22 25K 
[ ]finance5__t5_finance5.vout2024-08-03 09:12 30K 
[ ]finance5__t6_finance52024-07-27 06:34 66K 
[ ]finance5__t6_finance5.vout2024-08-03 06:06 6.8K 
[ ]finance5__t7_finance52024-07-27 06:35 31K 
[ ]finance5__t7_finance5.depv12024-08-03 10:19 187  
[ ]finance5__t7_finance5.depvmin12024-08-03 10:24 187  
[ ]finance5__t7_finance5.vmin12024-08-03 10:20 1.8K 
[ ]finance5__t7_finance5.vmin1out2024-08-03 10:20 17K 
[ ]finance5__t7_finance5.vout2024-08-03 09:27 17K 
[ ]finance5__t8_finance52024-07-27 06:37 48K 
[ ]finance5__t8_finance5.vout2024-08-03 07:15 3.7K 
[ ]finance5__t9_finance52024-07-27 06:39 51K 
[ ]finance5__t9_finance5.vout2024-08-03 06:37 3.7K 
[ ]finance5__t10_finance52024-07-27 06:40 31K 
[ ]finance5__t10_finance5.vout2024-08-03 05:43 4.2K 
[ ]finance5__t11_finance52024-07-27 06:42 56K 
[ ]finance5__t11_finance5.vout2024-08-03 06:17 7.9K 
[ ]finance5__t12_finance52024-07-27 06:44 69K 
[ ]finance5__t12_finance5.vout2024-08-03 07:58 3.7K 
[ ]finance5__t13_finance52024-07-27 06:45 42K 
[ ]finance5__t13_finance5.vout2024-08-03 07:42 7.3K 
[ ]finance5__t14_finance52024-07-27 06:47 27K 
[ ]finance5__t14_finance5.depv12024-08-03 10:19 75  
[ ]finance5__t14_finance5.depvmin12024-08-03 10:24 75  
[ ]finance5__t14_finance5.vmin12024-08-03 10:20 585  
[ ]finance5__t14_finance5.vmin1out2024-08-03 10:20 4.7K 
[ ]finance5__t14_finance5.vout2024-08-03 08:27 6.5K 
[ ]finance5__t15_finance52024-07-27 06:48 37K 
[ ]finance5__t15_finance5.depv12024-08-03 10:19 140  
[ ]finance5__t15_finance5.depvmin12024-08-03 10:24 115  
[ ]finance5__t15_finance5.vmin12024-08-03 10:20 1.2K 
[ ]finance5__t15_finance5.vmin1out2024-08-03 10:21 8.4K 
[ ]finance5__t15_finance5.vout2024-08-03 09:56 11K 
[ ]finance5__t16_finance52024-07-27 06:50 44K 
[ ]finance5__t16_finance5.vout2024-08-03 06:40 7.9K 
[ ]finance5__t17_finance52024-07-27 06:51 59K 
[ ]finance5__t17_finance5.vout2024-08-03 08:55 8.4K 
[ ]finance5__t18_finance52024-07-27 06:26 37K 
[ ]finance5__t18_finance5.depv12024-08-03 10:19 88  
[ ]finance5__t18_finance5.depvmin12024-08-03 10:24 88  
[ ]finance5__t18_finance5.vmin12024-08-03 10:20 541  
[ ]finance5__t18_finance5.vmin1out2024-08-03 10:23 3.5K 
[ ]finance5__t18_finance5.vout2024-08-03 04:48 4.0K 
[ ]finance5__t19_finance52024-07-27 06:53 43K 
[ ]finance5__t19_finance5.vout2024-08-03 05:35 7.9K 
[ ]finance5__t20_finance52024-07-27 06:54 56K 
[ ]finance5__t20_finance5.vout2024-08-03 05:24 8.4K 
[ ]finance5__t21_finance52024-07-27 06:27 37K 
[ ]finance5__t21_finance5.depv12024-08-03 10:19 88  
[ ]finance5__t21_finance5.depvmin12024-08-03 10:24 88  
[ ]finance5__t21_finance5.vmin12024-08-03 10:20 541  
[ ]finance5__t21_finance5.vmin1out2024-08-03 10:20 3.5K 
[ ]finance5__t21_finance5.vout2024-08-03 07:16 4.0K 
[ ]finance5__t22_finance52024-07-27 06:56 44K 
[ ]finance5__t22_finance5.depv12024-08-03 10:19 498  
[ ]finance5__t22_finance5.depvmin12024-08-03 10:24 461  
[ ]finance5__t22_finance5.vmin12024-08-03 10:20 3.9K 
[ ]finance5__t22_finance5.vmin1out2024-08-03 10:20 35K 
[ ]finance5__t22_finance5.vout2024-08-03 04:57 34K 
[ ]finance5__t23_finance52024-07-27 06:58 44K 
[ ]finance5__t23_finance5.vout2024-08-03 04:20 5.3K 
[ ]finance5__t24_finance52024-07-27 06:59 48K 
[ ]finance5__t24_finance5.vout2024-08-03 04:52 3.7K 
[ ]finance5__t25_finance52024-07-27 07:01 52K 
[ ]finance5__t25_finance5.vout2024-08-03 06:28 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80