Dataset Open Access

Quadratic Arithmetic Programs used for testing

Veeningen, Meilof; de Vreede, Niels

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

Files (6.1 MB)
Name Size
qap-5-10.zip
md5:f4a26896b23ed879961f69e03896d1ef
6.1 MB Download
71
0
views
downloads
All versions This version
Views 7171
Downloads 00
Data volume 0 Bytes0 Bytes
Unique views 7171
Unique downloads 00

Share

Cite as