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 |
|---|---|---|---|
| Unknown Resource | Unknown | Open resource | |
| Unknown Resource | Unknown | Open resource |