index

BASE/breakthroughSmall/HJ0tIA

opnfNumOrs374
opnfTimeToCreate733
opnfNumLinks5240
opnfNumNots76
opnfNumComponents2888
opnfNumAnds268
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c818009.3666666667
ALLOY_COMPILED_PROVER_CACHING:267503.0
ALLOY_DIFF_PROP_NET:145933.6
CADIAPLAYER_PROLOG:3.02910.720831805912
PALAMEDES_JAVA_ECLIPSE:0.6.12247.266666666667
ALLOY_TUPLE_PROVER:21507.7
GGP_BASE_PROVER:2015-04-26856.1666666666666
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1562.2479250691644
REKKURA_BACKWARD_PROVER:1.0.0359.38802039932
REKKURA_BACKWARD_PROVER_OSTD:1.0.0350.0549981667278
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1270.12432918902704
REKKURA_GENERIC_FORWARD_PROVER:1.0.091.09696343455218
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.090.51523028727588
FLUXPLAYER_PROLOG:1.123.166666666666668

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException

index