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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]vfunct_1__t1_vfunct_12024-07-28 09:58 37K 
[ ]vfunct_1__t1_vfunct_1.vout2024-08-03 06:09 6.8K 
[ ]vfunct_1__t2_vfunct_12024-07-28 09:59 33K 
[ ]vfunct_1__t2_vfunct_1.vout2024-08-03 08:21 4.7K 
[ ]vfunct_1__t3_vfunct_12024-07-28 10:01 31K 
[ ]vfunct_1__t3_vfunct_1.vout2024-08-03 09:24 4.7K 
[ ]vfunct_1__t4_vfunct_12024-07-28 10:03 27K 
[ ]vfunct_1__t4_vfunct_1.vout2024-08-03 04:40 4.7K 
[ ]vfunct_1__t5_vfunct_12024-07-28 10:04 27K 
[ ]vfunct_1__t5_vfunct_1.vout2024-08-03 04:55 4.7K 
[ ]vfunct_1__t6_vfunct_12024-07-28 10:05 35K 
[ ]vfunct_1__t6_vfunct_1.vout2024-08-03 05:47 4.7K 
[ ]vfunct_1__t7_vfunct_12024-07-28 10:07 37K 
[ ]vfunct_1__t7_vfunct_1.vout2024-08-03 09:45 4.7K 
[ ]vfunct_1__t8_vfunct_12024-07-28 10:09 34K 
[ ]vfunct_1__t8_vfunct_1.vout2024-08-03 04:47 4.7K 
[ ]vfunct_1__t9_vfunct_12024-07-28 10:10 35K 
[ ]vfunct_1__t9_vfunct_1.vout2024-08-03 08:07 4.7K 
[ ]vfunct_1__t10_vfunct_12024-07-28 10:12 34K 
[ ]vfunct_1__t10_vfunct_1.vout2024-08-03 06:09 4.7K 
[ ]vfunct_1__t11_vfunct_12024-07-28 10:13 39K 
[ ]vfunct_1__t11_vfunct_1.vout2024-08-03 04:52 4.7K 
[ ]vfunct_1__t12_vfunct_12024-07-28 10:15 35K 
[ ]vfunct_1__t12_vfunct_1.vout2024-08-03 09:32 4.7K 
[ ]vfunct_1__t13_vfunct_12024-07-28 10:16 33K 
[ ]vfunct_1__t13_vfunct_1.vout2024-08-03 06:30 4.7K 
[ ]vfunct_1__t14_vfunct_12024-07-28 10:18 30K 
[ ]vfunct_1__t14_vfunct_1.vout2024-08-03 09:29 4.7K 
[ ]vfunct_1__t15_vfunct_12024-07-28 10:20 35K 
[ ]vfunct_1__t15_vfunct_1.vout2024-08-03 05:13 4.7K 
[ ]vfunct_1__t16_vfunct_12024-07-28 10:21 36K 
[ ]vfunct_1__t16_vfunct_1.vout2024-08-03 06:25 4.7K 
[ ]vfunct_1__t17_vfunct_12024-07-28 10:23 31K 
[ ]vfunct_1__t17_vfunct_1.vout2024-08-03 06:00 4.7K 
[ ]vfunct_1__t18_vfunct_12024-07-28 10:24 28K 
[ ]vfunct_1__t18_vfunct_1.vout2024-08-03 07:47 4.7K 
[ ]vfunct_1__t19_vfunct_12024-07-28 10:25 31K 
[ ]vfunct_1__t19_vfunct_1.vout2024-08-03 09:33 4.7K 
[ ]vfunct_1__t20_vfunct_12024-07-28 10:27 29K 
[ ]vfunct_1__t20_vfunct_1.vout2024-08-03 05:40 4.7K 
[ ]vfunct_1__t21_vfunct_12024-07-28 10:29 42K 
[ ]vfunct_1__t21_vfunct_1.vout2024-08-03 09:40 4.7K 
[ ]vfunct_1__t22_vfunct_12024-07-28 10:30 36K 
[ ]vfunct_1__t22_vfunct_1.vout2024-08-03 09:05 4.7K 
[ ]vfunct_1__t23_vfunct_12024-07-28 10:32 31K 
[ ]vfunct_1__t23_vfunct_1.vout2024-08-03 10:16 4.7K 
[ ]vfunct_1__t24_vfunct_12024-07-28 10:33 23K 
[ ]vfunct_1__t24_vfunct_1.depv12024-08-03 10:19 174  
[ ]vfunct_1__t24_vfunct_1.depvmin12024-08-03 10:24 174  
[ ]vfunct_1__t24_vfunct_1.vmin12024-08-03 10:20 2.7K 
[ ]vfunct_1__t24_vfunct_1.vmin1out2024-08-03 10:22 61K 
[ ]vfunct_1__t24_vfunct_1.vout2024-08-03 05:45 60K 
[ ]vfunct_1__t25_vfunct_12024-07-28 10:35 29K 
[ ]vfunct_1__t25_vfunct_1.vout2024-08-03 07:42 4.7K 
[ ]vfunct_1__t26_vfunct_12024-07-28 10:36 25K 
[ ]vfunct_1__t26_vfunct_1.depv12024-08-03 10:19 119  
[ ]vfunct_1__t26_vfunct_1.depvmin12024-08-03 10:24 119  
[ ]vfunct_1__t26_vfunct_1.vmin12024-08-03 10:20 2.3K 
[ ]vfunct_1__t26_vfunct_1.vmin1out2024-08-03 10:20 35K 
[ ]vfunct_1__t26_vfunct_1.vout2024-08-03 07:28 18K 
[ ]vfunct_1__t27_vfunct_12024-07-28 10:38 35K 
[ ]vfunct_1__t27_vfunct_1.vout2024-08-03 09:21 4.7K 
[ ]vfunct_1__t28_vfunct_12024-07-28 10:39 38K 
[ ]vfunct_1__t28_vfunct_1.vout2024-08-03 08:56 4.7K 
[ ]vfunct_1__t29_vfunct_12024-07-28 10:41 39K 
[ ]vfunct_1__t29_vfunct_1.vout2024-08-03 05:39 4.7K 
[ ]vfunct_1__t30_vfunct_12024-07-28 10:43 32K 
[ ]vfunct_1__t30_vfunct_1.vout2024-08-03 07:04 4.7K 
[ ]vfunct_1__t31_vfunct_12024-07-28 10:45 36K 
[ ]vfunct_1__t31_vfunct_1.vout2024-08-03 08:06 4.7K 
[ ]vfunct_1__t32_vfunct_12024-07-28 10:46 35K 
[ ]vfunct_1__t32_vfunct_1.vout2024-08-03 09:03 7.4K 
[ ]vfunct_1__t33_vfunct_12024-07-28 10:48 31K 
[ ]vfunct_1__t33_vfunct_1.vout2024-08-03 09:22 7.3K 
[ ]vfunct_1__t34_vfunct_12024-07-28 09:54 28K 
[ ]vfunct_1__t34_vfunct_1.vout2024-08-03 05:09 7.4K 
[ ]vfunct_1__t35_vfunct_12024-07-28 10:50 30K 
[ ]vfunct_1__t35_vfunct_1.vout2024-08-03 05:20 4.7K 
[ ]vfunct_1__t36_vfunct_12024-07-28 09:56 28K 
[ ]vfunct_1__t36_vfunct_1.vout2024-08-03 07:48 8.4K 
[ ]vfunct_1__t37_vfunct_12024-07-28 10:52 35K 
[ ]vfunct_1__t37_vfunct_1.vout2024-08-03 06:50 7.3K 
[ ]vfunct_1__t38_vfunct_12024-07-28 10:53 31K 
[ ]vfunct_1__t38_vfunct_1.depv12024-08-03 10:19 218  
[ ]vfunct_1__t38_vfunct_1.depvmin12024-08-03 10:24 192  
[ ]vfunct_1__t38_vfunct_1.vmin12024-08-03 10:20 3.0K 
[ ]vfunct_1__t38_vfunct_1.vmin1out2024-08-03 10:22 59K 
[ ]vfunct_1__t38_vfunct_1.vout2024-08-03 06:59 58K 
[ ]vfunct_1__t39_vfunct_12024-07-28 10:55 28K 
[ ]vfunct_1__t39_vfunct_1.depv12024-08-03 10:19 128  
[ ]vfunct_1__t39_vfunct_1.depvmin12024-08-03 10:24 128  
[ ]vfunct_1__t39_vfunct_1.vmin12024-08-03 10:20 2.3K 
[ ]vfunct_1__t39_vfunct_1.vmin1out2024-08-03 10:21 44K 
[ ]vfunct_1__t39_vfunct_1.vout2024-08-03 06:33 44K 
[ ]vfunct_1__t40_vfunct_12024-07-28 10:57 30K 
[ ]vfunct_1__t40_vfunct_1.depv12024-08-03 10:19 275  
[ ]vfunct_1__t40_vfunct_1.depvmin12024-08-03 10:24 275  
[ ]vfunct_1__t40_vfunct_1.vmin12024-08-03 10:20 4.3K 
[ ]vfunct_1__t40_vfunct_1.vmin1out2024-08-03 10:23 72K 
[ ]vfunct_1__t40_vfunct_1.vout2024-08-03 08:32 69K 
[ ]vfunct_1__t41_vfunct_12024-07-28 10:58 31K 
[ ]vfunct_1__t41_vfunct_1.vout2024-08-03 04:08 7.3K 
[ ]vfunct_1__t42_vfunct_12024-07-28 11:00 31K 
[ ]vfunct_1__t42_vfunct_1.depv12024-08-03 10:19 185  
[ ]vfunct_1__t42_vfunct_1.depvmin12024-08-03 10:24 185  
[ ]vfunct_1__t42_vfunct_1.vmin12024-08-03 10:20 2.4K 
[ ]vfunct_1__t42_vfunct_1.vmin1out2024-08-03 10:23 26K 
[ ]vfunct_1__t42_vfunct_1.vout2024-08-03 07:49 25K 
[ ]vfunct_1__t43_vfunct_12024-07-28 11:02 37K 
[ ]vfunct_1__t43_vfunct_1.vout2024-08-03 09:38 7.3K 
[ ]vfunct_1__t44_vfunct_12024-07-28 11:04 40K 
[ ]vfunct_1__t44_vfunct_1.vout2024-08-03 08:10 7.3K 
[ ]vfunct_1__t45_vfunct_12024-07-28 11:06 41K 
[ ]vfunct_1__t45_vfunct_1.vout2024-08-03 06:50 4.7K 
[ ]vfunct_1__t46_vfunct_12024-07-28 11:07 57K 
[ ]vfunct_1__t46_vfunct_1.vout2024-08-03 05:33 7.3K 
[ ]vfunct_1__t47_vfunct_12024-07-28 11:10 48K 
[ ]vfunct_1__t47_vfunct_1.vout2024-08-03 08:39 7.3K 
[ ]vfunct_1__t48_vfunct_12024-07-28 11:11 41K 
[ ]vfunct_1__t48_vfunct_1.vout2024-08-03 09:04 5.8K 
[ ]vfunct_1__t49_vfunct_12024-07-28 11:13 51K 
[ ]vfunct_1__t49_vfunct_1.vout2024-08-03 10:16 7.3K 
[ ]vfunct_1__t50_vfunct_12024-07-28 11:15 35K 
[ ]vfunct_1__t50_vfunct_1.vout2024-08-03 05:00 7.3K 
[ ]vfunct_1__t51_vfunct_12024-07-28 11:17 37K 
[ ]vfunct_1__t51_vfunct_1.vout2024-08-03 06:19 7.3K 
[ ]vfunct_1__t52_vfunct_12024-07-28 11:19 36K 
[ ]vfunct_1__t52_vfunct_1.vout2024-08-03 10:16 7.3K 
[ ]vfunct_1__t53_vfunct_12024-07-28 11:20 38K 
[ ]vfunct_1__t53_vfunct_1.vout2024-08-03 05:41 7.3K 
[ ]vfunct_1__t54_vfunct_12024-07-28 11:22 35K 
[ ]vfunct_1__t54_vfunct_1.depv12024-08-03 10:19 147  
[ ]vfunct_1__t54_vfunct_1.depvmin12024-08-03 10:24 147  
[ ]vfunct_1__t54_vfunct_1.vmin12024-08-03 10:20 2.1K 
[ ]vfunct_1__t54_vfunct_1.vmin1out2024-08-03 10:21 42K 
[ ]vfunct_1__t54_vfunct_1.vout2024-08-03 08:59 28K 
[ ]vfunct_1__t55_vfunct_12024-07-28 11:24 39K 
[ ]vfunct_1__t55_vfunct_1.vout2024-08-03 07:48 2.0K 
[ ]vfunct_1__t56_vfunct_12024-07-28 11:26 38K 
[ ]vfunct_1__t56_vfunct_1.vout2024-08-03 04:37 2.0K 
[ ]vfunct_1__t57_vfunct_12024-07-28 11:27 43K 
[ ]vfunct_1__t57_vfunct_1.vout2024-08-03 08:48 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80