index

BASE/racer/QQYQNw

opnfNumOrs57642
opnfTimeToCreate16629
opnfNumLinks2764610
opnfNumNots7
opnfNumComponents1026475
opnfNumAnds842869
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:265698.26666666666
SANCHO_DEAD_RECKONING_PROPNET:1.61c27385.766666666666
ALLOY_TUPLE_PROVER:23354.7
ALLOY_DIFF_PROP_NET:12682.366666666667
GGP_BASE_PROVER:2015-04-262182.3333333333335
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11527.5666666666666
CADIAPLAYER_PROLOG:3.0472.3785421730878
PALAMEDES_JAVA_ECLIPSE:0.6.1216.49278357388087
REKKURA_BACKWARD_PROVER_OSTD:1.0.019.21923922456865
REKKURA_BACKWARD_PROVER:1.0.018.115218115218116
FLUXPLAYER_PROLOG:1.115.3
PALAMEDES_JOCULAR:0.6.11.5481873306670106
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.10667235585897915
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.07950178879024777
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.07946598855689765

index