def JD_S2S(*args): """Judgement Day regression suite S2S""" return isabelle.judgement_day('AFP/thys/SumSquares', 'TwoSquares', 'prover_timeout=10', *args)
def JD_Jinja(*args): """Judgement Day regression suite Jinja""" return isabelle.judgement_day('AFP/thys/Jinja/J', 'TypeSafe', 'prover_timeout=10', *args)
def JD_QE(*args): """Judgement Day regression suite QE""" return isabelle.judgement_day('AFP/thys/LinearQuantifierElim/Thys', 'QEpres', 'prover_timeout=10', *args)
def JD_Arrow(*args): """Judgement Day regression suite Arrow""" return isabelle.judgement_day('AFP/thys/ArrowImpossibilityGS/Thys', 'Arrow_Order', 'prover_timeout=10', *args)
def JD_FFT(*args): """Judgement Day regression suite FFT""" return isabelle.judgement_day('AFP/thys/FFT', 'FFT', 'prover_timeout=10', *args)
def JD_S2S(*args): """Judgement Day regression suite S2S""" return isabelle.judgement_day("AFP/thys/SumSquares", "TwoSquares", "prover_timeout=10", *args)
def JD_QE(*args): """Judgement Day regression suite QE""" return isabelle.judgement_day("AFP/thys/LinearQuantifierElim/Thys", "QEpres", "prover_timeout=10", *args)
def JD_Jinja(*args): """Judgement Day regression suite Jinja""" return isabelle.judgement_day("AFP/thys/Jinja/J", "TypeSafe", "prover_timeout=10", *args)
def JD_FFT(*args): """Judgement Day regression suite FFT""" return isabelle.judgement_day("AFP/thys/FFT", "FFT", "prover_timeout=10", *args)
def JD_Arrow(*args): """Judgement Day regression suite Arrow""" return isabelle.judgement_day("AFP/thys/ArrowImpossibilityGS/Thys", "Arrow_Order", "prover_timeout=10", *args)