|
@@ -275,11 +275,15 @@ int main(int argc, char* argv[])
|
|
|
free(output1);
|
|
|
free(output0);
|
|
|
|
|
|
+ /* For the artifact, don't actually write these in order to not use very
|
|
|
+ * large amounts of storage
|
|
|
+
|
|
|
for(size_t i = 0; i < thread_per_batch; ++i)
|
|
|
{
|
|
|
P2_write_evalfull_outs_into_a_file(false, i, db_nitems, flags0[i], leaves0[i]);
|
|
|
P2_write_evalfull_outs_into_a_file(true, i, db_nitems, flags1[i], leaves1[i]);
|
|
|
}
|
|
|
+ */
|
|
|
|
|
|
for(size_t j = 0; j < thread_per_batch; ++j)
|
|
|
{
|