index

BASE/chineseCheckers6/rREH3A

opnfNumOrs304
opnfTimeToCreate923
opnfNumLinks7351
opnfNumNots92
opnfNumComponents4450
opnfNumAnds1392
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c384010.23333333334
ALLOY_DIFF_PROP_NET:194476.8
ALLOY_COMPILED_PROVER_CACHING:260793.13333333333
FLUXPLAYER_PROLOG:1.121518.0
ALLOY_TUPLE_PROVER:22646.3
PALAMEDES_JOCULAR:0.6.12145.3333333333335
PALAMEDES_JAVA_ECLIPSE:0.6.11530.3333333333333
GGP_BASE_PROVER:2015-04-261446.7333333333333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1911.0029665677811
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1536.4666666666667
REKKURA_BACKWARD_PROVER_OSTD:1.0.0241.85860471317622
REKKURA_BACKWARD_PROVER:1.0.0239.26666666666668
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.044.924348463640605
REKKURA_GENERIC_FORWARD_PROVER:1.0.044.38964241676942

Machines with errors:

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

index