index

DRESDEN/othello-cornercontrol/r5Gdlg

opnfNumOrs4493
opnfTimeToCreate13669
opnfNumLinks131148
opnfNumNots4987
opnfNumComponents75639
opnfNumAnds29528
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c47916.433333333334
ALLOY_DIFF_PROP_NET:18652.566666666668
ALLOY_COMPILED_PROVER_CACHING:2608.5927604826345
PALAMEDES_JAVA_ECLIPSE:0.6.119.9468085106383
FLUXPLAYER_PROLOG:1.114.166666666666666
ALLOY_TUPLE_PROVER:213.379930104842735
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.17.067724060125427
GGP_BASE_PROVER:2015-04-263.506218576342948
PALAMEDES_JOCULAR:0.6.13.4153458452152
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.11.0521816328543714
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.5451688419972421
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.5398882113821138
REKKURA_BACKWARD_PROVER_OSTD:1.0.00.16278691193228065
REKKURA_BACKWARD_PROVER:1.0.00.15076134479119555

Machines with errors:

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

index