index

DRESDEN/satlike_20v_91c_version2/yd9ioQ

opnfNumOrs95
opnfTimeToCreate10183
opnfNumLinks499255
opnfNumNots93
opnfNumComponents126199
opnfNumAnds125583
EngineAverage state changes per second
SANCHO_DEAD_RECKONING_PROPNET:1.61c52108.0
ALLOY_COMPILED_PROVER_CACHING:221020.766666666666
FLUXPLAYER_PROLOG:1.12934.0
CADIAPLAYER_PROLOG:3.02032.327945342443
PALAMEDES_JAVA_ECLIPSE:0.6.11501.1
ALLOY_DIFF_PROP_NET:11000.3666666666667
ALLOY_TUPLE_PROVER:2931.240209312402
GGP_BASE_PROVER:2015-04-26476.38083816376843
REKKURA_BACKWARD_PROVER_OSTD:1.0.041.040577215860196
REKKURA_BACKWARD_PROVER:1.0.038.43605036447979
PALAMEDES_JOCULAR:0.6.115.421151651605342
PALAMEDES_JAVA_PROVER_USEOPT_TRUE:0.6.10.659043727551323
REKKURA_GENERIC_FORWARD_PROVER:1.0.00.3834355828220859
REKKURA_GENERIC_FORWARD_PROVER_OSTD:1.0.00.32615786040443573
PALAMEDES_JAVA_PROVER_USEOPT_FALSE:0.6.10.23214378986344142

index