Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/funct_9

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]funct_9__l5_funct_92025-09-08 01:39 31K 
[ ]funct_9__l5_funct_9.depv12025-09-15 19:47 194  
[ ]funct_9__l5_funct_9.depvmin12025-09-15 19:51 194  
[ ]funct_9__l5_funct_9.vmin12025-09-15 19:47 1.6K 
[ ]funct_9__l5_funct_9.vmin1out2025-09-15 19:51 25K 
[ ]funct_9__l5_funct_9.vout2025-09-15 13:33 25K 
[ ]funct_9__l24_funct_92025-09-08 00:54 76K 
[ ]funct_9__l24_funct_9.vout2025-09-15 17:28 1.1K 
[ ]funct_9__l25_funct_92025-09-08 00:55 76K 
[ ]funct_9__l25_funct_9.vout2025-09-15 18:24 1.1K 
[ ]funct_9__l26_funct_92025-09-08 01:40 121K 
[ ]funct_9__l26_funct_9.vout2025-09-15 15:14 7.8K 
[ ]funct_9__l28_funct_92025-09-08 01:42 121K 
[ ]funct_9__l28_funct_9.vout2025-09-15 16:38 7.8K 
[ ]funct_9__l30_funct_92025-09-08 01:43 51K 
[ ]funct_9__l30_funct_9.vout2025-09-15 14:51 6.8K 
[ ]funct_9__l31_funct_92025-09-08 01:45 51K 
[ ]funct_9__l31_funct_9.vout2025-09-15 16:21 6.8K 
[ ]funct_9__l32_funct_92025-09-08 01:46 125K 
[ ]funct_9__l32_funct_9.vout2025-09-15 13:49 4.7K 
[ ]funct_9__l34_funct_92025-09-08 01:48 125K 
[ ]funct_9__l34_funct_9.vout2025-09-15 17:27 4.7K 
[ ]funct_9__l36_funct_92025-09-08 01:49 85K 
[ ]funct_9__l36_funct_9.vout2025-09-15 15:20 6.8K 
[ ]funct_9__l37_funct_92025-09-08 01:51 85K 
[ ]funct_9__l37_funct_9.vout2025-09-15 13:29 6.8K 
[ ]funct_9__l38_funct_92025-09-08 01:52 128K 
[ ]funct_9__l38_funct_9.vout2025-09-15 17:34 4.7K 
[ ]funct_9__l40_funct_92025-09-08 01:54 128K 
[ ]funct_9__l40_funct_9.vout2025-09-15 18:25 4.7K 
[ ]funct_9__l42_funct_92025-09-08 01:55 48K 
[ ]funct_9__l42_funct_9.vout2025-09-15 17:49 8.4K 
[ ]funct_9__l43_funct_92025-09-08 01:57 48K 
[ ]funct_9__l43_funct_9.vout2025-09-15 16:04 8.4K 
[ ]funct_9__l44_funct_92025-09-08 01:58 53K 
[ ]funct_9__l44_funct_9.vout2025-09-15 13:38 7.8K 
[ ]funct_9__l46_funct_92025-09-08 02:00 53K 
[ ]funct_9__l46_funct_9.vout2025-09-15 14:34 7.8K 
[ ]funct_9__l48_funct_92025-09-08 02:01 91K 
[ ]funct_9__l48_funct_9.vout2025-09-15 14:22 8.4K 
[ ]funct_9__l49_funct_92025-09-08 02:03 93K 
[ ]funct_9__l49_funct_9.vout2025-09-15 15:24 7.8K 
[ ]funct_9__l51_funct_92025-09-08 02:04 88K 
[ ]funct_9__l51_funct_9.vout2025-09-15 15:07 8.4K 
[ ]funct_9__l52_funct_92025-09-08 02:06 88K 
[ ]funct_9__l52_funct_9.vout2025-09-15 16:31 8.4K 
[ ]funct_9__l53_funct_92025-09-08 02:07 89K 
[ ]funct_9__l53_funct_9.vout2025-09-15 18:41 7.8K 
[ ]funct_9__l55_funct_92025-09-08 02:09 89K 
[ ]funct_9__l55_funct_9.vout2025-09-15 14:51 7.8K 
[ ]funct_9__l57_funct_92025-09-08 02:10 52K 
[ ]funct_9__l57_funct_9.vout2025-09-15 15:56 8.4K 
[ ]funct_9__l58_funct_92025-09-08 02:12 58K 
[ ]funct_9__l58_funct_9.vout2025-09-15 18:27 7.8K 
[ ]funct_9__l60_funct_92025-09-08 02:13 57K 
[ ]funct_9__l60_funct_9.vout2025-09-15 17:33 7.8K 
[ ]funct_9__l61_funct_92025-09-08 02:15 57K 
[ ]funct_9__l61_funct_9.vout2025-09-15 16:10 7.8K 
[ ]funct_9__l62_funct_92025-09-08 02:16 131K 
[ ]funct_9__l62_funct_9.vout2025-09-15 13:44 7.8K 
[ ]funct_9__l65_funct_92025-09-08 02:18 131K 
[ ]funct_9__l65_funct_9.vout2025-09-15 15:01 7.8K 
[ ]funct_9__t1_funct_92025-09-08 00:56 25K 
[ ]funct_9__t1_funct_9.vout2025-09-15 13:50 7.3K 
[ ]funct_9__t2_funct_92025-09-08 00:58 31K 
[ ]funct_9__t2_funct_9.vout2025-09-15 16:29 7.3K 
[ ]funct_9__t3_funct_92025-09-08 00:59 36K 
[ ]funct_9__t3_funct_9.vout2025-09-15 17:02 7.3K 
[ ]funct_9__t4_funct_92025-09-08 01:00 33K 
[ ]funct_9__t4_funct_9.vout2025-09-15 15:44 7.3K 
[ ]funct_9__t5_funct_92025-09-08 01:02 40K 
[ ]funct_9__t5_funct_9.vout2025-09-15 16:40 7.3K 
[ ]funct_9__t6_funct_92025-09-08 01:03 27K 
[ ]funct_9__t6_funct_9.depv12025-09-15 19:47 110  
[ ]funct_9__t6_funct_9.depvmin12025-09-15 19:51 110  
[ ]funct_9__t6_funct_9.vmin12025-09-15 19:47 1.3K 
[ ]funct_9__t6_funct_9.vmin1out2025-09-15 19:48 35K 
[ ]funct_9__t6_funct_9.vout2025-09-15 16:31 36K 
[ ]funct_9__t7_funct_92025-09-08 01:04 28K 
[ ]funct_9__t7_funct_9.vout2025-09-15 14:45 7.3K 
[ ]funct_9__t8_funct_92025-09-08 01:05 26K 
[ ]funct_9__t8_funct_9.vout2025-09-15 19:22 7.3K 
[ ]funct_9__t9_funct_92025-09-08 00:47 20K 
[ ]funct_9__t9_funct_9.depv12025-09-15 19:47 71  
[ ]funct_9__t9_funct_9.depvmin12025-09-15 19:51 71  
[ ]funct_9__t9_funct_9.vmin12025-09-15 19:47 944  
[ ]funct_9__t9_funct_9.vmin1out2025-09-15 19:48 9.0K 
[ ]funct_9__t9_funct_9.vout2025-09-15 16:25 8.3K 
[ ]funct_9__t10_funct_92025-09-08 01:07 25K 
[ ]funct_9__t10_funct_9.vout2025-09-15 14:39 7.3K 
[ ]funct_9__t11_funct_92025-09-08 01:08 26K 
[ ]funct_9__t11_funct_9.vout2025-09-15 16:02 7.3K 
[ ]funct_9__t12_funct_92025-09-08 00:48 18K 
[ ]funct_9__t12_funct_9.depv12025-09-15 19:47 48  
[ ]funct_9__t12_funct_9.depvmin12025-09-15 19:51 48  
[ ]funct_9__t12_funct_9.vmin12025-09-15 19:47 731  
[ ]funct_9__t12_funct_9.vmin1out2025-09-15 19:49 7.2K 
[ ]funct_9__t12_funct_9.vout2025-09-15 13:39 8.6K 
[ ]funct_9__t13_funct_92025-09-08 01:09 25K 
[ ]funct_9__t13_funct_9.vout2025-09-15 18:53 7.3K 
[ ]funct_9__t14_funct_92025-09-08 01:10 39K 
[ ]funct_9__t14_funct_9.vout2025-09-15 13:41 7.3K 
[ ]funct_9__t15_funct_92025-09-08 01:11 24K 
[ ]funct_9__t15_funct_9.vout2025-09-15 14:39 7.3K 
[ ]funct_9__t16_funct_92025-09-08 01:13 25K 
[ ]funct_9__t16_funct_9.vout2025-09-15 19:44 7.3K 
[ ]funct_9__t17_funct_92025-09-08 01:14 39K 
[ ]funct_9__t17_funct_9.vout2025-09-15 14:13 7.3K 
[ ]funct_9__t18_funct_92025-09-08 01:15 25K 
[ ]funct_9__t18_funct_9.vout2025-09-15 14:11 6.8K 
[ ]funct_9__t19_funct_92025-09-08 01:16 25K 
[ ]funct_9__t19_funct_9.vout2025-09-15 14:48 7.3K 
[ ]funct_9__t20_funct_92025-09-08 01:17 39K 
[ ]funct_9__t20_funct_9.vout2025-09-15 15:46 6.8K 
[ ]funct_9__t21_funct_92025-09-08 01:19 116K 
[ ]funct_9__t21_funct_9.vout2025-09-15 13:34 7.8K 
[ ]funct_9__t22_funct_92025-09-08 01:20 116K 
[ ]funct_9__t22_funct_9.vout2025-09-15 18:32 7.8K 
[ ]funct_9__t23_funct_92025-09-08 01:22 117K 
[ ]funct_9__t23_funct_9.vout2025-09-15 19:05 7.8K 
[ ]funct_9__t24_funct_92025-09-08 01:23 117K 
[ ]funct_9__t24_funct_9.vout2025-09-15 15:49 7.9K 
[ ]funct_9__t25_funct_92025-09-08 01:25 45K 
[ ]funct_9__t25_funct_9.vout2025-09-15 17:57 7.8K 
[ ]funct_9__t26_funct_92025-09-08 01:26 45K 
[ ]funct_9__t26_funct_9.vout2025-09-15 14:58 7.8K 
[ ]funct_9__t27_funct_92025-09-08 01:27 46K 
[ ]funct_9__t27_funct_9.vout2025-09-15 14:21 7.8K 
[ ]funct_9__t28_funct_92025-09-08 01:29 46K 
[ ]funct_9__t28_funct_9.vout2025-09-15 17:38 7.8K 
[ ]funct_9__t29_funct_92025-09-08 01:30 83K 
[ ]funct_9__t29_funct_9.vout2025-09-15 17:30 7.8K 
[ ]funct_9__t30_funct_92025-09-08 01:32 51K 
[ ]funct_9__t30_funct_9.vout2025-09-15 14:37 7.8K 
[ ]funct_9__t31_funct_92025-09-08 01:33 51K 
[ ]funct_9__t31_funct_9.vout2025-09-15 17:29 7.8K 
[ ]funct_9__t32_funct_92025-09-08 01:35 49K 
[ ]funct_9__t32_funct_9.vout2025-09-15 19:08 7.8K 
[ ]funct_9__t33_funct_92025-09-08 01:36 123K 
[ ]funct_9__t33_funct_9.vout2025-09-15 18:18 7.8K 
[ ]funct_9__t34_funct_92025-09-08 00:50 52K 
[ ]funct_9__t34_funct_9.vout2025-09-15 16:34 1.1K 
[ ]funct_9__t35_funct_92025-09-08 01:38 123K 
[ ]funct_9__t35_funct_9.vout2025-09-15 17:02 7.8K 
[ ]funct_9__t36_funct_92025-09-08 00:51 52K 
[ ]funct_9__t36_funct_9.vout2025-09-15 14:19 1.1K 
[ ]funct_9__t37_funct_92025-09-08 00:52 26K 
[ ]funct_9__t37_funct_9.depv12025-09-15 19:47 72  
[ ]funct_9__t37_funct_9.depvmin12025-09-15 19:51 72  
[ ]funct_9__t37_funct_9.vmin12025-09-15 19:47 475  
[ ]funct_9__t37_funct_9.vmin1out2025-09-15 19:50 5.9K 
[ ]funct_9__t37_funct_9.vout2025-09-15 16:50 6.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80