- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Too long lines (1000+ characters) 330 files: benches/Hash/hash_uns_04_08.smt2 benches/Hash/hash_sat_08_04.smt2 benches/Hash/hash_uns_04_06.smt2 benches/Hash/hash_sat_04_20.smt2 benches/Hash/hash_sat_03_06.smt2 benches/Hash/hash_sat_04_14.smt2 benches/Hash/hash_sat_05_10.smt2 benches/Hash/hash_uns_03_19.smt2 benches/Hash/hash_sat_08_14.smt2 benches/Hash/hash_sat_06_13.smt2 benches/Hash/hash_sat_04_19.smt2 benches/Hash/hash_sat_05_18.smt2 benches/Hash/hash_uns_05_04.smt2 benches/Hash/hash_sat_03_15.smt2 benches/Hash/hash_sat_07_13.smt2 benches/Hash/hash_sat_09_03.smt2 benches/Hash/hash_sat_06_18.smt2 benches/Hash/hash_sat_10_14.smt2 benches/Hash/hash_sat_08_12.smt2 benches/Hash/hash_sat_06_10.smt2 benches/Hash/hash_uns_03_12.smt2 benches/Hash/hash_sat_04_08.smt2 benches/Hash/hash_sat_08_20.smt2 benches/Hash/hash_sat_10_10.smt2 benches/Hash/hash_sat_09_07.smt2 benches/Hash/hash_uns_03_04.smt2 benches/Hash/hash_sat_03_03.smt2 benches/Hash/hash_uns_05_06.smt2 benches/Hash/hash_uns_05_07.smt2 benches/Hash/hash_sat_03_13.smt2 benches/Hash/hash_sat_03_12.smt2 benches/Hash/hash_sat_09_04.smt2 benches/Hash/hash_sat_07_18.smt2 benches/Hash/hash_sat_04_05.smt2 benches/Hash/hash_sat_08_11.smt2 benches/Hash/hash_sat_06_08.smt2 benches/Hash/hash_sat_04_07.smt2 benches/Hash/hash_sat_05_19.smt2 benches/Hash/hash_sat_03_14.smt2 benches/Hash/hash_uns_04_17.smt2 benches/Hash/hash_sat_04_15.smt2 benches/Hash/hash_sat_06_14.smt2 benches/Hash/hash_uns_03_14.smt2 benches/Hash/hash_sat_08_09.smt2 benches/Hash/hash_uns_04_03.smt2 benches/Hash/hash_sat_03_19.smt2 benches/Hash/hash_sat_08_05.smt2 benches/Hash/hash_sat_04_12.smt2 benches/Hash/hash_sat_10_12.smt2 benches/Hash/hash_uns_03_03.smt2 benches/Hash/hash_sat_07_06.smt2 benches/Hash/hash_sat_05_09.smt2 benches/Hash/hash_sat_03_17.smt2 benches/Hash/hash_sat_07_03.smt2 benches/Hash/hash_uns_03_08.smt2 benches/Hash/hash_sat_07_14.smt2 benches/Hash/hash_sat_10_20.smt2 benches/Hash/hash_sat_05_20.smt2 benches/Hash/hash_sat_10_09.smt2 benches/Hash/hash_uns_05_09.smt2 benches/Hash/hash_uns_04_18.smt2 benches/Hash/hash_uns_04_07.smt2 benches/Hash/hash_sat_09_20.smt2 benches/Hash/hash_sat_08_16.smt2 benches/Hash/hash_sat_08_03.smt2 benches/Hash/hash_sat_03_05.smt2 benches/Hash/hash_sat_10_16.smt2 benches/Hash/hash_uns_05_19.smt2 benches/Hash/hash_sat_06_20.smt2 benches/Hash/hash_sat_04_10.smt2 benches/Hash/hash_uns_03_10.smt2 benches/Hash/hash_sat_07_09.smt2 benches/Hash/hash_sat_08_19.smt2 benches/Hash/hash_uns_05_20.smt2 benches/Hash/hash_sat_08_10.smt2 benches/Hash/hash_uns_05_13.smt2 benches/Hash/hash_sat_09_19.smt2 benches/Hash/hash_uns_03_15.smt2 benches/Hash/hash_uns_05_10.smt2 benches/Hash/hash_sat_10_04.smt2 benches/Hash/hash_sat_09_11.smt2 benches/Hash/hash_sat_09_17.smt2 benches/Hash/hash_uns_05_11.smt2 benches/Hash/hash_uns_05_12.smt2 benches/Hash/hash_uns_05_14.smt2 benches/Hash/hash_sat_04_11.smt2 benches/Hash/hash_uns_05_15.smt2 benches/Hash/hash_uns_05_18.smt2 benches/Hash/hash_uns_04_10.smt2 benches/Hash/hash_uns_03_07.smt2 benches/Hash/hash_uns_03_16.smt2 benches/Hash/hash_sat_10_05.smt2 benches/Hash/hash_sat_05_17.smt2 benches/Hash/hash_sat_06_06.smt2 benches/Hash/hash_uns_03_18.smt2 benches/Hash/hash_sat_09_12.smt2 benches/Hash/hash_sat_08_08.smt2 benches/Hash/hash_sat_04_18.smt2 benches/Hash/hash_uns_05_16.smt2 benches/Hash/hash_sat_06_15.smt2 benches/Hash/hash_sat_09_15.smt2 benches/Hash/hash_sat_07_15.smt2 benches/Hash/hash_sat_10_06.smt2 benches/Hash/hash_sat_10_11.smt2 benches/Hash/hash_sat_07_12.smt2 benches/Hash/hash_sat_05_08.smt2 benches/Hash/hash_uns_03_11.smt2 benches/Hash/hash_sat_06_09.smt2 benches/Hash/hash_uns_05_08.smt2 benches/Hash/hash_sat_09_14.smt2 benches/Hash/hash_sat_04_17.smt2 benches/Hash/hash_sat_04_16.smt2 benches/Hash/hash_sat_07_19.smt2 benches/Hash/hash_sat_05_06.smt2 benches/Hash/hash_sat_08_18.smt2 benches/Hash/hash_uns_04_15.smt2 benches/Hash/hash_sat_09_10.smt2 benches/Hash/hash_uns_03_20.smt2 benches/Hash/hash_sat_09_06.smt2 benches/Hash/hash_sat_05_16.smt2 benches/Hash/hash_sat_09_13.smt2 benches/Hash/hash_sat_05_15.smt2 benches/Hash/hash_sat_10_18.smt2 benches/Hash/hash_sat_05_12.smt2 benches/Hash/hash_sat_06_11.smt2 benches/Hash/hash_sat_05_04.smt2 benches/Hash/hash_sat_06_04.smt2 benches/Hash/hash_uns_05_05.smt2 benches/Hash/hash_sat_09_18.smt2 benches/Hash/hash_sat_07_07.smt2 benches/Hash/hash_sat_03_07.smt2 benches/Hash/hash_uns_03_06.smt2 benches/Hash/hash_sat_03_08.smt2 benches/Hash/hash_uns_05_03.smt2 benches/Hash/hash_uns_03_17.smt2 benches/Hash/hash_sat_03_20.smt2 benches/Hash/hash_uns_04_19.smt2 benches/Hash/hash_sat_10_03.smt2 benches/Hash/hash_sat_03_16.smt2 benches/Hash/hash_sat_03_10.smt2 benches/Hash/hash_sat_07_20.smt2 benches/Hash/hash_uns_04_16.smt2 benches/Hash/hash_uns_05_17.smt2 benches/Hash/hash_sat_05_11.smt2 benches/Hash/hash_sat_03_04.smt2 benches/Hash/hash_sat_04_04.smt2 benches/Hash/hash_sat_04_13.smt2 benches/Hash/hash_sat_06_03.smt2 benches/Hash/hash_sat_06_16.smt2 benches/Hash/hash_uns_04_04.smt2 benches/Hash/hash_sat_08_15.smt2 benches/Hash/hash_sat_05_05.smt2 benches/Hash/hash_sat_10_19.smt2 benches/Hash/hash_uns_03_13.smt2 benches/Hash/hash_sat_07_04.smt2 benches/Hash/hash_sat_06_12.smt2 benches/Hash/hash_sat_10_17.smt2 benches/Hash/hash_uns_04_12.smt2 benches/Hash/hash_sat_10_15.smt2 benches/Hash/hash_sat_08_07.smt2 benches/Hash/hash_sat_04_03.smt2 benches/Hash/hash_sat_07_05.smt2 benches/Hash/hash_uns_04_05.smt2 benches/Hash/hash_sat_07_17.smt2 benches/Hash/hash_uns_03_09.smt2 benches/Hash/hash_uns_04_14.smt2 benches/Hash/hash_sat_09_08.smt2 benches/Hash/hash_sat_05_07.smt2 benches/Hash/hash_sat_04_09.smt2 benches/Hash/hash_sat_07_08.smt2 benches/Hash/hash_sat_03_09.smt2 benches/Hash/hash_sat_04_06.smt2 benches/Hash/hash_sat_06_19.smt2 benches/Hash/hash_sat_03_11.smt2 benches/Hash/hash_sat_09_09.smt2 benches/Hash/hash_sat_07_11.smt2 benches/Hash/hash_sat_10_13.smt2 benches/Hash/hash_sat_10_08.smt2 benches/Hash/hash_sat_05_14.smt2 benches/Hash/hash_sat_08_17.smt2 benches/Hash/hash_sat_08_06.smt2 benches/Hash/hash_sat_09_05.smt2 benches/Hash/hash_sat_09_16.smt2 benches/Hash/hash_sat_07_16.smt2 benches/Hash/hash_sat_03_18.smt2 benches/Hash/hash_sat_06_07.smt2 benches/Hash/hash_uns_03_05.smt2 benches/Hash/hash_uns_04_11.smt2 benches/Hash/hash_sat_05_13.smt2 benches/Hash/hash_sat_05_03.smt2 benches/Hash/hash_sat_07_10.smt2 benches/Hash/hash_sat_08_13.smt2 benches/Hash/hash_uns_04_20.smt2 benches/Hash/hash_uns_04_09.smt2 benches/Hash/hash_uns_04_13.smt2 benches/Hash/hash_sat_06_05.smt2 benches/Hash/hash_sat_06_17.smt2 benches/Hash/hash_sat_10_07.smt2 benches/mathsat/FISCHER5-5-fair.smt2 benches/mathsat/FISCHER4-2-fair.smt2 benches/mathsat/FISCHER11-16-fair.smt2 benches/mathsat/FISCHER6-6-fair.smt2 benches/mathsat/FISCHER9-3-fair.smt2 benches/mathsat/FISCHER9-1-fair.smt2 benches/mathsat/FISCHER9-12-fair.smt2 benches/mathsat/FISCHER10-13-fair.smt2 benches/mathsat/FISCHER5-4-fair.smt2 benches/mathsat/FISCHER5-6-fair.smt2 benches/mathsat/FISCHER2-7-fair.smt2 benches/mathsat/FISCHER7-6-fair.smt2 benches/mathsat/FISCHER1-4-fair.smt2 benches/mathsat/FISCHER9-5-fair.smt2 benches/mathsat/FISCHER1-2-fair.smt2 benches/mathsat/FISCHER11-14-fair.smt2 benches/mathsat/FISCHER10-15-fair.smt2 benches/mathsat/FISCHER7-4-fair.smt2 benches/mathsat/FISCHER1-6-fair.smt2 benches/mathsat/FISCHER9-11-fair.smt2 benches/mathsat/FISCHER4-9-fair.smt2 benches/mathsat/FISCHER3-5-fair.smt2 benches/mathsat/FISCHER7-12-fair.smt2 benches/mathsat/FISCHER11-7-fair.smt2 benches/mathsat/FISCHER7-2-fair.smt2 benches/mathsat/FISCHER9-14-fair.smt2 benches/mathsat/FISCHER7-7-fair.smt2 benches/mathsat/FISCHER11-1-fair.smt2 benches/mathsat/FISCHER9-6-fair.smt2 benches/mathsat/FISCHER4-4-fair.smt2 benches/mathsat/FISCHER3-4-fair.smt2 benches/mathsat/FISCHER5-9-fair.smt2 benches/mathsat/FISCHER6-7-fair.smt2 benches/mathsat/FISCHER7-10-fair.smt2 benches/mathsat/FISCHER1-1-fair.smt2 benches/mathsat/FISCHER11-5-fair.smt2 benches/mathsat/FISCHER9-2-fair.smt2 benches/mathsat/FISCHER8-11-fair.smt2 benches/mathsat/FISCHER1-5-fair.smt2 benches/mathsat/FISCHER5-3-fair.smt2 benches/mathsat/FISCHER4-6-fair.smt2 benches/mathsat/FISCHER2-4-fair.smt2 benches/mathsat/FISCHER9-7-fair.smt2 benches/mathsat/FISCHER11-3-fair.smt2 benches/mathsat/FISCHER5-8-fair.smt2 benches/mathsat/FISCHER3-7-fair.smt2 benches/mathsat/FISCHER4-8-fair.smt2 benches/mathsat/FISCHER5-7-fair.smt2 benches/mathsat/FISCHER8-2-fair.smt2 benches/mathsat/FISCHER6-1-fair.smt2 benches/mathsat/FISCHER7-3-fair.smt2 benches/mathsat/FISCHER8-9-fair.smt2 benches/mathsat/FISCHER2-5-fair.smt2 benches/mathsat/FISCHER8-1-fair.smt2 benches/mathsat/FISCHER7-9-fair.smt2 benches/mathsat/FISCHER5-2-fair.smt2 benches/mathsat/FISCHER5-1-fair.smt2 benches/mathsat/FISCHER6-9-fair.smt2 benches/mathsat/FISCHER3-3-fair.smt2 benches/mathsat/FISCHER8-12-fair.smt2 benches/mathsat/FISCHER8-3-fair.smt2 benches/mathsat/FISCHER8-6-fair.smt2 benches/mathsat/FISCHER3-2-fair.smt2 benches/mathsat/FISCHER10-2-fair.smt2 benches/mathsat/FISCHER10-6-fair.smt2 benches/mathsat/FISCHER7-11-fair.smt2 benches/mathsat/FISCHER4-1-fair.smt2 benches/mathsat/FISCHER9-4-fair.smt2 benches/mathsat/FISCHER5-10-fair.smt2 benches/mathsat/FISCHER6-3-fair.smt2 benches/mathsat/FISCHER8-10-fair.smt2 benches/mathsat/FISCHER4-5-fair.smt2 benches/mathsat/FISCHER9-13-fair.smt2 benches/mathsat/FISCHER11-9-fair.smt2 benches/mathsat/FISCHER9-10-fair.smt2 benches/mathsat/FISCHER8-5-fair.smt2 benches/mathsat/FISCHER10-11-fair.smt2 benches/mathsat/FISCHER8-4-fair.smt2 benches/mathsat/FISCHER4-7-fair.smt2 benches/mathsat/FISCHER11-2-fair.smt2 benches/mathsat/FISCHER11-8-fair.smt2 benches/mathsat/FISCHER2-3-fair.smt2 benches/mathsat/FISCHER10-10-fair.smt2 benches/mathsat/FISCHER10-4-fair.smt2 benches/mathsat/FISCHER6-4-fair.smt2 benches/mathsat/FISCHER3-6-fair.smt2 benches/mathsat/FISCHER9-9-fair.smt2 benches/mathsat/FISCHER6-5-fair.smt2 benches/mathsat/FISCHER7-1-fair.smt2 benches/mathsat/FISCHER10-14-fair.smt2 benches/mathsat/FISCHER6-8-fair.smt2 benches/mathsat/FISCHER10-9-fair.smt2 benches/mathsat/FISCHER11-4-fair.smt2 benches/mathsat/FISCHER1-3-fair.smt2 benches/mathsat/FISCHER2-1-fair.smt2 benches/mathsat/FISCHER2-2-fair.smt2 benches/mathsat/FISCHER4-3-fair.smt2 benches/mathsat/FISCHER11-6-fair.smt2 benches/mathsat/FISCHER10-1-fair.smt2 benches/mathsat/FISCHER11-11-fair.smt2 benches/mathsat/FISCHER11-12-fair.smt2 benches/mathsat/FISCHER10-5-fair.smt2 benches/mathsat/FISCHER10-12-fair.smt2 benches/mathsat/FISCHER6-10-fair.smt2 benches/mathsat/FISCHER11-15-fair.smt2 benches/mathsat/FISCHER3-1-fair.smt2 benches/mathsat/FISCHER8-13-fair.smt2 benches/mathsat/FISCHER6-2-fair.smt2 benches/mathsat/FISCHER10-3-fair.smt2 benches/mathsat/FISCHER3-8-fair.smt2 benches/mathsat/FISCHER8-7-fair.smt2 benches/mathsat/FISCHER8-8-fair.smt2 benches/mathsat/FISCHER11-13-fair.smt2 benches/mathsat/FISCHER7-5-fair.smt2 benches/mathsat/FISCHER10-8-fair.smt2 benches/mathsat/FISCHER2-6-fair.smt2 benches/mathsat/FISCHER11-10-fair.smt2 benches/mathsat/FISCHER7-8-fair.smt2 benches/mathsat/FISCHER6-11-fair.smt2 benches/mathsat/FISCHER9-8-fair.smt2 benches/mathsat/FISCHER10-7-fair.smt2 amzn-smt-prediction/models/Eager_vs_Lazy_Expanded/CreateXgboostReport/xgboost_report.html amzn-smt-prediction/models/Eager_vs_Lazy_Expanded/CreateXgboostReport/xgboost_report.ipynb amzn-smt-prediction/models/Eager_vs_Lazy/CreateXgboostReport/xgboost_report.html amzn-smt-prediction/models/Eager_vs_Lazy/CreateXgboostReport/xgboost_report.ipynb amzn-smt-prediction/models/Eager_vs_Lazy/pearson_r3.ipynb amzn-smt-prediction/models/QF_SLIA_FMF_Faster/CreateXgboostReport/xgboost_report.html amzn-smt-prediction/models/QF_SLIA_FMF_Faster/CreateXgboostReport/xgboost_report.ipynb amzn-smt-prediction/models/QF_SLIA_Runtime/pearson_r1.ipynb amzn-smt-prediction/models/QF_SLIA_Runtime/CreateXgboostReport/xgboost_report.html amzn-smt-prediction/models/QF_SLIA_Runtime/CreateXgboostReport/xgboost_report.ipynb amzn-smt-prediction/scripts/examples/ring_2exp4_9vars_4ite_unsat.smt2 - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Hidden files and folders path like ".*/[.][a-zA-Z0-9_]+.*" 5 files: .github/workflows/rust.yml .gitignore amzn-smt-prediction/.gitignore amzn-smt-string-fct-updater/.gitignore amzn-smt-string-transformer/.gitignore - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Text files path like ".*[.]txt" 2 files: benches/mathsat/starexec_description.txt amzn-smt-prediction/scripts/requirements.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Sokrates scoping conventions path like ".*/sokrates_conventions[.]json" 1 files: sokrates_conventions.json - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Git history path like ".*/git[-]history[.]txt" 1 files: git-history.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -