opnfNumOrs | 43 |
opnfTimeToCreate | 707 |
opnfNumLinks | 1094 |
opnfNumNots | 1 |
opnfNumComponents | 841 |
opnfNumAnds | 1 |
Engine | Average state changes per second |
SANCHO_DEAD_RECKONING_PROPNET:1.61c | 2060165.0666666667 |
ALLOY_DIFF_PROP_NET:1 | 487566.76666666666 |
ALLOY_COMPILED_PROVER_CACHING:2 | 28311.333333333332 |
PALAMEDES_JOCULAR:0.6.1 | 4057.1666666666665 |
CADIAPLAYER_PROLOG:3.0 | 3973.375541486171 |
PALAMEDES_JAVA_ECLIPSE:0.6.1 | 3056.8 |
FLUXPLAYER_PROLOG:1.1 | 2799.6 |
ALLOY_TUPLE_PROVER:2 | 2257.4 |
GGP_BASE_PROVER:2015-04-26 | 986.1333333333333 |
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1 | 774.8 |
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1 | 726.4757841405286 |
REKKURA_BACKWARD_PROVER_OSTD:1.0.0 | 522.9333333333333 |
REKKURA_BACKWARD_PROVER:1.0.0 | 494.9168361054632 |
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0 | 205.07949205079493 |
REKKURA_GENERIC_FORWARD_PROVER:1.0.0 | 204.3 |