4 Commits

Author	SHA1	Message	Date
Alejandro Moreo Fernandez	1b1f41dc28	trying to understand the poor performance of quantifiers with rel sampling	2022-02-03 11:00:25 +01:00
Alejandro Moreo Fernandez	3aed410722	going into region quantification	2022-01-21 09:46:30 +01:00
Alejandro Moreo Fernandez	14dbfb567b	some little refactor	2022-01-19 19:55:05 +01:00
Alejandro Moreo Fernandez	11319ffd0e	adding bash scripts for rapid tests	2022-01-19 19:36:25 +01:00