Comparison with GGP-Base Prover:
| Median speedup | 1.5407136667322425 |
| Mean speedup | 121.58162299202283 |
| Geometric mean speedup | 1.5431061307924054 |
| Ratio of # state changes with 1 second per game | 90.55731109184595 |
| Ratio of times to run 1000 states per game | 16.381930688887383 |
| Number of games with errors | 83 |
Comparison with other engines:
| Engine | We're faster in N games | Only they fail | They're faster in N games | Only we fail |
| REKKURA_BACKWARD_PROVER:1.0.0 | 355 | 8 | 95 | 78 |
| REKKURA_BACKWARD_PROVER_OSTD:1.0.0 | 357 | 8 | 93 | 77 |
| ALLOY_COMPILED_PROVER_CACHING:1 | 39 | 6 | 413 | 77 |
| PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 | 349 | 5 | 104 | 77 |
| GGP_BASE_PROVER:2015-04-26 | 292 | 0 | 166 | 82 |
| ALLOY_TUPLE_PROVER:1 | 177 | 2 | 279 | 79 |
| REKKURA_GENERIC_BACKWARD_PROVER_OSTD:1.0.0 | 432 | 8 | 18 | 76 |
| REKKURA_GENERIC_FORWARD_PROVER:1.0.0 | 418 | 8 | 32 | 78 |
| REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 | 418 | 8 | 32 | 77 |
| REKKURA_GENERIC_BACKWARD_PROVER:1.0.0 | 432 | 8 | 18 | 77 |
| PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 | 451 | 3 | 4 | 74 |
Game-by-game statistics:
Games with errors:
| Game | Error message |
| BASE/ruleDepthExponential/UamhHQ | Exception of type NullPointerException |
| BASE/amazons_10x10/Bun8dA | Exception of type NullPointerException |
| DRESDEN/connectfoursuicide/M9CNQg | Exception of type NullPointerException |
| BASE/queens08ug/kJ_ZFQ | Test process timed out after 240 seconds |
| BASE/wargame02/BkVqqQ | Exception of type NullPointerException |
| BASE/asteroids/BKCmPQ | Exception of type NullPointerException |
| BASE/wargame03/klXI8w | Exception of type NullPointerException |
| DRESDEN/Goldrush/VeWczQ | Exception of type NullPointerException |
| BASE/gt_two_thirds_4p/DStnxQ | IllegalArgumentException: bound must be positive |
| DRESDEN/backgammon/mqCW0Q | Exception of type NullPointerException |
| DRESDEN/mummymaze2p-comp2007/oTQRQg | Exception of type NullPointerException |
| BASE/queens08lg/Ru7eqQ | Test process timed out after 240 seconds |
| DRESDEN/breakthrough/z4hK7Q | Exception of type NullPointerException |
| DRESDEN/catcha_mouse/cHv4dw | Exception of type NullPointerException |
| BASE/breakthroughSmall/HJ0tIA | Exception of type NullPointerException |
| DRESDEN/bomberman2p/x4h6jQ | Exception of type NullPointerException |
| BASE/amazonsSuicide/dE1QEQ | Exception of type NullPointerException |
| DRESDEN/knightthrough/J7Fc_Q | Exception of type NullPointerException |
| DRESDEN/queens/mW2wHQ | Test process timed out after 240 seconds |
| BASE/knightazons/apnJBQ | Exception of type NullPointerException |
| STANFORD/kono/HI7CHA | IllegalArgumentException: bound must be positive |
| BASE/wargame01/_GZFZg | Exception of type NullPointerException |
| BASE/alexChess/LNo83g | Exception of type StackOverflowError |
| BASE/colonelBlottoVariant/X-n-KQ | IllegalArgumentException: bound must be positive |
| BASE/pentago/86NgKw | Exception of type NullPointerException |
| BASE/pentagoSuicide/SBgNhw | Exception of type NullPointerException |
| BASE/gt_attrition/kD_SCA | IllegalArgumentException: bound must be positive |
| STANFORD/untwistycomplex/HTWEwg | Exception of type NullPointerException |
| BASE/amazonsTorus_10x10/Uxc08g | Exception of type NullPointerException |
| BASE/mummyMaze2p_2007/YGA3Vw | Exception of type NullPointerException |
| DRESDEN/babel/WdSW4A | Exception of type NullPointerException |
| DRESDEN/tttcc4/sAvtFg | Exception of type NullPointerException |
| DRESDEN/battlebrushes/QHXV4A | Exception of type NullPointerException |
| BASE/gt_two_thirds_2p/1APDGg | IllegalArgumentException: bound must be positive |
| BASE/asteroidsSerial/id2QkA | Exception of type NullPointerException |
| BASE/ttcc4_2player/_aH_Mw | Exception of type NullPointerException |
| BASE/zhadu/DlA8iQ | ClassCastException: stanfordlogic.prover.VariableFact cannot be cast to stanfordlogic.prover.GroundFact |
| STANFORD/pilgrimage/ObRZnQ | Exception of type NullPointerException |
| BASE/queens31lg/0gID-A | Test process timed out after 240 seconds |
| BASE/queens06ug/7Lq3tw | Test process timed out after 240 seconds |
| DRESDEN/capture_the_king/EQ229Q | Exception of type NullPointerException |
| BASE/amazons_8x8/7SOsIw | Exception of type NullPointerException |
| BASE/othello-comp2007/86ZoMw | Exception of type NullPointerException |
| BASE/gt_two_thirds_6p/867v3Q | IllegalArgumentException: bound must be positive |
| BASE/asteroidsParallel/WauZiA | Exception of type NullPointerException |
| DRESDEN/SC_TestOnly_enabled/09o7gQ | Exception of type NullPointerException |
| BASE/majorities/ibJzSQ | IllegalArgumentException: bound must be positive |
| DRESDEN/pacman3p/rBnk8Q | Exception of type NullPointerException |
| BASE/biddingTicTacToe_10coins/a-9ccQ | IllegalArgumentException: bound must be positive |
| DRESDEN/amazons/dNB28A | Exception of type NullPointerException |
| DRESDEN/small_dominion/yB5GJA | Exception of type NullPointerException |
| DRESDEN/bidding-tictactoe_10coins/mu5VhQ | IllegalArgumentException: bound must be positive |
| DRESDEN/knightazons/02I8BQ | Exception of type NullPointerException |
| BASE/biddingTicTacToe/8mESVw | IllegalArgumentException: bound must be positive |
| BASE/amazonsTorus/soxT8g | Exception of type NullPointerException |
| BASE/colonelBlottoVariant2/jruwGw | IllegalArgumentException: bound must be positive |
| DRESDEN/knightwar/7hhAqg | Exception of type NullPointerException |
| BASE/ruleDepthLinear/OUBJpQ | Exception of type NullPointerException |
| STANFORD/breakthroughsmall/HM0s5w | Exception of type NullPointerException |
| BASE/ttcc4_2player_small/Cv72TA | Exception of type NullPointerException |
| BASE/snakeParallel/RCVNtw | Exception of type NullPointerException |
| DRESDEN/breakthroughsuicide_v2/LU1nAw | Exception of type NullPointerException |
| BASE/knightThrough/gcwFjA | Exception of type NullPointerException |
| STANFORD/ttcc4/Cx9SGw | Exception of type NullPointerException |
| BASE/reversi/d8UMeA | Test process timed out after 240 seconds |
| BASE/choicethroughalt/tt71Lg | Exception of type NullPointerException |
| BASE/queens/HyJJnQ | Test process timed out after 240 seconds |
| BASE/ttcc4_2player_alt/ZEJvYA | Exception of type NullPointerException |
| BASE/catcha_mouse/cHv4dw | Exception of type NullPointerException |
| BASE/knightwar/DVGY4Q | Exception of type NullPointerException |
| BASE/tttcc4/8Bs2lg | Exception of type NullPointerException |
| DRESDEN/connectfour/5tc-Mg | Exception of type NullPointerException |
| BASE/mineClearingSmall/frsbvw | Exception of type NullPointerException |
| DRESDEN/god/2EDD5w | Test process timed out after 240 seconds |
| DRESDEN/breakthroughsuicide/Y9QzqQ | Exception of type NullPointerException |
| BASE/amazons/RKKZjw | Exception of type NullPointerException |
| BASE/slaughter/cOch8A | Exception of type NullPointerException |
| DRESDEN/bidding-tictactoe/yW5vTA | IllegalArgumentException: bound must be positive |
| BASE/factoringMutuallyAssuredDestruction/NH0LGg | Exception of type NullPointerException |
| BASE/god/qF06gw | Test process timed out after 240 seconds |
| BASE/ttcc4/Le0qjQ | Exception of type NullPointerException |
| BASE/amazonsSuicide_10x10/XIbQkg | Exception of type NullPointerException |
| DRESDEN/ghostmaze2p/HY0UwA | Exception of type NullPointerException |