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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pascal__l9_pascal2025-09-09 21:46 24K 
[ ]pascal__l9_pascal.vout2025-09-15 16:20 2.0K 
[ ]pascal__l10_pascal2025-09-09 21:47 25K 
[ ]pascal__l10_pascal.vout2025-09-15 17:50 2.0K 
[ ]pascal__l11_pascal2025-09-09 21:49 33K 
[ ]pascal__l11_pascal.vout2025-09-15 17:43 7.3K 
[ ]pascal__l12_pascal2025-09-09 21:50 21K 
[ ]pascal__l12_pascal.depv12025-09-15 19:47 64  
[ ]pascal__l12_pascal.depvmin12025-09-15 19:52 64  
[ ]pascal__l12_pascal.vmin12025-09-15 19:47 1.8K 
[ ]pascal__l12_pascal.vmin1out2025-09-15 19:51 45K 
[ ]pascal__l12_pascal.vout2025-09-15 17:41 46K 
[ ]pascal__l13_pascal2025-09-09 21:51 31K 
[ ]pascal__l13_pascal.depv12025-09-15 19:47 101  
[ ]pascal__l13_pascal.depvmin12025-09-15 19:52 76  
[ ]pascal__l13_pascal.vmin12025-09-15 19:47 1.2K 
[ ]pascal__l13_pascal.vmin1out2025-09-15 19:51 13K 
[ ]pascal__l13_pascal.vout2025-09-15 14:19 19K 
[ ]pascal__l14_pascal2025-09-09 21:53 30K 
[ ]pascal__l14_pascal.depv12025-09-15 19:47 100  
[ ]pascal__l14_pascal.depvmin12025-09-15 19:52 75  
[ ]pascal__l14_pascal.vmin12025-09-15 19:47 799  
[ ]pascal__l14_pascal.vmin1out2025-09-15 19:49 6.0K 
[ ]pascal__l14_pascal.vout2025-09-15 16:08 9.6K 
[ ]pascal__l15_pascal2025-09-09 21:55 33K 
[ ]pascal__l15_pascal.depv12025-09-15 19:47 224  
[ ]pascal__l15_pascal.depvmin12025-09-15 19:52 224  
[ ]pascal__l15_pascal.vmin12025-09-15 19:47 3.5K 
[ ]pascal__l15_pascal.vmin1out2025-09-15 19:48 47K 
[ ]pascal__l15_pascal.vout2025-09-15 14:27 44K 
[ ]pascal__l16_pascal2025-09-09 21:57 36K 
[ ]pascal__l16_pascal.depv12025-09-15 19:47 290  
[ ]pascal__l16_pascal.depvmin12025-09-15 19:52 290  
[ ]pascal__l16_pascal.vmin12025-09-15 19:47 5.2K 
[ ]pascal__l16_pascal.vmin1out2025-09-15 19:48 83K 
[ ]pascal__l16_pascal.vout2025-09-15 16:14 62K 
[ ]pascal__l17_pascal2025-09-09 21:58 35K 
[ ]pascal__l17_pascal.vout2025-09-15 16:51 4.7K 
[ ]pascal__l18_pascal2025-09-09 22:00 36K 
[ ]pascal__l18_pascal.depv12025-09-15 19:47 269  
[ ]pascal__l18_pascal.depvmin12025-09-15 19:52 269  
[ ]pascal__l18_pascal.vmin12025-09-15 19:47 4.7K 
[ ]pascal__l18_pascal.vmin1out2025-09-15 19:49 73K 
[ ]pascal__l18_pascal.vout2025-09-15 15:21 56K 
[ ]pascal__l19_pascal2025-09-09 22:02 35K 
[ ]pascal__l19_pascal.vout2025-09-15 18:01 4.7K 
[ ]pascal__l20_pascal2025-09-09 22:04 36K 
[ ]pascal__l20_pascal.vout2025-09-15 19:21 4.7K 
[ ]pascal__l21_pascal2025-09-09 22:06 37K 
[ ]pascal__l21_pascal.vout2025-09-15 14:12 4.7K 
[ ]pascal__l22_pascal2025-09-09 22:08 36K 
[ ]pascal__l22_pascal.vout2025-09-15 13:32 4.7K 
[ ]pascal__l23_pascal2025-09-09 22:09 36K 
[ ]pascal__l23_pascal.vout2025-09-15 15:53 7.3K 
[ ]pascal__l25_pascal2025-09-09 22:12 47K 
[ ]pascal__l25_pascal.vout2025-09-15 17:48 6.7K 
[ ]pascal__l26_pascal2025-09-09 22:13 32K 
[ ]pascal__l26_pascal.vout2025-09-15 17:30 11K 
[ ]pascal__l27_pascal2025-09-09 22:15 31K 
[ ]pascal__l27_pascal.vout2025-09-15 16:15 11K 
[ ]pascal__l28_pascal2025-09-09 22:17 30K 
[ ]pascal__l28_pascal.vout2025-09-15 14:39 2.0K 
[ ]pascal__l29_pascal2025-09-09 22:18 37K 
[ ]pascal__l29_pascal.vout2025-09-15 18:46 7.8K 
[ ]pascal__l42_pascal2025-09-09 22:21 83K 
[ ]pascal__l42_pascal.vout2025-09-15 14:29 4.7K 
[ ]pascal__l43_pascal2025-09-09 22:22 29K 
[ ]pascal__l43_pascal.vout2025-09-15 15:26 4.7K 
[ ]pascal__l44_pascal2025-09-09 22:24 83K 
[ ]pascal__l44_pascal.vout2025-09-15 18:39 4.7K 
[ ]pascal__l45_pascal2025-09-09 22:26 83K 
[ ]pascal__l45_pascal.vout2025-09-15 16:11 4.7K 
[ ]pascal__l46_pascal2025-09-09 22:28 83K 
[ ]pascal__l46_pascal.vout2025-09-15 19:39 4.7K 
[ ]pascal__l47_pascal2025-09-09 22:29 83K 
[ ]pascal__l47_pascal.vout2025-09-15 15:52 4.7K 
[ ]pascal__l48_pascal2025-09-09 22:31 83K 
[ ]pascal__l48_pascal.vout2025-09-15 15:08 4.7K 
[ ]pascal__l49_pascal2025-09-09 22:33 83K 
[ ]pascal__l49_pascal.vout2025-09-15 13:39 4.7K 
[ ]pascal__l50_pascal2025-09-09 22:35 83K 
[ ]pascal__l50_pascal.vout2025-09-15 14:09 4.7K 
[ ]pascal__l51_pascal2025-09-09 22:37 72K 
[ ]pascal__l51_pascal.vout2025-09-15 15:13 4.7K 
[ ]pascal__l52_pascal2025-09-09 22:39 72K 
[ ]pascal__l52_pascal.vout2025-09-15 16:00 4.7K 
[ ]pascal__t1_pascal2025-09-09 20:29 29K 
[ ]pascal__t1_pascal.depv12025-09-15 19:47 36  
[ ]pascal__t1_pascal.depvmin12025-09-15 19:52 36  
[ ]pascal__t1_pascal.vmin12025-09-15 19:47 841  
[ ]pascal__t1_pascal.vmin1out2025-09-15 19:48 10K 
[ ]pascal__t1_pascal.vout2025-09-15 14:54 9.9K 
[ ]pascal__t2_pascal2025-09-09 20:31 26K 
[ ]pascal__t2_pascal.depv12025-09-15 19:47 149  
[ ]pascal__t2_pascal.depvmin12025-09-15 19:52 149  
[ ]pascal__t2_pascal.vmin12025-09-15 19:47 2.8K 
[ ]pascal__t2_pascal.vmin1out2025-09-15 19:51 137K 
[ ]pascal__t2_pascal.vout2025-09-15 19:05 135K 
[ ]pascal__t3_pascal2025-09-09 20:32 27K 
[ ]pascal__t3_pascal.depv12025-09-15 19:47 258  
[ ]pascal__t3_pascal.depvmin12025-09-15 19:52 258  
[ ]pascal__t3_pascal.vmin12025-09-15 19:47 3.2K 
[ ]pascal__t3_pascal.vmin1out2025-09-15 19:48 62K 
[ ]pascal__t3_pascal.vout2025-09-15 18:40 62K 
[ ]pascal__t4_pascal2025-09-09 20:34 31K 
[ ]pascal__t4_pascal.depv12025-09-15 19:47 348  
[ ]pascal__t4_pascal.depvmin12025-09-15 19:52 295  
[ ]pascal__t4_pascal.vmin12025-09-15 19:47 5.1K 
[ ]pascal__t4_pascal.vmin1out2025-09-15 19:49 157K 
[ ]pascal__t4_pascal.vout2025-09-15 17:58 125K 
[ ]pascal__t5_pascal2025-09-09 20:36 32K 
[ ]pascal__t5_pascal.vout2025-09-15 18:55 7.3K 
[ ]pascal__t6_pascal2025-09-09 20:38 30K 
[ ]pascal__t6_pascal.depv12025-09-15 19:47 133  
[ ]pascal__t6_pascal.depvmin12025-09-15 19:52 133  
[ ]pascal__t6_pascal.vmin12025-09-15 19:47 4.8K 
[ ]pascal__t6_pascal.vmin1out2025-09-15 19:51 80K 
[ ]pascal__t6_pascal.vout2025-09-15 18:49 79K 
[ ]pascal__t7_pascal2025-09-09 20:40 36K 
[ ]pascal__t7_pascal.vout2025-09-15 16:19 7.3K 
[ ]pascal__t8_pascal2025-09-09 20:42 120K 
[ ]pascal__t8_pascal.vout2025-09-15 16:22 4.7K 
[ ]pascal__t9_pascal2025-09-09 20:45 123K 
[ ]pascal__t9_pascal.vout2025-09-15 15:04 4.7K 
[ ]pascal__t10_pascal2025-09-09 20:47 88K 
[ ]pascal__t10_pascal.vout2025-09-15 14:20 4.7K 
[ ]pascal__t11_pascal2025-09-09 20:49 87K 
[ ]pascal__t11_pascal.vout2025-09-15 14:14 7.3K 
[ ]pascal__t12_pascal2025-09-09 20:51 32K 
[ ]pascal__t12_pascal.vout2025-09-15 18:13 7.2K 
[ ]pascal__t13_pascal2025-09-09 20:54 182K 
[ ]pascal__t13_pascal.vout2025-09-15 18:28 4.7K 
[ ]pascal__t14_pascal2025-09-09 20:56 55K 
[ ]pascal__t14_pascal.vout2025-09-15 17:10 4.7K 
[ ]pascal__t15_pascal2025-09-09 20:58 32K 
[ ]pascal__t15_pascal.vout2025-09-15 13:54 7.2K 
[ ]pascal__t16_pascal2025-09-09 21:03 206K 
[ ]pascal__t16_pascal.vout2025-09-15 16:12 6.8K 
[ ]pascal__t17_pascal2025-09-09 21:06 107K 
[ ]pascal__t17_pascal.vout2025-09-15 15:25 7.3K 
[ ]pascal__t18_pascal2025-09-09 21:08 88K 
[ ]pascal__t18_pascal.vout2025-09-15 17:47 6.7K 
[ ]pascal__t19_pascal2025-09-09 21:10 87K 
[ ]pascal__t19_pascal.vout2025-09-15 14:28 4.7K 
[ ]pascal__t20_pascal2025-09-09 21:12 39K 
[ ]pascal__t20_pascal.vout2025-09-15 14:47 4.7K 
[ ]pascal__t21_pascal2025-09-09 21:14 77K 
[ ]pascal__t21_pascal.vout2025-09-15 16:14 6.8K 
[ ]pascal__t22_pascal2025-09-09 21:15 77K 
[ ]pascal__t22_pascal.vout2025-09-15 17:39 6.8K 
[ ]pascal__t23_pascal2025-09-09 21:17 42K 
[ ]pascal__t23_pascal.vout2025-09-15 17:59 6.8K 
[ ]pascal__t24_pascal2025-09-09 21:18 77K 
[ ]pascal__t24_pascal.vout2025-09-15 17:59 6.8K 
[ ]pascal__t25_pascal2025-09-09 21:20 42K 
[ ]pascal__t25_pascal.vout2025-09-15 16:26 6.8K 
[ ]pascal__t26_pascal2025-09-09 21:21 77K 
[ ]pascal__t26_pascal.vout2025-09-15 14:56 6.8K 
[ ]pascal__t27_pascal2025-09-09 21:23 26K 
[ ]pascal__t27_pascal.vout2025-09-15 17:10 4.7K 
[ ]pascal__t28_pascal2025-09-09 21:25 87K 
[ ]pascal__t28_pascal.vout2025-09-15 14:33 4.7K 
[ ]pascal__t29_pascal2025-09-09 21:28 104K 
[ ]pascal__t29_pascal.vout2025-09-15 14:01 4.7K 
[ ]pascal__t30_pascal2025-09-09 21:29 43K 
[ ]pascal__t30_pascal.vout2025-09-15 13:56 7.3K 
[ ]pascal__t31_pascal2025-09-09 21:31 17K 
[ ]pascal__t31_pascal.depv12025-09-15 19:47 45  
[ ]pascal__t31_pascal.depvmin12025-09-15 19:52 45  
[ ]pascal__t31_pascal.vmin12025-09-15 19:47 2.7K 
[ ]pascal__t31_pascal.vmin1out2025-09-15 19:50 49K 
[ ]pascal__t31_pascal.vout2025-09-15 14:41 154K 
[ ]pascal__t32_pascal2025-09-09 21:32 35K 
[ ]pascal__t32_pascal.vout2025-09-15 14:32 3.7K 
[ ]pascal__t33_pascal2025-09-09 21:36 115K 
[ ]pascal__t33_pascal.vout2025-09-15 13:44 6.8K 
[ ]pascal__t34_pascal2025-09-09 21:38 50K 
[ ]pascal__t34_pascal.vout2025-09-15 16:39 6.8K 
[ ]pascal__t35_pascal2025-09-09 21:42 124K 
[ ]pascal__t35_pascal.vout2025-09-15 19:10 6.8K 
[ ]pascal__t36_pascal2025-09-09 21:44 51K 
[ ]pascal__t36_pascal.depv12025-09-15 19:47 86  
[ ]pascal__t36_pascal.depvmin12025-09-15 19:52 33  
[ ]pascal__t36_pascal.vmin12025-09-15 19:47 4.0K 
[ ]pascal__t36_pascal.vmin1out2025-09-15 19:49 99K 
[ ]pascal__t36_pascal.vout2025-09-15 19:42 73K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80