index

DRESDEN/vacuum_cleaner_1/eUNjpw

opnfNumOrs21764
opnfTimeToCreate46493
opnfNumLinks8514095
opnfNumNots10210
opnfNumComponents2243206
opnfNumAnds2105096
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:2209195.06666666668
SANCHO_DEAD_RECKONING_PROPNET:1.61c144931.13333333333
PALAMEDES_JAVA_ECLIPSE:0.6.118478.4
FLUXPLAYER_PROLOG:1.114644.433333333332
ALLOY_TUPLE_PROVER:29360.7
ALLOY_DIFF_PROP_NET:18576.5
PALAMEDES_JOCULAR:0.6.16330.8002533080025
GGP_BASE_PROVER:2015-04-265752.066666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.13410.0
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11120.3546312035462
REKKURA_BACKWARD_PROVER:1.0.016.047409774936742
REKKURA_BACKWARD_PROVER_OSTD:1.0.015.221156408206769
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.057053202110968475
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.051498609537542483

Machines with errors:

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

index