Quadratic Arithmetic Programs used for testing
Description
Quadratic arithmetic programs used for benchmarking results presented in section 5.1 Hardware used: Text editor, Python script Data format: Text files Source: Randomly generated with Python script mvp.py from http://security1.win.tue.nl/~meilof/files/verifiability/trinocchio-0.1.zip Number of samples: 2 Size per sample: 203428, 571046 eqs
Resources
| Name |
Format |
Description |
Link |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-60295 |
|
0 |
|
http://data.europa.eu/88u/dataset/oai-zenodo-org-60295 |