|
c18f883fa9
|
Add benchmark result [m-mp | ipc-2004 | promela-optical-telegraph-strips | 1]
|
2017-11-29 16:09:53 +01:00 |
|
|
9b7e3791af
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 50]
|
2017-11-29 16:09:36 +01:00 |
|
|
41fc7f5f00
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 50]
|
2017-11-29 15:54:39 +01:00 |
|
|
7d47b3946d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 49]
|
2017-11-29 15:48:23 +01:00 |
|
|
77c74a222e
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 49]
|
2017-11-29 15:43:24 +01:00 |
|
|
8d519f9db7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 48]
|
2017-11-29 15:39:12 +01:00 |
|
|
489e57ffd6
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 48]
|
2017-11-29 15:35:08 +01:00 |
|
|
611b91811e
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 47]
|
2017-11-29 15:22:32 +01:00 |
|
|
eb989f8478
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 47]
|
2017-11-29 15:19:21 +01:00 |
|
|
253d79f50d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 46]
|
2017-11-29 15:17:49 +01:00 |
|
|
c2fdd66b9c
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 46]
|
2017-11-29 15:15:32 +01:00 |
|
|
e005a4792a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 45]
|
2017-11-29 15:14:17 +01:00 |
|
|
a226e389eb
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 45]
|
2017-11-29 15:12:03 +01:00 |
|
|
c0ff01f32a
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 44]
|
2017-11-29 15:11:04 +01:00 |
|
|
2e168198dc
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 44]
|
2017-11-29 15:09:12 +01:00 |
|
|
c96ee652ac
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 43]
|
2017-11-29 15:08:21 +01:00 |
|
|
eb4b59f0ab
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 43]
|
2017-11-29 15:06:32 +01:00 |
|
|
ecf7a7e324
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 42]
|
2017-11-29 15:05:38 +01:00 |
|
|
0f48d9349c
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 42]
|
2017-11-29 15:03:38 +01:00 |
|
|
2f85877022
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 41]
|
2017-11-29 15:02:41 +01:00 |
|
|
c9defdcce7
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 41]
|
2017-11-29 15:01:16 +01:00 |
|
|
4f1a539785
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 40]
|
2017-11-29 15:00:32 +01:00 |
|
|
4a4dfc2931
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 40]
|
2017-11-29 14:58:57 +01:00 |
|
|
a4b6c8ddb0
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 39]
|
2017-11-29 14:58:16 +01:00 |
|
|
28b40a1ba8
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 39]
|
2017-11-29 14:56:16 +01:00 |
|
|
38dcd49d36
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 38]
|
2017-11-29 14:55:33 +01:00 |
|
|
f8688c386a
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 38]
|
2017-11-29 14:54:20 +01:00 |
|
|
36f0cb6963
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 37]
|
2017-11-29 14:53:46 +01:00 |
|
|
9ef3f9dfd8
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 37]
|
2017-11-29 14:52:22 +01:00 |
|
|
808ff92afc
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 36]
|
2017-11-29 14:51:48 +01:00 |
|
|
f7c61b6447
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 36]
|
2017-11-29 14:50:53 +01:00 |
|
|
f50edd3d64
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 35]
|
2017-11-29 14:50:25 +01:00 |
|
|
1ffcaea69d
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 35]
|
2017-11-29 14:37:36 +01:00 |
|
|
4477fe4e28
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 34]
|
2017-11-29 14:35:42 +01:00 |
|
|
ac3d26508e
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 34]
|
2017-11-29 14:30:31 +01:00 |
|
|
1818759c84
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 33]
|
2017-11-29 14:28:45 +01:00 |
|
|
095e0eb44b
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 33]
|
2017-11-29 14:25:15 +01:00 |
|
|
82c099dbfb
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 32]
|
2017-11-29 14:23:47 +01:00 |
|
|
0e40f711a5
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 32]
|
2017-11-29 14:14:56 +01:00 |
|
|
852a565d5d
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 31]
|
2017-11-29 14:13:21 +01:00 |
|
|
6bd0603257
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 31]
|
2017-11-29 14:10:23 +01:00 |
|
|
bc3c8257c1
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 30]
|
2017-11-29 14:09:06 +01:00 |
|
|
e29674c8c0
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 30]
|
2017-11-29 14:06:54 +01:00 |
|
|
7f41600a73
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 29]
|
2017-11-29 14:05:48 +01:00 |
|
|
b13b51cf37
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 29]
|
2017-11-29 14:03:29 +01:00 |
|
|
32964241ea
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 28]
|
2017-11-29 14:02:18 +01:00 |
|
|
218e082837
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 28]
|
2017-11-29 14:00:25 +01:00 |
|
|
99eb7bd4b7
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 27]
|
2017-11-29 13:59:29 +01:00 |
|
|
23000f4435
|
Add benchmark result [m-mp | ipc-2004 | airport-nontemporal-strips | 27]
|
2017-11-29 13:57:55 +01:00 |
|
|
8e7473b2bb
|
Add benchmark result [gc-ta1-tt1 | ipc-2004 | airport-nontemporal-strips | 26]
|
2017-11-29 13:57:05 +01:00 |
|