index

BASE/skirmishFinal1/ecWTnQ

opnfNumOrs12826
opnfTimeToCreate6216
opnfNumLinks729999
opnfNumNots134
opnfNumComponents183923
opnfNumAnds137352
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c127906.9
ALLOY_COMPILED_PROVER_CACHING:210652.633333333333
ALLOY_DIFF_PROP_NET:15105.4
PALAMEDES_JAVA_ECLIPSE:0.6.1531.0
ALLOY_TUPLE_PROVER:2268.22439252024935
GGP_BASE_PROVER:2015-04-2663.9786737754082
PALAMEDES_JOCULAR:0.6.155.37784886045582
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.141.28486221718703
REKKURA_BACKWARD_PROVER:1.0.026.376261364771704
REKKURA_BACKWARD_PROVER_OSTD:1.0.026.317542807648746
REKKURA_GENERIC_FORWARD_PROVER:1.0.014.618714618714618
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.014.399040063995734
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.110.456906886905555
FLUXPLAYER_PROLOG:1.14.3985338220593135

Machines with errors:

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

index