Hello - It looks like that section of the docs needs some additions. There are a few command-line arguments you need to adjust the intervals things run for (and the default is 0). For example, to run each bug/generator instance for 5 seconds, use "-s 5":
racket run-benchmark.rkt -s 5 -a models/stlc+lists/stlc-info.rkt You can see the full list of arguments with: racket run-benchmark.rkt --help Thanks for taking a look at the benchmark! Burke On Wednesday, May 6, 2015 at 5:57:03 AM UTC-5, Matteo P wrote: > Hi, > I'm trying to run the benchmarks following > http://docs.racket-lang.org/redex/benchmark.html . > As paragraph 3.6 suggests, I do > > ./run-benchmark -a models/stlc+lists/stlc-info.rkt > > but no counterexample seems to be found. > What am I doing wrong? > > Here's a part of the output. > > Running stlc-1 for 0 seconds... [(submod > redex/benchmark/models/stlc+lists/stlc-1 generators adhoc-mod) (submod > redex/benchmark/models/stlc+lists/stlc-1 generators check-mod)] > Finished running stlc-1 in 0.004 seconds, found 0 counterexamples > Running stlc-2 for 0 seconds... [(submod > redex/benchmark/models/stlc+lists/stlc-2 generators adhoc-mod) (submod > redex/benchmark/models/stlc+lists/stlc-2 generators check-mod)] > Finished running stlc-2 in 0.002 seconds, found 0 counterexamples > Running stlc-3 for 0 seconds... [(submod > redex/benchmark/models/stlc+lists/stlc-3 generators adhoc-mod) (submod > redex/benchmark/models/stlc+lists/stlc-3 generators check-mod)] > Finished running stlc-3 in 0.001 seconds, found 0 counterexamples > Running stlc-4 for 0 seconds... [(submod > redex/benchmark/models/stlc+lists/stlc-4 generators adhoc-mod) (submod > redex/benchmark/models/stlc+lists/stlc-4 generators check-mod)] > Finished running stlc-4 in 0.002 seconds, found 0 counterexamples > Running stlc-5 for 0 seconds... [(submod > redex/benchmark/models/stlc+lists/stlc-5 generators adhoc-mod) (submod > redex/benchmark/models/stlc+lists/stlc-5 generators check-mod)] > .... > > A sample log: > (start 2015-05-06T12:52:26 (#:model "stlc-1" #:type enum)) > (heartbeat 2015-05-06T12:52:26 (#:model "stlc-1" #:type enum)) > (gc-major 2015-05-06T12:52:26 (#:amount 19341848 #:time 196)) > (finished 2015-05-06T12:52:26 (#:model "stlc-1" #:type enum #:time-ms 2 > #:attempts 0 #:num-counterexamples 0 #:rate-terms/s 0.0 #:attempts/cexp N/A)) > > Any help will be greatly appreciated. > Thank you for your time. > > Matteo Pessina > University of Milan - Computer Science department. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
