Add benchmark result [gc-ta1-tt1 | ipc-2006 | tpp-propositional | 18]

This commit is contained in:
2017-12-02 10:19:16 +01:00
parent 1e74d667f4
commit 9086d77f9d
3 changed files with 707 additions and 0 deletions

File diff suppressed because one or more lines are too long