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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]jordan5c__l28_jordan5c2024-07-26 23:00 54K 
[ ]jordan5c__l28_jordan5c.vout2024-08-03 07:33 4.7K 
[ ]jordan5c__l29_jordan5c2024-07-26 23:02 44K 
[ ]jordan5c__l29_jordan5c.depv12024-08-03 10:19 248  
[ ]jordan5c__l29_jordan5c.depvmin12024-08-03 10:24 183  
[ ]jordan5c__l29_jordan5c.vmin12024-08-03 10:19 3.9K 
[ ]jordan5c__l29_jordan5c.vmin1out2024-08-03 10:21 49K 
[ ]jordan5c__l29_jordan5c.vout2024-08-03 09:58 35K 
[ ]jordan5c__l30_jordan5c2024-07-26 23:04 54K 
[ ]jordan5c__l30_jordan5c.vout2024-08-03 09:11 4.7K 
[ ]jordan5c__l31_jordan5c2024-07-26 23:06 44K 
[ ]jordan5c__l31_jordan5c.depv12024-08-03 10:19 248  
[ ]jordan5c__l31_jordan5c.depvmin12024-08-03 10:24 183  
[ ]jordan5c__l31_jordan5c.vmin12024-08-03 10:19 3.9K 
[ ]jordan5c__l31_jordan5c.vmin1out2024-08-03 10:22 49K 
[ ]jordan5c__l31_jordan5c.vout2024-08-03 07:18 35K 
[ ]jordan5c__t1_jordan5c2024-07-26 21:57 44K 
[ ]jordan5c__t1_jordan5c.vout2024-08-03 05:18 4.7K 
[ ]jordan5c__t2_jordan5c2024-07-26 21:59 37K 
[ ]jordan5c__t2_jordan5c.vout2024-08-03 08:49 4.7K 
[ ]jordan5c__t3_jordan5c2024-07-26 22:01 35K 
[ ]jordan5c__t3_jordan5c.vout2024-08-03 07:51 4.7K 
[ ]jordan5c__t4_jordan5c2024-07-26 22:03 44K 
[ ]jordan5c__t4_jordan5c.vout2024-08-03 08:16 4.7K 
[ ]jordan5c__t5_jordan5c2024-07-26 22:05 37K 
[ ]jordan5c__t5_jordan5c.vout2024-08-03 07:15 4.7K 
[ ]jordan5c__t6_jordan5c2024-07-26 22:07 35K 
[ ]jordan5c__t6_jordan5c.vout2024-08-03 06:21 4.7K 
[ ]jordan5c__t7_jordan5c2024-07-26 22:09 25K 
[ ]jordan5c__t7_jordan5c.depv12024-08-03 10:19 193  
[ ]jordan5c__t7_jordan5c.depvmin12024-08-03 10:24 193  
[ ]jordan5c__t7_jordan5c.vmin12024-08-03 10:19 3.1K 
[ ]jordan5c__t7_jordan5c.vmin1out2024-08-03 10:20 32K 
[ ]jordan5c__t7_jordan5c.vout2024-08-03 04:36 38K 
[ ]jordan5c__t8_jordan5c2024-07-26 22:11 42K 
[ ]jordan5c__t8_jordan5c.vout2024-08-03 04:31 4.7K 
[ ]jordan5c__t9_jordan5c2024-07-26 22:12 32K 
[ ]jordan5c__t9_jordan5c.vout2024-08-03 05:59 4.7K 
[ ]jordan5c__t10_jordan5c2024-07-26 22:14 32K 
[ ]jordan5c__t10_jordan5c.vout2024-08-03 05:24 4.7K 
[ ]jordan5c__t11_jordan5c2024-07-26 22:16 28K 
[ ]jordan5c__t11_jordan5c.depv12024-08-03 10:19 105  
[ ]jordan5c__t11_jordan5c.depvmin12024-08-03 10:24 105  
[ ]jordan5c__t11_jordan5c.vmin12024-08-03 10:19 1.8K 
[ ]jordan5c__t11_jordan5c.vmin1out2024-08-03 10:21 15K 
[ ]jordan5c__t11_jordan5c.vout2024-08-03 05:15 16K 
[ ]jordan5c__t12_jordan5c2024-07-26 22:18 34K 
[ ]jordan5c__t12_jordan5c.vout2024-08-03 09:20 7.9K 
[ ]jordan5c__t13_jordan5c2024-07-26 22:20 33K 
[ ]jordan5c__t13_jordan5c.vout2024-08-03 07:47 7.4K 
[ ]jordan5c__t14_jordan5c2024-07-26 22:22 34K 
[ ]jordan5c__t14_jordan5c.vout2024-08-03 05:59 4.7K 
[ ]jordan5c__t15_jordan5c2024-07-26 22:24 35K 
[ ]jordan5c__t15_jordan5c.vout2024-08-03 05:14 4.7K 
[ ]jordan5c__t16_jordan5c2024-07-26 22:26 35K 
[ ]jordan5c__t16_jordan5c.vout2024-08-03 04:37 4.7K 
[ ]jordan5c__t17_jordan5c2024-07-26 22:28 40K 
[ ]jordan5c__t17_jordan5c.vout2024-08-03 06:13 5.8K 
[ ]jordan5c__t18_jordan5c2024-07-26 22:30 68K 
[ ]jordan5c__t18_jordan5c.vout2024-08-03 10:18 4.7K 
[ ]jordan5c__t19_jordan5c2024-07-26 22:33 73K 
[ ]jordan5c__t19_jordan5c.vout2024-08-03 04:43 6.8K 
[ ]jordan5c__t20_jordan5c2024-07-26 22:36 76K 
[ ]jordan5c__t20_jordan5c.vout2024-08-03 07:50 3.7K 
[ ]jordan5c__t21_jordan5c2024-07-26 22:37 35K 
[ ]jordan5c__t21_jordan5c.vout2024-08-03 09:06 4.7K 
[ ]jordan5c__t22_jordan5c2024-07-26 22:39 35K 
[ ]jordan5c__t22_jordan5c.vout2024-08-03 10:08 4.7K 
[ ]jordan5c__t23_jordan5c2024-07-26 22:41 41K 
[ ]jordan5c__t23_jordan5c.vout2024-08-03 05:32 4.7K 
[ ]jordan5c__t24_jordan5c2024-07-26 22:43 53K 
[ ]jordan5c__t24_jordan5c.vout2024-08-03 05:59 4.7K 
[ ]jordan5c__t25_jordan5c2024-07-26 22:46 42K 
[ ]jordan5c__t25_jordan5c.vout2024-08-03 07:28 7.3K 
[ ]jordan5c__t26_jordan5c2024-07-26 22:48 42K 
[ ]jordan5c__t26_jordan5c.vout2024-08-03 09:09 7.3K 
[ ]jordan5c__t27_jordan5c2024-07-26 22:50 55K 
[ ]jordan5c__t27_jordan5c.vout2024-08-03 08:30 4.7K 
[ ]jordan5c__t28_jordan5c2024-07-26 22:52 55K 
[ ]jordan5c__t28_jordan5c.vout2024-08-03 09:34 4.7K 
[ ]jordan5c__t29_jordan5c2024-07-26 22:55 59K 
[ ]jordan5c__t29_jordan5c.vout2024-08-03 09:14 7.3K 
[ ]jordan5c__t30_jordan5c2024-07-26 22:58 76K 
[ ]jordan5c__t30_jordan5c.vout2024-08-03 07:51 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80