index

BASE/quad_7x7/q-JOXg

opnfNumOrs609
opnfTimeToCreate1589
opnfNumLinks16706
opnfNumNots4
opnfNumComponents8834
opnfNumAnds4246
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c470983.56666666665
ALLOY_DIFF_PROP_NET:134067.7
REKKURA_BACKWARD_PROVER_OSTD:1.0.0652.8115729475684
REKKURA_BACKWARD_PROVER:1.0.0643.3
ALLOY_COMPILED_PROVER_CACHING:2626.3457884737176
CADIAPLAYER_PROLOG:3.0364.48753831800616
PALAMEDES_JAVA_ECLIPSE:0.6.178.15931323617488
FLUXPLAYER_PROLOG:1.155.2
ALLOY_TUPLE_PROVER:235.214506274226395
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.023.51217237819296
REKKURA_GENERIC_FORWARD_PROVER:1.0.017.03049491751375
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.18.325349367339522
GGP_BASE_PROVER:2015-04-264.323728272539973
PALAMEDES_JOCULAR:0.6.12.2731161244592184
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.7227948065854638

index