index

BASE/cubicup/4wNWJA

opnfNumOrs5545
opnfTimeToCreate1135
opnfNumLinks62481
opnfNumNots1016
opnfNumComponents37251
opnfNumAnds8188
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c376135.23333333334
ALLOY_DIFF_PROP_NET:186830.56666666667
ALLOY_COMPILED_PROVER_CACHING:222703.466666666667
FLUXPLAYER_PROLOG:1.14295.4
CADIAPLAYER_PROLOG:3.01013.3635485053487
PALAMEDES_JAVA_ECLIPSE:0.6.1748.1417286090464
ALLOY_TUPLE_PROVER:2737.2666666666667
PALAMEDES_JOCULAR:0.6.1640.5666666666667
REKKURA_BACKWARD_PROVER:1.0.0462.03586427571497
REKKURA_BACKWARD_PROVER_OSTD:1.0.0456.5181160627979
GGP_BASE_PROVER:2015-04-26348.02173260891306
REKKURA_GENERIC_FORWARD_PROVER:1.0.0224.35918802706576
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0221.81866648895405
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1139.2
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1104.13542603885502

index