Index of /~mptp/mml5.63.1382/MPTP2/problems_small/heyting2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]heyting2__l2_heyting22021-07-17 21:42 9.1K 
[ ]heyting2__l2_heyting2.vout2021-07-25 15:00 8.4K 
[ ]heyting2__l9_heyting22021-07-17 21:54 12K 
[ ]heyting2__l9_heyting2.vout2021-07-25 18:43 6.8K 
[ ]heyting2__l21_heyting22021-07-17 21:54 24K 
[ ]heyting2__l21_heyting2.vout2021-07-25 15:15 3.7K 
[ ]heyting2__l23_heyting22021-07-17 21:55 12K 
[ ]heyting2__l23_heyting2.vout2021-07-25 20:48 4.2K 
[ ]heyting2__l29_heyting22021-07-17 21:55 37K 
[ ]heyting2__l29_heyting2.vout2021-07-25 14:49 6.8K 
[ ]heyting2__l30_heyting22021-07-17 21:56 40K 
[ ]heyting2__l30_heyting2.vout2021-07-25 17:04 3.7K 
[ ]heyting2__l32_heyting22021-07-17 21:56 32K 
[ ]heyting2__l32_heyting2.vout2021-07-25 19:24 4.2K 
[ ]heyting2__l35_heyting22021-07-17 21:57 34K 
[ ]heyting2__l35_heyting2.vout2021-07-25 15:45 7.3K 
[ ]heyting2__l40_heyting22021-07-17 21:58 34K 
[ ]heyting2__l40_heyting2.vout2021-07-25 14:41 7.4K 
[ ]heyting2__l45_heyting22021-07-17 21:58 52K 
[ ]heyting2__l45_heyting2.vout2021-07-25 18:13 4.1K 
[ ]heyting2__l46_heyting22021-07-17 21:59 33K 
[ ]heyting2__l46_heyting2.vout2021-07-25 20:38 5.3K 
[ ]heyting2__t1_heyting22021-07-17 21:42 11K 
[ ]heyting2__t1_heyting2.vout2021-07-25 19:56 4.2K 
[ ]heyting2__t2_heyting22021-07-17 21:42 12K 
[ ]heyting2__t2_heyting2.vout2021-07-25 16:13 4.2K 
[ ]heyting2__t3_heyting22021-07-17 21:43 12K 
[ ]heyting2__t3_heyting2.depv12021-07-25 20:57 119  
[ ]heyting2__t3_heyting2.depvmin12021-07-25 21:03 119  
[ ]heyting2__t3_heyting2.vmin12021-07-25 20:57 1.3K 
[ ]heyting2__t3_heyting2.vmin1out2021-07-25 20:59 12K 
[ ]heyting2__t3_heyting2.vout2021-07-25 16:14 16K 
[ ]heyting2__t4_heyting22021-07-17 21:43 13K 
[ ]heyting2__t4_heyting2.depv12021-07-25 20:57 222  
[ ]heyting2__t4_heyting2.depvmin12021-07-25 21:03 189  
[ ]heyting2__t4_heyting2.vmin12021-07-25 20:57 2.3K 
[ ]heyting2__t4_heyting2.vmin1out2021-07-25 20:58 21K 
[ ]heyting2__t4_heyting2.vout2021-07-25 17:26 24K 
[ ]heyting2__t5_heyting22021-07-17 21:43 15K 
[ ]heyting2__t5_heyting2.vout2021-07-25 16:27 7.9K 
[ ]heyting2__t6_heyting22021-07-17 21:44 12K 
[ ]heyting2__t6_heyting2.depv12021-07-25 20:57 123  
[ ]heyting2__t6_heyting2.depvmin12021-07-25 21:03 104  
[ ]heyting2__t6_heyting2.vmin12021-07-25 20:57 1.5K 
[ ]heyting2__t6_heyting2.vmin1out2021-07-25 20:58 28K 
[ ]heyting2__t6_heyting2.vout2021-07-25 16:22 28K 
[ ]heyting2__t7_heyting22021-07-17 21:44 6.9K 
[ ]heyting2__t7_heyting2.depv12021-07-25 20:57 58  
[ ]heyting2__t7_heyting2.depvmin12021-07-25 21:03 58  
[ ]heyting2__t7_heyting2.vmin12021-07-25 20:57 775  
[ ]heyting2__t7_heyting2.vmin1out2021-07-25 21:00 15K 
[ ]heyting2__t7_heyting2.vout2021-07-25 16:27 15K 
[ ]heyting2__t8_heyting22021-07-17 21:42 9.9K 
[ ]heyting2__t8_heyting2.depv12021-07-25 20:57 36  
[ ]heyting2__t8_heyting2.depvmin12021-07-25 21:03 36  
[ ]heyting2__t8_heyting2.vmin12021-07-25 20:57 442  
[ ]heyting2__t8_heyting2.vmin1out2021-07-25 21:00 4.1K 
[ ]heyting2__t8_heyting2.vout2021-07-25 20:13 5.8K 
[ ]heyting2__t9_heyting22021-07-17 21:44 14K 
[ ]heyting2__t9_heyting2.vout2021-07-25 17:00 7.3K 
[ ]heyting2__t10_heyting22021-07-17 21:44 13K 
[ ]heyting2__t10_heyting2.depv12021-07-25 20:57 261  
[ ]heyting2__t10_heyting2.depvmin12021-07-25 21:03 218  
[ ]heyting2__t10_heyting2.vmin12021-07-25 20:57 2.7K 
[ ]heyting2__t10_heyting2.vmin1out2021-07-25 20:58 31K 
[ ]heyting2__t10_heyting2.vout2021-07-25 15:40 38K 
[ ]heyting2__t11_heyting22021-07-17 21:45 18K 
[ ]heyting2__t11_heyting2.vout2021-07-25 17:44 7.3K 
[ ]heyting2__t12_heyting22021-07-17 21:45 30K 
[ ]heyting2__t12_heyting2.depv12021-07-25 20:57 136  
[ ]heyting2__t12_heyting2.depvmin12021-07-25 21:03 136  
[ ]heyting2__t12_heyting2.vmin12021-07-25 20:57 1.6K 
[ ]heyting2__t12_heyting2.vmin1out2021-07-25 21:01 15K 
[ ]heyting2__t12_heyting2.vout2021-07-25 18:19 15K 
[ ]heyting2__t13_heyting22021-07-17 21:46 30K 
[ ]heyting2__t13_heyting2.depv12021-07-25 20:57 140  
[ ]heyting2__t13_heyting2.depvmin12021-07-25 21:03 140  
[ ]heyting2__t13_heyting2.vmin12021-07-25 20:57 1.5K 
[ ]heyting2__t13_heyting2.vmin1out2021-07-25 21:01 15K 
[ ]heyting2__t13_heyting2.vout2021-07-25 17:40 15K 
[ ]heyting2__t14_heyting22021-07-17 21:46 32K 
[ ]heyting2__t14_heyting2.vout2021-07-25 19:50 6.8K 
[ ]heyting2__t15_heyting22021-07-17 21:54 20K 
[ ]heyting2__t15_heyting2.vout2021-07-25 17:07 7.4K 
[ ]heyting2__t16_heyting22021-07-17 21:47 24K 
[ ]heyting2__t16_heyting2.vout2021-07-25 19:58 4.2K 
[ ]heyting2__t17_heyting22021-07-17 21:47 31K 
[ ]heyting2__t17_heyting2.depv12021-07-25 20:57 142  
[ ]heyting2__t17_heyting2.depvmin12021-07-25 21:03 129  
[ ]heyting2__t17_heyting2.vmin12021-07-25 20:57 1.7K 
[ ]heyting2__t17_heyting2.vmin1out2021-07-25 21:02 19K 
[ ]heyting2__t17_heyting2.vout2021-07-25 15:35 19K 
[ ]heyting2__t18_heyting22021-07-17 21:48 53K 
[ ]heyting2__t18_heyting2.vout2021-07-25 15:42 5.3K 
[ ]heyting2__t19_heyting22021-07-17 21:48 29K 
[ ]heyting2__t19_heyting2.depv12021-07-25 20:57 108  
[ ]heyting2__t19_heyting2.depvmin12021-07-25 21:03 108  
[ ]heyting2__t19_heyting2.vmin12021-07-25 20:57 1.3K 
[ ]heyting2__t19_heyting2.vmin1out2021-07-25 20:59 8.9K 
[ ]heyting2__t19_heyting2.vout2021-07-25 20:03 13K 
[ ]heyting2__t20_heyting22021-07-17 21:49 29K 
[ ]heyting2__t20_heyting2.depv12021-07-25 20:57 260  
[ ]heyting2__t20_heyting2.depvmin12021-07-25 21:03 260  
[ ]heyting2__t20_heyting2.vmin12021-07-25 20:57 3.1K 
[ ]heyting2__t20_heyting2.vmin1out2021-07-25 21:01 42K 
[ ]heyting2__t20_heyting2.vout2021-07-25 17:34 38K 
[ ]heyting2__t21_heyting22021-07-17 21:49 28K 
[ ]heyting2__t21_heyting2.depv12021-07-25 20:57 92  
[ ]heyting2__t21_heyting2.depvmin12021-07-25 21:03 59  
[ ]heyting2__t21_heyting2.vmin12021-07-25 20:57 1.0K 
[ ]heyting2__t21_heyting2.vmin1out2021-07-25 20:59 8.6K 
[ ]heyting2__t21_heyting2.vout2021-07-25 16:42 11K 
[ ]heyting2__t22_heyting22021-07-17 21:50 35K 
[ ]heyting2__t22_heyting2.vout2021-07-25 18:45 6.8K 
[ ]heyting2__t23_heyting22021-07-17 21:50 28K 
[ ]heyting2__t23_heyting2.depv12021-07-25 20:57 59  
[ ]heyting2__t23_heyting2.depvmin12021-07-25 21:03 59  
[ ]heyting2__t23_heyting2.vmin12021-07-25 20:57 698  
[ ]heyting2__t23_heyting2.vmin1out2021-07-25 20:59 8.0K 
[ ]heyting2__t23_heyting2.vout2021-07-25 19:37 7.6K 
[ ]heyting2__t24_heyting22021-07-17 21:51 47K 
[ ]heyting2__t24_heyting2.vout2021-07-25 18:14 3.7K 
[ ]heyting2__t25_heyting22021-07-17 21:52 44K 
[ ]heyting2__t25_heyting2.vout2021-07-25 18:28 3.7K 
[ ]heyting2__t26_heyting22021-07-17 21:52 37K 
[ ]heyting2__t26_heyting2.vout2021-07-25 19:27 7.3K 
[ ]heyting2__t27_heyting22021-07-17 21:53 40K 
[ ]heyting2__t27_heyting2.vout2021-07-25 20:29 4.2K 
[ ]heyting2__t28_heyting22021-07-17 21:53 34K 
[ ]heyting2__t28_heyting2.vout2021-07-25 18:33 4.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80