Dataset for REMaQE

Dataset for REMaQE Each generated equation is present in its own folder in one of the `batch*` folders. The `valid.list` lists all 9,726 valid generated equations. For each equation, the files present are: `c_accuracy.json`: equivalence match results `c_bin.diss`: C binary disassembly `c_bin.elf`: C binary `c_build.log`: C build log `c_reversed.json`: REMaQE reversed result of C binary `code.c`: C code `error.log`: Error log `expressions.json`: Generated math equations `simplified.json`: Simplified math equations `simulink.mdl`: Simulink model `simulink_accuracy.json`: Simulink equivalence match results `simulink_bin.diss`: Simulink binary disassembly `simulink_bin.elf`: Simulink binary `simulink_build/`: Simulink build directory `simulink_reversed.json`: REMaQE reversed result of Simulink binary The `summary.json` file contains data about all the equations like number of ops, execution time, etc. Build The `build_c.sh` and `build_simulink.sh` scripts build the binaries. Schema The JSON schema of each generated file. "expressions.json": { "inputs": [], "outputs": [], "constants": { : }, "expressions": { : } } "simplified.json": { : { "simplified": , "good": , "error": }, ... } "*_reversed.json": { "inputs": { : , ... }, "outputs": { : { "storage": , "expression": , "simplified": , "parsed": , "error": }, ... }, "constants": { : { "storage": , "value": } } } "accuracy.json": { "matched": , "error": , : { : { "matched": , "mismatches": [], "symbol_map": { : , ... } } }, ... }