Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small/rsspace2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]rsspace2__l3_rsspace22025-09-09 06:22 38K 
[ ]rsspace2__l3_rsspace2.vout2025-09-15 14:37 6.8K 
[ ]rsspace2__l4_rsspace22025-09-09 06:23 36K 
[ ]rsspace2__l4_rsspace2.vout2025-09-15 13:25 2.0K 
[ ]rsspace2__l6_rsspace22025-09-09 06:24 68K 
[ ]rsspace2__l6_rsspace2.vout2025-09-15 16:25 4.7K 
[ ]rsspace2__l7_rsspace22025-09-09 06:26 69K 
[ ]rsspace2__l7_rsspace2.vout2025-09-15 17:27 4.7K 
[ ]rsspace2__t1_rsspace22025-09-09 06:18 133K 
[ ]rsspace2__t1_rsspace2.vout2025-09-15 18:31 6.2K 
[ ]rsspace2__t2_rsspace22025-09-09 06:20 88K 
[ ]rsspace2__t2_rsspace2.vout2025-09-15 18:46 4.7K 
[ ]rsspace2__t3_rsspace22025-09-09 06:10 28K 
[ ]rsspace2__t3_rsspace2.depv12025-09-15 19:47 48  
[ ]rsspace2__t3_rsspace2.depvmin12025-09-15 19:51 24  
[ ]rsspace2__t3_rsspace2.vmin12025-09-15 19:47 1.5K 
[ ]rsspace2__t3_rsspace2.vmin1out2025-09-15 19:49 39K 
[ ]rsspace2__t3_rsspace2.vout2025-09-15 17:05 42K 
[ ]rsspace2__t4_rsspace22025-09-09 06:11 22K 
[ ]rsspace2__t4_rsspace2.depv12025-09-15 19:47 24  
[ ]rsspace2__t4_rsspace2.depvmin12025-09-15 19:51 24  
[ ]rsspace2__t4_rsspace2.vmin12025-09-15 19:47 917  
[ ]rsspace2__t4_rsspace2.vmin1out2025-09-15 19:49 12K 
[ ]rsspace2__t4_rsspace2.vout2025-09-15 19:32 12K 
[ ]rsspace2__t5_rsspace22025-09-09 06:12 27K 
[ ]rsspace2__t5_rsspace2.depv12025-09-15 19:47 24  
[ ]rsspace2__t5_rsspace2.depvmin12025-09-15 19:51 24  
[ ]rsspace2__t5_rsspace2.vmin12025-09-15 19:47 815  
[ ]rsspace2__t5_rsspace2.vmin1out2025-09-15 19:50 13K 
[ ]rsspace2__t5_rsspace2.vout2025-09-15 17:30 22K 
[ ]rsspace2__t6_rsspace22025-09-09 06:14 33K 
[ ]rsspace2__t6_rsspace2.vout2025-09-15 18:33 2.0K 
[ ]rsspace2__t7_rsspace22025-09-09 06:15 34K 
[ ]rsspace2__t7_rsspace2.vout2025-09-15 19:13 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80