index

BASE/battle/8oAvhQ

opnfNumOrs5331
opnfTimeToCreate2085
opnfNumLinks124777
opnfNumNots708
opnfNumComponents50059
opnfNumAnds27026
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c264514.1
ALLOY_DIFF_PROP_NET:147414.4
ALLOY_COMPILED_PROVER_CACHING:22662.3
FLUXPLAYER_PROLOG:1.1483.6666666666667
PALAMEDES_JAVA_ECLIPSE:0.6.1263.44032263440323
ALLOY_TUPLE_PROVER:2104.10904122371447
GGP_BASE_PROVER:2015-04-2691.20901093041856
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.148.03013132457836
PALAMEDES_JOCULAR:0.6.128.25724758413862
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.14.211573536726911
REKKURA_BACKWARD_PROVER:1.0.03.7261294829995344
REKKURA_BACKWARD_PROVER_OSTD:1.0.03.657887736100027
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.9633292659430993
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.9295222919363941

Machines with errors:

CADIAPLAYER_PROLOG:3.0Test process failed to output results for unknown reason

index