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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting2__l2_heyting22024-07-27 14:12 9.1K 
[ ]heyting2__l2_heyting2.vout2024-08-03 08:25 8.4K 
[ ]heyting2__l9_heyting22024-07-27 14:46 12K 
[ ]heyting2__l9_heyting2.vout2024-08-03 04:35 6.8K 
[ ]heyting2__l21_heyting22024-07-27 14:47 24K 
[ ]heyting2__l21_heyting2.vout2024-08-03 05:25 3.7K 
[ ]heyting2__l23_heyting22024-07-27 14:48 12K 
[ ]heyting2__l23_heyting2.vout2024-08-03 04:29 4.2K 
[ ]heyting2__l29_heyting22024-07-27 14:49 37K 
[ ]heyting2__l29_heyting2.vout2024-08-03 04:11 6.8K 
[ ]heyting2__l30_heyting22024-07-27 14:51 40K 
[ ]heyting2__l30_heyting2.vout2024-08-03 09:26 3.7K 
[ ]heyting2__l32_heyting22024-07-27 14:52 32K 
[ ]heyting2__l32_heyting2.vout2024-08-03 07:57 4.2K 
[ ]heyting2__l35_heyting22024-07-27 14:54 34K 
[ ]heyting2__l35_heyting2.vout2024-08-03 05:21 7.3K 
[ ]heyting2__l40_heyting22024-07-27 14:55 34K 
[ ]heyting2__l40_heyting2.vout2024-08-03 05:46 7.3K 
[ ]heyting2__l45_heyting22024-07-27 14:57 53K 
[ ]heyting2__l45_heyting2.vout2024-08-03 04:57 4.1K 
[ ]heyting2__l46_heyting22024-07-27 14:59 34K 
[ ]heyting2__l46_heyting2.vout2024-08-03 04:39 5.3K 
[ ]heyting2__t1_heyting22024-07-27 14:13 11K 
[ ]heyting2__t1_heyting2.vout2024-08-03 07:31 4.2K 
[ ]heyting2__t2_heyting22024-07-27 14:14 12K 
[ ]heyting2__t2_heyting2.vout2024-08-03 05:09 4.7K 
[ ]heyting2__t3_heyting22024-07-27 14:14 12K 
[ ]heyting2__t3_heyting2.depv12024-08-03 10:19 119  
[ ]heyting2__t3_heyting2.depvmin12024-08-03 10:24 119  
[ ]heyting2__t3_heyting2.vmin12024-08-03 10:19 1.3K 
[ ]heyting2__t3_heyting2.vmin1out2024-08-03 10:22 12K 
[ ]heyting2__t3_heyting2.vout2024-08-03 09:58 16K 
[ ]heyting2__t4_heyting22024-07-27 14:15 13K 
[ ]heyting2__t4_heyting2.depv12024-08-03 10:19 222  
[ ]heyting2__t4_heyting2.depvmin12024-08-03 10:24 189  
[ ]heyting2__t4_heyting2.vmin12024-08-03 10:19 2.3K 
[ ]heyting2__t4_heyting2.vmin1out2024-08-03 10:20 21K 
[ ]heyting2__t4_heyting2.vout2024-08-03 06:57 24K 
[ ]heyting2__t5_heyting22024-07-27 14:16 15K 
[ ]heyting2__t5_heyting2.vout2024-08-03 09:47 7.9K 
[ ]heyting2__t6_heyting22024-07-27 14:17 12K 
[ ]heyting2__t6_heyting2.depv12024-08-03 10:19 123  
[ ]heyting2__t6_heyting2.depvmin12024-08-03 10:24 104  
[ ]heyting2__t6_heyting2.vmin12024-08-03 10:19 1.5K 
[ ]heyting2__t6_heyting2.vmin1out2024-08-03 10:22 28K 
[ ]heyting2__t6_heyting2.vout2024-08-03 04:08 28K 
[ ]heyting2__t7_heyting22024-07-27 14:18 6.9K 
[ ]heyting2__t7_heyting2.depv12024-08-03 10:19 58  
[ ]heyting2__t7_heyting2.depvmin12024-08-03 10:24 58  
[ ]heyting2__t7_heyting2.vmin12024-08-03 10:19 775  
[ ]heyting2__t7_heyting2.vmin1out2024-08-03 10:20 15K 
[ ]heyting2__t7_heyting2.vout2024-08-03 06:10 15K 
[ ]heyting2__t8_heyting22024-07-27 14:11 9.9K 
[ ]heyting2__t8_heyting2.depv12024-08-03 10:19 36  
[ ]heyting2__t8_heyting2.depvmin12024-08-03 10:24 36  
[ ]heyting2__t8_heyting2.vmin12024-08-03 10:19 442  
[ ]heyting2__t8_heyting2.vmin1out2024-08-03 10:21 4.1K 
[ ]heyting2__t8_heyting2.vout2024-08-03 05:27 5.8K 
[ ]heyting2__t9_heyting22024-07-27 14:18 14K 
[ ]heyting2__t9_heyting2.vout2024-08-03 05:21 7.3K 
[ ]heyting2__t10_heyting22024-07-27 14:19 13K 
[ ]heyting2__t10_heyting2.depv12024-08-03 10:19 261  
[ ]heyting2__t10_heyting2.depvmin12024-08-03 10:24 218  
[ ]heyting2__t10_heyting2.vmin12024-08-03 10:19 2.7K 
[ ]heyting2__t10_heyting2.vmin1out2024-08-03 10:20 31K 
[ ]heyting2__t10_heyting2.vout2024-08-03 09:07 38K 
[ ]heyting2__t11_heyting22024-07-27 14:20 18K 
[ ]heyting2__t11_heyting2.vout2024-08-03 07:35 7.3K 
[ ]heyting2__t12_heyting22024-07-27 14:21 30K 
[ ]heyting2__t12_heyting2.depv12024-08-03 10:19 136  
[ ]heyting2__t12_heyting2.depvmin12024-08-03 10:24 136  
[ ]heyting2__t12_heyting2.vmin12024-08-03 10:19 1.6K 
[ ]heyting2__t12_heyting2.vmin1out2024-08-03 10:20 15K 
[ ]heyting2__t12_heyting2.vout2024-08-03 06:08 15K 
[ ]heyting2__t13_heyting22024-07-27 14:23 31K 
[ ]heyting2__t13_heyting2.depv12024-08-03 10:19 140  
[ ]heyting2__t13_heyting2.depvmin12024-08-03 10:24 140  
[ ]heyting2__t13_heyting2.vmin12024-08-03 10:19 1.5K 
[ ]heyting2__t13_heyting2.vmin1out2024-08-03 10:20 15K 
[ ]heyting2__t13_heyting2.vout2024-08-03 05:52 15K 
[ ]heyting2__t14_heyting22024-07-27 14:24 32K 
[ ]heyting2__t14_heyting2.vout2024-08-03 09:14 6.8K 
[ ]heyting2__t15_heyting22024-07-27 14:45 20K 
[ ]heyting2__t15_heyting2.vout2024-08-03 08:02 7.4K 
[ ]heyting2__t16_heyting22024-07-27 14:25 24K 
[ ]heyting2__t16_heyting2.vout2024-08-03 08:52 4.2K 
[ ]heyting2__t17_heyting22024-07-27 14:27 31K 
[ ]heyting2__t17_heyting2.depv12024-08-03 10:19 142  
[ ]heyting2__t17_heyting2.depvmin12024-08-03 10:24 129  
[ ]heyting2__t17_heyting2.vmin12024-08-03 10:19 1.7K 
[ ]heyting2__t17_heyting2.vmin1out2024-08-03 10:22 19K 
[ ]heyting2__t17_heyting2.vout2024-08-03 05:51 19K 
[ ]heyting2__t18_heyting22024-07-27 14:29 54K 
[ ]heyting2__t18_heyting2.vout2024-08-03 08:31 5.3K 
[ ]heyting2__t19_heyting22024-07-27 14:30 30K 
[ ]heyting2__t19_heyting2.depv12024-08-03 10:19 108  
[ ]heyting2__t19_heyting2.depvmin12024-08-03 10:24 108  
[ ]heyting2__t19_heyting2.vmin12024-08-03 10:19 1.3K 
[ ]heyting2__t19_heyting2.vmin1out2024-08-03 10:20 8.9K 
[ ]heyting2__t19_heyting2.vout2024-08-03 05:31 13K 
[ ]heyting2__t20_heyting22024-07-27 14:31 30K 
[ ]heyting2__t20_heyting2.depv12024-08-03 10:19 260  
[ ]heyting2__t20_heyting2.depvmin12024-08-03 10:24 260  
[ ]heyting2__t20_heyting2.vmin12024-08-03 10:19 3.1K 
[ ]heyting2__t20_heyting2.vmin1out2024-08-03 10:23 42K 
[ ]heyting2__t20_heyting2.vout2024-08-03 05:08 38K 
[ ]heyting2__t21_heyting22024-07-27 14:33 28K 
[ ]heyting2__t21_heyting2.depv12024-08-03 10:19 59  
[ ]heyting2__t21_heyting2.depvmin12024-08-03 10:24 59  
[ ]heyting2__t21_heyting2.vmin12024-08-03 10:19 722  
[ ]heyting2__t21_heyting2.vmin1out2024-08-03 10:21 8.7K 
[ ]heyting2__t21_heyting2.vout2024-08-03 05:38 8.2K 
[ ]heyting2__t22_heyting22024-07-27 14:34 35K 
[ ]heyting2__t22_heyting2.vout2024-08-03 08:05 7.3K 
[ ]heyting2__t23_heyting22024-07-27 14:36 28K 
[ ]heyting2__t23_heyting2.depv12024-08-03 10:19 59  
[ ]heyting2__t23_heyting2.depvmin12024-08-03 10:24 59  
[ ]heyting2__t23_heyting2.vmin12024-08-03 10:19 698  
[ ]heyting2__t23_heyting2.vmin1out2024-08-03 10:20 8.0K 
[ ]heyting2__t23_heyting2.vout2024-08-03 08:35 7.6K 
[ ]heyting2__t24_heyting22024-07-27 14:38 47K 
[ ]heyting2__t24_heyting2.vout2024-08-03 07:48 3.7K 
[ ]heyting2__t25_heyting22024-07-27 14:39 44K 
[ ]heyting2__t25_heyting2.vout2024-08-03 05:54 3.7K 
[ ]heyting2__t26_heyting22024-07-27 14:41 37K 
[ ]heyting2__t26_heyting2.vout2024-08-03 04:15 7.3K 
[ ]heyting2__t27_heyting22024-07-27 14:43 41K 
[ ]heyting2__t27_heyting2.vout2024-08-03 07:02 4.2K 
[ ]heyting2__t28_heyting22024-07-27 14:44 34K 
[ ]heyting2__t28_heyting2.vout2024-08-03 06:24 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80