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
84
1
views
downloads
All versions This version
Views 8484
Downloads 11
Data volume 6.1 MB6.1 MB
Unique views 8484
Unique downloads 11

Share

Cite as