index

BASE/hexPie/48CH6Q

opnfNumOrs20999
opnfTimeToCreate2352
opnfNumLinks215629
opnfNumNots247
opnfNumComponents104104
opnfNumAnds47322
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c65405.3
ALLOY_COMPILED_PROVER_CACHING:223700.366666666665
ALLOY_DIFF_PROP_NET:18261.5
FLUXPLAYER_PROLOG:1.11678.6333333333334
PALAMEDES_JOCULAR:0.6.1562.0
ALLOY_TUPLE_PROVER:2525.7666666666667
PALAMEDES_JAVA_ECLIPSE:0.6.1356.2762482501167
CADIAPLAYER_PROLOG:3.0342.21215955250716
GGP_BASE_PROVER:2015-04-26194.90084985835693
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1168.95540297313514
REKKURA_BACKWARD_PROVER_OSTD:1.0.0129.69135390973935
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1126.91590030654405
REKKURA_BACKWARD_PROVER:1.0.0126.25824945003666
REKKURA_GENERIC_FORWARD_PROVER:1.0.024.161029093211585
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.024.11404209965361

index