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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ndiff10__t1_ndiff102024-07-28 18:20 36K 
[ ]ndiff10__t1_ndiff10.vout2024-08-03 07:23 3.7K 
[ ]ndiff10__t2_ndiff102024-07-28 18:22 45K 
[ ]ndiff10__t2_ndiff10.vout2024-08-03 09:06 3.7K 
[ ]ndiff10__t3_ndiff102024-07-28 18:24 46K 
[ ]ndiff10__t3_ndiff10.vout2024-08-03 09:21 7.3K 
[ ]ndiff10__t4_ndiff102024-07-28 18:26 37K 
[ ]ndiff10__t4_ndiff10.vout2024-08-03 08:54 3.7K 
[ ]ndiff10__t5_ndiff102024-07-28 18:28 37K 
[ ]ndiff10__t5_ndiff10.vout2024-08-03 10:09 3.7K 
[ ]ndiff10__t6_ndiff102024-07-28 18:29 21K 
[ ]ndiff10__t6_ndiff10.depv12024-08-03 10:19 225  
[ ]ndiff10__t6_ndiff10.depvmin12024-08-03 10:24 225  
[ ]ndiff10__t6_ndiff10.vmin12024-08-03 10:20 2.0K 
[ ]ndiff10__t6_ndiff10.vmin1out2024-08-03 10:23 34K 
[ ]ndiff10__t6_ndiff10.vout2024-08-03 08:53 34K 
[ ]ndiff10__t7_ndiff102024-07-28 18:31 48K 
[ ]ndiff10__t7_ndiff10.vout2024-08-03 09:24 4.7K 
[ ]ndiff10__t8_ndiff102024-07-28 18:33 42K 
[ ]ndiff10__t8_ndiff10.vout2024-08-03 08:00 6.8K 
[ ]ndiff10__t9_ndiff102024-07-28 18:35 86K 
[ ]ndiff10__t9_ndiff10.vout2024-08-03 05:31 4.7K 
[ ]ndiff10__t10_ndiff102024-07-28 18:38 86K 
[ ]ndiff10__t10_ndiff10.vout2024-08-03 08:32 4.7K 
[ ]ndiff10__t11_ndiff102024-07-28 18:40 51K 
[ ]ndiff10__t11_ndiff10.vout2024-08-03 06:36 7.3K 
[ ]ndiff10__t12_ndiff102024-07-28 18:16 58K 
[ ]ndiff10__t12_ndiff10.vout2024-08-03 09:09 4.7K 
[ ]ndiff10__t13_ndiff102024-07-28 18:18 84K 
[ ]ndiff10__t13_ndiff10.vout2024-08-03 07:42 4.7K 
[ ]ndiff10__t14_ndiff102024-07-28 18:43 116K 
[ ]ndiff10__t14_ndiff10.vout2024-08-03 08:36 6.8K 
[ ]ndiff10__t15_ndiff102024-07-28 18:47 129K 
[ ]ndiff10__t15_ndiff10.vout2024-08-03 05:42 6.8K 
[ ]ndiff10__t16_ndiff102024-07-28 18:50 116K 
[ ]ndiff10__t16_ndiff10.vout2024-08-03 08:56 3.7K 
[ ]ndiff10__t17_ndiff102024-07-28 18:53 90K 
[ ]ndiff10__t17_ndiff10.vout2024-08-03 04:36 3.7K 
[ ]ndiff10__t18_ndiff102024-07-28 18:55 74K 
[ ]ndiff10__t18_ndiff10.vout2024-08-03 06:59 7.3K 
[ ]ndiff10__t19_ndiff102024-07-28 18:57 64K 
[ ]ndiff10__t19_ndiff10.vout2024-08-03 08:52 7.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80