index

BASE/connect4/50bOyw

opnfNumOrs312
opnfTimeToCreate621
opnfNumLinks4786
opnfNumNots3
opnfNumComponents2161
opnfNumAnds856
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c572317.3
ALLOY_DIFF_PROP_NET:175526.63333333333
ALLOY_COMPILED_PROVER_CACHING:226929.566666666666
CADIAPLAYER_PROLOG:3.01310.2115608862237
FLUXPLAYER_PROLOG:1.11114.2333333333333
ALLOY_TUPLE_PROVER:21027.7666666666667
PALAMEDES_JAVA_ECLIPSE:0.6.1841.4719509349688
PALAMEDES_JOCULAR:0.6.1727.5
REKKURA_BACKWARD_PROVER:1.0.0657.6
REKKURA_BACKWARD_PROVER_OSTD:1.0.0550.6
GGP_BASE_PROVER:2015-04-26453.5
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1268.9397726893977
REKKURA_GENERIC_FORWARD_PROVER:1.0.0174.12752908236394
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1111.31849086788428
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0105.67534242010197

index