Comparison with GGP-Base Prover:
| Median speedup | 2.7873501892494206 |
| Mean speedup | 5.473443049586628 |
| Geometric mean speedup | 0.0 |
| Ratio of # state changes with 1 second per game | 2.7354459060026715 |
| Ratio of times to run 1000 states per game | Infinity |
| Number of games with errors | 42 |
Comparison with other engines:
| Engine | We're faster in N games | Only they fail | They're faster in N games | Only we fail |
| ALLOY_DIFF_PROP_NET:1 (comparison) | 16 | 34 | 464 | 40 |
| PALAMEDES_JOCULAR:0.6.1 (comparison) | 255 | 80 | 179 | 37 |
| PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 (comparison) | 393 | 8 | 113 | 38 |
| SANCHO_DEAD_RECKONING_PROPNET:1.61c (comparison) | 1 | 51 | 462 | 39 |
| ALLOY_TUPLE_PROVER:2 (comparison) | 323 | 2 | 189 | 42 |
| CADIAPLAYER_PROLOG:3.0 (comparison) | 210 | 148 | 156 | 27 |
| REKKURA_GENERIC_FORWARD_PROVER:1.0.0 (comparison) | 431 | 13 | 70 | 42 |
| REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 (comparison) | 430 | 13 | 71 | 41 |
| REKKURA_BACKWARD_PROVER:1.0.0 (comparison) | 398 | 13 | 103 | 42 |
| REKKURA_BACKWARD_PROVER_OSTD:1.0.0 (comparison) | 396 | 13 | 105 | 41 |
| PALAMEDES_JAVA_ECLIPSE:0.6.1 (comparison) | 268 | 5 | 241 | 38 |
| GGP_BASE_PROVER:2015-04-26 (comparison) | 384 | 0 | 130 | 42 |
| PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 (comparison) | 433 | 15 | 66 | 40 |
| ALLOY_COMPILED_PROVER_CACHING:2 (comparison) | 1 | 4 | 509 | 40 |
Game-by-game statistics:
Games with errors:
| Game | Error message |
| BASE/ruleDepthExponential/UamhHQ | Test process failed to output results for unknown reason |
| DRESDEN/nim2/z5_exA | Test process failed to output results for unknown reason |
| STANFORD/hex/MTqWcw | Test process failed to output results for unknown reason |
| DRESDEN/nim1/M9BALA | Test process failed to output results for unknown reason |
| BASE/checkLines/Vop7oQ | Test process failed to output results for unknown reason |
| STANFORD/alquerquezero/uVgA_A | Test process failed to output results for unknown reason |
| DRESDEN/minichess/c7GMFw | Test process failed to output results for unknown reason |
| DRESDEN/skirmish/RjGQYQ | Test process failed to output results for unknown reason |
| BASE/crissrace/ERWGDA | Test process failed to output results for unknown reason |
| DRESDEN/sheep_and_wolf/enAIzQ | Test process failed to output results for unknown reason |
| BASE/nim1/hin2Qw | Test process failed to output results for unknown reason |
| BASE/amazonsTorus/soxT8g | Test process failed to output results for unknown reason |
| BASE/alexChess/LNo83g | Test process failed to output results for unknown reason |
| STANFORD/untwistycomplex/HTWEwg | Test process failed to output results for unknown reason |
| BASE/endgame/jYjfOA | Test process failed to output results for unknown reason |
| BASE/copolymer_4/2LDVhQ | Test process failed to output results for unknown reason |
| BASE/sheepAndWolf/g4THrg | Test process failed to output results for unknown reason |
| BASE/nim2/eF2Qqw | Test process failed to output results for unknown reason |
| DRESDEN/nim4/F5YAYg | Test process failed to output results for unknown reason |
| BASE/nim4/twk16w | Test process failed to output results for unknown reason |
| BASE/majorities/ibJzSQ | Test process failed to output results for unknown reason |
| BASE/minichess/8NQEiA | Test process failed to output results for unknown reason |
| BASE/nim3/1OwUqw | Test process failed to output results for unknown reason |
| DRESDEN/nim3/sG_axA | Test process failed to output results for unknown reason |
| DRESDEN/skirmish3/3LU8Nw | Test process failed to output results for unknown reason |
| DRESDEN/chinesecheckers2/06E6-Q | Test process failed to output results for unknown reason |
| DRESDEN/crissrace/KWb9bw | Test process failed to output results for unknown reason |
| BASE/minichess-evilconjuncts/4OpQzw | Test process failed to output results for unknown reason |
| BASE/hex/T1MK8g | Test process failed to output results for unknown reason |
| BASE/brawl/6Ymo_Q | Test process failed to output results for unknown reason |
| DRESDEN/blocks2player/3ev8nQ | Test process failed to output results for unknown reason |
| BASE/blocks2player/wnTLOQ | Test process failed to output results for unknown reason |
| BASE/racetrackcorridor/_RkdUg | Test process failed to output results for unknown reason |
| DRESDEN/racetrackcorridor/O0DoTA | Test process failed to output results for unknown reason |
| DRESDEN/brawl/2kXtfQ | Test process failed to output results for unknown reason |
| BASE/chinook/XQh0IQ | Test process failed to output results for unknown reason |
| BASE/wallmaze/uxNQ9g | Test process failed to output results for unknown reason |
| DRESDEN/vacuumcleaner_random/_6AGDA | Test process failed to output results for unknown reason |
| DRESDEN/skirmish2/iPpWhQ | Test process failed to output results for unknown reason |
| DRESDEN/endgame/IJhh3Q | Test process failed to output results for unknown reason |
| DRESDEN/minichess-evilconjuncts/th24Tw | Test process failed to output results for unknown reason |
| STANFORD/chinook/osFbPA | Test process failed to output results for unknown reason |