index

STANFORD/triplesukoshi/Iu9mbA

opnfNumOrs247
opnfTimeToCreate471
opnfNumLinks2191
opnfNumNots63
opnfNumComponents1348
opnfNumAnds219
EngineAverage state changes per second
ALLOY_DIFF_PROP_NET:195318.73333333334
ALLOY_COMPILED_PROVER_CACHING:246924.166666666664
FLUXPLAYER_PROLOG:1.15205.9
CADIAPLAYER_PROLOG:3.02283.247783481101
ALLOY_TUPLE_PROVER:21412.9333333333334
REKKURA_BACKWARD_PROVER:1.0.01313.0333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.01296.4333333333334
PALAMEDES_JAVA_ECLIPSE:0.6.11225.9
PALAMEDES_JOCULAR:0.6.1806.5
GGP_BASE_PROVER:2015-04-26771.9666666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1356.0881303956535
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0326.1
REKKURA_GENERIC_FORWARD_PROVER:1.0.0310.7689231076892
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.151.33162227925736

Machines with errors:

SANCHO_DEAD_RECKONING_PROPNET:1.61cException of type NullPointerException

index