GitHub - ajithkjohn123/BenchmarksImplementationExpdataForQE: Benchmarks, Implementation, and Experimental Data for FMSD Submission of Quantifier Eliminator

ajithkjohn123 / BenchmarksImplementationExpdataForQE Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Benchmarks, Implementation, and Experimental Data for FMSD Submission of Quantifier Eliminator

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
Benchmarks		Benchmarks
ExperimentalData		ExperimentalData
Implementations		Implementations
README		README

Repository files navigation

Contents
-----------

This folder contains details of experiments reported 
in the paper "A Layered Algorithm for Quantifier 
Elimination from Linear Modular Constraints", 
submitted to the journal FMSD.

Benchmarks/: Contains the benchmarks used for 
conducting the experiments reported in the paper. 

Implementations/: Contains the implementations and 
executables used in the experiments. 

ExperimentalData/: Contains the logfiles generated 
from the experiments and scripts for making the plots 
reported in the paper.