index

BASE/skirmishZeroSum/zh4hcw

opnfNumOrs1277
opnfTimeToCreate4459
opnfNumLinks102729
opnfNumNots268
opnfNumComponents53654
opnfNumAnds17801
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c196045.1
ALLOY_COMPILED_PROVER_CACHING:215859.533333333333
ALLOY_DIFF_PROP_NET:16374.566666666667
FLUXPLAYER_PROLOG:1.13710.4
CADIAPLAYER_PROLOG:3.01596.700153017098
PALAMEDES_JAVA_ECLIPSE:0.6.11021.5333333333333
ALLOY_TUPLE_PROVER:2595.4666666666667
GGP_BASE_PROVER:2015-04-26164.650201646502
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1152.70279277477837
PALAMEDES_JOCULAR:0.6.1118.66440067979606
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.153.704690831556505
REKKURA_BACKWARD_PROVER:1.0.021.604527296937416
REKKURA_BACKWARD_PROVER_OSTD:1.0.020.71952031978681
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.4609812314784327
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.4526788889966696

index