index

BASE/chess_200/XsTpYA

opnfNumOrs22359
opnfTimeToCreate7643
opnfNumLinks344219
opnfNumNots528
opnfNumComponents160422
opnfNumAnds75260
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:27429.466666666666
ALLOY_DIFF_PROP_NET:13405.0333333333333
FLUXPLAYER_PROLOG:1.1680.4
CADIAPLAYER_PROLOG:3.0522.855145320771
ALLOY_TUPLE_PROVER:2285.5571480950635
PALAMEDES_JAVA_ECLIPSE:0.6.1131.39562014599514
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.153.763082461169255
GGP_BASE_PROVER:2015-04-2645.024328467639805
REKKURA_BACKWARD_PROVER_OSTD:1.0.012.266666666666667
REKKURA_BACKWARD_PROVER:1.0.012.086704624912596
REKKURA_GENERIC_FORWARD_PROVER:1.0.03.2713214155899943
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.03.177335010260144
PALAMEDES_JOCULAR:0.6.12.9566573526544935
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.9122006841505131

Machines with errors:

SANCHO_DEAD_RECKONING_PROPNET:1.61cException of type StackOverflowError

index