index

BASE/mummyMaze2p_2007/YGA3Vw

opnfNumOrs483
opnfTimeToCreate1208
opnfNumLinks22337
opnfNumNots5
opnfNumComponents18069
opnfNumAnds1880
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c802168.2666666667
ALLOY_COMPILED_PROVER_CACHING:2109928.16666666667
ALLOY_DIFF_PROP_NET:194496.53333333334
ALLOY_TUPLE_PROVER:211314.0
PALAMEDES_JAVA_ECLIPSE:0.6.12221.733333333333
FLUXPLAYER_PROLOG:1.12185.233333333333
CADIAPLAYER_PROLOG:3.02080.0506565353594
GGP_BASE_PROVER:2015-04-261635.0333333333333
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11187.4333333333334
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1673.8550763282448
REKKURA_BACKWARD_PROVER:1.0.099.4867351019864
REKKURA_BACKWARD_PROVER_OSTD:1.0.098.00393215368723
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.029.94370982246944
REKKURA_GENERIC_FORWARD_PROVER:1.0.029.02462594554967

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index