index

DRESDEN/amazons/dNB28A

opnfNumOrs6792
opnfTimeToCreate91623
opnfNumLinks7439046
opnfNumNots304
opnfNumComponents2718985
opnfNumAnds356458
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:23819.6666666666665
CADIAPLAYER_PROLOG:3.0438.30295787272183
ALLOY_DIFF_PROP_NET:1209.26666666666668
PALAMEDES_JAVA_ECLIPSE:0.6.1164.38401812789496
ALLOY_TUPLE_PROVER:2151.8978904922185
FLUXPLAYER_PROLOG:1.178.4
GGP_BASE_PROVER:2015-04-2637.370103916866505
REKKURA_BACKWARD_PROVER_OSTD:1.0.012.115563839701771
REKKURA_BACKWARD_PROVER:1.0.011.498466871083856
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.19.693961952026468
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.05.673523556735236
REKKURA_GENERIC_FORWARD_PROVER:1.0.05.498350494851545
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.12.2644022644022646

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException
SANCHO_DEAD_RECKONING_PROPNET:1.61cTest process timed out after 240 seconds

index