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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan1c__l1_jordan1c2024-07-27 21:14 13K 
[ ]jordan1c__l1_jordan1c.vout2024-08-03 09:05 2.1K 
[ ]jordan1c__l2_jordan1c2024-07-27 21:15 10K 
[ ]jordan1c__l2_jordan1c.depv12024-08-03 10:19 111  
[ ]jordan1c__l2_jordan1c.depvmin12024-08-03 10:24 99  
[ ]jordan1c__l2_jordan1c.vmin12024-08-03 10:19 1.2K 
[ ]jordan1c__l2_jordan1c.vmin1out2024-08-03 10:21 19K 
[ ]jordan1c__l2_jordan1c.vout2024-08-03 05:52 20K 
[ ]jordan1c__l3_jordan1c2024-07-27 21:16 35K 
[ ]jordan1c__l3_jordan1c.depv12024-08-03 10:19 121  
[ ]jordan1c__l3_jordan1c.depvmin12024-08-03 10:24 121  
[ ]jordan1c__l3_jordan1c.vmin12024-08-03 10:19 1.4K 
[ ]jordan1c__l3_jordan1c.vmin1out2024-08-03 10:20 12K 
[ ]jordan1c__l3_jordan1c.vout2024-08-03 05:20 12K 
[ ]jordan1c__l4_jordan1c2024-07-27 21:17 18K 
[ ]jordan1c__l4_jordan1c.vout2024-08-03 05:47 2.0K 
[ ]jordan1c__l7_jordan1c2024-07-27 20:23 34K 
[ ]jordan1c__l7_jordan1c.depv12024-08-03 10:19 63  
[ ]jordan1c__l7_jordan1c.depvmin12024-08-03 10:24 63  
[ ]jordan1c__l7_jordan1c.vmin12024-08-03 10:19 733  
[ ]jordan1c__l7_jordan1c.vmin1out2024-08-03 10:20 6.9K 
[ ]jordan1c__l7_jordan1c.vout2024-08-03 10:06 7.0K 
[ ]jordan1c__l8_jordan1c2024-07-27 20:25 33K 
[ ]jordan1c__l8_jordan1c.depv12024-08-03 10:19 77  
[ ]jordan1c__l8_jordan1c.depvmin12024-08-03 10:24 77  
[ ]jordan1c__l8_jordan1c.vmin12024-08-03 10:19 827  
[ ]jordan1c__l8_jordan1c.vmin1out2024-08-03 10:20 5.0K 
[ ]jordan1c__l8_jordan1c.vout2024-08-03 08:28 6.3K 
[ ]jordan1c__l9_jordan1c2024-07-27 21:20 85K 
[ ]jordan1c__l9_jordan1c.vout2024-08-03 06:20 6.8K 
[ ]jordan1c__l12_jordan1c2024-07-27 21:22 47K 
[ ]jordan1c__l12_jordan1c.vout2024-08-03 05:13 7.4K 
[ ]jordan1c__l13_jordan1c2024-07-27 21:24 47K 
[ ]jordan1c__l13_jordan1c.vout2024-08-03 06:35 7.3K 
[ ]jordan1c__l15_jordan1c2024-07-27 21:26 48K 
[ ]jordan1c__l15_jordan1c.vout2024-08-03 08:41 7.3K 
[ ]jordan1c__l16_jordan1c2024-07-27 21:28 48K 
[ ]jordan1c__l16_jordan1c.vout2024-08-03 06:58 7.3K 
[ ]jordan1c__l17_jordan1c2024-07-27 21:30 48K 
[ ]jordan1c__l17_jordan1c.vout2024-08-03 05:56 7.3K 
[ ]jordan1c__l18_jordan1c2024-07-27 21:32 48K 
[ ]jordan1c__l18_jordan1c.vout2024-08-03 04:27 7.3K 
[ ]jordan1c__l19_jordan1c2024-07-27 21:34 33K 
[ ]jordan1c__l19_jordan1c.depv12024-08-03 10:19 208  
[ ]jordan1c__l19_jordan1c.depvmin12024-08-03 10:24 208  
[ ]jordan1c__l19_jordan1c.vmin12024-08-03 10:19 1.9K 
[ ]jordan1c__l19_jordan1c.vmin1out2024-08-03 10:20 16K 
[ ]jordan1c__l19_jordan1c.vout2024-08-03 04:43 18K 
[ ]jordan1c__t1_jordan1c2024-07-27 20:27 77K 
[ ]jordan1c__t1_jordan1c.vout2024-08-03 06:23 7.3K 
[ ]jordan1c__t2_jordan1c2024-07-27 20:29 158K 
[ ]jordan1c__t2_jordan1c.vout2024-08-03 06:49 7.3K 
[ ]jordan1c__t3_jordan1c2024-07-27 20:31 57K 
[ ]jordan1c__t3_jordan1c.vout2024-08-03 04:50 7.9K 
[ ]jordan1c__t4_jordan1c2024-07-27 20:33 37K 
[ ]jordan1c__t4_jordan1c.vout2024-08-03 10:01 7.3K 
[ ]jordan1c__t5_jordan1c2024-07-27 20:35 44K 
[ ]jordan1c__t5_jordan1c.depv12024-08-03 10:19 87  
[ ]jordan1c__t5_jordan1c.depvmin12024-08-03 10:24 87  
[ ]jordan1c__t5_jordan1c.vmin12024-08-03 10:19 2.1K 
[ ]jordan1c__t5_jordan1c.vmin1out2024-08-03 10:23 18K 
[ ]jordan1c__t5_jordan1c.vout2024-08-03 05:29 22K 
[ ]jordan1c__t6_jordan1c2024-07-27 20:37 61K 
[ ]jordan1c__t6_jordan1c.vout2024-08-03 06:54 7.3K 
[ ]jordan1c__t7_jordan1c2024-07-27 20:39 61K 
[ ]jordan1c__t7_jordan1c.vout2024-08-03 04:29 7.3K 
[ ]jordan1c__t8_jordan1c2024-07-27 20:41 61K 
[ ]jordan1c__t8_jordan1c.vout2024-08-03 06:23 7.3K 
[ ]jordan1c__t9_jordan1c2024-07-27 20:43 61K 
[ ]jordan1c__t9_jordan1c.vout2024-08-03 05:16 7.3K 
[ ]jordan1c__t10_jordan1c2024-07-27 20:45 57K 
[ ]jordan1c__t10_jordan1c.vout2024-08-03 06:19 4.7K 
[ ]jordan1c__t11_jordan1c2024-07-27 20:48 104K 
[ ]jordan1c__t11_jordan1c.vout2024-08-03 07:36 4.7K 
[ ]jordan1c__t12_jordan1c2024-07-27 20:50 105K 
[ ]jordan1c__t12_jordan1c.vout2024-08-03 08:28 4.7K 
[ ]jordan1c__t13_jordan1c2024-07-27 20:52 153K 
[ ]jordan1c__t13_jordan1c.vout2024-08-03 09:40 4.7K 
[ ]jordan1c__t14_jordan1c2024-07-27 20:54 98K 
[ ]jordan1c__t14_jordan1c.vout2024-08-03 08:48 4.7K 
[ ]jordan1c__t15_jordan1c2024-07-27 20:56 153K 
[ ]jordan1c__t15_jordan1c.vout2024-08-03 07:49 4.7K 
[ ]jordan1c__t16_jordan1c2024-07-27 20:58 98K 
[ ]jordan1c__t16_jordan1c.vout2024-08-03 07:05 4.7K 
[ ]jordan1c__t17_jordan1c2024-07-27 21:00 36K 
[ ]jordan1c__t17_jordan1c.depv12024-08-03 10:19 193  
[ ]jordan1c__t17_jordan1c.depvmin12024-08-03 10:24 170  
[ ]jordan1c__t17_jordan1c.vmin12024-08-03 10:19 2.2K 
[ ]jordan1c__t17_jordan1c.vmin1out2024-08-03 10:20 25K 
[ ]jordan1c__t17_jordan1c.vout2024-08-03 07:25 28K 
[ ]jordan1c__t18_jordan1c2024-07-27 21:02 50K 
[ ]jordan1c__t18_jordan1c.vout2024-08-03 10:02 6.8K 
[ ]jordan1c__t19_jordan1c2024-07-27 21:04 46K 
[ ]jordan1c__t19_jordan1c.vout2024-08-03 04:59 7.9K 
[ ]jordan1c__t20_jordan1c2024-07-27 21:06 46K 
[ ]jordan1c__t20_jordan1c.vout2024-08-03 07:43 7.9K 
[ ]jordan1c__t21_jordan1c2024-07-27 21:08 59K 
[ ]jordan1c__t21_jordan1c.vout2024-08-03 10:05 7.4K 
[ ]jordan1c__t22_jordan1c2024-07-27 21:11 59K 
[ ]jordan1c__t22_jordan1c.vout2024-08-03 06:58 7.3K 
[ ]jordan1c__t23_jordan1c2024-07-27 21:13 173K 
[ ]jordan1c__t23_jordan1c.vout2024-08-03 08:18 6.8K 
[ ]jordan1c__t24_jordan1c2024-07-27 20:21 31K 
[ ]jordan1c__t24_jordan1c.depv12024-08-03 10:19 26  
[ ]jordan1c__t24_jordan1c.depvmin12024-08-03 10:24 26  
[ ]jordan1c__t24_jordan1c.vmin12024-08-03 10:19 355  
[ ]jordan1c__t24_jordan1c.vmin1out2024-08-03 10:21 3.4K 
[ ]jordan1c__t24_jordan1c.vout2024-08-03 09:19 4.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80