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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting1__l5_heyting12024-07-27 12:08 13K 
[ ]heyting1__l5_heyting1.depv12024-08-03 10:19 264  
[ ]heyting1__l5_heyting1.depvmin12024-08-03 10:24 264  
[ ]heyting1__l5_heyting1.vmin12024-08-03 10:19 2.2K 
[ ]heyting1__l5_heyting1.vmin1out2024-08-03 10:22 28K 
[ ]heyting1__l5_heyting1.vout2024-08-03 07:52 31K 
[ ]heyting1__l16_heyting12024-07-27 12:10 38K 
[ ]heyting1__l16_heyting1.vout2024-08-03 08:34 7.3K 
[ ]heyting1__l17_heyting12024-07-27 12:12 40K 
[ ]heyting1__l17_heyting1.vout2024-08-03 06:46 7.4K 
[ ]heyting1__l27_heyting12024-07-27 12:12 11K 
[ ]heyting1__l27_heyting1.depv12024-08-03 10:19 65  
[ ]heyting1__l27_heyting1.depvmin12024-08-03 10:24 65  
[ ]heyting1__l27_heyting1.vmin12024-08-03 10:19 498  
[ ]heyting1__l27_heyting1.vmin1out2024-08-03 10:21 3.1K 
[ ]heyting1__l27_heyting1.vout2024-08-03 07:02 3.8K 
[ ]heyting1__l31_heyting12024-07-27 12:14 22K 
[ ]heyting1__l31_heyting1.vout2024-08-03 09:17 7.9K 
[ ]heyting1__l33_heyting12024-07-27 12:15 47K 
[ ]heyting1__l33_heyting1.vout2024-08-03 07:02 4.2K 
[ ]heyting1__l39_heyting12024-07-27 12:17 39K 
[ ]heyting1__l39_heyting1.vout2024-08-03 05:36 4.8K 
[ ]heyting1__l41_heyting12024-07-27 12:19 44K 
[ ]heyting1__l41_heyting1.vout2024-08-03 06:58 4.2K 
[ ]heyting1__l46_heyting12024-07-27 12:21 52K 
[ ]heyting1__l46_heyting1.vout2024-08-03 07:05 7.3K 
[ ]heyting1__l47_heyting12024-07-27 12:22 29K 
[ ]heyting1__l47_heyting1.vout2024-08-03 05:41 3.8K 
[ ]heyting1__t1_heyting12024-07-27 11:32 12K 
[ ]heyting1__t1_heyting1.depv12024-08-03 10:19 166  
[ ]heyting1__t1_heyting1.depvmin12024-08-03 10:24 166  
[ ]heyting1__t1_heyting1.vmin12024-08-03 10:19 1.9K 
[ ]heyting1__t1_heyting1.vmin1out2024-08-03 10:22 32K 
[ ]heyting1__t1_heyting1.vout2024-08-03 09:21 31K 
[ ]heyting1__t2_heyting12024-07-27 11:32 12K 
[ ]heyting1__t2_heyting1.depv12024-08-03 10:19 37  
[ ]heyting1__t2_heyting1.depvmin12024-08-03 10:24 37  
[ ]heyting1__t2_heyting1.vmin12024-08-03 10:19 376  
[ ]heyting1__t2_heyting1.vmin1out2024-08-03 10:22 3.8K 
[ ]heyting1__t2_heyting1.vout2024-08-03 05:51 4.0K 
[ ]heyting1__t3_heyting12024-07-27 11:33 18K 
[ ]heyting1__t3_heyting1.depv12024-08-03 10:19 62  
[ ]heyting1__t3_heyting1.depvmin12024-08-03 10:24 38  
[ ]heyting1__t3_heyting1.vmin12024-08-03 10:19 616  
[ ]heyting1__t3_heyting1.vmin1out2024-08-03 10:20 4.2K 
[ ]heyting1__t3_heyting1.vout2024-08-03 05:06 6.2K 
[ ]heyting1__t4_heyting12024-07-27 11:34 12K 
[ ]heyting1__t4_heyting1.depv12024-08-03 10:19 402  
[ ]heyting1__t4_heyting1.depvmin12024-08-03 10:24 255  
[ ]heyting1__t4_heyting1.vmin12024-08-03 10:19 3.8K 
[ ]heyting1__t4_heyting1.vmin1out2024-08-03 10:22 42K 
[ ]heyting1__t4_heyting1.vout2024-08-03 08:50 57K 
[ ]heyting1__t5_heyting12024-07-27 11:36 34K 
[ ]heyting1__t5_heyting1.depv12024-08-03 10:19 103  
[ ]heyting1__t5_heyting1.depvmin12024-08-03 10:24 90  
[ ]heyting1__t5_heyting1.vmin12024-08-03 10:19 1.4K 
[ ]heyting1__t5_heyting1.vmin1out2024-08-03 10:22 17K 
[ ]heyting1__t5_heyting1.vout2024-08-03 08:21 14K 
[ ]heyting1__t6_heyting12024-07-27 11:37 28K 
[ ]heyting1__t6_heyting1.depv12024-08-03 10:19 189  
[ ]heyting1__t6_heyting1.depvmin12024-08-03 10:24 189  
[ ]heyting1__t6_heyting1.vmin12024-08-03 10:19 2.0K 
[ ]heyting1__t6_heyting1.vmin1out2024-08-03 10:20 24K 
[ ]heyting1__t6_heyting1.vout2024-08-03 05:43 23K 
[ ]heyting1__t7_heyting12024-07-27 11:38 28K 
[ ]heyting1__t7_heyting1.depv12024-08-03 10:19 189  
[ ]heyting1__t7_heyting1.depvmin12024-08-03 10:24 189  
[ ]heyting1__t7_heyting1.vmin12024-08-03 10:19 1.9K 
[ ]heyting1__t7_heyting1.vmin1out2024-08-03 10:23 22K 
[ ]heyting1__t7_heyting1.vout2024-08-03 04:16 21K 
[ ]heyting1__t8_heyting12024-07-27 11:40 29K 
[ ]heyting1__t8_heyting1.depv12024-08-03 10:19 209  
[ ]heyting1__t8_heyting1.depvmin12024-08-03 10:24 209  
[ ]heyting1__t8_heyting1.vmin12024-08-03 10:19 2.6K 
[ ]heyting1__t8_heyting1.vmin1out2024-08-03 10:23 30K 
[ ]heyting1__t8_heyting1.vout2024-08-03 06:55 28K 
[ ]heyting1__t9_heyting12024-07-27 11:42 49K 
[ ]heyting1__t9_heyting1.vout2024-08-03 08:52 5.9K 
[ ]heyting1__t10_heyting12024-07-27 11:43 27K 
[ ]heyting1__t10_heyting1.depv12024-08-03 10:19 158  
[ ]heyting1__t10_heyting1.depvmin12024-08-03 10:24 158  
[ ]heyting1__t10_heyting1.vmin12024-08-03 10:19 1.6K 
[ ]heyting1__t10_heyting1.vmin1out2024-08-03 10:20 12K 
[ ]heyting1__t10_heyting1.vout2024-08-03 04:18 14K 
[ ]heyting1__t11_heyting12024-07-27 12:08 20K 
[ ]heyting1__t11_heyting1.depv12024-08-03 10:19 136  
[ ]heyting1__t11_heyting1.depvmin12024-08-03 10:24 124  
[ ]heyting1__t11_heyting1.vmin12024-08-03 10:19 2.1K 
[ ]heyting1__t11_heyting1.vmin1out2024-08-03 10:23 30K 
[ ]heyting1__t11_heyting1.vout2024-08-03 07:28 38K 
[ ]heyting1__t12_heyting12024-07-27 11:44 12K 
[ ]heyting1__t12_heyting1.depv12024-08-03 10:19 226  
[ ]heyting1__t12_heyting1.depvmin12024-08-03 10:24 226  
[ ]heyting1__t12_heyting1.vmin12024-08-03 10:19 1.9K 
[ ]heyting1__t12_heyting1.vmin1out2024-08-03 10:20 16K 
[ ]heyting1__t12_heyting1.vout2024-08-03 06:19 17K 
[ ]heyting1__t13_heyting12024-07-27 11:45 25K 
[ ]heyting1__t13_heyting1.vout2024-08-03 10:12 6.9K 
[ ]heyting1__t14_heyting12024-07-27 11:47 26K 
[ ]heyting1__t14_heyting1.vout2024-08-03 07:40 5.9K 
[ ]heyting1__t15_heyting12024-07-27 11:47 11K 
[ ]heyting1__t15_heyting1.depv12024-08-03 10:19 317  
[ ]heyting1__t15_heyting1.depvmin12024-08-03 10:24 268  
[ ]heyting1__t15_heyting1.vmin12024-08-03 10:19 2.9K 
[ ]heyting1__t15_heyting1.vmin1out2024-08-03 10:23 24K 
[ ]heyting1__t15_heyting1.vout2024-08-03 09:53 28K 
[ ]heyting1__t16_heyting12024-07-27 11:48 11K 
[ ]heyting1__t16_heyting1.vout2024-08-03 05:14 5.9K 
[ ]heyting1__t17_heyting12024-07-27 11:49 13K 
[ ]heyting1__t17_heyting1.vout2024-08-03 05:06 5.9K 
[ ]heyting1__t18_heyting12024-07-27 11:50 22K 
[ ]heyting1__t18_heyting1.depv12024-08-03 10:19 124  
[ ]heyting1__t18_heyting1.depvmin12024-08-03 10:24 124  
[ ]heyting1__t18_heyting1.vmin12024-08-03 10:19 2.2K 
[ ]heyting1__t18_heyting1.vmin1out2024-08-03 10:20 33K 
[ ]heyting1__t18_heyting1.vout2024-08-03 05:07 30K 
[ ]heyting1__t19_heyting12024-07-27 11:51 34K 
[ ]heyting1__t19_heyting1.vout2024-08-03 08:44 3.7K 
[ ]heyting1__t20_heyting12024-07-27 11:53 47K 
[ ]heyting1__t20_heyting1.vout2024-08-03 07:38 3.7K 
[ ]heyting1__t21_heyting12024-07-27 11:54 28K 
[ ]heyting1__t21_heyting1.vout2024-08-03 07:35 7.9K 
[ ]heyting1__t22_heyting12024-07-27 11:56 29K 
[ ]heyting1__t22_heyting1.vout2024-08-03 04:23 7.3K 
[ ]heyting1__t23_heyting12024-07-27 11:58 42K 
[ ]heyting1__t23_heyting1.vout2024-08-03 06:54 5.9K 
[ ]heyting1__t24_heyting12024-07-27 11:59 47K 
[ ]heyting1__t24_heyting1.vout2024-08-03 09:19 7.3K 
[ ]heyting1__t25_heyting12024-07-27 12:01 42K 
[ ]heyting1__t25_heyting1.vout2024-08-03 07:22 7.3K 
[ ]heyting1__t26_heyting12024-07-27 12:03 51K 
[ ]heyting1__t26_heyting1.vout2024-08-03 08:46 6.8K 
[ ]heyting1__t27_heyting12024-07-27 12:05 30K 
[ ]heyting1__t27_heyting1.vout2024-08-03 07:38 4.1K 
[ ]heyting1__t28_heyting12024-07-27 12:07 55K 
[ ]heyting1__t28_heyting1.vout2024-08-03 07:23 9.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80