index

BASE/checkers-mustjump-torus/uSApKQ

opnfNumOrs32703
opnfTimeToCreate20176
opnfNumLinks335688
opnfNumNots264
opnfNumComponents183270
opnfNumAnds14385
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c103357.76666666666
ALLOY_COMPILED_PROVER_CACHING:212867.933333333332
ALLOY_DIFF_PROP_NET:15415.5
ALLOY_TUPLE_PROVER:2366.12112929569014
GGP_BASE_PROVER:2015-04-26175.52163189120725
PALAMEDES_JAVA_ECLIPSE:0.6.1110.2
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.193.08758832155712
REKKURA_BACKWARD_PROVER_OSTD:1.0.08.773387391578877
REKKURA_BACKWARD_PROVER:1.0.08.539908287366252
FLUXPLAYER_PROLOG:1.16.266666666666667
PALAMEDES_JOCULAR:0.6.14.778179646281979
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12.1958279269388163
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01.4607748746721556
REKKURA_GENERIC_FORWARD_PROVER:1.0.01.458837571698551

Machines with errors:

CADIAPLAYER_PROLOG:3.0Test process failed to output results for unknown reason

index