index

BASE/coins_atomic/AA3SSw

opnfNumOrs64
opnfTimeToCreate358
opnfNumLinks4254
opnfNumNots1
opnfNumComponents1632
opnfNumAnds1287
EngineAverage state changes per second
PALAMEDES_JAVA_ECLIPSE:0.6.13209472.2333333334
PALAMEDES_JOCULAR:0.6.13003224.8666666667
SANCHO_DEAD_RECKONING_PROPNET:1.61c457311.9666666667
ALLOY_DIFF_PROP_NET:174828.53333333334
ALLOY_COMPILED_PROVER_CACHING:247407.066666666666
CADIAPLAYER_PROLOG:3.07726.4
FLUXPLAYER_PROLOG:1.12905.633333333333
REKKURA_GENERIC_FORWARD_PROVER:1.0.02856.633333333333
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.02793.9666666666667
ALLOY_TUPLE_PROVER:21415.186160461318
REKKURA_BACKWARD_PROVER_OSTD:1.0.01376.7666666666667
REKKURA_BACKWARD_PROVER:1.0.01359.0666666666666
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1343.2
GGP_BASE_PROVER:2015-04-26320.93333333333334
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.185.09149085091491

index