index

BASE/checkersTiny/Lr48cg

opnfNumOrs843
opnfTimeToCreate4998
opnfNumLinks12162
opnfNumNots50
opnfNumComponents7129
opnfNumAnds1092
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c409549.8
ALLOY_COMPILED_PROVER_CACHING:244873.63333333333
ALLOY_DIFF_PROP_NET:143477.53333333333
CADIAPLAYER_PROLOG:3.02884.5705143161895
PALAMEDES_JAVA_ECLIPSE:0.6.12089.5
ALLOY_TUPLE_PROVER:21243.9
GGP_BASE_PROVER:2015-04-26581.5472817572747
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1407.3530882303923
PALAMEDES_JOCULAR:0.6.1185.92093860409307
REKKURA_BACKWARD_PROVER:1.0.0133.06223125895804
REKKURA_BACKWARD_PROVER_OSTD:1.0.0131.7
FLUXPLAYER_PROLOG:1.1127.33333333333333
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1102.01633061156474
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.7871175100849431
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.7642973448974845

index