index

BASE/blobwars/0XT15Q

opnfNumOrs11655
opnfTimeToCreate17571
opnfNumLinks302608
opnfNumNots1
opnfNumComponents117942
opnfNumAnds81808
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c19322.366666666665
ALLOY_COMPILED_PROVER_CACHING:212773.7
ALLOY_DIFF_PROP_NET:16089.166666666667
CADIAPLAYER_PROLOG:3.01288.8607510579454
PALAMEDES_JAVA_ECLIPSE:0.6.1688.9333333333333
ALLOY_TUPLE_PROVER:2578.8807039765342
PALAMEDES_JOCULAR:0.6.1384.47436837544166
GGP_BASE_PROVER:2015-04-26297.1270497267031
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1207.5459120754591
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1124.44607336820711
REKKURA_BACKWARD_PROVER_OSTD:1.0.018.173345759552657
REKKURA_BACKWARD_PROVER:1.0.017.502412404751606
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.1455138092604988
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.13962970203021588
FLUXPLAYER_PROLOG:1.10.0

index