index

BASE/breakthroughWalls/vOZaYA

opnfNumOrs654
opnfTimeToCreate1176
opnfNumLinks12772
opnfNumNots132
opnfNumComponents6872
opnfNumAnds472
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c810963.0333333333
ALLOY_COMPILED_PROVER_CACHING:250765.433333333334
ALLOY_DIFF_PROP_NET:125105.566666666666
CADIAPLAYER_PROLOG:3.02033.0333333333333
PALAMEDES_JAVA_ECLIPSE:0.6.11556.1666666666667
ALLOY_TUPLE_PROVER:2947.0666666666667
GGP_BASE_PROVER:2015-04-26519.1493616879437
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1384.4205193160228
PALAMEDES_JOCULAR:0.6.1329.98900036665447
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1167.78322167783222
REKKURA_BACKWARD_PROVER:1.0.0129.16666666666666
REKKURA_BACKWARD_PROVER_OSTD:1.0.0123.90442230146299
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.031.680991405156906
REKKURA_GENERIC_FORWARD_PROVER:1.0.031.223966143490287
FLUXPLAYER_PROLOG:1.14.596935376415723

index