Activity for SMTCOMP
-
Giles Reger committed [r969]
fix remaining todo
-
Tjark Weber committed [r968]
Rename file
-
Minor
-
Aina Niemetz committed [r966]
Report: Update TODOs
-
Report: Fix typo
-
changes
-
Report: Reply to TODO
-
Report: Addressed todo for sat/unsat tables
-
Report: More outlook
-
small fix in division scoring
-
resolved TODO 7
-
Report: Fix weighted score
-
small fix in table 3
-
conclusion
-
Report: Mode TODO updates
-
Report: Update TODO
-
Report: Fix weighted division score
-
Report: Remove frames
-
Report: Layout of benchmarks table
-
update table 3
-
Report: Fix sat table
-
Report: Add competition-wide score.
-
Report: Add scoring information.
-
Report: Restructre section 4 to add more detailed scoring information.
-
Report: Pass over unknown analysis
-
Report: Add todo
-
Report: Pass over "Focussing on Sat or Unsat".
-
Minor
-
TODO 6 (brief explanation added, but not changed to count solvers instead of solver versions)
-
Minor
-
Report: Pass over "Very quick solutions".
-
Report: Introduce macros for track names.
-
Report: Update TODOs.
-
Report: Disable frames.
-
Report: Layout and clean up main track winners tables for families and unknown.
-
Report: Layout and clean up sat/unsat/24s tables.
-
update tables
-
TODO 16: add brief explanation of competition-wide ranking
-
Reply for TODO 25
-
Benchmark weights, minor
-
Report: TODO 4
-
Report: TODO 19: Minor things
-
Report: TODO 22
-
Report: More fixes to refs, update TODO.
-
Report: Consistent way of referring to proceedings in the refs.
-
Report: Fix capitalization of ref titles.
-
Report: Replace refs+crossrefs with standard refs from dblp.
-
Report: Update participants table.
-
Report: Update TODOs with assigned tasks.
-
Add description of further analysis tables
-
adding further analysis tables still need to add text
-
Report: Update TODO list.
-
Report: Split participants table, description.
-
Report: First (refactored) version of participants table.
-
Report: Fix unsat core plot.
-
Report: Add script and result file to determine number of asserts in unsat-core track.
-
Report: Description of unsat-core bar plot.
-
Minor
-
Report: Add script and result file to determine number of eligible application track answers.
-
Report: Add bar plot for unsat core track.
-
Report: Add scripts for unsat core analysis.
-
Add bar plot file.
-
Report: Description of app track plot.
-
Include app track plot, amend captions of vbs plots.
-
Added missing plots.
-
Add scripts for application track bar plots.
-
Fix vbs script for app track.
-
Fix vbs script for app track.
-
Update plot generation files for application track.
-
Analysis scripts: Add support for application track.
-
Update TODO
-
Move and fix.
-
Add winner tables layout description.
-
Fix.
-
Update caption of winners tables.
-
Fix
-
Minor
-
Minor
-
Use gray text font instead of * for non-competitive divisions.
-
Use colors for winners tables.
-
Double check application and unsat score application winners table.
-
Do not use multirow in application winners table.
-
Add explanation of competitive divisions
-
Avoid unfortunate line break
-
Remove Figure 2 (Distribution of SMT-LIB benchmarks by file size)
-
19,20,21
-
Add missing file.
-
19 (partially)
-
17, 18
-
Parallelism -> Tjark
-
New layout for application winners table.
-
Add VBS plot for 2015-2018.
-
Use time limit as y limit for vbs plots.
-
Update TODO
-
Fix format.
-
Removed old main track winners table.
-
Add actual winners to main track winners table.
-
Beautify layout of main track winners table.
-
New layout for winners table (currently only main).
-
Update TODO.
1 >