index

BASE/connectFourLarger/qKi60A

opnfNumOrs807
opnfTimeToCreate702
opnfNumLinks21537
opnfNumNots1183
opnfNumComponents8691
opnfNumAnds3758
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c781680.3
ALLOY_DIFF_PROP_NET:172435.4
ALLOY_COMPILED_PROVER_CACHING:242699.0
CADIAPLAYER_PROLOG:3.03349.780117270789
FLUXPLAYER_PROLOG:1.12829.266666666667
PALAMEDES_JAVA_ECLIPSE:0.6.11830.5666666666666
PALAMEDES_JOCULAR:0.6.11256.2333333333333
ALLOY_TUPLE_PROVER:2977.2007599746676
GGP_BASE_PROVER:2015-04-26468.38438718709375
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1274.46666666666664
REKKURA_BACKWARD_PROVER:1.0.0210.92630245658478
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1173.92753574880837
REKKURA_BACKWARD_PROVER_OSTD:1.0.0118.51309040037306
REKKURA_GENERIC_FORWARD_PROVER:1.0.098.4901509849015
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.044.84424454439447

index