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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]oposet_1__l14_oposet_12025-09-08 16:00 20K 
[ ]oposet_1__l14_oposet_1.depv12025-09-15 19:47 80  
[ ]oposet_1__l14_oposet_1.depvmin12025-09-15 19:51 80  
[ ]oposet_1__l14_oposet_1.vmin12025-09-15 19:47 610  
[ ]oposet_1__l14_oposet_1.vmin1out2025-09-15 19:48 4.0K 
[ ]oposet_1__l14_oposet_1.vout2025-09-15 18:37 4.5K 
[ ]oposet_1__l36_oposet_12025-09-08 16:00 13K 
[ ]oposet_1__l36_oposet_1.depv12025-09-15 19:47 62  
[ ]oposet_1__l36_oposet_1.depvmin12025-09-15 19:51 49  
[ ]oposet_1__l36_oposet_1.vmin12025-09-15 19:47 335  
[ ]oposet_1__l36_oposet_1.vmin1out2025-09-15 19:48 2.1K 
[ ]oposet_1__l36_oposet_1.vout2025-09-15 17:59 2.3K 
[ ]oposet_1__t1_oposet_12025-09-08 16:02 18K 
[ ]oposet_1__t1_oposet_1.depv12025-09-15 19:47 197  
[ ]oposet_1__t1_oposet_1.depvmin12025-09-15 19:51 197  
[ ]oposet_1__t1_oposet_1.vmin12025-09-15 19:47 2.9K 
[ ]oposet_1__t1_oposet_1.vmin1out2025-09-15 19:50 61K 
[ ]oposet_1__t1_oposet_1.vout2025-09-15 14:35 45K 
[ ]oposet_1__t2_oposet_12025-09-08 15:50 14K 
[ ]oposet_1__t2_oposet_1.vout2025-09-15 14:15 2.0K 
[ ]oposet_1__t3_oposet_12025-09-08 16:03 23K 
[ ]oposet_1__t3_oposet_1.vout2025-09-15 17:34 11K 
[ ]oposet_1__t4_oposet_12025-09-08 15:51 15K 
[ ]oposet_1__t4_oposet_1.vout2025-09-15 17:28 11K 
[ ]oposet_1__t5_oposet_12025-09-08 15:52 20K 
[ ]oposet_1__t5_oposet_1.vout2025-09-15 16:15 11K 
[ ]oposet_1__t6_oposet_12025-09-08 15:53 16K 
[ ]oposet_1__t6_oposet_1.vout2025-09-15 17:10 11K 
[ ]oposet_1__t7_oposet_12025-09-08 15:55 16K 
[ ]oposet_1__t7_oposet_1.vout2025-09-15 19:21 11K 
[ ]oposet_1__t8_oposet_12025-09-08 15:55 6.8K 
[ ]oposet_1__t8_oposet_1.vout2025-09-15 15:21 7.4K 
[ ]oposet_1__t9_oposet_12025-09-08 15:56 6.8K 
[ ]oposet_1__t9_oposet_1.vout2025-09-15 19:06 7.4K 
[ ]oposet_1__t10_oposet_12025-09-08 15:57 6.7K 
[ ]oposet_1__t10_oposet_1.vout2025-09-15 17:28 7.4K 
[ ]oposet_1__t11_oposet_12025-09-08 16:04 17K 
[ ]oposet_1__t11_oposet_1.vout2025-09-15 18:46 2.0K 
[ ]oposet_1__t12_oposet_12025-09-08 16:05 7.0K 
[ ]oposet_1__t12_oposet_1.vout2025-09-15 14:47 8.4K 
[ ]oposet_1__t13_oposet_12025-09-08 15:58 8.5K 
[ ]oposet_1__t13_oposet_1.depv12025-09-15 19:47 52  
[ ]oposet_1__t13_oposet_1.depvmin12025-09-15 19:51 52  
[ ]oposet_1__t13_oposet_1.vmin12025-09-15 19:47 583  
[ ]oposet_1__t13_oposet_1.vmin1out2025-09-15 19:51 6.0K 
[ ]oposet_1__t13_oposet_1.vout2025-09-15 19:42 6.7K 
[ ]oposet_1__t14_oposet_12025-09-08 16:06 25K 
[ ]oposet_1__t14_oposet_1.vout2025-09-15 18:36 9.9K 
[ ]oposet_1__t15_oposet_12025-09-08 16:08 26K 
[ ]oposet_1__t15_oposet_1.vout2025-09-15 16:59 11K 
[ ]oposet_1__t16_oposet_12025-09-08 15:58 16K 
[ ]oposet_1__t16_oposet_1.depv12025-09-15 19:47 104  
[ ]oposet_1__t16_oposet_1.depvmin12025-09-15 19:51 104  
[ ]oposet_1__t16_oposet_1.vmin12025-09-15 19:47 2.2K 
[ ]oposet_1__t16_oposet_1.vmin1out2025-09-15 19:50 37K 
[ ]oposet_1__t16_oposet_1.vout2025-09-15 18:51 52K 
[ ]oposet_1__t17_oposet_12025-09-08 16:09 27K 
[ ]oposet_1__t17_oposet_1.vout2025-09-15 19:06 10K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80