Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Casc2023 #459

Merged
merged 32 commits into from
Jul 12, 2023
Merged

Casc2023 #459

merged 32 commits into from
Jul 12, 2023

Commits on Jun 20, 2023

  1. first version of CASC SAT 2023 mode

    @easychair
    easychair committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    2800ab8 View commit details
    Browse the repository at this point in the history

  2. CASC 2023 mode for UEQ

    @easychair
    easychair committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    403aa35 View commit details
    Browse the repository at this point in the history

  3. CASC 2023 mode for FOF

    @easychair
    easychair committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    3cc4fec View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2023

  1. CASC 2023 strategies ready

    @easychair
    easychair committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    b519edd View commit details
    Browse the repository at this point in the history

  2. CASC 2023 new UEQ strategy

    @easychair
    easychair committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    24f0b74 View commit details
    Browse the repository at this point in the history

  3. CASC 2023 new TFA strategy

    @easychair
    easychair committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    659470d View commit details
    Browse the repository at this point in the history

  4. CASC 2023 new FNT strategy

    @easychair
    easychair committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    acfaf65 View commit details
    Browse the repository at this point in the history

  5. CASC 2023 new UEQ strategy, with greater slowness

    @easychair
    easychair committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    6df119d View commit details
    Browse the repository at this point in the history

  6. CASC 2023 TFA strategy, with slowness 2.0

    @easychair
    easychair committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    0411174 View commit details
    Browse the repository at this point in the history

  7. CASC 2023 TFA strategy, with slowness 2.0 and fixed stl

    @easychair
    easychair committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    791cc51 View commit details
    Browse the repository at this point in the history

  8. CASC 2023 UEQ strategy with slowness 2.1

    @easychair
    easychair committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    7c8f87f View commit details
    Browse the repository at this point in the history

  9. CASC 2023 FNT strategy with slowness 2.1

    @easychair
    easychair committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    bb372b7 View commit details
    Browse the repository at this point in the history

  10. CASC 2023 FOF strategy with slowness 2.1

    @easychair
    easychair committed Jun 21, 2023
    Configuration menu
    Copy the full SHA
    05ef610 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2023

  1. spider output string changed to show used instructions and memory

    @easychair
    easychair committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    162dcf7 View commit details
    Browse the repository at this point in the history

  2. spider mode changed to initialize the timer and also set normalize to… 

    … true
    @easychair
    easychair committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    9a47e55 View commit details
    Browse the repository at this point in the history

  3. spider mode: starting instruction counter added

    @easychair
    easychair committed Jun 22, 2023
    Configuration menu
    Copy the full SHA
    a27a710 View commit details
    Browse the repository at this point in the history

Commits on Jun 23, 2023

  1. CASC 2023 UEQ strategy with instruction countring

    @easychair
    easychair committed Jun 23, 2023
    Configuration menu
    Copy the full SHA
    1cda644 View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2023

  1. new CASC 2023 UEQ schedule

    @easychair
    easychair committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    ee37290 View commit details
    Browse the repository at this point in the history

  2. don't leak semaphores; hack in simulated instruction limit for LRS

    @MichaelRawson
    MichaelRawson committed Jun 24, 2023
    Configuration menu
    Copy the full SHA
    e99b2e4 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2023

  1. CASC UEQ instruction-based schedule using sil

    @easychair
    easychair committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    9bbc8f1 View commit details
    Browse the repository at this point in the history

  2. Spider mode updated

    @easychair
    easychair committed Jun 28, 2023
    Configuration menu
    Copy the full SHA
    a012df3 View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2023

  1. UEQ Spider mode updated with instruction-only strategies

    @easychair
    easychair committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    007c091 View commit details
    Browse the repository at this point in the history

  2. UEQ Spider 229 super-schedule added

    @easychair
    easychair committed Jun 29, 2023
    Configuration menu
    Copy the full SHA
    80f08d3 View commit details
    Browse the repository at this point in the history

Commits on Jun 30, 2023

  1. UEQ Spider 232 avoid-LRS super-schedule added

    @easychair
    easychair committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    71918ab View commit details
    Browse the repository at this point in the history

  2. add StarExec files so I can submit jobs on the go

    @MichaelRawson
    MichaelRawson committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    5bcb424 View commit details
    Browse the repository at this point in the history

  3. UEQ Spider 232 avoid-LRS super-schedule, slowness decreased to 1.2

    @easychair
    easychair committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    daa3263 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'casc2023' of github.com:easychair/vampire into casc2023

    @easychair
    easychair committed Jun 30, 2023
    Configuration menu
    Copy the full SHA
    9f7c145 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2023

  1. UEQ Spider 232 avoid-LRS super-schedule, slowness decreased to 1.1

    @easychair
    easychair committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    9069a06 View commit details
    Browse the repository at this point in the history

  2. UEQ Spider 233 avoid-LRS schedule, slowness 1.1

    @easychair
    easychair committed Jul 1, 2023
    Configuration menu
    Copy the full SHA
    b3d5e66 View commit details
    Browse the repository at this point in the history

Commits on Jul 11, 2023

  1. make option _schedule values corresponding to those of the Schedule enum

    Martin Suda committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    2ac50f9 View commit details
    Browse the repository at this point in the history

Commits on Jul 12, 2023

  1. officially move to v4.8

    @quickbeam123
    quickbeam123 committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    8d999c1 View commit details
    Browse the repository at this point in the history

  2. cleanup starexec/ for next year

    @MichaelRawson
    MichaelRawson committed Jul 12, 2023
    Configuration menu
    Copy the full SHA
    4c46697 View commit details
    Browse the repository at this point in the history