index

BASE/checkersTorus/2vm1EQ

opnfNumOrs1796
opnfTimeToCreate2387
opnfNumLinks27023
opnfNumNots72
opnfNumComponents13596
opnfNumAnds3950
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c225535.8
ALLOY_COMPILED_PROVER_CACHING:245067.5
ALLOY_DIFF_PROP_NET:126242.766666666666
PALAMEDES_JAVA_ECLIPSE:0.6.12462.766666666667
ALLOY_TUPLE_PROVER:21332.1
GGP_BASE_PROVER:2015-04-26552.3333333333334
PALAMEDES_JOCULAR:0.6.1420.99123420991236
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1376.24158389440703
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1161.62794573514216
REKKURA_BACKWARD_PROVER_OSTD:1.0.063.78086574027792
REKKURA_BACKWARD_PROVER:1.0.062.770707003398414
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.019.695404405638683
REKKURA_GENERIC_FORWARD_PROVER:1.0.019.309518260811664
FLUXPLAYER_PROLOG:1.11.0656010656010657

Machines with errors:

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

index