index

BASE/gt_prisoner/klthDw

opnfNumOrs202
opnfTimeToCreate436
opnfNumLinks4279
opnfNumNots1
opnfNumComponents2115
opnfNumAnds790
EngineAverage state changes per second
ALLOY_COMPILED_PROVER_CACHING:2417563.26666666666
SANCHO_DEAD_RECKONING_PROPNET:1.61c403592.36666666664
ALLOY_DIFF_PROP_NET:143335.3
ALLOY_TUPLE_PROVER:215267.133333333333
PALAMEDES_JAVA_ECLIPSE:0.6.112745.833333333334
PALAMEDES_JOCULAR:0.6.111515.266666666666
GGP_BASE_PROVER:2015-04-268161.366666666667
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.15091.3
FLUXPLAYER_PROLOG:1.12155.3333333333335
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11692.5
REKKURA_BACKWARD_PROVER:1.0.0546.9333333333333
REKKURA_BACKWARD_PROVER_OSTD:1.0.0511.76666666666665
REKKURA_GENERIC_FORWARD_PROVER:1.0.0154.7793627516331
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.0151.9080153307782

Machines with errors:

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

index