SUPERCLOUD
Published August 15, 2016 | Version v1
Dataset Open

Quadratic Arithmetic Programs used for testing

Creators

  • 1. Philips Research
  • 2. TU Eindhoven

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

Files

qap-5-10.zip

Files (6.1 MB)

Name Size Download all
md5:f4a26896b23ed879961f69e03896d1ef
6.1 MB Preview Download

Additional details

Related works

Is supplement to
10.5281/zenodo.60294 (DOI)