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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]boolmark__l11_boolmark2024-07-27 01:36 33K 
[ ]boolmark__l11_boolmark.vout2024-08-03 04:51 4.7K 
[ ]boolmark__t1_boolmark2024-07-27 01:19 20K 
[ ]boolmark__t1_boolmark.vout2024-08-03 09:21 6.8K 
[ ]boolmark__t2_boolmark2024-07-27 01:20 17K 
[ ]boolmark__t2_boolmark.vout2024-08-03 06:25 7.3K 
[ ]boolmark__t3_boolmark2024-07-27 01:21 19K 
[ ]boolmark__t3_boolmark.vout2024-08-03 06:55 7.3K 
[ ]boolmark__t4_boolmark2024-07-27 01:22 17K 
[ ]boolmark__t4_boolmark.vout2024-08-03 05:14 4.7K 
[ ]boolmark__t5_boolmark2024-07-27 01:23 28K 
[ ]boolmark__t5_boolmark.vout2024-08-03 09:05 4.7K 
[ ]boolmark__t6_boolmark2024-07-27 01:25 26K 
[ ]boolmark__t6_boolmark.vout2024-08-03 10:00 2.0K 
[ ]boolmark__t7_boolmark2024-07-27 01:26 26K 
[ ]boolmark__t7_boolmark.vout2024-08-03 05:31 7.3K 
[ ]boolmark__t8_boolmark2024-07-27 01:27 53K 
[ ]boolmark__t8_boolmark.vout2024-08-03 08:50 4.7K 
[ ]boolmark__t9_boolmark2024-07-27 01:29 57K 
[ ]boolmark__t9_boolmark.vout2024-08-03 07:23 4.7K 
[ ]boolmark__t10_boolmark2024-07-27 01:31 33K 
[ ]boolmark__t10_boolmark.vout2024-08-03 10:13 7.4K 
[ ]boolmark__t11_boolmark2024-07-27 01:33 34K 
[ ]boolmark__t11_boolmark.vout2024-08-03 08:06 4.7K 
[ ]boolmark__t12_boolmark2024-07-27 01:34 51K 
[ ]boolmark__t12_boolmark.vout2024-08-03 10:05 4.7K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80