index

DRESDEN/battlebrushes/QHXV4A

opnfNumOrs411354
opnfTimeToCreate42070
opnfNumLinks5265837
opnfNumNots584
opnfNumComponents2517467
opnfNumAnds1563104
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:210784.4
ALLOY_DIFF_PROP_NET:11125.3166244500733
CADIAPLAYER_PROLOG:3.0833.3277787035494
PALAMEDES_JAVA_ECLIPSE:0.6.1338.0553981533949
FLUXPLAYER_PROLOG:1.1309.06666666666666
ALLOY_TUPLE_PROVER:2278.60165961275703
GGP_BASE_PROVER:2015-04-2692.19692676910769
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.143.73187560414653
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.120.10449044375372
REKKURA_BACKWARD_PROVER:1.0.00.43828068747456406
REKKURA_BACKWARD_PROVER_OSTD:1.0.00.36586177077097054
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.2698003477426704
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.1771322292091046

Machines with errors:

PALAMEDES_JOCULAR:0.6.1Exception of type NullPointerException
SANCHO_DEAD_RECKONING_PROPNET:1.61cException of type NullPointerException

index