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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]closure3__t14_closure3.vout2024-08-03 04:37 7.3K 
[ ]closure3__t14_closure32024-07-27 14:04 42K 
[ ]closure3__t13_closure3.vout2024-08-03 07:40 6.8K 
[ ]closure3__t13_closure32024-07-27 14:06 20K 
[ ]closure3__t12_closure3.vout2024-08-03 07:04 6.8K 
[ ]closure3__t12_closure32024-07-27 14:03 22K 
[ ]closure3__t11_closure3.vout2024-08-03 05:22 7.3K 
[ ]closure3__t11_closure32024-07-27 14:02 19K 
[ ]closure3__t10_closure3.vout2024-08-03 05:38 6.8K 
[ ]closure3__t10_closure32024-07-27 14:01 23K 
[ ]closure3__t9_closure3.vout2024-08-03 05:32 6.8K 
[ ]closure3__t9_closure32024-07-27 14:00 28K 
[ ]closure3__t8_closure3.vout2024-08-03 08:12 3.7K 
[ ]closure3__t8_closure32024-07-27 13:58 30K 
[ ]closure3__t6_closure3.vout2024-08-03 05:45 57K 
[ ]closure3__t6_closure3.vmin1out2024-08-03 10:23 30K 
[ ]closure3__t6_closure3.vmin12024-08-03 10:19 2.9K 
[ ]closure3__t6_closure3.depvmin12024-08-03 10:24 227  
[ ]closure3__t6_closure3.depv12024-08-03 10:19 227  
[ ]closure3__t6_closure32024-07-27 13:57 17K 
[ ]closure3__t5_closure3.vout2024-08-03 05:03 3.7K 
[ ]closure3__t5_closure32024-07-27 13:56 21K 
[ ]closure3__t4_closure3.vout2024-08-03 04:40 11K 
[ ]closure3__t4_closure3.vmin1out2024-08-03 10:20 9.4K 
[ ]closure3__t4_closure3.vmin12024-08-03 10:19 429  
[ ]closure3__t4_closure3.depvmin12024-08-03 10:24 34  
[ ]closure3__t4_closure3.depv12024-08-03 10:19 34  
[ ]closure3__t4_closure32024-07-27 13:55 9.2K 
[ ]closure3__t3_closure3.vout2024-08-03 06:23 3.7K 
[ ]closure3__t3_closure32024-07-27 13:55 55K 
[ ]closure3__t2_closure3.vout2024-08-03 04:17 16K 
[ ]closure3__t2_closure3.vmin1out2024-08-03 10:21 15K 
[ ]closure3__t2_closure3.vmin12024-08-03 10:19 1.3K 
[ ]closure3__t2_closure3.depvmin12024-08-03 10:24 53  
[ ]closure3__t2_closure3.depv12024-08-03 10:19 53  
[ ]closure3__t2_closure32024-07-27 13:52 17K 
[ ]closure3__t1_closure3.vout2024-08-03 08:20 16K 
[ ]closure3__t1_closure3.vmin1out2024-08-03 10:20 15K 
[ ]closure3__t1_closure3.vmin12024-08-03 10:19 884  
[ ]closure3__t1_closure3.depvmin12024-08-03 10:24 71  
[ ]closure3__t1_closure3.depv12024-08-03 10:19 71  
[ ]closure3__t1_closure32024-07-27 13:53 11K 
[ ]closure3__l5_closure3.vout2024-08-03 06:33 4.2K 
[ ]closure3__l5_closure32024-07-27 14:06 12K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80