index

BASE/2pffa/6oHijA

opnfNumOrs157
opnfTimeToCreate1057
opnfNumLinks5545
opnfNumNots108
opnfNumComponents2855
opnfNumAnds644
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c495238.86666666664
ALLOY_COMPILED_PROVER_CACHING:271878.33333333333
ALLOY_DIFF_PROP_NET:158666.96666666667
FLUXPLAYER_PROLOG:1.119291.569476841054
PALAMEDES_JAVA_ECLIPSE:0.6.13829.133333333333
ALLOY_TUPLE_PROVER:22810.733333333333
GGP_BASE_PROVER:2015-04-261663.4333333333334
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.1930.6333333333333
PALAMEDES_JOCULAR:0.6.1828.7
REKKURA_BACKWARD_PROVER_OSTD:1.0.0580.7139762007934
REKKURA_BACKWARD_PROVER:1.0.0580.4666666666667
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.1289.4473701753216
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.072.37828651404578
REKKURA_GENERIC_FORWARD_PROVER:1.0.070.7595907075959

Machines with errors:

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

index