Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/xreal_0

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]xreal_0__l2_xreal_02025-09-13 03:04 15K 
[   ]xreal_0__l3_xreal_02025-09-13 03:05 33K 
[   ]xreal_0__l4_xreal_02025-09-13 03:02 9.2K 
[   ]xreal_0__l5_xreal_02025-09-13 03:06 34K 
[   ]xreal_0__l6_xreal_02025-09-13 03:08 66K 
[   ]xreal_0__l7_xreal_02025-09-13 03:09 35K 
[   ]xreal_0__l8_xreal_02025-09-13 03:03 28K 
[   ]xreal_0__l9_xreal_02025-09-13 03:10 31K 
[   ]xreal_0__l10_xreal_02025-09-13 03:11 12K 
[   ]xreal_0__l11_xreal_02025-09-13 03:11 12K 
[   ]xreal_0__l12_xreal_02025-09-13 03:13 43K 
[   ]xreal_0__l13_xreal_02025-09-13 03:14 13K 
[   ]xreal_0__l14_xreal_02025-09-13 03:14 13K 
[   ]xreal_0__l15_xreal_02025-09-13 03:15 18K 
[   ]xreal_0__l16_xreal_02025-09-13 03:16 13K 

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80