index

BASE/ttcc4_2player_alt/ZEJvYA

opnfNumOrs1493
opnfTimeToCreate3037
opnfNumLinks22057
opnfNumNots56
opnfNumComponents11564
opnfNumAnds2291
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c390600.1666666667
ALLOY_COMPILED_PROVER_CACHING:244442.666666666664
ALLOY_DIFF_PROP_NET:137887.46666666667
CADIAPLAYER_PROLOG:3.04686.387574161722
PALAMEDES_JAVA_ECLIPSE:0.6.12683.366666666667
ALLOY_TUPLE_PROVER:21712.6333333333334
GGP_BASE_PROVER:2015-04-26955.0
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1511.3
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1156.43333333333334
REKKURA_BACKWARD_PROVER:1.0.094.91435046324068
REKKURA_BACKWARD_PROVER_OSTD:1.0.090.80306564478506
REKKURA_GENERIC_FORWARD_PROVER:1.0.019.44398202097553
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.019.160918391149323
FLUXPLAYER_PROLOG:1.11.1333333333333333

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index