index

BASE/skirmishFinal2/gdB62Q

opnfNumOrs12798
opnfTimeToCreate6071
opnfNumLinks729297
opnfNumNots134
opnfNumComponents183575
opnfNumAnds137178
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c137476.93333333332
ALLOY_COMPILED_PROVER_CACHING:210508.0
ALLOY_DIFF_PROP_NET:15136.9
PALAMEDES_JAVA_ECLIPSE:0.6.1550.9483017232759
ALLOY_TUPLE_PROVER:2265.8489434037731
GGP_BASE_PROVER:2015-04-2663.63484924204565
PALAMEDES_JOCULAR:0.6.157.28281515545336
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.142.313586992736724
REKKURA_BACKWARD_PROVER_OSTD:1.0.029.65875766462277
REKKURA_BACKWARD_PROVER:1.0.027.679701552195056
REKKURA_GENERIC_FORWARD_PROVER:1.0.014.929849701736261
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.014.632845571814272
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.112.065057992267697
FLUXPLAYER_PROLOG:1.14.4

Machines with errors:

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

index