index

BASE/point_grab/V_osUg

opnfNumOrs45
opnfTimeToCreate369
opnfNumLinks555
opnfNumNots6
opnfNumComponents445
opnfNumAnds86
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c1845513.9
ALLOY_DIFF_PROP_NET:1412119.6
ALLOY_COMPILED_PROVER_CACHING:2403040.695930407
FLUXPLAYER_PROLOG:1.129723.333333333332
ALLOY_TUPLE_PROVER:219910.433333333334
PALAMEDES_JOCULAR:0.6.116168.143361534874
GGP_BASE_PROVER:2015-04-2614421.866666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.19650.7
PALAMEDES_JAVA_ECLIPSE:0.6.17996.733333333334
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.17666.3
REKKURA_BACKWARD_PROVER:1.0.03374.1
REKKURA_BACKWARD_PROVER_OSTD:1.0.03355.0
REKKURA_GENERIC_FORWARD_PROVER:1.0.0750.2
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0699.8100063331223

Machines with errors:

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

index