index

BASE/hidato37/pBrqxw

opnfNumOrs2814
opnfTimeToCreate951
opnfNumLinks29761
opnfNumNots39
opnfNumComponents13928
opnfNumAnds2664
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c211718.3
ALLOY_DIFF_PROP_NET:140345.566666666666
ALLOY_COMPILED_PROVER_CACHING:27139.366666666667
CADIAPLAYER_PROLOG:3.0560.0106656001067
ALLOY_TUPLE_PROVER:2308.5897136762108
GGP_BASE_PROVER:2015-04-26110.68524196773764
PALAMEDES_JAVA_ECLIPSE:0.6.187.73040898636712
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.176.65900076659001
FLUXPLAYER_PROLOG:1.174.63333333333334
REKKURA_BACKWARD_PROVER_OSTD:1.0.063.21647560650493
REKKURA_BACKWARD_PROVER:1.0.060.956507248791866
PALAMEDES_JOCULAR:0.6.121.19152339064374
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.017.894035321559482
REKKURA_GENERIC_FORWARD_PROVER:1.0.017.595210377515382
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12.961730449251248

index