index

DRESDEN/CephalopodMicro/H3XQfg

opnfNumOrs754
opnfTimeToCreate1600
opnfNumLinks19371
opnfNumNots128
opnfNumComponents8976
opnfNumAnds3026
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c279003.5
ALLOY_DIFF_PROP_NET:148490.4
ALLOY_COMPILED_PROVER_CACHING:23155.1
PALAMEDES_JAVA_ECLIPSE:0.6.1219.79267357754742
FLUXPLAYER_PROLOG:1.1145.86666666666667
ALLOY_TUPLE_PROVER:2116.90215942415355
REKKURA_BACKWARD_PROVER:1.0.089.93033565547815
REKKURA_BACKWARD_PROVER_OSTD:1.0.083.94707901489653
GGP_BASE_PROVER:2015-04-2651.44608823137412
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.025.92901183136144
REKKURA_GENERIC_FORWARD_PROVER:1.0.025.676890798281548
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.117.499416686110465
PALAMEDES_JOCULAR:0.6.115.218621998734557
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.14.610129017279692

Machines with errors:

CADIAPLAYER_PROLOG:3.0Test process timed out after 240 seconds

index