index

DRESDEN/quad_5x5/JAEP5g

opnfNumOrs297
opnfTimeToCreate3151
opnfNumLinks6038
opnfNumNots4
opnfNumComponents2294
opnfNumAnds1102
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c673000.4333333333
ALLOY_DIFF_PROP_NET:174751.5
ALLOY_COMPILED_PROVER_CACHING:24109.9
CADIAPLAYER_PROLOG:3.0958.1680610646312
ALLOY_TUPLE_PROVER:2293.0235658811373
REKKURA_BACKWARD_PROVER_OSTD:1.0.0211.0122321101223
REKKURA_BACKWARD_PROVER:1.0.0209.93333333333334
PALAMEDES_JAVA_ECLIPSE:0.6.1195.1325076574777
GGP_BASE_PROVER:2015-04-2690.37347713201518
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.170.19704433497537
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.05.8054670912951165
FLUXPLAYER_PROLOG:1.15.333333333333333
PALAMEDES_JOCULAR:0.6.14.883038041505824
REKKURA_GENERIC_FORWARD_PROVER:1.0.02.008362690547526
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11.6894087069525665

index