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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]prsubset__l3_prsubset2024-07-27 22:50 58K 
[ ]prsubset__l3_prsubset.vout2024-08-03 04:13 7.3K 
[ ]prsubset__l4_prsubset2024-07-27 22:52 59K 
[ ]prsubset__l4_prsubset.vout2024-08-03 05:02 6.8K 
[ ]prsubset__l8_prsubset2024-07-27 22:53 45K 
[ ]prsubset__l8_prsubset.depv12024-08-03 10:19 377  
[ ]prsubset__l8_prsubset.depvmin12024-08-03 10:24 317  
[ ]prsubset__l8_prsubset.vmin12024-08-03 10:19 3.0K 
[ ]prsubset__l8_prsubset.vmin1out2024-08-03 10:23 33K 
[ ]prsubset__l8_prsubset.vout2024-08-03 09:44 30K 
[ ]prsubset__l10_prsubset2024-07-27 22:55 40K 
[ ]prsubset__l10_prsubset.vout2024-08-03 08:17 3.7K 
[ ]prsubset__t1_prsubset2024-07-27 22:39 76K 
[ ]prsubset__t1_prsubset.vout2024-08-03 07:11 4.2K 
[ ]prsubset__t2_prsubset2024-07-27 22:40 41K 
[ ]prsubset__t2_prsubset.vout2024-08-03 06:20 7.3K 
[ ]prsubset__t3_prsubset2024-07-27 22:42 79K 
[ ]prsubset__t3_prsubset.vout2024-08-03 06:42 3.7K 
[ ]prsubset__t4_prsubset2024-07-27 22:43 27K 
[ ]prsubset__t4_prsubset.vout2024-08-03 05:16 7.9K 
[ ]prsubset__t5_prsubset2024-07-27 22:45 43K 
[ ]prsubset__t5_prsubset.vout2024-08-03 04:45 4.2K 
[ ]prsubset__t6_prsubset2024-07-27 22:46 47K 
[ ]prsubset__t6_prsubset.vout2024-08-03 05:43 7.3K 
[ ]prsubset__t7_prsubset2024-07-27 22:48 97K 
[ ]prsubset__t7_prsubset.vout2024-08-03 09:50 3.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80