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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting3__l1_heyting32024-07-27 20:32 17K 
[ ]heyting3__l1_heyting3.depv12024-08-03 10:19 49  
[ ]heyting3__l1_heyting3.depvmin12024-08-03 10:24 49  
[ ]heyting3__l1_heyting3.vmin12024-08-03 10:19 553  
[ ]heyting3__l1_heyting3.vmin1out2024-08-03 10:20 6.6K 
[ ]heyting3__l1_heyting3.vout2024-08-03 06:47 6.7K 
[ ]heyting3__l2_heyting32024-07-27 19:23 16K 
[ ]heyting3__l2_heyting3.depv12024-08-03 10:19 122  
[ ]heyting3__l2_heyting3.depvmin12024-08-03 10:24 98  
[ ]heyting3__l2_heyting3.vmin12024-08-03 10:19 683  
[ ]heyting3__l2_heyting3.vmin1out2024-08-03 10:20 4.5K 
[ ]heyting3__l2_heyting3.vout2024-08-03 08:05 4.8K 
[ ]heyting3__l3_heyting32024-07-27 19:24 15K 
[ ]heyting3__l3_heyting3.depv12024-08-03 10:19 145  
[ ]heyting3__l3_heyting3.depvmin12024-08-03 10:24 121  
[ ]heyting3__l3_heyting3.vmin12024-08-03 10:19 790  
[ ]heyting3__l3_heyting3.vmin1out2024-08-03 10:21 5.3K 
[ ]heyting3__l3_heyting3.vout2024-08-03 05:34 5.6K 
[ ]heyting3__l22_heyting32024-07-27 20:33 21K 
[ ]heyting3__l22_heyting3.vout2024-08-03 08:15 2.0K 
[ ]heyting3__l24_heyting32024-07-27 20:35 37K 
[ ]heyting3__l24_heyting3.vout2024-08-03 08:34 7.4K 
[ ]heyting3__l27_heyting32024-07-27 20:36 21K 
[ ]heyting3__l27_heyting3.depv12024-08-03 10:19 38  
[ ]heyting3__l27_heyting3.depvmin12024-08-03 10:24 38  
[ ]heyting3__l27_heyting3.vmin12024-08-03 10:19 479  
[ ]heyting3__l27_heyting3.vmin1out2024-08-03 10:23 5.8K 
[ ]heyting3__l27_heyting3.vout2024-08-03 06:12 6.0K 
[ ]heyting3__l29_heyting32024-07-27 20:37 36K 
[ ]heyting3__l29_heyting3.vout2024-08-03 06:44 6.8K 
[ ]heyting3__l34_heyting32024-07-27 20:38 18K 
[ ]heyting3__l34_heyting3.depv12024-08-03 10:19 102  
[ ]heyting3__l34_heyting3.depvmin12024-08-03 10:24 102  
[ ]heyting3__l34_heyting3.vmin12024-08-03 10:19 1.2K 
[ ]heyting3__l34_heyting3.vmin1out2024-08-03 10:23 21K 
[ ]heyting3__l34_heyting3.vout2024-08-03 10:18 21K 
[ ]heyting3__l45_heyting32024-07-27 20:39 19K 
[ ]heyting3__l45_heyting3.depv12024-08-03 10:19 46  
[ ]heyting3__l45_heyting3.depvmin12024-08-03 10:24 46  
[ ]heyting3__l45_heyting3.vmin12024-08-03 10:19 410  
[ ]heyting3__l45_heyting3.vmin1out2024-08-03 10:22 7.4K 
[ ]heyting3__l45_heyting3.vout2024-08-03 07:31 7.0K 
[ ]heyting3__l55_heyting32024-07-27 20:42 72K 
[ ]heyting3__l55_heyting3.vout2024-08-03 07:24 7.3K 
[ ]heyting3__t1_heyting32024-07-27 19:25 26K 
[ ]heyting3__t1_heyting3.vout2024-08-03 09:40 6.8K 
[ ]heyting3__t2_heyting32024-07-27 19:26 31K 
[ ]heyting3__t2_heyting3.vout2024-08-03 08:46 7.3K 
[ ]heyting3__t3_heyting32024-07-27 19:28 51K 
[ ]heyting3__t3_heyting3.vout2024-08-03 06:21 7.3K 
[ ]heyting3__t4_heyting32024-07-27 19:29 38K 
[ ]heyting3__t4_heyting3.vout2024-08-03 08:34 6.8K 
[ ]heyting3__t5_heyting32024-07-27 19:31 47K 
[ ]heyting3__t5_heyting3.vout2024-08-03 06:55 6.8K 
[ ]heyting3__t6_heyting32024-07-27 19:32 33K 
[ ]heyting3__t6_heyting3.vout2024-08-03 05:27 4.1K 
[ ]heyting3__t7_heyting32024-07-27 19:34 33K 
[ ]heyting3__t7_heyting3.vout2024-08-03 10:01 4.1K 
[ ]heyting3__t8_heyting32024-07-27 19:36 29K 
[ ]heyting3__t8_heyting3.vout2024-08-03 04:36 7.3K 
[ ]heyting3__t9_heyting32024-07-27 19:37 20K 
[ ]heyting3__t9_heyting3.vout2024-08-03 07:46 5.3K 
[ ]heyting3__t10_heyting32024-07-27 19:38 21K 
[ ]heyting3__t10_heyting3.vout2024-08-03 06:34 7.3K 
[ ]heyting3__t11_heyting32024-07-27 19:40 48K 
[ ]heyting3__t11_heyting3.vout2024-08-03 09:13 7.9K 
[ ]heyting3__t12_heyting32024-07-27 19:42 48K 
[ ]heyting3__t12_heyting3.vout2024-08-03 08:16 8.4K 
[ ]heyting3__t13_heyting32024-07-27 19:45 49K 
[ ]heyting3__t13_heyting3.vout2024-08-03 09:21 7.9K 
[ ]heyting3__t14_heyting32024-07-27 19:22 25K 
[ ]heyting3__t14_heyting3.vout2024-08-03 05:27 7.3K 
[ ]heyting3__t15_heyting32024-07-27 19:46 50K 
[ ]heyting3__t15_heyting3.vout2024-08-03 10:01 4.1K 
[ ]heyting3__t16_heyting32024-07-27 19:48 49K 
[ ]heyting3__t16_heyting3.vout2024-08-03 05:46 7.3K 
[ ]heyting3__t17_heyting32024-07-27 19:49 34K 
[ ]heyting3__t17_heyting3.vout2024-08-03 07:07 7.4K 
[ ]heyting3__t18_heyting32024-07-27 19:51 34K 
[ ]heyting3__t18_heyting3.vout2024-08-03 07:57 7.3K 
[ ]heyting3__t19_heyting32024-07-27 19:52 33K 
[ ]heyting3__t19_heyting3.vout2024-08-03 09:48 7.4K 
[ ]heyting3__t20_heyting32024-07-27 19:54 52K 
[ ]heyting3__t20_heyting3.vout2024-08-03 08:27 7.3K 
[ ]heyting3__t21_heyting32024-07-27 19:55 27K 
[ ]heyting3__t21_heyting3.vout2024-08-03 07:43 7.3K 
[ ]heyting3__t22_heyting32024-07-27 19:56 24K 
[ ]heyting3__t22_heyting3.vout2024-08-03 06:04 7.3K 
[ ]heyting3__t23_heyting32024-07-27 19:57 43K 
[ ]heyting3__t23_heyting3.vout2024-08-03 04:13 7.4K 
[ ]heyting3__t24_heyting32024-07-27 19:59 34K 
[ ]heyting3__t24_heyting3.vout2024-08-03 06:53 7.4K 
[ ]heyting3__t25_heyting32024-07-27 20:01 50K 
[ ]heyting3__t25_heyting3.vout2024-08-03 05:47 3.7K 
[ ]heyting3__t26_heyting32024-07-27 20:02 25K 
[ ]heyting3__t26_heyting3.vout2024-08-03 07:49 7.3K 
[ ]heyting3__t27_heyting32024-07-27 20:03 18K 
[ ]heyting3__t27_heyting3.depv12024-08-03 10:19 177  
[ ]heyting3__t27_heyting3.depvmin12024-08-03 10:24 163  
[ ]heyting3__t27_heyting3.vmin12024-08-03 10:19 1.5K 
[ ]heyting3__t27_heyting3.vmin1out2024-08-03 10:20 19K 
[ ]heyting3__t27_heyting3.vout2024-08-03 04:31 21K 
[ ]heyting3__t28_heyting32024-07-27 20:05 46K 
[ ]heyting3__t28_heyting3.depv12024-08-03 10:19 291  
[ ]heyting3__t28_heyting3.depvmin12024-08-03 10:24 276  
[ ]heyting3__t28_heyting3.vmin12024-08-03 10:19 3.2K 
[ ]heyting3__t28_heyting3.vmin1out2024-08-03 10:22 30K 
[ ]heyting3__t28_heyting3.vout2024-08-03 08:16 32K 
[ ]heyting3__t29_heyting32024-07-27 20:08 46K 
[ ]heyting3__t29_heyting3.depv12024-08-03 10:19 400  
[ ]heyting3__t29_heyting3.depvmin12024-08-03 10:24 370  
[ ]heyting3__t29_heyting3.vmin12024-08-03 10:19 4.1K 
[ ]heyting3__t29_heyting3.vmin1out2024-08-03 10:21 39K 
[ ]heyting3__t29_heyting3.vout2024-08-03 06:04 37K 
[ ]heyting3__t30_heyting32024-07-27 20:10 51K 
[ ]heyting3__t30_heyting3.vout2024-08-03 04:52 6.8K 
[ ]heyting3__t31_heyting32024-07-27 20:12 41K 
[ ]heyting3__t31_heyting3.vout2024-08-03 10:06 7.4K 
[ ]heyting3__t32_heyting32024-07-27 20:14 46K 
[ ]heyting3__t32_heyting3.depv12024-08-03 10:19 292  
[ ]heyting3__t32_heyting3.depvmin12024-08-03 10:24 270  
[ ]heyting3__t32_heyting3.vmin12024-08-03 10:19 3.4K 
[ ]heyting3__t32_heyting3.vmin1out2024-08-03 10:20 32K 
[ ]heyting3__t32_heyting3.vout2024-08-03 06:45 31K 
[ ]heyting3__t33_heyting32024-07-27 20:16 46K 
[ ]heyting3__t33_heyting3.depv12024-08-03 10:19 298  
[ ]heyting3__t33_heyting3.depvmin12024-08-03 10:24 245  
[ ]heyting3__t33_heyting3.vmin12024-08-03 10:19 3.4K 
[ ]heyting3__t33_heyting3.vmin1out2024-08-03 10:22 32K 
[ ]heyting3__t33_heyting3.vout2024-08-03 08:24 35K 
[ ]heyting3__t34_heyting32024-07-27 20:18 42K 
[ ]heyting3__t34_heyting3.vout2024-08-03 05:38 6.8K 
[ ]heyting3__t35_heyting32024-07-27 20:21 52K 
[ ]heyting3__t35_heyting3.vout2024-08-03 06:20 4.7K 
[ ]heyting3__t36_heyting32024-07-27 20:23 47K 
[ ]heyting3__t36_heyting3.vout2024-08-03 06:32 7.4K 
[ ]heyting3__t37_heyting32024-07-27 20:25 47K 
[ ]heyting3__t37_heyting3.vout2024-08-03 06:03 7.4K 
[ ]heyting3__t38_heyting32024-07-27 20:27 40K 
[ ]heyting3__t38_heyting3.depv12024-08-03 10:19 239  
[ ]heyting3__t38_heyting3.depvmin12024-08-03 10:24 209  
[ ]heyting3__t38_heyting3.vmin12024-08-03 10:19 3.0K 
[ ]heyting3__t38_heyting3.vmin1out2024-08-03 10:21 31K 
[ ]heyting3__t38_heyting3.vout2024-08-03 08:39 28K 
[ ]heyting3__t39_heyting32024-07-27 20:29 40K 
[ ]heyting3__t39_heyting3.depv12024-08-03 10:19 247  
[ ]heyting3__t39_heyting3.depvmin12024-08-03 10:24 210  
[ ]heyting3__t39_heyting3.vmin12024-08-03 10:19 3.0K 
[ ]heyting3__t39_heyting3.vmin1out2024-08-03 10:23 29K 
[ ]heyting3__t39_heyting3.vout2024-08-03 09:39 28K 
[ ]heyting3__t40_heyting32024-07-27 20:31 41K 
[ ]heyting3__t40_heyting3.vout2024-08-03 06:19 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80