summaryrefslogtreecommitdiff
path: root/contrib/competitions/smt-comp
ModeNameSize
-rwxr-xr-xrun-script-smtcomp-current6474logplain
-rwxr-xr-xrun-script-smtcomp-current-incremental1623logplain
-rwxr-xr-xrun-script-smtcomp-current-model-validation499logplain
-rwxr-xr-xrun-script-smtcomp-current-unsat-cores2160logplain
-rwxr-xr-xrun-script-smtcomp20121300logplain
-rwxr-xr-xrun-script-smtcomp20143894logplain
-rwxr-xr-xrun-script-smtcomp2014-application1629logplain
-rwxr-xr-xrun-script-smtcomp20154321logplain
-rwxr-xr-xrun-script-smtcomp2015-application1385logplain
-rwxr-xr-xrun-script-smtcomp2015-assertions4530logplain
-rwxr-xr-xrun-script-smtcomp20165289logplain
-rwxr-xr-xrun-script-smtcomp2016-application1238logplain
-rw-r--r--run-script-smtcomp20176200logplain
-rwxr-xr-xrun-script-smtcomp2017-application1344logplain
-rw-r--r--run-script-smtcomp2017-unsat-cores2063logplain
-rw-r--r--run-script-smtcomp20186358logplain
-rwxr-xr-xrun-script-smtcomp2018-application1662logplain
-rw-r--r--run-script-smtcomp2018-unsat-cores2136logplain
-rwxr-xr-xrun-script-smtcomp20196474logplain
-rwxr-xr-xrun-script-smtcomp2019-incremental1623logplain
-rwxr-xr-xrun-script-smtcomp2019-model-validation499logplain
-rwxr-xr-xrun-script-smtcomp2019-unsat-cores2160logplain
-rwxr-xr-xrun-script-smteval20131773logplain
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback