index

BASE/pancakes6/QZTdnw

opnfNumOrs726
opnfTimeToCreate924
opnfNumLinks15326
opnfNumNots0
opnfNumComponents7372
opnfNumAnds4331
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:2683100.8333333334
SANCHO_DEAD_RECKONING_PROPNET:1.61c246659.56666666668
FLUXPLAYER_PROLOG:1.150577.26666666667
ALLOY_DIFF_PROP_NET:131790.4
ALLOY_TUPLE_PROVER:227835.433333333334
GGP_BASE_PROVER:2015-04-2622006.666666666668
PALAMEDES_JOCULAR:0.6.121474.1169812577
CADIAPLAYER_PROLOG:3.019779.07403086564
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.113658.967436589674
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.111157.633333333333
PALAMEDES_JAVA_ECLIPSE:0.6.111132.866666666667
REKKURA_BACKWARD_PROVER:1.0.0794.8666666666667
REKKURA_BACKWARD_PROVER_OSTD:1.0.0777.1333333333333
REKKURA_GENERIC_FORWARD_PROVER:1.0.09.165444607385682
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.09.125424631985613

index