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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rlaffin2__l1_rlaffin22024-07-28 22:33 52K 
[ ]rlaffin2__l1_rlaffin2.vout2024-08-03 08:15 7.3K 
[ ]rlaffin2__l7_rlaffin22024-07-28 21:27 33K 
[ ]rlaffin2__l7_rlaffin2.depv12024-08-03 10:19 101  
[ ]rlaffin2__l7_rlaffin2.depvmin12024-08-03 10:24 72  
[ ]rlaffin2__l7_rlaffin2.vmin12024-08-03 10:20 1.3K 
[ ]rlaffin2__l7_rlaffin2.vmin1out2024-08-03 10:22 20K 
[ ]rlaffin2__l7_rlaffin2.vout2024-08-03 07:40 18K 
[ ]rlaffin2__l19_rlaffin22024-07-28 21:28 22K 
[ ]rlaffin2__l19_rlaffin2.depv12024-08-03 10:19 52  
[ ]rlaffin2__l19_rlaffin2.depvmin12024-08-03 10:24 52  
[ ]rlaffin2__l19_rlaffin2.vmin12024-08-03 10:20 286  
[ ]rlaffin2__l19_rlaffin2.vmin1out2024-08-03 10:21 2.2K 
[ ]rlaffin2__l19_rlaffin2.vout2024-08-03 09:35 2.1K 
[ ]rlaffin2__l30_rlaffin22024-07-28 22:35 71K 
[ ]rlaffin2__l30_rlaffin2.vout2024-08-03 10:11 6.8K 
[ ]rlaffin2__t1_rlaffin22024-07-28 21:31 99K 
[ ]rlaffin2__t1_rlaffin2.vout2024-08-03 05:53 3.7K 
[ ]rlaffin2__t2_rlaffin22024-07-28 21:33 93K 
[ ]rlaffin2__t2_rlaffin2.vout2024-08-03 08:52 3.7K 
[ ]rlaffin2__t3_rlaffin22024-07-28 21:37 137K 
[ ]rlaffin2__t3_rlaffin2.vout2024-08-03 06:45 3.7K 
[ ]rlaffin2__t4_rlaffin22024-07-28 21:39 67K 
[ ]rlaffin2__t4_rlaffin2.vout2024-08-03 09:54 3.7K 
[ ]rlaffin2__t5_rlaffin22024-07-28 21:24 33K 
[ ]rlaffin2__t5_rlaffin2.depv12024-08-03 10:19 24  
[ ]rlaffin2__t5_rlaffin2.depvmin12024-08-03 10:24 24  
[ ]rlaffin2__t5_rlaffin2.vmin12024-08-03 10:20 399  
[ ]rlaffin2__t5_rlaffin2.vmin1out2024-08-03 10:21 4.0K 
[ ]rlaffin2__t5_rlaffin2.vout2024-08-03 04:24 5.4K 
[ ]rlaffin2__t6_rlaffin22024-07-28 21:41 38K 
[ ]rlaffin2__t6_rlaffin2.vout2024-08-03 07:28 7.3K 
[ ]rlaffin2__t7_rlaffin22024-07-28 21:42 39K 
[ ]rlaffin2__t7_rlaffin2.depv12024-08-03 10:19 95  
[ ]rlaffin2__t7_rlaffin2.depvmin12024-08-03 10:24 95  
[ ]rlaffin2__t7_rlaffin2.vmin12024-08-03 10:20 1.5K 
[ ]rlaffin2__t7_rlaffin2.vmin1out2024-08-03 10:20 27K 
[ ]rlaffin2__t7_rlaffin2.vout2024-08-03 09:55 22K 
[ ]rlaffin2__t8_rlaffin22024-07-28 22:30 69K 
[ ]rlaffin2__t8_rlaffin2.vout2024-08-03 09:38 4.7K 
[ ]rlaffin2__t9_rlaffin22024-07-28 22:31 46K 
[ ]rlaffin2__t9_rlaffin2.depv12024-08-03 10:19 320  
[ ]rlaffin2__t9_rlaffin2.depvmin12024-08-03 10:24 226  
[ ]rlaffin2__t9_rlaffin2.vmin12024-08-03 10:20 3.4K 
[ ]rlaffin2__t9_rlaffin2.vmin1out2024-08-03 10:23 53K 
[ ]rlaffin2__t9_rlaffin2.vout2024-08-03 05:42 39K 
[ ]rlaffin2__t10_rlaffin22024-07-28 21:44 48K 
[ ]rlaffin2__t10_rlaffin2.depv12024-08-03 10:19 184  
[ ]rlaffin2__t10_rlaffin2.depvmin12024-08-03 10:24 119  
[ ]rlaffin2__t10_rlaffin2.vmin12024-08-03 10:20 2.7K 
[ ]rlaffin2__t10_rlaffin2.vmin1out2024-08-03 10:21 51K 
[ ]rlaffin2__t10_rlaffin2.vout2024-08-03 06:16 33K 
[ ]rlaffin2__t11_rlaffin22024-07-28 21:46 53K 
[ ]rlaffin2__t11_rlaffin2.vout2024-08-03 06:51 3.7K 
[ ]rlaffin2__t12_rlaffin22024-07-28 21:48 58K 
[ ]rlaffin2__t12_rlaffin2.vout2024-08-03 08:51 3.7K 
[ ]rlaffin2__t13_rlaffin22024-07-28 21:50 49K 
[ ]rlaffin2__t13_rlaffin2.vout2024-08-03 10:01 7.4K 
[ ]rlaffin2__t14_rlaffin22024-07-28 21:52 75K 
[ ]rlaffin2__t14_rlaffin2.vout2024-08-03 07:16 3.7K 
[ ]rlaffin2__t15_rlaffin22024-07-28 21:55 96K 
[ ]rlaffin2__t15_rlaffin2.vout2024-08-03 06:00 3.7K 
[ ]rlaffin2__t16_rlaffin22024-07-28 21:57 75K 
[ ]rlaffin2__t16_rlaffin2.vout2024-08-03 04:53 7.3K 
[ ]rlaffin2__t17_rlaffin22024-07-28 21:59 54K 
[ ]rlaffin2__t17_rlaffin2.vout2024-08-03 09:25 7.3K 
[ ]rlaffin2__t18_rlaffin22024-07-28 22:02 74K 
[ ]rlaffin2__t18_rlaffin2.vout2024-08-03 07:00 6.8K 
[ ]rlaffin2__t19_rlaffin22024-07-28 22:04 61K 
[ ]rlaffin2__t19_rlaffin2.vout2024-08-03 07:19 4.7K 
[ ]rlaffin2__t20_rlaffin22024-07-28 22:06 63K 
[ ]rlaffin2__t20_rlaffin2.vout2024-08-03 06:52 4.2K 
[ ]rlaffin2__t21_rlaffin22024-07-28 22:08 59K 
[ ]rlaffin2__t21_rlaffin2.vout2024-08-03 05:07 4.2K 
[ ]rlaffin2__t22_rlaffin22024-07-28 22:10 98K 
[ ]rlaffin2__t22_rlaffin2.vout2024-08-03 08:12 3.7K 
[ ]rlaffin2__t23_rlaffin22024-07-28 22:13 96K 
[ ]rlaffin2__t23_rlaffin2.vout2024-08-03 08:39 4.2K 
[ ]rlaffin2__t24_rlaffin22024-07-28 22:15 98K 
[ ]rlaffin2__t24_rlaffin2.vout2024-08-03 08:00 3.7K 
[ ]rlaffin2__t25_rlaffin22024-07-28 22:18 78K 
[ ]rlaffin2__t25_rlaffin2.vout2024-08-03 08:55 4.7K 
[ ]rlaffin2__t26_rlaffin22024-07-28 22:20 105K 
[ ]rlaffin2__t26_rlaffin2.vout2024-08-03 06:37 3.7K 
[ ]rlaffin2__t27_rlaffin22024-07-28 21:26 40K 
[ ]rlaffin2__t27_rlaffin2.depv12024-08-03 10:19 26  
[ ]rlaffin2__t27_rlaffin2.depvmin12024-08-03 10:24 26  
[ ]rlaffin2__t27_rlaffin2.vmin12024-08-03 10:20 1.1K 
[ ]rlaffin2__t27_rlaffin2.vmin1out2024-08-03 10:23 33K 
[ ]rlaffin2__t27_rlaffin2.vout2024-08-03 06:33 24K 
[ ]rlaffin2__t28_rlaffin22024-07-28 22:22 83K 
[ ]rlaffin2__t28_rlaffin2.vout2024-08-03 07:40 7.3K 
[ ]rlaffin2__t29_rlaffin22024-07-28 22:25 83K 
[ ]rlaffin2__t29_rlaffin2.vout2024-08-03 04:26 6.8K 
[ ]rlaffin2__t30_rlaffin22024-07-28 22:27 100K 
[ ]rlaffin2__t30_rlaffin2.vout2024-08-03 08:28 4.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80