Commit Graph

5190 Commits

Author SHA1 Message Date
025bf86f1b
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 7] 2017-11-30 15:17:25 +01:00
56027e06ca
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 6] 2017-11-30 15:17:08 +01:00
6bb8813582
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 6] 2017-11-30 15:14:25 +01:00
4003014e86
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 5] 2017-11-30 15:14:09 +01:00
e09902340d
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 5] 2017-11-30 15:11:23 +01:00
97bd3b012b
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 4] 2017-11-30 15:11:07 +01:00
9ae4abc6ea
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 4] 2017-11-30 15:08:35 +01:00
2f7afc296d
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 3] 2017-11-30 15:08:18 +01:00
4a2cd3e7de
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 3] 2017-11-30 15:05:20 +01:00
bdefc25a03
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 2] 2017-11-30 15:05:04 +01:00
14d13cb0ff
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 2] 2017-11-30 15:02:49 +01:00
e902832f2e
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-dining-philosophers-strips | 1] 2017-11-30 15:02:32 +01:00
80c6613213
Add benchmark result [m-mp | ipc-2004 | promela-dining-philosophers-strips | 1] 2017-11-30 14:59:50 +01:00
296ac4ee85
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 14] 2017-11-30 14:59:33 +01:00
b394e80f96
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 14] 2017-11-30 14:44:15 +01:00
e754591dcf
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 13] 2017-11-30 14:43:33 +01:00
e991221151
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 13] 2017-11-30 14:28:15 +01:00
67b9ae0983
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 12] 2017-11-30 14:27:49 +01:00
665818c864
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 12] 2017-11-30 14:12:30 +01:00
0734a80dda
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 11] 2017-11-30 14:11:46 +01:00
82d4f86d55
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 11] 2017-11-30 14:02:02 +01:00
0c89ef1525
Add benchmark result [gc-ta1-tt1 | ipc-2004 | promela-optical-telegraph-strips | 10] 2017-11-30 14:01:27 +01:00
2215be2093
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 50] 2017-11-30 13:46:35 +01:00
ccf35e65f8
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 60] 2017-11-30 13:39:21 +01:00
19ced5829c
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 59] 2017-11-30 13:24:03 +01:00
a8de453799
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 58] 2017-11-30 13:08:47 +01:00
2de39375ee
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 57] 2017-11-30 12:53:30 +01:00
86e130e002
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 56] 2017-11-30 12:38:13 +01:00
e1ef25a354
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 55] 2017-11-30 12:22:56 +01:00
540342a650
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 54] 2017-11-30 12:07:39 +01:00
9aacdc27cd
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 53] 2017-11-30 11:52:23 +01:00
3d46155b99
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 52] 2017-11-30 11:37:06 +01:00
7b184afa4c
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 51] 2017-11-30 11:21:49 +01:00
f89ef94156
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 50] 2017-11-30 11:06:32 +01:00
51f08a0883
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 49] 2017-11-30 10:51:16 +01:00
d9d4a3b9b0
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 48] 2017-11-30 10:35:58 +01:00
b6fe56b96e
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 47] 2017-11-30 10:35:08 +01:00
6ebe68793c
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 46] 2017-11-30 10:19:52 +01:00
2fbb84b796
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 45] 2017-11-30 10:04:35 +01:00
fb846c1853
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 44] 2017-11-30 09:49:18 +01:00
557d16620e
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 43] 2017-11-30 09:34:01 +01:00
ed563c3000
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 42] 2017-11-30 09:32:45 +01:00
d482449501
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 41] 2017-11-30 09:29:45 +01:00
f6acb756e4
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 40] 2017-11-30 09:14:28 +01:00
5dcfa73bbf
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 39] 2017-11-30 08:59:28 +01:00
9f230aea97
Add benchmark result [m-mp | ipc-2000 | freecell-strips-typed | 36] 2017-11-30 08:58:15 +01:00
f4714cc078
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 14] 2017-11-30 08:54:32 +01:00
cc52708a2f
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 7] 2017-11-30 08:51:14 +01:00
448783adf2
Add benchmark result [m-mp | ipc-1998 | mystery-round-1-strips | 4] 2017-11-30 08:35:58 +01:00
d913db93bf
Add benchmark result [gc-ta4-tt1 | ipc-2000 | freecell-strips-typed | 19] 2017-11-30 08:20:41 +01:00