Index of /~nday/artifacts/2014-fse/leader-election

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[   ]1-1-8-0.smt2019-11-12 12:50 4.0K 
[   ]1-1-8-1.smt2019-11-12 12:50 4.0K 
[   ]1-1-8-2.smt2019-11-12 12:50 4.0K 
[   ]1-1-8-3.smt2019-11-12 12:50 4.0K 
[   ]1-1-8-4.smt2019-11-12 12:50 4.0K 
[   ]1-1-8-5.smt2019-11-12 12:50 4.0K 
[   ]1-1-8-6.smt2019-11-12 12:50 4.0K 
[   ]1-1-8-7.smt2019-11-12 12:50 4.0K 
[   ]1-1-9-0.smt2019-11-12 12:50 4.5K 
[   ]1-1-9-1.smt2019-11-12 12:50 4.5K 
[   ]1-1-9-2.smt2019-11-12 12:50 4.5K 
[   ]1-1-9-3.smt2019-11-12 12:50 4.5K 
[   ]1-1-9-4.smt2019-11-12 12:50 4.5K 
[   ]1-1-9-5.smt2019-11-12 12:50 4.5K 
[   ]1-1-9-6.smt2019-11-12 12:50 4.5K 
[   ]1-1-9-7.smt2019-11-12 12:50 4.5K 
[   ]1-1-9-8.smt2019-11-12 12:50 4.5K 
[   ]1-1-10-0.smt2019-11-12 12:50 5.0K 
[   ]1-1-10-1.smt2019-11-12 12:50 5.0K 
[   ]1-1-10-2.smt2019-11-12 12:50 5.0K 
[   ]1-1-10-3.smt2019-11-12 12:50 5.0K 
[   ]1-1-10-4.smt2019-11-12 12:50 5.0K 
[   ]1-1-10-5.smt2019-11-12 12:50 5.0K 
[   ]1-1-10-6.smt2019-11-12 12:50 5.0K 
[   ]1-1-10-7.smt2019-11-12 12:50 5.0K 
[   ]1-1-10-8.smt2019-11-12 12:50 5.0K 
[   ]1-1-10-9.smt2019-11-12 12:50 5.0K 
[   ]1-1-11-0.smt2019-11-12 12:50 5.5K 
[   ]1-1-11-1.smt2019-11-12 12:50 5.5K 
[   ]1-1-11-2.smt2019-11-12 12:50 5.5K 
[   ]1-1-11-3.smt2019-11-12 12:50 5.5K 
[   ]1-1-11-4.smt2019-11-12 12:50 5.5K 
[   ]1-1-11-5.smt2019-11-12 12:50 5.5K 
[   ]1-1-11-6.smt2019-11-12 12:50 5.5K 
[   ]1-1-11-7.smt2019-11-12 12:50 5.5K 
[   ]1-1-11-8.smt2019-11-12 12:50 5.5K 
[   ]1-1-11-9.smt2019-11-12 12:50 5.5K 
[   ]1-1-11-10.smt2019-11-12 12:50 5.5K 
[   ]1-1-12-0.smt2019-11-12 12:50 6.1K 
[   ]1-1-12-1.smt2019-11-12 12:50 6.1K 
[   ]1-1-12-2.smt2019-11-12 12:50 6.1K 
[   ]1-1-12-3.smt2019-11-12 12:50 6.1K 
[   ]1-1-12-4.smt2019-11-12 12:50 6.1K 
[   ]1-1-12-5.smt2019-11-12 12:50 6.1K 
[   ]1-1-12-6.smt2019-11-12 12:50 6.1K 
[   ]1-1-12-7.smt2019-11-12 12:50 6.1K 
[   ]1-1-12-8.smt2019-11-12 12:50 6.1K 
[   ]1-1-12-9.smt2019-11-12 12:50 6.1K 
[   ]1-1-12-10.smt2019-11-12 12:50 6.1K 
[   ]1-1-12-11.smt2019-11-12 12:50 6.1K 
[   ]1-1-13-0.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-1.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-2.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-3.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-4.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-5.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-6.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-7.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-8.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-9.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-10.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-11.smt2019-11-12 12:50 6.7K 
[   ]1-1-13-12.smt2019-11-12 12:50 6.7K 
[   ]1-1-14-0.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-1.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-2.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-3.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-4.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-5.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-6.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-7.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-8.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-9.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-10.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-11.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-12.smt2019-11-12 12:50 7.3K 
[   ]1-1-14-13.smt2019-11-12 12:50 7.3K 
[   ]1-1-15-0.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-1.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-2.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-3.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-4.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-5.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-6.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-7.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-8.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-9.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-10.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-11.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-12.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-13.smt2019-11-12 12:50 7.9K 
[   ]1-1-15-14.smt2019-11-12 12:50 7.9K 
[   ]1-1-16-0.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-1.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-2.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-3.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-4.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-5.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-6.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-7.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-8.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-9.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-10.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-11.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-12.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-13.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-14.smt2019-11-12 12:50 8.6K 
[   ]1-1-16-15.smt2019-11-12 12:50 8.6K 
[   ]1-1-17-0.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-1.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-2.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-3.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-4.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-5.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-6.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-7.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-8.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-9.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-10.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-11.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-12.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-13.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-14.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-15.smt2019-11-12 12:50 9.4K 
[   ]1-1-17-16.smt2019-11-12 12:50 9.4K 
[   ]1-1-18-0.smt2019-11-12 12:50 10K 
[   ]1-1-18-1.smt2019-11-12 12:50 10K 
[   ]1-1-18-2.smt2019-11-12 12:50 10K 
[   ]1-1-18-3.smt2019-11-12 12:50 10K 
[   ]1-1-18-4.smt2019-11-12 12:50 10K 
[   ]1-1-18-5.smt2019-11-12 12:50 10K 
[   ]1-1-18-6.smt2019-11-12 12:50 10K 
[   ]1-1-18-7.smt2019-11-12 12:50 10K 
[   ]1-1-18-8.smt2019-11-12 12:50 10K 
[   ]1-1-18-9.smt2019-11-12 12:50 10K 
[   ]1-1-18-10.smt2019-11-12 12:50 10K 
[   ]1-1-18-11.smt2019-11-12 12:50 10K 
[   ]1-1-18-12.smt2019-11-12 12:50 10K 
[   ]1-1-18-13.smt2019-11-12 12:50 10K 
[   ]1-1-18-14.smt2019-11-12 12:50 10K 
[   ]1-1-18-15.smt2019-11-12 12:50 10K 
[   ]1-1-18-16.smt2019-11-12 12:50 10K 
[   ]1-1-18-17.smt2019-11-12 12:50 10K 
[   ]1-1-19-0.smt2019-11-12 12:50 11K 
[   ]1-1-19-1.smt2019-11-12 12:50 11K 
[   ]1-1-19-2.smt2019-11-12 12:50 11K 
[   ]1-1-19-3.smt2019-11-12 12:50 11K 
[   ]1-1-19-4.smt2019-11-12 12:50 11K 
[   ]1-1-19-5.smt2019-11-12 12:50 11K 
[   ]1-1-19-6.smt2019-11-12 12:50 11K 
[   ]1-1-19-7.smt2019-11-12 12:50 11K 
[   ]1-1-19-8.smt2019-11-12 12:50 11K 
[   ]1-1-19-9.smt2019-11-12 12:50 11K 
[   ]1-1-19-10.smt2019-11-12 12:50 11K 
[   ]1-1-19-11.smt2019-11-12 12:50 11K 
[   ]1-1-19-12.smt2019-11-12 12:50 11K 
[   ]1-1-19-13.smt2019-11-12 12:50 11K 
[   ]1-1-19-14.smt2019-11-12 12:50 11K 
[   ]1-1-19-15.smt2019-11-12 12:50 11K 
[   ]1-1-19-16.smt2019-11-12 12:50 11K 
[   ]1-1-19-17.smt2019-11-12 12:50 11K 
[   ]1-1-19-18.smt2019-11-12 12:50 11K 
[   ]1-1-20-0.smt2019-11-12 12:50 12K 
[   ]1-1-20-1.smt2019-11-12 12:50 12K 
[   ]1-1-20-2.smt2019-11-12 12:50 12K 
[   ]1-1-20-3.smt2019-11-12 12:50 12K 
[   ]1-1-20-4.smt2019-11-12 12:50 12K 
[   ]1-1-20-5.smt2019-11-12 12:50 12K 
[   ]1-1-20-6.smt2019-11-12 12:50 12K 
[   ]1-1-20-7.smt2019-11-12 12:50 12K 
[   ]1-1-20-8.smt2019-11-12 12:50 12K 
[   ]1-1-20-9.smt2019-11-12 12:50 12K 
[   ]1-1-20-10.smt2019-11-12 12:50 12K 
[   ]1-1-20-11.smt2019-11-12 12:50 12K 
[   ]1-1-20-12.smt2019-11-12 12:50 12K 
[   ]1-1-20-13.smt2019-11-12 12:50 12K 
[   ]1-1-20-14.smt2019-11-12 12:50 12K 
[   ]1-1-20-15.smt2019-11-12 12:50 12K 
[   ]1-1-20-16.smt2019-11-12 12:50 12K 
[   ]1-1-20-17.smt2019-11-12 12:50 12K 
[   ]1-1-20-18.smt2019-11-12 12:50 12K 
[   ]1-1-20-19.smt2019-11-12 12:50 12K 
[   ]ALL-8.smt2019-11-12 12:50 5.2K 
[   ]ALL-9.smt2019-11-12 12:50 5.8K 
[   ]ALL-10.smt2019-11-12 12:50 6.5K 
[   ]ALL-11.smt2019-11-12 12:50 7.2K 
[   ]ALL-12.smt2019-11-12 12:50 7.9K 
[   ]ALL-13.smt2019-11-12 12:50 8.7K 
[   ]ALL-14.smt2019-11-12 12:50 9.5K 
[   ]ALL-15.smt2019-11-12 12:50 10K 
[   ]ALL-16.smt2019-11-12 12:50 11K 
[   ]ALL-17.smt2019-11-12 12:50 12K 
[   ]ALL-18.smt2019-11-12 12:50 13K 
[   ]ALL-19.smt2019-11-12 12:50 14K 
[   ]ALL-20.smt2019-11-12 12:50 15K 
[   ]EXISTS-8-0.smt2019-11-12 12:50 3.9K 
[   ]EXISTS-8-1.smt2019-11-12 12:50 3.9K 
[   ]EXISTS-8-2.smt2019-11-12 12:50 3.9K 
[   ]EXISTS-8-3.smt2019-11-12 12:50 3.9K 
[   ]EXISTS-8-4.smt2019-11-12 12:50 3.9K 
[   ]EXISTS-8-5.smt2019-11-12 12:50 3.9K 
[   ]EXISTS-8-6.smt2019-11-12 12:50 3.9K 
[   ]EXISTS-8-7.smt2019-11-12 12:50 3.9K 
[   ]EXISTS-9-0.smt2019-11-12 12:50 4.4K 
[   ]EXISTS-9-1.smt2019-11-12 12:50 4.4K 
[   ]EXISTS-9-2.smt2019-11-12 12:50 4.4K 
[   ]EXISTS-9-3.smt2019-11-12 12:50 4.4K 
[   ]EXISTS-9-4.smt2019-11-12 12:50 4.4K 
[   ]EXISTS-9-5.smt2019-11-12 12:50 4.4K 
[   ]EXISTS-9-6.smt2019-11-12 12:50 4.4K 
[   ]EXISTS-9-7.smt2019-11-12 12:50 4.4K 
[   ]EXISTS-9-8.smt2019-11-12 12:50 4.4K 
[   ]EXISTS-10-0.smt2019-11-12 12:50 4.8K 
[   ]EXISTS-10-1.smt2019-11-12 12:50 4.8K 
[   ]EXISTS-10-2.smt2019-11-12 12:50 4.8K 
[   ]EXISTS-10-3.smt2019-11-12 12:50 4.8K 
[   ]EXISTS-10-4.smt2019-11-12 12:50 4.8K 
[   ]EXISTS-10-5.smt2019-11-12 12:50 4.8K 
[   ]EXISTS-10-6.smt2019-11-12 12:50 4.8K 
[   ]EXISTS-10-7.smt2019-11-12 12:50 4.8K 
[   ]EXISTS-10-8.smt2019-11-12 12:50 4.8K 
[   ]EXISTS-10-9.smt2019-11-12 12:50 4.8K 
[   ]EXISTS-11-0.smt2019-11-12 12:50 5.4K 
[   ]EXISTS-11-1.smt2019-11-12 12:50 5.4K 
[   ]EXISTS-11-2.smt2019-11-12 12:50 5.4K 
[   ]EXISTS-11-3.smt2019-11-12 12:50 5.4K 
[   ]EXISTS-11-4.smt2019-11-12 12:50 5.4K 
[   ]EXISTS-11-5.smt2019-11-12 12:50 5.4K 
[   ]EXISTS-11-6.smt2019-11-12 12:50 5.4K 
[   ]EXISTS-11-7.smt2019-11-12 12:50 5.4K 
[   ]EXISTS-11-8.smt2019-11-12 12:50 5.4K 
[   ]EXISTS-11-9.smt2019-11-12 12:50 5.4K 
[   ]EXISTS-11-10.smt2019-11-12 12:50 5.4K 
[   ]EXISTS-12-0.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-12-1.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-12-2.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-12-3.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-12-4.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-12-5.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-12-6.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-12-7.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-12-8.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-12-9.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-12-10.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-12-11.smt2019-11-12 12:50 6.0K 
[   ]EXISTS-13-0.smt2019-11-12 12:50 6.5K 
[   ]EXISTS-13-1.smt2019-11-12 12:50 6.5K 
[   ]EXISTS-13-2.smt2019-11-12 12:50 6.5K 
[   ]EXISTS-13-3.smt2019-11-12 12:50 6.5K 
[   ]EXISTS-13-4.smt2019-11-12 12:50 6.5K 
[   ]EXISTS-13-5.smt2019-11-12 12:50 6.5K 
[   ]EXISTS-13-6.smt2019-11-12 12:50 6.5K 
[   ]EXISTS-13-7.smt2019-11-12 12:50 6.5K 
[   ]EXISTS-13-8.smt2019-11-12 12:50 6.5K 
[   ]EXISTS-13-9.smt2019-11-12 12:50 6.5K 
[   ]EXISTS-13-10.smt2019-11-12 12:50 6.6K 
[   ]EXISTS-13-11.smt2019-11-12 12:50 6.6K 
[   ]EXISTS-13-12.smt2019-11-12 12:50 6.6K 
[   ]EXISTS-14-0.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-1.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-2.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-3.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-4.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-5.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-6.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-7.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-8.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-9.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-10.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-11.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-12.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-14-13.smt2019-11-12 12:50 7.2K 
[   ]EXISTS-15-0.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-1.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-2.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-3.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-4.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-5.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-6.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-7.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-8.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-9.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-10.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-11.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-12.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-13.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-15-14.smt2019-11-12 12:50 7.8K 
[   ]EXISTS-16-0.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-1.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-2.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-3.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-4.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-5.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-6.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-7.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-8.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-9.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-10.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-11.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-12.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-13.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-14.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-16-15.smt2019-11-12 12:50 8.5K 
[   ]EXISTS-17-0.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-1.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-2.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-3.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-4.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-5.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-6.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-7.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-8.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-9.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-10.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-11.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-12.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-13.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-14.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-15.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-17-16.smt2019-11-12 12:50 9.2K 
[   ]EXISTS-18-0.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-1.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-2.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-3.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-4.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-5.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-6.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-7.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-8.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-9.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-10.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-11.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-12.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-13.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-14.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-15.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-16.smt2019-11-12 12:50 10K 
[   ]EXISTS-18-17.smt2019-11-12 12:50 10K 
[   ]EXISTS-19-0.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-1.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-2.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-3.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-4.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-5.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-6.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-7.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-8.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-9.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-10.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-11.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-12.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-13.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-14.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-15.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-16.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-17.smt2019-11-12 12:50 11K 
[   ]EXISTS-19-18.smt2019-11-12 12:50 11K 
[   ]EXISTS-20-0.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-1.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-2.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-3.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-4.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-5.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-6.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-7.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-8.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-9.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-10.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-11.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-12.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-13.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-14.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-15.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-16.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-17.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-18.smt2019-11-12 12:50 12K 
[   ]EXISTS-20-19.smt2019-11-12 12:50 12K 
[   ]ITE-8-0.smt2019-11-12 12:55 6.8K 
[   ]ITE-8-1.smt2019-11-12 12:55 6.8K 
[   ]ITE-8-2.smt2019-11-12 12:55 6.8K 
[   ]ITE-8-3.smt2019-11-12 12:55 6.8K 
[   ]ITE-8-4.smt2019-11-12 12:55 6.8K 
[   ]ITE-8-5.smt2019-11-12 12:55 6.8K 
[   ]ITE-8-6.smt2019-11-12 12:55 6.8K 
[   ]ITE-8-7.smt2019-11-12 12:55 6.8K 
[   ]ITE-9-0.smt2019-11-12 12:55 10K 
[   ]ITE-9-1.smt2019-11-12 12:55 10K 
[   ]ITE-9-2.smt2019-11-12 12:55 10K 
[   ]ITE-9-3.smt2019-11-12 12:55 10K 
[   ]ITE-9-4.smt2019-11-12 12:55 10K 
[   ]ITE-9-5.smt2019-11-12 12:55 10K 
[   ]ITE-9-6.smt2019-11-12 12:55 10K 
[   ]ITE-9-7.smt2019-11-12 12:55 10K 
[   ]ITE-9-8.smt2019-11-12 12:55 10K 
[   ]ITE-10-0.smt2019-11-12 12:50 17K 
[   ]ITE-10-1.smt2019-11-12 12:50 17K 
[   ]ITE-10-2.smt2019-11-12 12:50 17K 
[   ]ITE-10-3.smt2019-11-12 12:50 17K 
[   ]ITE-10-4.smt2019-11-12 12:50 17K 
[   ]ITE-10-5.smt2019-11-12 12:50 17K 
[   ]ITE-10-6.smt2019-11-12 12:50 17K 
[   ]ITE-10-7.smt2019-11-12 12:50 17K 
[   ]ITE-10-8.smt2019-11-12 12:50 17K 
[   ]ITE-10-9.smt2019-11-12 12:50 17K 
[   ]ITE-11-0.smt2019-11-12 12:50 31K 
[   ]ITE-11-1.smt2019-11-12 12:50 31K 
[   ]ITE-11-2.smt2019-11-12 12:50 31K 
[   ]ITE-11-3.smt2019-11-12 12:50 31K 
[   ]ITE-11-4.smt2019-11-12 12:50 31K 
[   ]ITE-11-5.smt2019-11-12 12:50 31K 
[   ]ITE-11-6.smt2019-11-12 12:50 31K 
[   ]ITE-11-7.smt2019-11-12 12:50 31K 
[   ]ITE-11-8.smt2019-11-12 12:50 31K 
[   ]ITE-11-9.smt2019-11-12 12:50 31K 
[   ]ITE-11-10.smt2019-11-12 12:50 31K 
[   ]ITE-12-0.smt2019-11-12 12:50 60K 
[   ]ITE-12-1.smt2019-11-12 12:50 60K 
[   ]ITE-12-2.smt2019-11-12 12:50 60K 
[   ]ITE-12-3.smt2019-11-12 12:50 60K 
[   ]ITE-12-4.smt2019-11-12 12:50 60K 
[   ]ITE-12-5.smt2019-11-12 12:50 60K 
[   ]ITE-12-6.smt2019-11-12 12:50 60K 
[   ]ITE-12-7.smt2019-11-12 12:50 60K 
[   ]ITE-12-8.smt2019-11-12 12:50 60K 
[   ]ITE-12-9.smt2019-11-12 12:50 60K 
[   ]ITE-12-10.smt2019-11-12 12:50 60K 
[   ]ITE-12-11.smt2019-11-12 12:50 60K 
[   ]ITE-13-0.smt2019-11-12 12:50 116K 
[   ]ITE-13-1.smt2019-11-12 12:50 116K 
[   ]ITE-13-2.smt2019-11-12 12:50 116K 
[   ]ITE-13-3.smt2019-11-12 12:50 116K 
[   ]ITE-13-4.smt2019-11-12 12:50 116K 
[   ]ITE-13-5.smt2019-11-12 12:50 116K 
[   ]ITE-13-6.smt2019-11-12 12:50 116K 
[   ]ITE-13-7.smt2019-11-12 12:50 116K 
[   ]ITE-13-8.smt2019-11-12 12:50 116K 
[   ]ITE-13-9.smt2019-11-12 12:50 116K 
[   ]ITE-13-10.smt2019-11-12 12:50 116K 
[   ]ITE-13-11.smt2019-11-12 12:50 116K 
[   ]ITE-13-12.smt2019-11-12 12:50 116K 
[   ]ITE-14-0.smt2019-11-12 12:50 229K 
[   ]ITE-14-1.smt2019-11-12 12:50 229K 
[   ]ITE-14-2.smt2019-11-12 12:50 229K 
[   ]ITE-14-3.smt2019-11-12 12:50 229K 
[   ]ITE-14-4.smt2019-11-12 12:50 229K 
[   ]ITE-14-5.smt2019-11-12 12:50 229K 
[   ]ITE-14-6.smt2019-11-12 12:50 229K 
[   ]ITE-14-7.smt2019-11-12 12:50 229K 
[   ]ITE-14-8.smt2019-11-12 12:50 229K 
[   ]ITE-14-9.smt2019-11-12 12:50 229K 
[   ]ITE-14-10.smt2019-11-12 12:50 229K 
[   ]ITE-14-11.smt2019-11-12 12:50 229K 
[   ]ITE-14-12.smt2019-11-12 12:50 229K 
[   ]ITE-14-13.smt2019-11-12 12:50 229K 
[   ]ITE-15-0.smt2019-11-12 12:50 453K 
[   ]ITE-15-1.smt2019-11-12 12:50 453K 
[   ]ITE-15-2.smt2019-11-12 12:50 453K 
[   ]ITE-15-3.smt2019-11-12 12:50 453K 
[   ]ITE-15-4.smt2019-11-12 12:50 453K 
[   ]ITE-15-5.smt2019-11-12 12:50 453K 
[   ]ITE-15-6.smt2019-11-12 12:50 453K 
[   ]ITE-15-7.smt2019-11-12 12:50 453K 
[   ]ITE-15-8.smt2019-11-12 12:50 453K 
[   ]ITE-15-9.smt2019-11-12 12:50 453K 
[   ]ITE-15-10.smt2019-11-12 12:50 453K 
[   ]ITE-15-11.smt2019-11-12 12:50 453K 
[   ]ITE-15-12.smt2019-11-12 12:50 453K 
[   ]ITE-15-13.smt2019-11-12 12:50 453K 
[   ]ITE-15-14.smt2019-11-12 12:50 453K 
[   ]ITE-16-0.smt2019-11-12 12:50 902K 
[   ]ITE-16-1.smt2019-11-12 12:50 902K 
[   ]ITE-16-2.smt2019-11-12 12:50 902K 
[   ]ITE-16-3.smt2019-11-12 12:50 902K 
[   ]ITE-16-4.smt2019-11-12 12:50 902K 
[   ]ITE-16-5.smt2019-11-12 12:50 902K 
[   ]ITE-16-6.smt2019-11-12 12:50 902K 
[   ]ITE-16-7.smt2019-11-12 12:50 902K 
[   ]ITE-16-8.smt2019-11-12 12:50 902K 
[   ]ITE-16-9.smt2019-11-12 12:50 902K 
[   ]ITE-16-10.smt2019-11-12 12:50 902K 
[   ]ITE-16-11.smt2019-11-12 12:50 902K 
[   ]ITE-16-12.smt2019-11-12 12:50 902K 
[   ]ITE-16-13.smt2019-11-12 12:50 902K 
[   ]ITE-16-14.smt2019-11-12 12:50 902K 
[   ]ITE-16-15.smt2019-11-12 12:50 902K 
[   ]ITE-17-0.smt2019-11-12 12:50 1.8M 
[   ]ITE-17-1.smt2019-11-12 12:50 1.8M 
[   ]ITE-17-2.smt2019-11-12 12:51 1.8M 
[   ]ITE-17-3.smt2019-11-12 12:51 1.8M 
[   ]ITE-17-4.smt2019-11-12 12:51 1.8M 
[   ]ITE-17-5.smt2019-11-12 12:51 1.8M 
[   ]ITE-17-6.smt2019-11-12 12:51 1.8M 
[   ]ITE-17-7.smt2019-11-12 12:51 1.8M 
[   ]ITE-17-8.smt2019-11-12 12:51 1.8M 
[   ]ITE-17-9.smt2019-11-12 12:51 1.8M 
[   ]ITE-17-10.smt2019-11-12 12:50 1.8M 
[   ]ITE-17-11.smt2019-11-12 12:50 1.8M 
[   ]ITE-17-12.smt2019-11-12 12:50 1.8M 
[   ]ITE-17-13.smt2019-11-12 12:50 1.8M 
[   ]ITE-17-14.smt2019-11-12 12:50 1.8M 
[   ]ITE-17-15.smt2019-11-12 12:50 1.8M 
[   ]ITE-17-16.smt2019-11-12 12:50 1.8M 
[   ]ITE-18-0.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-1.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-2.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-3.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-4.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-5.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-6.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-7.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-8.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-9.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-10.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-11.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-12.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-13.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-14.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-15.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-16.smt2019-11-12 12:51 3.5M 
[   ]ITE-18-17.smt2019-11-12 12:51 3.5M 
[   ]ITE-19-0.smt2019-11-12 12:51 7.0M 
[   ]ITE-19-1.smt2019-11-12 12:51 7.0M 
[   ]ITE-19-2.smt2019-11-12 12:52 7.0M 
[   ]ITE-19-3.smt2019-11-12 12:52 7.0M 
[   ]ITE-19-4.smt2019-11-12 12:52 7.0M 
[   ]ITE-19-5.smt2019-11-12 12:52 7.0M 
[   ]ITE-19-6.smt2019-11-12 12:52 7.0M 
[   ]ITE-19-7.smt2019-11-12 12:52 7.0M 
[   ]ITE-19-8.smt2019-11-12 12:52 7.0M 
[   ]ITE-19-9.smt2019-11-12 12:52 7.0M 
[   ]ITE-19-10.smt2019-11-12 12:51 7.0M 
[   ]ITE-19-11.smt2019-11-12 12:51 7.0M 
[   ]ITE-19-12.smt2019-11-12 12:51 7.0M 
[   ]ITE-19-13.smt2019-11-12 12:51 7.0M 
[   ]ITE-19-14.smt2019-11-12 12:51 7.0M 
[   ]ITE-19-15.smt2019-11-12 12:52 7.0M 
[   ]ITE-19-16.smt2019-11-12 12:52 7.0M 
[   ]ITE-19-17.smt2019-11-12 12:52 7.0M 
[   ]ITE-19-18.smt2019-11-12 12:52 7.0M 
[   ]ITE-20-0.smt2019-11-12 12:52 14M 
[   ]ITE-20-1.smt2019-11-12 12:53 14M 
[   ]ITE-20-2.smt2019-11-12 12:54 14M 
[   ]ITE-20-3.smt2019-11-12 12:54 14M 
[   ]ITE-20-4.smt2019-11-12 12:54 14M 
[   ]ITE-20-5.smt2019-11-12 12:55 14M 
[   ]ITE-20-6.smt2019-11-12 12:55 14M 
[   ]ITE-20-7.smt2019-11-12 12:55 14M 
[   ]ITE-20-8.smt2019-11-12 12:55 14M 
[   ]ITE-20-9.smt2019-11-12 12:55 14M 
[   ]ITE-20-10.smt2019-11-12 12:53 14M 
[   ]ITE-20-11.smt2019-11-12 12:53 14M 
[   ]ITE-20-12.smt2019-11-12 12:53 14M 
[   ]ITE-20-13.smt2019-11-12 12:53 14M 
[   ]ITE-20-14.smt2019-11-12 12:54 14M 
[   ]ITE-20-15.smt2019-11-12 12:54 14M 
[   ]ITE-20-16.smt2019-11-12 12:54 14M 
[   ]ITE-20-17.smt2019-11-12 12:54 14M 
[   ]ITE-20-18.smt2019-11-12 12:54 14M 
[   ]ITE-20-19.smt2019-11-12 12:54 14M 
Apache/2.4.41 (Ubuntu) Server at cs.uwaterloo.ca Port 443