Number of considered initial-states (S) | Single CPU (A) | Multi-core CPU (B) | Speedup (A/B) | GPU (C) | Speedup (A/C) |
---|---|---|---|---|---|
HSN network | |||||
 50 | 467:00:15 | 00:10:13 | 2744 | 00:09:58 | 2925 |
 100 | 934:52:07 | 00:20:01 | 5488 | 00:19:16 | 5850 |
 150 | 1401:47:01 | 00:30:39 | 8232 | 00:28:75 | 8775 |
 200 | 1869:03:03 | 00:40:52 | 10976 | 00:38:38 | 11700 |
 1000 | 9345:16:06 | 03:24:33 | 54880 | 03:11:01 | 58500 |
STKE network | |||||
 50 | 01:22:50 | 00:00:06 | 825 | 00:00:13 | 380 |
 100 | 02:45:00 | 00:00:10 | 990 | 00:00:24 | 412 |
 150 | 04:07:15 | 00:00:14 | 1060 | 00:00:35 | 424 |
 200 | 05:30:00 | 00:00:18 | 1100 | 00:00:46 | 430 |
 1000 | 27:30:00 | 00:01:27 | 1137 | 00:03:40 | 450 |