Quadratic Arithmetic Programs Used For Testing

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本数据集为用于5.1节基准测试结果的二次算术规划（Quadratic arithmetic programs）。所用硬件：文本编辑器、Python脚本。数据格式：文本文件。数据来源：通过Python脚本mvp.py，从http://security1.win.tue.nl/~meilof/files/verifiability/trinocchio-0.1.zip随机生成。样本数量：2。单样本规模：203428、571046个方程。