Index of /s/sys/buster-libre-soc/home/mdasoh/src/hdl_tools/bitwuzla/deps/cadical/test/trace

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[TXT]README.md2021-10-27 05:04 254  
[   ]makefile2021-10-27 05:04 81  
[   ]reg0000.trace2021-10-27 05:04 179  
[   ]reg0001.trace2021-10-27 05:04 23  
[   ]reg0002.trace2021-10-27 05:04 48  
[   ]reg0003.trace2021-10-27 05:04 54  
[   ]reg0004.trace2021-10-27 05:04 73  
[   ]reg0005.trace2021-10-27 05:04 67  
[   ]reg0006.trace2021-10-27 05:04 100  
[   ]reg0007.trace2021-10-27 05:04 65  
[   ]reg0008.trace2021-10-27 05:04 373  
[   ]reg0009.trace2021-10-27 05:04 73  
[   ]reg0010.trace2021-10-27 05:04 98  
[   ]reg0011.trace2021-10-27 05:04 85  
[   ]reg0012.trace2021-10-27 05:04 100  
[   ]reg0013.trace2021-10-27 05:04 82  
[   ]reg0014.trace2021-10-27 05:04 109  
[   ]reg0015.trace2021-10-27 05:04 166  
[   ]reg0016.trace2021-10-27 05:04 174  
[   ]reg0017.trace2021-10-27 05:04 209  
[   ]reg0018.trace2021-10-27 05:04 149  
[   ]reg0019.trace2021-10-27 05:04 150  
[   ]reg0020.trace2021-10-27 05:04 162  
[   ]reg0021.trace2021-10-27 05:04 102  
[   ]reg0022.trace2021-10-27 05:04 54  
[   ]reg0023.trace2021-10-27 05:04 79  
[   ]reg0024.trace2021-10-27 05:04 174  
[   ]reg0025.trace2021-10-27 05:04 45  
[   ]reg0026.trace2021-10-27 05:04 249  
[   ]reg0027.trace2021-10-27 05:04 856  
[   ]reg0028.trace2021-10-27 05:04 110  
[   ]reg0029.trace2021-10-27 05:04 629  
[   ]reg0030.trace2021-10-27 05:04 298  
[   ]reg0031.trace2021-10-27 05:04 380  
[   ]reg0032.trace2021-10-27 05:04 119  
[   ]reg0033.trace2021-10-27 05:04 208  
[   ]reg0034.trace2021-10-27 05:04 106  
[   ]reg0035.trace2021-10-27 05:04 199  
[   ]reg0036.trace2021-10-27 05:04 95  
[   ]reg0037.trace2021-10-27 05:04 194  
[   ]reg0038.trace2021-10-27 05:04 253  
[   ]reg0039.trace2021-10-27 05:04 110  
[   ]reg0040.trace2021-10-27 05:04 283  
[   ]reg0041.trace2021-10-27 05:04 595  
[   ]reg0042.trace2021-10-27 05:04 284  
[   ]reg0043.trace2021-10-27 05:04 192  
[   ]reg0044.trace2021-10-27 05:04 94  
[   ]reg0045.trace2021-10-27 05:04 118  
[   ]reg0046.trace2021-10-27 05:04 109  
[   ]reg0047.trace2021-10-27 05:04 107  
[   ]reg0048.trace2021-10-27 05:04 523  
[   ]reg0049.trace2021-10-27 05:04 345  
[   ]reg0050.trace2021-10-27 05:04 345  
[   ]reg0051.trace2021-10-27 05:04 334  
[   ]reg0052.trace2021-10-27 05:04 700  
[   ]reg0053.trace2021-10-27 05:04 35  
[   ]reg0054.trace2021-10-27 05:04 45  
[   ]reg0055.trace2021-10-27 05:04 125  
[   ]reg0056.trace2021-10-27 05:04 5.3K 
[   ]reg0057.trace2021-10-27 05:04 565  
[   ]reg0058.trace2021-10-27 05:04 563  
[TXT]run.sh2021-10-27 05:04 2.0K 

Apache/2.4.62 (Debian) Server at 192.168.1.68 Port 80