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
137
3
views
downloads
All versions This version
Views 137137
Downloads 33
Data volume 18.3 MB18.3 MB
Unique views 137137
Unique downloads 33

Share

Cite as