index

BASE/hitori/S8Gsyg

opnfNumOrs23511
opnfTimeToCreate5686
opnfNumLinks568845
opnfNumNots1
opnfNumComponents228096
opnfNumAnds177092
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c347274.86666666664
ALLOY_DIFF_PROP_NET:160633.5
ALLOY_COMPILED_PROVER_CACHING:29171.666666666666
CADIAPLAYER_PROLOG:3.01870.9462387094625
FLUXPLAYER_PROLOG:1.1805.7333333333333
PALAMEDES_JAVA_ECLIPSE:0.6.1747.6417452751575
ALLOY_TUPLE_PROVER:2302.47983467768813
GGP_BASE_PROVER:2015-04-26115.06666666666666
PALAMEDES_JOCULAR:0.6.157.96522086747951
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.139.85819362533961
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.14.147037356512508
REKKURA_BACKWARD_PROVER:1.0.01.1245989481692191
REKKURA_BACKWARD_PROVER_OSTD:1.0.01.0541920606160435
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.28950077200205865
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.2661343978709248

index