index

BASE/ttcc4_2player/_aH_Mw

opnfNumOrs1459
opnfTimeToCreate4117
opnfNumLinks21525
opnfNumNots75
opnfNumComponents11279
opnfNumAnds2175
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c363582.43333333335
ALLOY_COMPILED_PROVER_CACHING:234410.2
ALLOY_DIFF_PROP_NET:130718.9
CADIAPLAYER_PROLOG:3.04451.588174515881
PALAMEDES_JAVA_ECLIPSE:0.6.12495.733333333333
ALLOY_TUPLE_PROVER:21479.8333333333333
GGP_BASE_PROVER:2015-04-26786.9404353188227
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1428.93807079528034
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1106.73333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.093.53860508514113
REKKURA_BACKWARD_PROVER:1.0.092.94807705125642
REKKURA_GENERIC_FORWARD_PROVER:1.0.020.781296832850433
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.020.577364898611528
FLUXPLAYER_PROLOG:1.11.1666666666666667

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index