index

BASE/amazons_8x8/7SOsIw

opnfNumOrs798
opnfTimeToCreate3103
opnfNumLinks39006
opnfNumNots130
opnfNumComponents20105
opnfNumAnds5726
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c120847.7
ALLOY_COMPILED_PROVER_CACHING:233305.1
ALLOY_DIFF_PROP_NET:121851.066666666666
CADIAPLAYER_PROLOG:3.02189.822832023445
FLUXPLAYER_PROLOG:1.12008.9
PALAMEDES_JAVA_ECLIPSE:0.6.11862.1666666666667
ALLOY_TUPLE_PROVER:21314.0
GGP_BASE_PROVER:2015-04-26391.0202993233559
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1295.4371229543712
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.190.99090090990902
REKKURA_BACKWARD_PROVER_OSTD:1.0.050.09833005566481
REKKURA_BACKWARD_PROVER:1.0.050.04331312054374
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.09.455005493225022
REKKURA_GENERIC_FORWARD_PROVER:1.0.09.44305901911887

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index