index

DRESDEN/blockerparallel/dVQgSg

opnfNumOrs289
opnfTimeToCreate550
opnfNumLinks5283
opnfNumNots4
opnfNumComponents2324
opnfNumAnds418
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c197245.83333333334
ALLOY_DIFF_PROP_NET:133718.0
ALLOY_COMPILED_PROVER_CACHING:218999.233333333334
CADIAPLAYER_PROLOG:3.01349.6983634969836
ALLOY_TUPLE_PROVER:21284.1666666666667
PALAMEDES_JAVA_ECLIPSE:0.6.11075.03083230559
GGP_BASE_PROVER:2015-04-26903.2
REKKURA_BACKWARD_PROVER_OSTD:1.0.0683.4666666666667
REKKURA_BACKWARD_PROVER:1.0.0674.844171860938
PALAMEDES_JOCULAR:0.6.1491.7836072130929
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0423.43333333333334
REKKURA_GENERIC_FORWARD_PROVER:1.0.0423.2525582480584
FLUXPLAYER_PROLOG:1.1362.53333333333336
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1264.8068526480685
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1194.64071457139048

index