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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]lagra4sq__l8_lagra4sq2024-07-28 20:24 21K 
[ ]lagra4sq__l8_lagra4sq.depv12024-08-03 10:19 151  
[ ]lagra4sq__l8_lagra4sq.depvmin12024-08-03 10:24 151  
[ ]lagra4sq__l8_lagra4sq.vmin12024-08-03 10:19 1.1K 
[ ]lagra4sq__l8_lagra4sq.vmin1out2024-08-03 10:23 12K 
[ ]lagra4sq__l8_lagra4sq.vout2024-08-03 04:58 9.8K 
[ ]lagra4sq__l9_lagra4sq2024-07-28 20:25 19K 
[ ]lagra4sq__l9_lagra4sq.depv12024-08-03 10:19 230  
[ ]lagra4sq__l9_lagra4sq.depvmin12024-08-03 10:24 200  
[ ]lagra4sq__l9_lagra4sq.vmin12024-08-03 10:19 1.4K 
[ ]lagra4sq__l9_lagra4sq.vmin1out2024-08-03 10:22 10K 
[ ]lagra4sq__l9_lagra4sq.vout2024-08-03 07:17 24K 
[ ]lagra4sq__l19_lagra4sq2024-07-28 20:26 43K 
[ ]lagra4sq__l19_lagra4sq.vout2024-08-03 08:21 4.7K 
[ ]lagra4sq__l21_lagra4sq2024-07-28 20:27 23K 
[ ]lagra4sq__l21_lagra4sq.depv12024-08-03 10:19 319  
[ ]lagra4sq__l21_lagra4sq.depvmin12024-08-03 10:24 319  
[ ]lagra4sq__l21_lagra4sq.vmin12024-08-03 10:19 1.9K 
[ ]lagra4sq__l21_lagra4sq.vmin1out2024-08-03 10:22 24K 
[ ]lagra4sq__l21_lagra4sq.vout2024-08-03 10:15 22K 
[ ]lagra4sq__t1_lagra4sq2024-07-28 19:58 45K 
[ ]lagra4sq__t1_lagra4sq.vout2024-08-03 09:10 2.0K 
[ ]lagra4sq__t2_lagra4sq2024-07-28 20:01 159K 
[ ]lagra4sq__t2_lagra4sq.vout2024-08-03 10:11 7.4K 
[ ]lagra4sq__t3_lagra4sq2024-07-28 20:02 159K 
[ ]lagra4sq__t3_lagra4sq.vout2024-08-03 05:59 7.3K 
[ ]lagra4sq__t4_lagra4sq2024-07-28 20:04 168K 
[ ]lagra4sq__t4_lagra4sq.vout2024-08-03 04:33 7.3K 
[ ]lagra4sq__t5_lagra4sq2024-07-28 20:06 168K 
[ ]lagra4sq__t5_lagra4sq.vout2024-08-03 06:29 6.8K 
[ ]lagra4sq__t6_lagra4sq2024-07-28 20:09 386K 
[ ]lagra4sq__t6_lagra4sq.vout2024-08-03 09:49 3.7K 
[ ]lagra4sq__t7_lagra4sq2024-07-28 20:10 126K 
[ ]lagra4sq__t7_lagra4sq.vout2024-08-03 05:45 6.8K 
[ ]lagra4sq__t8_lagra4sq2024-07-28 20:11 22K 
[ ]lagra4sq__t8_lagra4sq.vout2024-08-03 09:19 7.8K 
[ ]lagra4sq__t9_lagra4sq2024-07-28 20:12 21K 
[ ]lagra4sq__t9_lagra4sq.vout2024-08-03 05:27 4.7K 
[ ]lagra4sq__t10_lagra4sq2024-07-28 20:13 140K 
[ ]lagra4sq__t10_lagra4sq.vout2024-08-03 07:16 6.8K 
[ ]lagra4sq__t11_lagra4sq2024-07-28 20:14 16K 
[ ]lagra4sq__t11_lagra4sq.depv12024-08-03 10:19 269  
[ ]lagra4sq__t11_lagra4sq.depvmin12024-08-03 10:24 269  
[ ]lagra4sq__t11_lagra4sq.vmin12024-08-03 10:19 2.3K 
[ ]lagra4sq__t11_lagra4sq.vmin1out2024-08-03 10:21 31K 
[ ]lagra4sq__t11_lagra4sq.vout2024-08-03 09:38 31K 
[ ]lagra4sq__t12_lagra4sq2024-07-28 20:15 226K 
[ ]lagra4sq__t12_lagra4sq.vout2024-08-03 06:38 4.7K 
[ ]lagra4sq__t13_lagra4sq2024-07-28 19:59 15K 
[ ]lagra4sq__t13_lagra4sq.depv12024-08-03 10:19 76  
[ ]lagra4sq__t13_lagra4sq.depvmin12024-08-03 10:24 76  
[ ]lagra4sq__t13_lagra4sq.vmin12024-08-03 10:19 623  
[ ]lagra4sq__t13_lagra4sq.vmin1out2024-08-03 10:21 9.2K 
[ ]lagra4sq__t13_lagra4sq.vout2024-08-03 06:12 9.2K 
[ ]lagra4sq__t14_lagra4sq2024-07-28 20:16 19K 
[ ]lagra4sq__t14_lagra4sq.depv12024-08-03 10:19 39  
[ ]lagra4sq__t14_lagra4sq.depvmin12024-08-03 10:24 39  
[ ]lagra4sq__t14_lagra4sq.vmin12024-08-03 10:19 945  
[ ]lagra4sq__t14_lagra4sq.vmin1out2024-08-03 10:20 17K 
[ ]lagra4sq__t14_lagra4sq.vout2024-08-03 07:12 18K 
[ ]lagra4sq__t15_lagra4sq2024-07-28 20:17 45K 
[ ]lagra4sq__t15_lagra4sq.vout2024-08-03 06:16 2.0K 
[ ]lagra4sq__t16_lagra4sq2024-07-28 20:19 48K 
[ ]lagra4sq__t16_lagra4sq.vout2024-08-03 07:20 2.0K 
[ ]lagra4sq__t17_lagra4sq2024-07-28 20:21 175K 
[ ]lagra4sq__t17_lagra4sq.vout2024-08-03 04:43 4.7K 
[ ]lagra4sq__t18_lagra4sq2024-07-28 20:23 51K 
[ ]lagra4sq__t18_lagra4sq.vout2024-08-03 08:39 7.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80