Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/heyting2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting2__t8_heyting22025-09-08 09:03 9.9K 
[ ]heyting2__l2_heyting22025-09-08 09:04 9.1K 
[ ]heyting2__t1_heyting22025-09-08 09:05 11K 
[ ]heyting2__t2_heyting22025-09-08 09:06 12K 
[ ]heyting2__t3_heyting22025-09-08 09:06 12K 
[ ]heyting2__t4_heyting22025-09-08 09:07 13K 
[ ]heyting2__t5_heyting22025-09-08 09:08 15K 
[ ]heyting2__t6_heyting22025-09-08 09:09 12K 
[ ]heyting2__t7_heyting22025-09-08 09:10 6.9K 
[ ]heyting2__t9_heyting22025-09-08 09:11 14K 
[ ]heyting2__t10_heyting22025-09-08 09:12 13K 
[ ]heyting2__t11_heyting22025-09-08 09:13 18K 
[ ]heyting2__t12_heyting22025-09-08 09:14 30K 
[ ]heyting2__t13_heyting22025-09-08 09:16 31K 
[ ]heyting2__t14_heyting22025-09-08 09:17 32K 
[ ]heyting2__t16_heyting22025-09-08 09:18 24K 
[ ]heyting2__t17_heyting22025-09-08 09:20 31K 
[ ]heyting2__t18_heyting22025-09-08 09:22 54K 
[ ]heyting2__t19_heyting22025-09-08 09:23 30K 
[ ]heyting2__t20_heyting22025-09-08 09:25 30K 
[ ]heyting2__t21_heyting22025-09-08 09:26 28K 
[ ]heyting2__t22_heyting22025-09-08 09:28 35K 
[ ]heyting2__t23_heyting22025-09-08 09:29 28K 
[ ]heyting2__t24_heyting22025-09-08 09:32 47K 
[ ]heyting2__t25_heyting22025-09-08 09:34 44K 
[ ]heyting2__t26_heyting22025-09-08 09:35 37K 
[ ]heyting2__t27_heyting22025-09-08 09:37 41K 
[ ]heyting2__t28_heyting22025-09-08 09:39 34K 
[ ]heyting2__t15_heyting22025-09-08 09:40 20K 
[ ]heyting2__l9_heyting22025-09-08 09:40 12K 
[ ]heyting2__l21_heyting22025-09-08 09:41 24K 
[ ]heyting2__l23_heyting22025-09-08 09:42 12K 
[ ]heyting2__l29_heyting22025-09-08 09:44 37K 
[ ]heyting2__l30_heyting22025-09-08 09:46 40K 
[ ]heyting2__l32_heyting22025-09-08 09:47 32K 
[ ]heyting2__l35_heyting22025-09-08 09:49 34K 
[ ]heyting2__l40_heyting22025-09-08 09:50 34K 
[ ]heyting2__l45_heyting22025-09-08 09:52 53K 
[ ]heyting2__l46_heyting22025-09-08 09:54 34K 
[ ]heyting2__l29_heyting2.vout2025-09-15 13:35 7.3K 
[ ]heyting2__t19_heyting2.vout2025-09-15 13:36 13K 
[ ]heyting2__t1_heyting2.vout2025-09-15 14:04 4.2K 
[ ]heyting2__t3_heyting2.vout2025-09-15 14:17 16K 
[ ]heyting2__l9_heyting2.vout2025-09-15 14:21 6.8K 
[ ]heyting2__l30_heyting2.vout2025-09-15 14:22 3.7K 
[ ]heyting2__l23_heyting2.vout2025-09-15 14:25 4.2K 
[ ]heyting2__l45_heyting2.vout2025-09-15 14:34 4.1K 
[ ]heyting2__t6_heyting2.vout2025-09-15 14:42 28K 
[ ]heyting2__t11_heyting2.vout2025-09-15 14:43 7.3K 
[ ]heyting2__t18_heyting2.vout2025-09-15 15:02 5.3K 
[ ]heyting2__t2_heyting2.vout2025-09-15 15:06 4.2K 
[ ]heyting2__t23_heyting2.vout2025-09-15 15:18 7.6K 
[ ]heyting2__l32_heyting2.vout2025-09-15 15:23 4.2K 
[ ]heyting2__t8_heyting2.vout2025-09-15 15:37 5.8K 
[ ]heyting2__t26_heyting2.vout2025-09-15 15:37 7.3K 
[ ]heyting2__t28_heyting2.vout2025-09-15 15:51 4.1K 
[ ]heyting2__l46_heyting2.vout2025-09-15 15:56 5.3K 
[ ]heyting2__t14_heyting2.vout2025-09-15 16:01 6.8K 
[ ]heyting2__t4_heyting2.vout2025-09-15 16:08 24K 
[ ]heyting2__t10_heyting2.vout2025-09-15 16:18 38K 
[ ]heyting2__t12_heyting2.vout2025-09-15 16:27 15K 
[ ]heyting2__l40_heyting2.vout2025-09-15 16:32 7.3K 
[ ]heyting2__l2_heyting2.vout2025-09-15 16:38 8.4K 
[ ]heyting2__t27_heyting2.vout2025-09-15 16:39 4.2K 
[ ]heyting2__t17_heyting2.vout2025-09-15 16:44 19K 
[ ]heyting2__t5_heyting2.vout2025-09-15 16:55 7.9K 
[ ]heyting2__t13_heyting2.vout2025-09-15 17:10 15K 
[ ]heyting2__t20_heyting2.vout2025-09-15 17:14 38K 
[ ]heyting2__t25_heyting2.vout2025-09-15 17:25 3.7K 
[ ]heyting2__t24_heyting2.vout2025-09-15 17:32 3.7K 
[ ]heyting2__t21_heyting2.vout2025-09-15 17:32 8.2K 
[ ]heyting2__l21_heyting2.vout2025-09-15 18:01 3.7K 
[ ]heyting2__t15_heyting2.vout2025-09-15 18:04 7.4K 
[ ]heyting2__l35_heyting2.vout2025-09-15 18:41 7.3K 
[ ]heyting2__t7_heyting2.vout2025-09-15 18:48 15K 
[ ]heyting2__t22_heyting2.vout2025-09-15 19:16 6.8K 
[ ]heyting2__t9_heyting2.vout2025-09-15 19:24 7.3K 
[ ]heyting2__t16_heyting2.vout2025-09-15 19:40 4.2K 
[ ]heyting2__t4_heyting2.depv12025-09-15 19:47 222  
[ ]heyting2__t19_heyting2.depv12025-09-15 19:47 108  
[ ]heyting2__t7_heyting2.depv12025-09-15 19:47 58  
[ ]heyting2__t20_heyting2.depv12025-09-15 19:47 260  
[ ]heyting2__t12_heyting2.depv12025-09-15 19:47 136  
[ ]heyting2__t13_heyting2.depv12025-09-15 19:47 140  
[ ]heyting2__t17_heyting2.depv12025-09-15 19:47 142  
[ ]heyting2__t6_heyting2.depv12025-09-15 19:47 123  
[ ]heyting2__t10_heyting2.depv12025-09-15 19:47 261  
[ ]heyting2__t21_heyting2.depv12025-09-15 19:47 59  
[ ]heyting2__t3_heyting2.depv12025-09-15 19:47 119  
[ ]heyting2__t8_heyting2.depv12025-09-15 19:47 36  
[ ]heyting2__t23_heyting2.depv12025-09-15 19:47 59  
[ ]heyting2__t3_heyting2.vmin12025-09-15 19:47 1.3K 
[ ]heyting2__t4_heyting2.vmin12025-09-15 19:47 2.3K 
[ ]heyting2__t6_heyting2.vmin12025-09-15 19:47 1.5K 
[ ]heyting2__t7_heyting2.vmin12025-09-15 19:47 775  
[ ]heyting2__t8_heyting2.vmin12025-09-15 19:47 442  
[ ]heyting2__t10_heyting2.vmin12025-09-15 19:47 2.7K 
[ ]heyting2__t12_heyting2.vmin12025-09-15 19:47 1.6K 
[ ]heyting2__t13_heyting2.vmin12025-09-15 19:47 1.5K 
[ ]heyting2__t17_heyting2.vmin12025-09-15 19:47 1.7K 
[ ]heyting2__t19_heyting2.vmin12025-09-15 19:47 1.3K 
[ ]heyting2__t20_heyting2.vmin12025-09-15 19:47 3.1K 
[ ]heyting2__t21_heyting2.vmin12025-09-15 19:47 722  
[ ]heyting2__t23_heyting2.vmin12025-09-15 19:47 698  
[ ]heyting2__t10_heyting2.vmin1out2025-09-15 19:48 31K 
[ ]heyting2__t3_heyting2.vmin1out2025-09-15 19:49 12K 
[ ]heyting2__t17_heyting2.vmin1out2025-09-15 19:49 19K 
[ ]heyting2__t13_heyting2.vmin1out2025-09-15 19:49 15K 
[ ]heyting2__t6_heyting2.vmin1out2025-09-15 19:49 28K 
[ ]heyting2__t12_heyting2.vmin1out2025-09-15 19:49 15K 
[ ]heyting2__t23_heyting2.vmin1out2025-09-15 19:49 8.0K 
[ ]heyting2__t7_heyting2.vmin1out2025-09-15 19:49 15K 
[ ]heyting2__t8_heyting2.vmin1out2025-09-15 19:49 4.1K 
[ ]heyting2__t20_heyting2.vmin1out2025-09-15 19:50 42K 
[ ]heyting2__t19_heyting2.vmin1out2025-09-15 19:50 8.9K 
[ ]heyting2__t21_heyting2.vmin1out2025-09-15 19:51 8.7K 
[ ]heyting2__t4_heyting2.vmin1out2025-09-15 19:51 21K 
[ ]heyting2__t4_heyting2.depvmin12025-09-15 19:51 189  
[ ]heyting2__t7_heyting2.depvmin12025-09-15 19:51 58  
[ ]heyting2__t19_heyting2.depvmin12025-09-15 19:51 108  
[ ]heyting2__t20_heyting2.depvmin12025-09-15 19:51 260  
[ ]heyting2__t12_heyting2.depvmin12025-09-15 19:51 136  
[ ]heyting2__t13_heyting2.depvmin12025-09-15 19:51 140  
[ ]heyting2__t17_heyting2.depvmin12025-09-15 19:51 129  
[ ]heyting2__t6_heyting2.depvmin12025-09-15 19:51 104  
[ ]heyting2__t10_heyting2.depvmin12025-09-15 19:51 218  
[ ]heyting2__t21_heyting2.depvmin12025-09-15 19:51 59  
[ ]heyting2__t3_heyting2.depvmin12025-09-15 19:51 119  
[ ]heyting2__t8_heyting2.depvmin12025-09-15 19:51 36  
[ ]heyting2__t23_heyting2.depvmin12025-09-15 19:51 59  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80