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.
