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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]idea_1__l1_idea_12024-07-28 19:56 30K 
[ ]idea_1__l1_idea_1.vout2024-08-03 09:06 7.3K 
[ ]idea_1__l2_idea_12024-07-28 19:57 49K 
[ ]idea_1__l2_idea_1.vout2024-08-03 05:41 6.8K 
[ ]idea_1__l43_idea_12024-07-28 19:59 33K 
[ ]idea_1__l43_idea_1.depv12024-08-03 10:19 174  
[ ]idea_1__l43_idea_1.depvmin12024-08-03 10:24 174  
[ ]idea_1__l43_idea_1.vmin12024-08-03 10:19 1.8K 
[ ]idea_1__l43_idea_1.vmin1out2024-08-03 10:21 23K 
[ ]idea_1__l43_idea_1.vout2024-08-03 05:39 23K 
[ ]idea_1__l44_idea_12024-07-28 20:00 33K 
[ ]idea_1__l44_idea_1.depv12024-08-03 10:19 166  
[ ]idea_1__l44_idea_1.depvmin12024-08-03 10:24 166  
[ ]idea_1__l44_idea_1.vmin12024-08-03 10:19 1.7K 
[ ]idea_1__l44_idea_1.vmin1out2024-08-03 10:21 24K 
[ ]idea_1__l44_idea_1.vout2024-08-03 07:38 24K 
[ ]idea_1__l45_idea_12024-07-28 20:01 33K 
[ ]idea_1__l45_idea_1.vout2024-08-03 06:56 7.8K 
[ ]idea_1__t1_idea_12024-07-28 18:47 26K 
[ ]idea_1__t1_idea_1.vout2024-08-03 07:48 6.8K 
[ ]idea_1__t2_idea_12024-07-28 18:49 47K 
[ ]idea_1__t2_idea_1.vout2024-08-03 08:37 6.8K 
[ ]idea_1__t3_idea_12024-07-28 18:50 27K 
[ ]idea_1__t3_idea_1.vout2024-08-03 06:59 2.0K 
[ ]idea_1__t4_idea_12024-07-28 18:51 26K 
[ ]idea_1__t4_idea_1.depv12024-08-03 10:19 81  
[ ]idea_1__t4_idea_1.depvmin12024-08-03 10:24 81  
[ ]idea_1__t4_idea_1.vmin12024-08-03 10:19 847  
[ ]idea_1__t4_idea_1.vmin1out2024-08-03 10:20 8.2K 
[ ]idea_1__t4_idea_1.vout2024-08-03 08:00 17K 
[ ]idea_1__t5_idea_12024-07-28 18:52 36K 
[ ]idea_1__t5_idea_1.vout2024-08-03 09:14 7.3K 
[ ]idea_1__t6_idea_12024-07-28 18:54 57K 
[ ]idea_1__t6_idea_1.vout2024-08-03 08:53 7.3K 
[ ]idea_1__t7_idea_12024-07-28 18:56 54K 
[ ]idea_1__t7_idea_1.vout2024-08-03 09:12 4.1K 
[ ]idea_1__t8_idea_12024-07-28 18:58 62K 
[ ]idea_1__t8_idea_1.vout2024-08-03 04:42 7.3K 
[ ]idea_1__t9_idea_12024-07-28 18:59 55K 
[ ]idea_1__t9_idea_1.vout2024-08-03 09:04 4.1K 
[ ]idea_1__t10_idea_12024-07-28 19:01 51K 
[ ]idea_1__t10_idea_1.vout2024-08-03 09:11 7.3K 
[ ]idea_1__t11_idea_12024-07-28 19:03 43K 
[ ]idea_1__t11_idea_1.vout2024-08-03 07:19 2.0K 
[ ]idea_1__t12_idea_12024-07-28 18:39 24K 
[ ]idea_1__t12_idea_1.vout2024-08-03 08:30 2.0K 
[ ]idea_1__t13_idea_12024-07-28 18:41 28K 
[ ]idea_1__t13_idea_1.vout2024-08-03 09:07 2.0K 
[ ]idea_1__t14_idea_12024-07-28 19:04 25K 
[ ]idea_1__t14_idea_1.vout2024-08-03 06:00 2.0K 
[ ]idea_1__t15_idea_12024-07-28 18:42 28K 
[ ]idea_1__t15_idea_1.vout2024-08-03 08:42 2.0K 
[ ]idea_1__t16_idea_12024-07-28 18:43 25K 
[ ]idea_1__t16_idea_1.vout2024-08-03 08:58 2.0K 
[ ]idea_1__t17_idea_12024-07-28 19:05 25K 
[ ]idea_1__t17_idea_1.vout2024-08-03 07:51 7.8K 
[ ]idea_1__t18_idea_12024-07-28 19:06 24K 
[ ]idea_1__t18_idea_1.depv12024-08-03 10:19 105  
[ ]idea_1__t18_idea_1.depvmin12024-08-03 10:24 105  
[ ]idea_1__t18_idea_1.vmin12024-08-03 10:19 874  
[ ]idea_1__t18_idea_1.vmin1out2024-08-03 10:22 17K 
[ ]idea_1__t18_idea_1.vout2024-08-03 04:45 18K 
[ ]idea_1__t19_idea_12024-07-28 18:44 24K 
[ ]idea_1__t19_idea_1.depv12024-08-03 10:19 68  
[ ]idea_1__t19_idea_1.depvmin12024-08-03 10:24 68  
[ ]idea_1__t19_idea_1.vmin12024-08-03 10:19 700  
[ ]idea_1__t19_idea_1.vmin1out2024-08-03 10:22 8.6K 
[ ]idea_1__t19_idea_1.vout2024-08-03 09:02 8.9K 
[ ]idea_1__t20_idea_12024-07-28 19:08 22K 
[ ]idea_1__t20_idea_1.depv12024-08-03 10:19 80  
[ ]idea_1__t20_idea_1.depvmin12024-08-03 10:24 45  
[ ]idea_1__t20_idea_1.vmin12024-08-03 10:19 722  
[ ]idea_1__t20_idea_1.vmin1out2024-08-03 10:23 12K 
[ ]idea_1__t20_idea_1.vout2024-08-03 07:33 15K 
[ ]idea_1__t21_idea_12024-07-28 18:46 27K 
[ ]idea_1__t21_idea_1.vout2024-08-03 08:43 2.0K 
[ ]idea_1__t22_idea_12024-07-28 19:09 31K 
[ ]idea_1__t22_idea_1.vout2024-08-03 08:21 7.3K 
[ ]idea_1__t23_idea_12024-07-28 19:10 32K 
[ ]idea_1__t23_idea_1.vout2024-08-03 08:40 4.7K 
[ ]idea_1__t24_idea_12024-07-28 19:12 31K 
[ ]idea_1__t24_idea_1.vout2024-08-03 04:47 4.7K 
[ ]idea_1__t25_idea_12024-07-28 19:13 22K 
[ ]idea_1__t25_idea_1.depv12024-08-03 10:19 95  
[ ]idea_1__t25_idea_1.depvmin12024-08-03 10:24 95  
[ ]idea_1__t25_idea_1.vmin12024-08-03 10:19 755  
[ ]idea_1__t25_idea_1.vmin1out2024-08-03 10:22 9.9K 
[ ]idea_1__t25_idea_1.vout2024-08-03 10:03 10K 
[ ]idea_1__t26_idea_12024-07-28 19:15 44K 
[ ]idea_1__t26_idea_1.vout2024-08-03 08:00 7.3K 
[ ]idea_1__t27_idea_12024-07-28 19:16 50K 
[ ]idea_1__t27_idea_1.vout2024-08-03 04:57 7.2K 
[ ]idea_1__t28_idea_12024-07-28 19:18 38K 
[ ]idea_1__t28_idea_1.vout2024-08-03 06:47 7.3K 
[ ]idea_1__t29_idea_12024-07-28 19:20 47K 
[ ]idea_1__t29_idea_1.vout2024-08-03 05:41 4.7K 
[ ]idea_1__t30_idea_12024-07-28 19:21 48K 
[ ]idea_1__t30_idea_1.vout2024-08-03 08:50 4.7K 
[ ]idea_1__t31_idea_12024-07-28 19:24 60K 
[ ]idea_1__t31_idea_1.vout2024-08-03 04:44 6.8K 
[ ]idea_1__t32_idea_12024-07-28 19:25 38K 
[ ]idea_1__t32_idea_1.vout2024-08-03 07:53 4.1K 
[ ]idea_1__t33_idea_12024-07-28 19:27 65K 
[ ]idea_1__t33_idea_1.vout2024-08-03 05:32 6.8K 
[ ]idea_1__t34_idea_12024-07-28 19:28 53K 
[ ]idea_1__t34_idea_1.vout2024-08-03 09:45 7.3K 
[ ]idea_1__t35_idea_12024-07-28 19:30 65K 
[ ]idea_1__t35_idea_1.vout2024-08-03 09:37 6.8K 
[ ]idea_1__t36_idea_12024-07-28 19:32 68K 
[ ]idea_1__t36_idea_1.vout2024-08-03 09:22 7.3K 
[ ]idea_1__t37_idea_12024-07-28 19:34 205K 
[ ]idea_1__t37_idea_1.vout2024-08-03 05:37 7.3K 
[ ]idea_1__t38_idea_12024-07-28 19:36 63K 
[ ]idea_1__t38_idea_1.vout2024-08-03 08:50 7.3K 
[ ]idea_1__t39_idea_12024-07-28 19:38 64K 
[ ]idea_1__t39_idea_1.vout2024-08-03 04:53 7.3K 
[ ]idea_1__t40_idea_12024-07-28 19:40 53K 
[ ]idea_1__t40_idea_1.vout2024-08-03 04:12 7.3K 
[ ]idea_1__t41_idea_12024-07-28 19:42 53K 
[ ]idea_1__t41_idea_1.vout2024-08-03 09:44 7.3K 
[ ]idea_1__t42_idea_12024-07-28 19:43 55K 
[ ]idea_1__t42_idea_1.vout2024-08-03 10:10 7.3K 
[ ]idea_1__t43_idea_12024-07-28 19:45 55K 
[ ]idea_1__t43_idea_1.vout2024-08-03 06:58 7.3K 
[ ]idea_1__t44_idea_12024-07-28 19:47 55K 
[ ]idea_1__t44_idea_1.vout2024-08-03 07:21 7.3K 
[ ]idea_1__t45_idea_12024-07-28 19:50 290K 
[ ]idea_1__t45_idea_1.vout2024-08-03 09:29 7.3K 
[ ]idea_1__t46_idea_12024-07-28 19:52 326K 
[ ]idea_1__t46_idea_1.vout2024-08-03 04:57 6.8K 
[ ]idea_1__t47_idea_12024-07-28 19:54 88K 
[ ]idea_1__t47_idea_1.vout2024-08-03 05:40 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80