index

BASE/amazons/RKKZjw

opnfNumOrs22072
opnfTimeToCreate186408
opnfNumLinks3082858
opnfNumNots304
opnfNumComponents1505685
opnfNumAnds321526
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:2766.0333333333333
ALLOY_DIFF_PROP_NET:1204.73333333333332
CADIAPLAYER_PROLOG:3.0116.64319171934882
ALLOY_TUPLE_PROVER:214.478764478764479
PALAMEDES_JAVA_ECLIPSE:0.6.113.561242169798748
FLUXPLAYER_PROLOG:1.18.1
GGP_BASE_PROVER:2015-04-262.3242686854600394
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.10.8538587848932676
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.18509378084896347
REKKURA_BACKWARD_PROVER_OSTD:1.0.00.0837918610172332
REKKURA_BACKWARD_PROVER:1.0.00.0731011964229148
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.0

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException
SANCHO_DEAD_RECKONING_PROPNET:1.61cTest process timed out after 240 seconds

index