Index of /~mptp/mml5.63.1382/MPTP2/problems_small/comseq_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comseq_2__t16_comseq_2.depvmin12021-07-25 21:03 133  
[ ]comseq_2__t20_comseq_2.depvmin12021-07-25 21:03 135  
[ ]comseq_2__t32_comseq_2.depvmin12021-07-25 21:03 135  
[ ]comseq_2__t16_comseq_2.depv12021-07-25 20:57 171  
[ ]comseq_2__t20_comseq_2.depv12021-07-25 20:57 173  
[ ]comseq_2__t24_comseq_2.depvmin12021-07-25 21:03 173  
[ ]comseq_2__t32_comseq_2.depv12021-07-25 20:57 173  
[ ]comseq_2__t24_comseq_2.depv12021-07-25 20:57 229  
[ ]comseq_2__t22_comseq_2.depvmin12021-07-25 21:03 247  
[ ]comseq_2__t22_comseq_2.depv12021-07-25 20:57 259  
[ ]comseq_2__t45_comseq_2.depv12021-07-25 20:57 274  
[ ]comseq_2__t45_comseq_2.depvmin12021-07-25 21:03 274  
[ ]comseq_2__t38_comseq_2.depvmin12021-07-25 21:03 276  
[ ]comseq_2__t37_comseq_2.depvmin12021-07-25 21:03 289  
[ ]comseq_2__t38_comseq_2.depv12021-07-25 20:57 292  
[ ]comseq_2__t3_comseq_2.depv12021-07-25 20:57 301  
[ ]comseq_2__t3_comseq_2.depvmin12021-07-25 21:03 301  
[ ]comseq_2__t37_comseq_2.depv12021-07-25 20:57 305  
[ ]comseq_2__t26_comseq_2.vout2021-07-25 18:16 1.1K 
[ ]comseq_2__t28_comseq_2.vout2021-07-25 17:53 1.1K 
[ ]comseq_2__t9_comseq_2.vout2021-07-25 18:34 2.0K 
[ ]comseq_2__t2_comseq_2.vout2021-07-25 19:16 2.0K 
[ ]comseq_2__t8_comseq_2.vout2021-07-25 19:25 2.0K 
[ ]comseq_2__t41_comseq_2.vout2021-07-25 16:09 2.0K 
[ ]comseq_2__t22_comseq_2.vmin12021-07-25 20:57 2.4K 
[ ]comseq_2__t20_comseq_2.vmin12021-07-25 20:57 2.5K 
[ ]comseq_2__t24_comseq_2.vmin12021-07-25 20:57 2.9K 
[ ]comseq_2__t16_comseq_2.vmin12021-07-25 20:57 3.1K 
[ ]comseq_2__t32_comseq_2.vmin12021-07-25 20:57 3.1K 
[ ]comseq_2__t3_comseq_2.vmin12021-07-25 20:57 3.4K 
[ ]comseq_2__t37_comseq_2.vmin12021-07-25 20:57 3.7K 
[ ]comseq_2__t38_comseq_2.vmin12021-07-25 20:57 3.8K 
[ ]comseq_2__t45_comseq_2.vmin12021-07-25 20:57 3.8K 
[ ]comseq_2__t5_comseq_2.vout2021-07-25 15:00 4.1K 
[ ]comseq_2__t6_comseq_2.vout2021-07-25 17:28 4.1K 
[ ]comseq_2__t7_comseq_2.vout2021-07-25 14:29 4.1K 
[ ]comseq_2__t4_comseq_2.vout2021-07-25 19:32 4.1K 
[ ]comseq_2__t14_comseq_2.vout2021-07-25 14:50 6.8K 
[ ]comseq_2__t33_comseq_2.vout2021-07-25 16:23 6.8K 
[ ]comseq_2__t30_comseq_2.vout2021-07-25 20:30 6.8K 
[ ]comseq_2__t12_comseq_2.vout2021-07-25 17:30 7.3K 
[ ]comseq_2__t10_comseq_2.vout2021-07-25 18:44 7.3K 
[ ]comseq_2__t22_comseq_2.vmin1out2021-07-25 20:58 19K 
[ ]comseq_2__t24_comseq_2.vmin1out2021-07-25 21:01 19K 
[ ]comseq_2__t20_comseq_2.vmin1out2021-07-25 20:59 22K 
[ ]comseq_2__t8_comseq_22021-07-18 10:47 22K 
[ ]comseq_2__t3_comseq_22021-07-18 10:45 24K 
[ ]comseq_2__t24_comseq_2.vout2021-07-25 17:39 24K 
[ ]comseq_2__t37_comseq_22021-07-18 10:52 27K 
[ ]comseq_2__t20_comseq_22021-07-18 10:49 28K 
[ ]comseq_2__t6_comseq_22021-07-18 10:46 29K 
[ ]comseq_2__t9_comseq_22021-07-18 10:47 29K 
[ ]comseq_2__t12_comseq_22021-07-18 10:48 29K 
[ ]comseq_2__t10_comseq_22021-07-18 10:48 30K 
[ ]comseq_2__t45_comseq_22021-07-18 10:53 30K 
[ ]comseq_2__t16_comseq_22021-07-18 10:49 30K 
[ ]comseq_2__t4_comseq_22021-07-18 10:46 31K 
[ ]comseq_2__t24_comseq_22021-07-18 10:50 31K 
[ ]comseq_2__t16_comseq_2.vmin1out2021-07-25 21:02 31K 
[ ]comseq_2__t32_comseq_2.vmin1out2021-07-25 21:01 31K 
[ ]comseq_2__t32_comseq_22021-07-18 10:51 31K 
[ ]comseq_2__t38_comseq_22021-07-18 10:52 32K 
[ ]comseq_2__t5_comseq_22021-07-18 10:46 33K 
[ ]comseq_2__t37_comseq_2.vmin1out2021-07-25 20:58 34K 
[ ]comseq_2__t2_comseq_22021-07-18 10:45 34K 
[ ]comseq_2__t22_comseq_22021-07-18 10:49 35K 
[ ]comseq_2__t38_comseq_2.vmin1out2021-07-25 20:59 36K 
[ ]comseq_2__t41_comseq_22021-07-18 10:52 36K 
[ ]comseq_2__t22_comseq_2.vout2021-07-25 17:33 37K 
[ ]comseq_2__t7_comseq_22021-07-18 10:47 41K 
[ ]comseq_2__t28_comseq_22021-07-18 10:50 42K 
[ ]comseq_2__t45_comseq_2.vmin1out2021-07-25 21:01 44K 
[ ]comseq_2__t45_comseq_2.vout2021-07-25 17:41 44K 
[ ]comseq_2__t32_comseq_2.vout2021-07-25 19:57 45K 
[ ]comseq_2__t16_comseq_2.vout2021-07-25 18:19 45K 
[ ]comseq_2__t26_comseq_22021-07-18 10:50 47K 
[ ]comseq_2__t33_comseq_22021-07-18 10:51 47K 
[ ]comseq_2__t20_comseq_2.vout2021-07-25 20:51 47K 
[ ]comseq_2__t3_comseq_2.vmin1out2021-07-25 20:58 50K 
[ ]comseq_2__t3_comseq_2.vout2021-07-25 16:52 51K 
[ ]comseq_2__t37_comseq_2.vout2021-07-25 16:34 53K 
[ ]comseq_2__t14_comseq_22021-07-18 10:48 54K 
[ ]comseq_2__t30_comseq_22021-07-18 10:51 55K 
[ ]comseq_2__t38_comseq_2.vout2021-07-25 19:58 63K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80