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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]srings_3__l9_srings_32024-07-27 16:27 43K 
[ ]srings_3__l9_srings_3.vout2024-08-03 05:04 5.9K 
[ ]srings_3__l13_srings_32024-07-27 17:14 27K 
[ ]srings_3__l13_srings_3.vout2024-08-03 09:58 3.7K 
[ ]srings_3__l16_srings_32024-07-27 17:16 41K 
[ ]srings_3__l16_srings_3.vout2024-08-03 09:08 4.2K 
[ ]srings_3__l26_srings_32024-07-27 16:28 37K 
[ ]srings_3__l26_srings_3.vout2024-08-03 07:05 7.4K 
[ ]srings_3__l31_srings_32024-07-27 17:17 27K 
[ ]srings_3__l31_srings_3.vout2024-08-03 07:49 4.2K 
[ ]srings_3__l39_srings_32024-07-27 16:30 26K 
[ ]srings_3__l39_srings_3.vout2024-08-03 08:17 4.8K 
[ ]srings_3__l40_srings_32024-07-27 16:31 37K 
[ ]srings_3__l40_srings_3.vout2024-08-03 08:05 3.7K 
[ ]srings_3__l41_srings_32024-07-27 16:33 36K 
[ ]srings_3__l41_srings_3.vout2024-08-03 08:49 7.4K 
[ ]srings_3__l42_srings_32024-07-27 16:35 36K 
[ ]srings_3__l42_srings_3.vout2024-08-03 09:14 7.3K 
[ ]srings_3__l43_srings_32024-07-27 16:37 38K 
[ ]srings_3__l43_srings_3.vout2024-08-03 04:23 7.4K 
[ ]srings_3__l44_srings_32024-07-27 16:38 38K 
[ ]srings_3__l44_srings_3.vout2024-08-03 09:58 7.4K 
[ ]srings_3__l45_srings_32024-07-27 16:40 35K 
[ ]srings_3__l45_srings_3.vout2024-08-03 07:21 7.3K 
[ ]srings_3__l46_srings_32024-07-27 16:41 36K 
[ ]srings_3__l46_srings_3.vout2024-08-03 05:29 7.4K 
[ ]srings_3__l47_srings_32024-07-27 16:43 36K 
[ ]srings_3__l47_srings_3.vout2024-08-03 04:58 7.4K 
[ ]srings_3__l48_srings_32024-07-27 16:44 36K 
[ ]srings_3__l48_srings_3.vout2024-08-03 09:12 7.4K 
[ ]srings_3__l49_srings_32024-07-27 16:46 36K 
[ ]srings_3__l49_srings_3.vout2024-08-03 08:27 7.4K 
[ ]srings_3__l50_srings_32024-07-27 16:48 37K 
[ ]srings_3__l50_srings_3.vout2024-08-03 08:21 7.3K 
[ ]srings_3__l51_srings_32024-07-27 16:49 30K 
[ ]srings_3__l51_srings_3.depv12024-08-03 10:19 39  
[ ]srings_3__l51_srings_3.depvmin12024-08-03 10:24 39  
[ ]srings_3__l51_srings_3.vmin12024-08-03 10:19 1.1K 
[ ]srings_3__l51_srings_3.vmin1out2024-08-03 10:22 20K 
[ ]srings_3__l51_srings_3.vout2024-08-03 05:59 31K 
[ ]srings_3__l52_srings_32024-07-27 16:51 39K 
[ ]srings_3__l52_srings_3.vout2024-08-03 10:15 7.3K 
[ ]srings_3__l53_srings_32024-07-27 16:52 36K 
[ ]srings_3__l53_srings_3.vout2024-08-03 06:38 7.4K 
[ ]srings_3__l54_srings_32024-07-27 16:54 37K 
[ ]srings_3__l54_srings_3.vout2024-08-03 09:18 7.3K 
[ ]srings_3__l55_srings_32024-07-27 16:56 39K 
[ ]srings_3__l55_srings_3.vout2024-08-03 07:10 7.3K 
[ ]srings_3__l56_srings_32024-07-27 16:57 35K 
[ ]srings_3__l56_srings_3.vout2024-08-03 09:44 7.4K 
[ ]srings_3__l57_srings_32024-07-27 16:59 30K 
[ ]srings_3__l57_srings_3.vout2024-08-03 09:47 7.3K 
[ ]srings_3__l58_srings_32024-07-27 17:00 31K 
[ ]srings_3__l58_srings_3.vout2024-08-03 05:02 7.3K 
[ ]srings_3__l59_srings_32024-07-27 17:02 33K 
[ ]srings_3__l59_srings_3.vout2024-08-03 04:41 7.3K 
[ ]srings_3__l60_srings_32024-07-27 17:03 31K 
[ ]srings_3__l60_srings_3.vout2024-08-03 08:09 7.4K 
[ ]srings_3__l61_srings_32024-07-27 17:04 31K 
[ ]srings_3__l61_srings_3.vout2024-08-03 04:40 7.4K 
[ ]srings_3__l62_srings_32024-07-27 17:06 30K 
[ ]srings_3__l62_srings_3.vout2024-08-03 07:07 7.4K 
[ ]srings_3__l63_srings_32024-07-27 17:07 31K 
[ ]srings_3__l63_srings_3.vout2024-08-03 05:22 7.4K 
[ ]srings_3__l64_srings_32024-07-27 17:08 31K 
[ ]srings_3__l64_srings_3.vout2024-08-03 06:58 7.3K 
[ ]srings_3__l65_srings_32024-07-27 17:10 31K 
[ ]srings_3__l65_srings_3.vout2024-08-03 05:41 7.3K 
[ ]srings_3__l66_srings_32024-07-27 17:11 33K 
[ ]srings_3__l66_srings_3.vout2024-08-03 06:14 7.4K 
[ ]srings_3__l67_srings_32024-07-27 17:13 31K 
[ ]srings_3__l67_srings_3.vout2024-08-03 09:46 7.3K 
[ ]srings_3__t1_srings_32024-07-27 15:45 53K 
[ ]srings_3__t1_srings_3.vout2024-08-03 09:34 7.3K 
[ ]srings_3__t2_srings_32024-07-27 15:47 35K 
[ ]srings_3__t2_srings_3.vout2024-08-03 04:37 7.3K 
[ ]srings_3__t3_srings_32024-07-27 15:48 33K 
[ ]srings_3__t3_srings_3.depv12024-08-03 10:19 185  
[ ]srings_3__t3_srings_3.depvmin12024-08-03 10:24 172  
[ ]srings_3__t3_srings_3.vmin12024-08-03 10:19 1.6K 
[ ]srings_3__t3_srings_3.vmin1out2024-08-03 10:20 21K 
[ ]srings_3__t3_srings_3.vout2024-08-03 10:02 25K 
[ ]srings_3__t4_srings_32024-07-27 15:50 42K 
[ ]srings_3__t4_srings_3.depv12024-08-03 10:19 277  
[ ]srings_3__t4_srings_3.depvmin12024-08-03 10:24 190  
[ ]srings_3__t4_srings_3.vmin12024-08-03 10:19 2.6K 
[ ]srings_3__t4_srings_3.vmin1out2024-08-03 10:21 30K 
[ ]srings_3__t4_srings_3.vout2024-08-03 08:46 33K 
[ ]srings_3__t5_srings_32024-07-27 15:52 58K 
[ ]srings_3__t5_srings_3.vout2024-08-03 05:43 3.7K 
[ ]srings_3__t6_srings_32024-07-27 15:53 42K 
[ ]srings_3__t6_srings_3.vout2024-08-03 04:09 3.7K 
[ ]srings_3__t7_srings_32024-07-27 15:54 23K 
[ ]srings_3__t7_srings_3.depv12024-08-03 10:19 128  
[ ]srings_3__t7_srings_3.depvmin12024-08-03 10:24 119  
[ ]srings_3__t7_srings_3.vmin12024-08-03 10:19 881  
[ ]srings_3__t7_srings_3.vmin1out2024-08-03 10:20 7.9K 
[ ]srings_3__t7_srings_3.vout2024-08-03 08:40 9.1K 
[ ]srings_3__t8_srings_32024-07-27 15:56 38K 
[ ]srings_3__t8_srings_3.vout2024-08-03 08:41 7.3K 
[ ]srings_3__t9_srings_32024-07-27 15:57 25K 
[ ]srings_3__t9_srings_3.depv12024-08-03 10:19 56  
[ ]srings_3__t9_srings_3.depvmin12024-08-03 10:24 46  
[ ]srings_3__t9_srings_3.vmin12024-08-03 10:19 1.0K 
[ ]srings_3__t9_srings_3.vmin1out2024-08-03 10:20 18K 
[ ]srings_3__t9_srings_3.vout2024-08-03 07:59 20K 
[ ]srings_3__t10_srings_32024-07-27 15:59 44K 
[ ]srings_3__t10_srings_3.vout2024-08-03 07:02 7.4K 
[ ]srings_3__t11_srings_32024-07-27 16:00 23K 
[ ]srings_3__t11_srings_3.vout2024-08-03 09:50 4.2K 
[ ]srings_3__t12_srings_32024-07-27 15:43 30K 
[ ]srings_3__t12_srings_3.depv12024-08-03 10:19 38  
[ ]srings_3__t12_srings_3.depvmin12024-08-03 10:24 38  
[ ]srings_3__t12_srings_3.vmin12024-08-03 10:19 723  
[ ]srings_3__t12_srings_3.vmin1out2024-08-03 10:22 9.5K 
[ ]srings_3__t12_srings_3.vout2024-08-03 06:57 9.1K 
[ ]srings_3__t13_srings_32024-07-27 16:02 44K 
[ ]srings_3__t13_srings_3.vout2024-08-03 04:50 7.3K 
[ ]srings_3__t14_srings_32024-07-27 16:04 62K 
[ ]srings_3__t14_srings_3.vout2024-08-03 09:19 6.8K 
[ ]srings_3__t15_srings_32024-07-27 16:05 31K 
[ ]srings_3__t15_srings_3.vout2024-08-03 08:23 7.9K 
[ ]srings_3__t16_srings_32024-07-27 16:07 65K 
[ ]srings_3__t16_srings_3.vout2024-08-03 07:14 3.7K 
[ ]srings_3__t17_srings_32024-07-27 16:09 61K 
[ ]srings_3__t17_srings_3.vout2024-08-03 09:12 3.7K 
[ ]srings_3__t18_srings_32024-07-27 16:11 62K 
[ ]srings_3__t18_srings_3.vout2024-08-03 10:12 3.7K 
[ ]srings_3__t19_srings_32024-07-27 16:12 24K 
[ ]srings_3__t19_srings_3.vout2024-08-03 08:34 7.3K 
[ ]srings_3__t20_srings_32024-07-27 15:44 23K 
[ ]srings_3__t20_srings_3.depv12024-08-03 10:19 100  
[ ]srings_3__t20_srings_3.depvmin12024-08-03 10:24 100  
[ ]srings_3__t20_srings_3.vmin12024-08-03 10:19 1.2K 
[ ]srings_3__t20_srings_3.vmin1out2024-08-03 10:23 13K 
[ ]srings_3__t20_srings_3.vout2024-08-03 09:11 12K 
[ ]srings_3__t21_srings_32024-07-27 16:14 23K 
[ ]srings_3__t21_srings_3.depv12024-08-03 10:19 244  
[ ]srings_3__t21_srings_3.depvmin12024-08-03 10:24 231  
[ ]srings_3__t21_srings_3.vmin12024-08-03 10:19 1.8K 
[ ]srings_3__t21_srings_3.vmin1out2024-08-03 10:20 23K 
[ ]srings_3__t21_srings_3.vout2024-08-03 05:01 24K 
[ ]srings_3__t22_srings_32024-07-27 16:16 62K 
[ ]srings_3__t22_srings_3.vout2024-08-03 07:18 3.7K 
[ ]srings_3__t23_srings_32024-07-27 16:17 24K 
[ ]srings_3__t23_srings_3.vout2024-08-03 05:30 7.3K 
[ ]srings_3__t24_srings_32024-07-27 16:18 30K 
[ ]srings_3__t24_srings_3.vout2024-08-03 04:56 7.3K 
[ ]srings_3__t25_srings_32024-07-27 16:19 36K 
[ ]srings_3__t25_srings_3.depv12024-08-03 10:19 138  
[ ]srings_3__t25_srings_3.depvmin12024-08-03 10:24 138  
[ ]srings_3__t25_srings_3.vmin12024-08-03 10:19 1.2K 
[ ]srings_3__t25_srings_3.vmin1out2024-08-03 10:23 15K 
[ ]srings_3__t25_srings_3.vout2024-08-03 07:33 19K 
[ ]srings_3__t26_srings_32024-07-27 16:21 24K 
[ ]srings_3__t26_srings_3.depv12024-08-03 10:19 123  
[ ]srings_3__t26_srings_3.depvmin12024-08-03 10:24 123  
[ ]srings_3__t26_srings_3.vmin12024-08-03 10:19 1.3K 
[ ]srings_3__t26_srings_3.vmin1out2024-08-03 10:23 31K 
[ ]srings_3__t26_srings_3.vout2024-08-03 05:59 24K 
[ ]srings_3__t27_srings_32024-07-27 16:23 57K 
[ ]srings_3__t27_srings_3.vout2024-08-03 07:40 5.3K 
[ ]srings_3__t28_srings_32024-07-27 16:25 69K 
[ ]srings_3__t28_srings_3.vout2024-08-03 04:12 9.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80