https://github.com/constraintautomaton/datadump-solidbench-result
Reference results for SolidBench queries
https://github.com/constraintautomaton/datadump-solidbench-result
Last synced: 4 months ago
JSON representation
Reference results for SolidBench queries
- Host: GitHub
- URL: https://github.com/constraintautomaton/datadump-solidbench-result
- Owner: constraintAutomaton
- Created: 2024-10-19T21:54:20.000Z (over 1 year ago)
- Default Branch: main
- Last Pushed: 2025-04-24T11:33:16.000Z (about 1 year ago)
- Last Synced: 2025-09-10T05:35:38.048Z (9 months ago)
- Language: JavaScript
- Homepage:
- Size: 532 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# datadump-solidbench-result
A repository to convert Solidbench dataset into a single HDT file to collect the result of the benchmark query.
The results of the queries are available at `./query-result`.
## Instalation
```sh
yarn install
```
## Usage
Generate the benchmark data with
```sh
yarn run solidbench-generate
```
There may be warning and `component.js` errors however, if the `out-fragments` folder contains `./out-fragments/http/localhost_3000/datadump.hdt`,
`./out-fragments/http/localhost_3000/datadump.hdt.index.v1-1` and `./out-fragments/http/localhost_3000/datadump.nq` the benchmark was generated correctly.
execute the queries and record the results with
```sh
yarn node index.mjs
```
The query results are located at `./results` or [online](./results)
To generate a summary table of the execution time run:
```sh
yarn node analysis.mjs
```