Activity for Tjark Weber
-
Tjark Weber committed [r968]
Rename file
-
Minor
-
Minor
-
TODO 6 (brief explanation added, but not changed to count solvers instead of solver versions)
-
Minor
-
TODO 16: add brief explanation of competition-wide ranking
-
Reply for TODO 25
-
Benchmark weights, minor
-
Minor
-
Minor
-
Add explanation of competitive divisions
-
Avoid unfortunate line break
-
Remove Figure 2 (Distribution of SMT-LIB benchmarks by file size)
-
19,20,21
-
19 (partially)
-
17, 18
-
Parallelism -> Tjark
-
Typo in comment
-
Add various scripts for data analysis
-
Unique solutions: more correct numbers; use of parallelism
-
Minor (unique solutions)
-
Unique solutions
-
Minor (acknowledgments)
-
Minor
-
\normalfont for author roles
-
Fix a typo
-
Remove description of non-existent script
-
Add reviews for JSAT submission
-
Nicer tables (using the booktabs package)
-
Fix affiliation for STP (Norbert Manthey)
-
Better AProVE reference
-
Add Ctrl-Ergo reference
-
Fix affiliation for Ctrl-Ergo (Mohamed Iguernlala)
-
Add Alt-Ergo reference
-
Less inaccurate meta-data
-
No solvers were entered into QF_ABVFP in 2017
-
svn:ignore
-
Add SMT2 benchmark example
-
No Kurt Gödel medals
-
Minor
-
Minor
-
Weights, disagreements, minor
-
Affiliations
-
References for participants
-
Minor
-
Tables with winners
-
Minor
-
Conclusion
-
Minor, references, table for competition-wide ranking
-
Introduction
-
medals
-
Nicer typesetting of SMT-LIB syntax; separate file size distributions
-
Valera -> Valeriy
-
Infrastructure
-
Add CSV data for reruns of main-track timeouts
-
Distribution of benchmarks by file size
-
Benchmark numbers
-
Divisions and Benchmarks (work in progress)
-
Mainly SMT-LIB (work in progress)
-
Work in progress
-
Goals, FLoC ranking
-
FLoC Olympic Games (work in progress)
-
Work in progress
-
Some introduction
-
Minor progress on organization/timeline
-
First draft of participants section
-
Add JSAT Call for Papers
-
Add JSAT style
-
Add presentation PDFs
-
Update rules (after the fact, for future reference)
-
Add presentation slides
-
Add medal pictures
-
Add FLoC Olympic Games presentation
-
Add certificates for 2018
-
Results fixed (affecting UC:QF_LIRA)
-
Yices2 -> Yices-2.6.0
-
SMTRAT-Rat -> SMTRAT
-
Add 2018 raw CSV data
-
p -> par, s -> seq
-
Add SMTInterpol slide
-
Add 2017 raw CSV data
-
Add 2016 raw CSV data
-
Add 2015 raw CSV data
-
Update presentation slides
-
Add 2018 result presentation (draft version)
-
Move and recompress CSV data
-
Remove opensmt2 from application track
-
Update opensmt2 solver ID
-
Add support for set-option and get-unsat-core commands (for the unsat-core track)
-
Remove link to submission form
-
Start competition jobs
-
Add MathSAT to QF_IDL, QF_RDL and QF_UFIDL; update MathSAT (unsat-core) solver ID
-
Add StarExec run script used to "wrap" solvers with the trace executor
-
Fix some HTML errors
-
Add final solver versions, system descriptions, NYSE index
-
Update scrambler
-
Update scrambler
-
Add opensmt2 as non-competing solver
-
Add MathSAT and Z3 as non-competing solvers; minor other changes
-
Add system description for SMTInterpol
1 >
