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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]comseq_2__t2_comseq_22024-07-27 03:47 38K 
[ ]comseq_2__t2_comseq_2.vout2024-08-03 06:17 2.0K 
[ ]comseq_2__t3_comseq_22024-07-27 03:48 27K 
[ ]comseq_2__t3_comseq_2.depv12024-08-03 10:19 301  
[ ]comseq_2__t3_comseq_2.depvmin12024-08-03 10:24 301  
[ ]comseq_2__t3_comseq_2.vmin12024-08-03 10:19 3.4K 
[ ]comseq_2__t3_comseq_2.vmin1out2024-08-03 10:21 50K 
[ ]comseq_2__t3_comseq_2.vout2024-08-03 05:12 51K 
[ ]comseq_2__t4_comseq_22024-07-27 03:50 34K 
[ ]comseq_2__t4_comseq_2.vout2024-08-03 07:07 4.1K 
[ ]comseq_2__t5_comseq_22024-07-27 03:51 36K 
[ ]comseq_2__t5_comseq_2.vout2024-08-03 04:46 4.1K 
[ ]comseq_2__t6_comseq_22024-07-27 03:52 32K 
[ ]comseq_2__t6_comseq_2.vout2024-08-03 04:47 4.1K 
[ ]comseq_2__t7_comseq_22024-07-27 03:53 44K 
[ ]comseq_2__t7_comseq_2.vout2024-08-03 09:39 4.1K 
[ ]comseq_2__t8_comseq_22024-07-27 03:55 26K 
[ ]comseq_2__t8_comseq_2.vout2024-08-03 04:41 2.0K 
[ ]comseq_2__t9_comseq_22024-07-27 03:56 33K 
[ ]comseq_2__t9_comseq_2.vout2024-08-03 08:31 2.0K 
[ ]comseq_2__t10_comseq_22024-07-27 03:57 33K 
[ ]comseq_2__t10_comseq_2.vout2024-08-03 08:25 7.3K 
[ ]comseq_2__t12_comseq_22024-07-27 03:59 33K 
[ ]comseq_2__t12_comseq_2.vout2024-08-03 06:46 6.8K 
[ ]comseq_2__t14_comseq_22024-07-27 04:00 57K 
[ ]comseq_2__t14_comseq_2.vout2024-08-03 08:44 7.3K 
[ ]comseq_2__t16_comseq_22024-07-27 04:01 34K 
[ ]comseq_2__t16_comseq_2.depv12024-08-03 10:19 171  
[ ]comseq_2__t16_comseq_2.depvmin12024-08-03 10:24 133  
[ ]comseq_2__t16_comseq_2.vmin12024-08-03 10:19 3.1K 
[ ]comseq_2__t16_comseq_2.vmin1out2024-08-03 10:22 31K 
[ ]comseq_2__t16_comseq_2.vout2024-08-03 07:40 44K 
[ ]comseq_2__t20_comseq_22024-07-27 04:02 32K 
[ ]comseq_2__t20_comseq_2.depv12024-08-03 10:19 173  
[ ]comseq_2__t20_comseq_2.depvmin12024-08-03 10:24 135  
[ ]comseq_2__t20_comseq_2.vmin12024-08-03 10:19 2.5K 
[ ]comseq_2__t20_comseq_2.vmin1out2024-08-03 10:23 22K 
[ ]comseq_2__t20_comseq_2.vout2024-08-03 08:23 48K 
[ ]comseq_2__t22_comseq_22024-07-27 04:04 38K 
[ ]comseq_2__t22_comseq_2.depv12024-08-03 10:19 259  
[ ]comseq_2__t22_comseq_2.depvmin12024-08-03 10:24 247  
[ ]comseq_2__t22_comseq_2.vmin12024-08-03 10:19 2.4K 
[ ]comseq_2__t22_comseq_2.vmin1out2024-08-03 10:21 19K 
[ ]comseq_2__t22_comseq_2.vout2024-08-03 06:11 37K 
[ ]comseq_2__t24_comseq_22024-07-27 04:05 34K 
[ ]comseq_2__t24_comseq_2.depv12024-08-03 10:19 173  
[ ]comseq_2__t24_comseq_2.depvmin12024-08-03 10:24 173  
[ ]comseq_2__t24_comseq_2.vmin12024-08-03 10:19 2.3K 
[ ]comseq_2__t24_comseq_2.vmin1out2024-08-03 10:20 19K 
[ ]comseq_2__t24_comseq_2.vout2024-08-03 06:17 40K 
[ ]comseq_2__t26_comseq_22024-07-27 04:06 50K 
[ ]comseq_2__t26_comseq_2.vout2024-08-03 05:52 1.1K 
[ ]comseq_2__t28_comseq_22024-07-27 04:07 45K 
[ ]comseq_2__t28_comseq_2.vout2024-08-03 07:49 1.1K 
[ ]comseq_2__t30_comseq_22024-07-27 04:09 59K 
[ ]comseq_2__t30_comseq_2.vout2024-08-03 08:59 6.8K 
[ ]comseq_2__t32_comseq_22024-07-27 04:10 35K 
[ ]comseq_2__t32_comseq_2.depv12024-08-03 10:19 173  
[ ]comseq_2__t32_comseq_2.depvmin12024-08-03 10:24 135  
[ ]comseq_2__t32_comseq_2.vmin12024-08-03 10:19 3.1K 
[ ]comseq_2__t32_comseq_2.vmin1out2024-08-03 10:20 31K 
[ ]comseq_2__t32_comseq_2.vout2024-08-03 06:05 44K 
[ ]comseq_2__t33_comseq_22024-07-27 04:11 51K 
[ ]comseq_2__t33_comseq_2.vout2024-08-03 08:52 7.3K 
[ ]comseq_2__t37_comseq_22024-07-27 04:12 31K 
[ ]comseq_2__t37_comseq_2.depv12024-08-03 10:19 305  
[ ]comseq_2__t37_comseq_2.depvmin12024-08-03 10:24 289  
[ ]comseq_2__t37_comseq_2.vmin12024-08-03 10:19 3.7K 
[ ]comseq_2__t37_comseq_2.vmin1out2024-08-03 10:23 34K 
[ ]comseq_2__t37_comseq_2.vout2024-08-03 08:33 53K 
[ ]comseq_2__t38_comseq_22024-07-27 04:14 36K 
[ ]comseq_2__t38_comseq_2.depv12024-08-03 10:19 292  
[ ]comseq_2__t38_comseq_2.depvmin12024-08-03 10:24 276  
[ ]comseq_2__t38_comseq_2.vmin12024-08-03 10:19 3.8K 
[ ]comseq_2__t38_comseq_2.vmin1out2024-08-03 10:21 36K 
[ ]comseq_2__t38_comseq_2.vout2024-08-03 07:38 63K 
[ ]comseq_2__t41_comseq_22024-07-27 04:15 40K 
[ ]comseq_2__t41_comseq_2.vout2024-08-03 09:26 2.0K 
[ ]comseq_2__t45_comseq_22024-07-27 04:16 34K 
[ ]comseq_2__t45_comseq_2.vout2024-08-03 09:57 2.0K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80