index

DRESDEN/cubicup_3player/awDtsQ

opnfNumOrs14349
opnfTimeToCreate1747
opnfNumLinks132959
opnfNumNots1386
opnfNumComponents77477
opnfNumAnds16674
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c76917.36666666667
ALLOY_DIFF_PROP_NET:152205.53333333333
ALLOY_COMPILED_PROVER_CACHING:212776.2
FLUXPLAYER_PROLOG:1.12660.1666666666665
CADIAPLAYER_PROLOG:3.0589.6599906846762
REKKURA_BACKWARD_PROVER:1.0.0414.3585641435856
REKKURA_BACKWARD_PROVER_OSTD:1.0.0398.0867304423186
ALLOY_TUPLE_PROVER:2375.16248375162485
PALAMEDES_JAVA_ECLIPSE:0.6.1337.76666666666665
PALAMEDES_JOCULAR:0.6.1326.70066326700663
REKKURA_GENERIC_FORWARD_PROVER:1.0.0181.72727575747476
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0177.64298093587522
GGP_BASE_PROVER:2015-04-26167.62755357083347
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.161.5271806152718
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.140.019993335554815

index