index

BASE/kalaha6x2x4/XS81Mg

opnfNumOrs1089
opnfTimeToCreate2318
opnfNumLinks186092
opnfNumNots28
opnfNumComponents60430
opnfNumAnds56329
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:296943.1
SANCHO_DEAD_RECKONING_PROPNET:1.61c65213.63333333333
ALLOY_DIFF_PROP_NET:17234.4
PALAMEDES_JOCULAR:0.6.14541.745825417458
ALLOY_TUPLE_PROVER:23909.0333333333333
PALAMEDES_JAVA_ECLIPSE:0.6.13130.866666666667
GGP_BASE_PROVER:2015-04-262293.5
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.11578.1333333333334
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11269.4666666666667
FLUXPLAYER_PROLOG:1.1763.1
REKKURA_BACKWARD_PROVER:1.0.0247.2917569414353
REKKURA_BACKWARD_PROVER_OSTD:1.0.0245.0421624504216
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.04.651626407947636
REKKURA_GENERIC_FORWARD_PROVER:1.0.04.569839062189549

Machines with errors:

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

index