index

BASE/dualConnect4/WbCQkg

opnfNumOrs211
opnfTimeToCreate779
opnfNumLinks4001
opnfNumNots280
opnfNumComponents1978
opnfNumAnds672
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c886829.0333333333
ALLOY_DIFF_PROP_NET:1177848.13333333333
ALLOY_COMPILED_PROVER_CACHING:245182.7
FLUXPLAYER_PROLOG:1.16801.833333333333
CADIAPLAYER_PROLOG:3.03443.9
PALAMEDES_JAVA_ECLIPSE:0.6.11952.9333333333334
PALAMEDES_JOCULAR:0.6.11498.1333333333334
ALLOY_TUPLE_PROVER:21282.8
GGP_BASE_PROVER:2015-04-26594.7342109648392
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1478.9840338655378
REKKURA_BACKWARD_PROVER:1.0.0472.8842371920936
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1385.0538315389487
REKKURA_BACKWARD_PROVER_OSTD:1.0.0349.57669488700753
REKKURA_GENERIC_FORWARD_PROVER:1.0.0192.50766564458073
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0113.77724455108978

index