index

DRESDEN/four_way_battle/xSOQXA

opnfNumOrs2789
opnfTimeToCreate1501
opnfNumLinks82893
opnfNumNots692
opnfNumComponents33407
opnfNumAnds18052
EngineAverage state changes per second
ALLOY_DIFF_PROP_NET:130624.9
ALLOY_COMPILED_PROVER_CACHING:27353.4
FLUXPLAYER_PROLOG:1.1858.6666666666666
PALAMEDES_JAVA_ECLIPSE:0.6.1688.9437018766041
ALLOY_TUPLE_PROVER:2350.03333333333336
GGP_BASE_PROVER:2015-04-26260.3159789347377
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1132.65782281181254
PALAMEDES_JOCULAR:0.6.1114.98850114988501
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.119.724587546567324
REKKURA_BACKWARD_PROVER:1.0.06.60339792938678
REKKURA_BACKWARD_PROVER_OSTD:1.0.06.530285866595588
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.01.7173618679612932
REKKURA_GENERIC_FORWARD_PROVER:1.0.01.649947201689546

Machines with errors:

SANCHO_DEAD_RECKONING_PROPNET:1.61cException of type NullPointerException
CADIAPLAYER_PROLOG:3.0Test process failed to output results for unknown reason

index