guicho271828 /cl-sat.glucose

CL-SAT instance to Glucose state-of-the-art SAT solver. This downloads the later 2014 version (2nd in the 2014 SAT competition).

View project on GitHub

2019-06-26 21:31:06 UTC - Planned check
2019-06-26 08:35:08 UTC - Version 20190626083502
2019-06-26 05:05:09 UTC - Version 20190626050502
2019-06-26 03:50:10 UTC - Version 20190626035003
2019-06-25 23:20:09 UTC - Version 20190625232003
2019-06-25 23:05:09 UTC - Version 20190625230503
2019-06-25 22:50:09 UTC - Version 20190625225003
2019-06-25 20:35:09 UTC - Version 20190625203503
2019-06-25 19:35:10 UTC - Version 20190625193504
2019-06-25 16:05:13 UTC - Version 20190625160506
2019-06-25 15:20:11 UTC - Version 20190625152002
2019-06-25 11:05:15 UTC - Version 20190625110507
2019-06-25 08:05:09 UTC - Version 20190625080503
2019-06-25 04:35:10 UTC - Version 20190625043504
2019-06-25 00:35:13 UTC - Version 20190625003503
2019-06-25 00:20:08 UTC - Version 20190625002003
2019-06-24 23:05:09 UTC - Version 20190624230503
2019-06-24 22:35:09 UTC - Version 20190624223503
2019-06-24 20:50:09 UTC - Version 20190624205003
2019-06-24 18:35:09 UTC - Version 20190624183503
2019-06-24 18:15:10 UTC - Version 20190624181504
2019-06-24 17:20:08 UTC - Version 20190624172002
2019-06-24 11:20:09 UTC - Version 20190624112002
2019-06-24 10:35:09 UTC - Version 20190624103503
2019-06-24 10:20:09 UTC - Version 20190624102003
2019-06-24 09:05:08 UTC - Version 20190624090503
2019-06-24 08:35:09 UTC - Version 20190624083503
2019-06-24 08:20:08 UTC - Version 20190624082002
2019-06-24 05:35:10 UTC - Version 20190624053504
2019-06-24 02:50:08 UTC - Version 20190624025002
2019-06-24 02:05:08 UTC - Version 20190624020502
2019-06-24 01:05:08 UTC - Version 20190624010502
2019-06-23 21:50:08 UTC - Version 20190623215003
2019-06-23 21:05:09 UTC - Version 20190623210503
2019-06-23 20:35:08 UTC - Version 20190623203502
2019-06-23 20:25:08 UTC - Version 20190623202502
2019-06-23 19:50:09 UTC - Version 20190623195003
2019-06-23 19:05:09 UTC - Version 20190623190503
2019-06-23 17:35:08 UTC - Version 20190623173502
2019-06-23 16:20:09 UTC - Version 20190623162003
2019-06-23 15:45:11 UTC - Version 20190623154504
2019-06-23 10:35:09 UTC - Version 20190623103503
2019-06-22 20:35:08 UTC - Version 20190622203502
2019-06-22 17:50:08 UTC - Version 20190622175002
2019-06-22 13:50:08 UTC - Version 20190622135002
2019-06-22 12:20:08 UTC - Version 20190622122002
2019-06-22 11:20:08 UTC - Version 20190622112002
2019-06-22 10:50:08 UTC - Version 20190622105003
2019-06-22 08:35:09 UTC - Version 20190622083503
2019-06-22 08:05:09 UTC - Version 20190622080502
2019-06-22 02:50:08 UTC - Version 20190622025003
2019-06-22 00:50:08 UTC - Version 20190622005003
2019-06-21 23:05:09 UTC - Version 20190621230503
2019-06-21 19:20:08 UTC - Version 20190621192002
2019-06-21 18:35:08 UTC - Version 20190621183502
2019-06-21 16:05:08 UTC - Version 20190621160503
2019-06-21 12:20:09 UTC - Version 20190621122003
2019-06-21 08:20:08 UTC - Version 20190621082002
2019-06-21 07:35:08 UTC - Version 20190621073503
2019-06-20 10:40:09 UTC - Version 20190620104003
2019-06-20 09:30:07 UTC - Version 20190620093000
2019-06-20 09:05:09 UTC - Version 20190620090502
2019-06-20 07:50:08 UTC - Version 20190620075002
2019-06-20 06:15:10 UTC - Version 20190620061504
2019-06-20 02:20:10 UTC - Version 20190620022004
2019-06-20 01:05:08 UTC - Version 20190620010502
2019-06-20 00:50:11 UTC - Version 20190620005004
2019-06-19 23:35:08 UTC - Version 20190619233502
2019-06-19 22:25:10 UTC - Version 20190619222503
2019-06-19 22:10:09 UTC - Version 20190619221003
2019-06-19 19:35:09 UTC - Version 20190619193503
2019-06-19 16:35:08 UTC - Version 20190619163503
2019-06-19 00:50:08 UTC - Version 20190619005002
2019-06-18 23:50:08 UTC - Version 20190618235003
2019-06-18 23:05:08 UTC - Version 20190618230502
2019-06-18 21:25:09 UTC - Version 20190618212502
2019-06-18 20:10:10 UTC - Version 20190618201005
2019-06-18 20:05:09 UTC - Version 20190618200504
2019-06-18 16:50:08 UTC - Version 20190618165003
2019-06-18 16:15:10 UTC - Version 20190618161504
2019-06-18 15:05:08 UTC - Version 20190618150502
2019-06-18 14:35:08 UTC - Version 20190618143502
2019-06-18 14:30:10 UTC - Version 20190618143004
2019-06-18 14:15:10 UTC - Version 20190618141504
2019-06-18 14:00:10 UTC - Version 20190618140004
2019-06-18 13:55:08 UTC - Version 20190618135502
2019-06-18 13:50:08 UTC - Version 20190618135003
2019-06-18 11:05:08 UTC - Version 20190618110503
2019-06-18 08:05:10 UTC - Version 20190618080504
2019-06-17 11:35:10 UTC - Version 20190617113503
2019-06-17 11:15:11 UTC - Version 20190617111504
2019-06-17 09:35:08 UTC - Version 20190617093502
2019-06-17 08:20:09 UTC - Version 20190617082004
2019-06-17 04:35:08 UTC - Version 20190617043502
2019-06-16 20:10:09 UTC - Version 20190616201004
2019-06-16 18:50:08 UTC - Version 20190616185002
2019-06-16 17:05:08 UTC - Version 20190616170503
2019-06-16 14:20:08 UTC - Version 20190616142003
2019-06-16 11:35:09 UTC - Version 20190616113503
2019-06-16 08:50:08 UTC - Version 20190616085003
2019-06-15 21:35:13 UTC - Version 20190615213504
2019-06-15 09:50:15 UTC - Version 20190615095006
2019-06-15 00:05:13 UTC - Version 20190615000505
2019-06-14 17:20:12 UTC - Version 20190614172004
2019-06-14 14:35:13 UTC - Version 20190614143505
2019-06-14 12:20:12 UTC - Version 20190614122003
2019-06-14 11:35:14 UTC - Version 20190614113504
2019-06-14 09:35:11 UTC - Version 20190614093503
2019-06-14 08:50:10 UTC - Version 20190614085004
2019-06-14 03:05:11 UTC - Version 20190614030504
2019-06-13 22:20:12 UTC - Version 20190613222004
2019-06-13 21:20:12 UTC - Version 20190613212004
2019-06-13 12:05:13 UTC - Version 20190613120505
2019-06-13 10:25:12 UTC - Version 20190613102504
2019-06-13 09:10:12 UTC - Version 20190613091004
2019-06-13 08:20:12 UTC - Version 20190613082004
2019-06-13 00:20:11 UTC - Version 20190613002004
2019-06-12 21:35:13 UTC - Version 20190612213506
2019-06-12 17:35:11 UTC - Version 20190612173503
2019-06-12 11:30:15 UTC - Version 20190612113005
2019-06-12 08:15:17 UTC - Version 20190612081505
2019-06-12 05:50:11 UTC - Version 20190612055003
2019-06-12 05:40:13 UTC - Version 20190612054005
2019-06-12 03:50:13 UTC - Version 20190612035004
2019-06-12 00:35:13 UTC - Version 20190612003504
2019-06-11 23:20:09 UTC - Version 20190611232003
2019-06-11 21:50:13 UTC - Version 20190611215006
2019-06-10 23:20:12 UTC - Version 20190610232006
2019-06-10 22:25:10 UTC - Version 20190610222503
2019-06-10 21:50:10 UTC - Version 20190610215003
2019-06-10 19:05:13 UTC - Version 20190610190505
2019-06-10 17:35:11 UTC - Version 20190610173504
2019-06-10 11:20:10 UTC - Version 20190610112003
2019-06-09 19:55:12 UTC - Version 20190609195506
2019-06-09 18:35:10 UTC - Version 20190609183503
2019-06-09 11:35:11 UTC - Version 20190609113505
2019-06-08 23:35:09 UTC - Version 20190608233503
2019-06-08 07:40:11 UTC - Version 20190608074004
2019-06-08 06:05:09 UTC - Version 20190608060504
2019-06-07 22:05:08 UTC - Version 20190607220503
2019-06-07 21:40:10 UTC - Version 20190607214004
2019-06-07 16:55:11 UTC - Version 20190607165505
2019-06-07 16:40:10 UTC - Version 20190607164004
2019-06-07 15:20:09 UTC - Version 20190607152003
2019-06-06 19:20:09 UTC - Version 20190606192002
2019-06-06 17:55:11 UTC - Version 20190606175504
2019-06-06 16:05:09 UTC - Version 20190606160503
2019-06-06 15:05:13 UTC - Version 20190606150504
2019-06-06 12:20:10 UTC - Version 20190606122003
2019-06-06 08:55:09 UTC - Version 20190606085503
2019-06-06 08:20:10 UTC - Version 20190606082005
2019-06-06 03:20:10 UTC - Version 20190606032004
2019-06-06 01:35:09 UTC - Version 20190606013504
2019-06-05 22:35:08 UTC - Version 20190605223503
2019-06-05 00:05:10 UTC - Version 20190605000505
2019-06-04 23:50:09 UTC - Version 20190604235003
2019-06-04 23:05:09 UTC - Version 20190604230503
2019-06-04 10:45:12 UTC - Version 20190604104505
2019-06-04 04:05:08 UTC - Version 20190604040503
2019-06-04 00:50:09 UTC - Version 20190604005003
2019-06-03 10:50:10 UTC - Version 20190603105003
2019-06-02 20:25:10 UTC - Version 20190602202504
2019-06-02 19:40:10 UTC - Version 20190602194003
2019-06-02 19:05:10 UTC - Version 20190602190504
2019-06-02 12:35:10 UTC - Version 20190602123504
2019-06-02 07:30:13 UTC - Version 20190602073005
2019-06-02 07:10:09 UTC - Version 20190602071003
2019-06-01 17:10:09 UTC - Version 20190601171003
2019-06-01 11:35:09 UTC - Version 20190601113503
2019-06-01 08:50:09 UTC - Version 20190601085003
2019-06-01 08:20:09 UTC - Version 20190601082004
2019-06-01 06:05:11 UTC - Version 20190601060504
2019-06-01 02:20:10 UTC - Version 20190601022003
2019-05-31 23:50:10 UTC - Version 20190531235003
2019-05-31 19:50:13 UTC - Version 20190531195003
2019-05-31 19:35:09 UTC - Version 20190531193502
2019-05-31 17:35:10 UTC - Version 20190531173503
2019-05-31 09:50:11 UTC - Version 20190531095003
2019-05-31 06:20:10 UTC - Version 20190531062004
2019-05-31 03:35:10 UTC - Version 20190531033503
2019-05-30 22:50:10 UTC - Version 20190530225003
2019-05-30 22:20:11 UTC - Version 20190530222004
2019-05-30 20:05:11 UTC - Version 20190530200504
2019-05-30 19:10:13 UTC - Version 20190530191005
2019-05-30 16:50:12 UTC - Version 20190530165003
2019-05-30 09:40:10 UTC - Version 20190530094003
2019-05-30 06:35:10 UTC - Version 20190530063503
2019-05-29 20:20:10 UTC - Version 20190529202003
2019-05-29 19:35:09 UTC - Version 20190529193503
2019-05-29 15:20:10 UTC - Version 20190529152003
2019-05-29 10:35:10 UTC - Version 20190529103503
2019-05-29 06:50:12 UTC - Version 20190529065004
2019-05-28 22:35:10 UTC - Version 20190528223503
2019-05-28 19:20:09 UTC - Version 20190528192003
2019-05-28 09:05:09 UTC - Version 20190528090502
2019-05-27 23:20:09 UTC - Version 20190527232003
2019-05-26 18:50:11 UTC - Version 20190526185005
2019-05-25 19:50:10 UTC - Version 20190525195003
2019-05-24 22:50:10 UTC - Version 20190524225004
2019-05-24 15:50:10 UTC - Version 20190524155003
2019-05-24 11:50:09 UTC - Version 20190524115003
2019-05-24 09:20:10 UTC - Version 20190524092003
2019-05-24 03:35:11 UTC - Version 20190524033504
2019-05-24 00:05:10 UTC - Version 20190524000504
2019-05-23 23:05:10 UTC - Version 20190523230503
2019-05-23 21:50:10 UTC - Version 20190523215003
2019-05-23 20:05:10 UTC - Version 20190523200504
2019-05-23 18:35:10 UTC - Version 20190523183504
2019-05-23 11:20:10 UTC - Version 20190523112003
2019-05-23 10:05:10 UTC - Version 20190523100503
2019-05-23 08:25:10 UTC - Version 20190523082503
2019-05-23 07:50:10 UTC - Version 20190523075004
2019-05-23 00:20:11 UTC - Version 20190523002004
2019-05-22 23:05:09 UTC - Version 20190522230503
2019-05-22 12:05:10 UTC - Version 20190522120503
2019-05-22 11:05:10 UTC - Version 20190522110503
2019-05-21 22:35:09 UTC - Version 20190521223503
2019-05-21 22:05:10 UTC - Version 20190521220503
2019-05-21 20:20:10 UTC - Version 20190521202004
2019-05-21 15:35:10 UTC - Version 20190521153503
2019-05-21 09:20:09 UTC - Version 20190521092002
2019-05-21 08:35:10 UTC - Version 20190521083503
2019-05-21 07:05:09 UTC - Version 20190521070503
2019-05-21 00:05:09 UTC - Version 20190521000503
2019-05-20 23:20:10 UTC - Version 20190520232004
2019-05-20 22:20:09 UTC - Version 20190520222003
2019-05-20 21:05:09 UTC - Version 20190520210503
2019-05-20 20:50:10 UTC - Version 20190520205004
2019-05-20 17:35:09 UTC - Version 20190520173503
2019-05-20 11:50:09 UTC - Version 20190520115003
2019-05-20 00:20:09 UTC - Version 20190520002002
2019-05-19 23:35:10 UTC - Version 20190519233503
2019-05-19 21:20:10 UTC - Version 20190519212003
2019-05-18 12:40:55 UTC - Version 20190518124039
2019-05-18 12:10:45 UTC - Version 20190518121028
2019-05-17 23:05:23 UTC - Version 20190517230510
2019-05-17 21:35:37 UTC - Version 20190517213523
2019-05-17 21:20:22 UTC - Version 20190517212012
2019-05-17 20:31:24 UTC - Version 20190517203029
2019-05-17 18:20:27 UTC - Version 20190517182017
2019-05-17 17:50:42 UTC - Version 20190517175010
2019-05-17 15:35:36 UTC - Version 20190517153513
2019-05-17 07:35:34 UTC - Version 20190517073523
2019-05-17 02:20:19 UTC - Version 20190517022009
2019-05-16 22:50:18 UTC - Version 20190516225006
2019-05-16 22:35:20 UTC - Version 20190516223509
2019-05-16 21:05:18 UTC - Version 20190516210509
2019-05-16 16:20:20 UTC - Version 20190516162009
2019-05-16 15:20:20 UTC - Version 20190516152008
2019-05-16 14:05:18 UTC - Version 20190516140508
2019-05-16 09:40:22 UTC - Version 20190516094009
2019-05-16 09:10:19 UTC - Version 20190516091008
2019-05-16 08:55:17 UTC - Version 20190516085507
2019-05-16 07:50:18 UTC - Version 20190516075009
2019-05-16 03:20:18 UTC - Version 20190516032008
2019-05-16 03:05:18 UTC - Version 20190516030511
2019-05-16 00:10:14 UTC - Version 20190516001007
2019-05-15 23:20:14 UTC - Version 20190515232004
2019-05-15 21:50:15 UTC - Version 20190515215005
2019-05-15 19:25:17 UTC - Version 20190515192506
2019-05-15 19:05:18 UTC - Version 20190515190511
2019-05-15 03:35:12 UTC - Version 20190515033505
2019-05-14 10:35:17 UTC - Version 20190514103507
2019-05-13 22:50:12 UTC - Version 20190513225006
2019-05-13 20:35:12 UTC - Version 20190513203506
2019-05-13 19:20:11 UTC - Version 20190513192004
2019-05-13 18:05:10 UTC - Version 20190513180504
2019-05-12 20:50:09 UTC - Version 20190512205002
2019-05-12 15:05:11 UTC - Version 20190512150505
2019-05-11 23:35:09 UTC - Version 20190511233504
2019-05-11 22:20:10 UTC - Version 20190511222003
2019-05-11 21:05:10 UTC - Version 20190511210504
2019-05-11 19:50:09 UTC - Version 20190511195004
2019-05-11 19:20:10 UTC - Version 20190511192004
2019-05-11 18:20:09 UTC - Version 20190511182004
2019-05-11 15:20:09 UTC - Version 20190511152004
2019-05-11 12:20:09 UTC - Version 20190511122003
2019-05-11 11:50:09 UTC - Version 20190511115003
2019-05-11 09:35:10 UTC - Version 20190511093504
2019-05-11 03:50:07 UTC - Version 20190511035002
2019-05-10 13:35:08 UTC - Version 20190510133502
2019-05-10 09:50:08 UTC - Version 20190510095003
2019-05-09 22:20:08 UTC - Version 20190509222002
2019-05-09 22:05:10 UTC - Version 20190509220504
2019-05-09 19:35:08 UTC - Version 20190509193503
2019-05-09 17:20:08 UTC - Version 20190509172003
2019-05-09 15:05:08 UTC - Version 20190509150503
2019-05-09 04:00:11 UTC - Version 20190509040005
2019-05-09 00:20:08 UTC - Version 20190509002003
2019-05-08 18:05:07 UTC - Version 20190508180503
2019-05-08 14:20:08 UTC - Version 20190508142003
2019-05-08 10:05:07 UTC - Version 20190508100503
2019-05-08 08:05:09 UTC - Version 20190508080503
2019-05-07 22:30:10 UTC - Version 20190507223004
2019-05-07 19:55:08 UTC - Version 20190507195504
2019-05-07 19:50:08 UTC - Version 20190507195003
2019-05-07 19:35:07 UTC - Version 20190507193502
2019-05-07 12:35:07 UTC - Version 20190507123503
2019-05-07 04:05:09 UTC - Version 20190507040504
2019-05-06 12:05:08 UTC - Version 20190506120503
2019-05-06 01:15:12 UTC - Version 20190506011505
2019-05-06 00:05:09 UTC - Version 20190506000503
2019-05-05 19:30:13 UTC - Version 20190505193004
2019-05-05 17:25:09 UTC - Version 20190505172503
2019-05-04 18:30:12 UTC - Version 20190504183005
2019-05-04 17:20:08 UTC - Version 20190504172002
2019-05-04 09:50:08 UTC - Version 20190504095003
2019-05-04 07:05:08 UTC - Version 20190504070502
2019-05-03 19:40:06 UTC - Version 20190503194000
2019-05-03 19:30:10 UTC - Version 20190503193004
2019-05-02 17:50:09 UTC - Version 20190502175003
2019-05-02 10:40:07 UTC - Version 20190502104000
2019-05-02 09:00:08 UTC - Version 20190502090001
2019-05-02 07:45:07 UTC - Version 20190502074500
2019-05-01 19:35:10 UTC - Version 20190501193503
2019-05-01 13:55:08 UTC - Version 20190501135502
2019-05-01 12:50:09 UTC - Version 20190501125003
2019-05-01 12:45:12 UTC - Version 20190501124504
2019-04-29 05:50:09 UTC - Version 20190429055002
2019-04-29 05:35:09 UTC - Version 20190429053503
2019-04-29 02:20:08 UTC - Version 20190429022003
2019-04-28 23:30:11 UTC - Version 20190428233004
2019-04-28 21:20:09 UTC - Version 20190428212003
2019-04-28 20:05:09 UTC - Version 20190428200503
2019-04-28 18:35:08 UTC - Version 20190428183503
2019-04-28 18:30:07 UTC - Version 20190428183000
2019-04-28 17:20:10 UTC - Version 20190428172003
2019-04-28 05:35:08 UTC - Version 20190428053502
2019-04-28 05:15:12 UTC - Version 20190428051505
2019-04-27 10:35:08 UTC - Version 20190427103503
2019-04-27 05:50:08 UTC - Version 20190427055002
2019-04-27 02:50:08 UTC - Version 20190427025003
2019-04-26 21:20:09 UTC - Version 20190426212003
2019-04-26 19:20:09 UTC - Version 20190426192003
2019-04-26 13:35:09 UTC - Version 20190426133503
2019-04-26 12:25:09 UTC - Version 20190426122503
2019-04-26 11:35:09 UTC - Version 20190426113503
2019-04-26 10:50:08 UTC - Version 20190426105002
2019-04-26 09:35:09 UTC - Version 20190426093504
2019-04-25 10:50:09 UTC - Version 20190425105003
2019-04-25 08:50:09 UTC - Version 20190425085003
2019-04-25 08:35:09 UTC - Version 20190425083503
2019-04-25 08:30:12 UTC - Version 20190425083005
2019-04-25 08:10:08 UTC - Version 20190425081003
2019-04-25 03:05:08 UTC - Version 20190425030502
2019-04-24 16:50:09 UTC - Version 20190424165003
2019-04-24 04:50:08 UTC - Version 20190424045003
2019-04-24 03:50:09 UTC - Version 20190424035003
2019-04-23 21:05:10 UTC - Version 20190423210503
2019-04-23 18:55:09 UTC - Version 20190423185503
2019-04-22 06:05:07 UTC - Version 20190422060502
2019-04-21 23:50:08 UTC - Version 20190421235003
2019-04-21 21:50:07 UTC - Version 20190421215002
2019-04-21 19:05:08 UTC - Version 20190421190502
2019-04-21 18:40:08 UTC - Version 20190421184003
2019-04-21 17:45:10 UTC - Version 20190421174503
2019-04-21 17:25:08 UTC - Version 20190421172503
2019-04-21 16:20:09 UTC - Version 20190421162004
2019-04-21 00:40:09 UTC - Version 20190421004003
2019-04-20 09:05:08 UTC - Version 20190420090502
2019-04-19 21:50:08 UTC - Version 20190419215003
2019-04-19 18:50:08 UTC - Version 20190419185003
2019-04-19 18:35:08 UTC - Version 20190419183502
2019-04-19 13:05:08 UTC - Version 20190419130503
2019-04-19 07:35:08 UTC - Version 20190419073503
2019-04-19 06:05:08 UTC - Version 20190419060503
2019-04-19 05:40:05 UTC - Version 20190419054000
2019-04-18 16:25:06 UTC - Version 20190418162500
2019-04-18 12:35:09 UTC - Version 20190418123502
2019-04-18 11:50:08 UTC - Version 20190418115003
2019-04-18 10:20:08 UTC - Version 20190418102003
2019-04-18 08:25:10 UTC - Version 20190418082504
2019-04-18 07:40:08 UTC - Version 20190418074003
2019-04-18 05:35:11 UTC - Version 20190418053503
2019-04-18 05:15:11 UTC - Version 20190418051505
2019-04-18 04:30:12 UTC - Version 20190418043005
2019-04-18 00:35:08 UTC - Version 20190418003503
2019-04-17 22:10:09 UTC - Version 20190417221003
2019-04-17 21:50:09 UTC - Version 20190417215002
2019-04-17 18:50:08 UTC - Version 20190417185003
2019-04-17 18:05:09 UTC - Version 20190417180503
2019-04-17 13:20:08 UTC - Version 20190417132003
2019-04-17 08:35:09 UTC - Version 20190417083503
2019-04-17 07:55:08 UTC - Version 20190417075502
2019-04-15 20:50:07 UTC - Version 20190415205002
2019-04-15 07:20:08 UTC - Version 20190415072003
2019-04-15 02:20:08 UTC - Version 20190415022002
2019-04-14 23:05:08 UTC - Version 20190414230502
2019-04-14 22:50:08 UTC - Version 20190414225002
2019-04-14 17:45:07 UTC - Version 20190414174501
2019-04-14 07:30:09 UTC - Version 20190414073003
2019-04-14 05:50:07 UTC - Version 20190414055002
2019-04-13 22:05:08 UTC - Version 20190413220503
2019-04-13 09:50:08 UTC - Version 20190413095003
2019-04-12 17:20:08 UTC - Version 20190412172003
2019-04-12 16:15:10 UTC - Version 20190412161504
2019-04-12 13:50:08 UTC - Version 20190412135003
2019-04-12 04:50:08 UTC - Version 20190412045003
2019-04-12 04:35:07 UTC - Version 20190412043502
2019-04-11 22:05:09 UTC - Version 20190411220502
2019-04-11 18:35:15 UTC - Version 20190411183510
2019-04-11 18:35:10 UTC - Version 20190411183503
2019-04-07 17:45:13 UTC - Version 20190407174507
2019-04-07 17:45:07 UTC - Version 20190407174500
2019-04-04 15:35:08 UTC - Version 20190404153503
2019-04-04 15:05:08 UTC - Version 20190404150502
2019-04-04 14:35:08 UTC - Version 20190404143502
2019-04-04 02:35:07 UTC - Version 20190404023502
2019-04-04 02:05:09 UTC - Version 20190404020503
2019-04-03 17:20:08 UTC - Version 20190403172002
2019-04-03 11:05:08 UTC - Version 20190403110503
2019-04-03 08:20:08 UTC - Version 20190403082003
2019-04-03 06:40:09 UTC - Version 20190403064004
2019-04-03 06:20:09 UTC - Version 20190403062003
2019-04-03 05:45:11 UTC - Version 20190403054504
2019-04-01 01:35:08 UTC - Version 20190401013503
2019-04-01 00:05:10 UTC - Version 20190401000503
2019-03-31 23:40:09 UTC - Version 20190331234003
2019-03-31 21:35:07 UTC - Version 20190331213502
2019-03-31 13:05:07 UTC - Version 20190331130502
2019-03-31 12:30:10 UTC - Version 20190331123004
2019-03-31 10:20:07 UTC - Version 20190331102002
2019-03-31 09:15:11 UTC - Version 20190331091505
2019-03-31 09:10:09 UTC - Version 20190331091004
2019-03-31 08:35:07 UTC - Version 20190331083502
2019-03-31 08:25:08 UTC - Version 20190331082503
2019-03-31 08:10:08 UTC - Version 20190331081003
2019-03-31 08:00:11 UTC - Version 20190331080005
2019-03-31 07:25:08 UTC - Version 20190331072503
2019-03-31 05:50:08 UTC - Version 20190331055003
2019-03-31 01:50:07 UTC - Version 20190331015002
2019-03-31 01:05:08 UTC - Version 20190331010502
2019-03-31 00:40:07 UTC - Version 20190331004002
2019-03-30 23:40:08 UTC - Version 20190330234003
2019-03-30 23:35:08 UTC - Version 20190330233502
2019-03-30 23:30:10 UTC - Version 20190330233003
2019-03-30 23:00:11 UTC - Version 20190330230004
2019-03-30 22:20:08 UTC - Version 20190330222003
2019-03-30 22:10:08 UTC - Version 20190330221002
2019-03-30 17:35:07 UTC - Version 20190330173502
2019-03-30 10:05:08 UTC - Version 20190330100503
2019-03-30 05:05:08 UTC - Version 20190330050503
2019-03-30 02:40:09 UTC - Version 20190330024003
2019-03-29 16:55:07 UTC - Version 20190329165502
2019-03-29 13:40:14 UTC - Version 20190329134009
2019-03-29 13:40:09 UTC - Version 20190329134003
2019-03-29 03:20:08 UTC - Version 20190329032002
2019-03-28 22:50:08 UTC - Version 20190328225003
2019-03-28 21:05:08 UTC - Version 20190328210503
2019-03-28 18:20:08 UTC - Version 20190328182003
2019-03-28 18:15:10 UTC - Version 20190328181504
2019-03-28 17:30:10 UTC - Version 20190328173004
2019-03-28 17:20:09 UTC - Version 20190328172003
2019-03-28 16:05:07 UTC - Version 20190328160502
2019-03-28 14:50:08 UTC - Version 20190328145003
2019-03-28 13:35:08 UTC - Version 20190328133503
2019-03-28 10:20:08 UTC - Version 20190328102003
2019-03-28 05:05:08 UTC - Version 20190328050503
2019-03-28 04:50:09 UTC - Version 20190328045003
2019-03-28 01:30:09 UTC - Version 20190328013003
2019-03-28 00:20:08 UTC - Version 20190328002003
2019-03-27 19:05:07 UTC - Version 20190327190503
2019-03-27 18:10:05 UTC - Version 20190327181000
2019-03-26 08:50:07 UTC - Version 20190326085002
2019-03-26 07:20:08 UTC - Version 20190326072002
2019-03-26 05:05:08 UTC - Version 20190326050503
2019-03-26 00:30:09 UTC - Version 20190326003003
2019-03-25 05:20:07 UTC - Version 20190325052002
2019-03-25 00:35:07 UTC - Version 20190325003502
2019-03-24 22:35:07 UTC - Version 20190324223502
2019-03-24 09:40:06 UTC - Version 20190324094001
2019-03-24 08:20:07 UTC - Version 20190324082002
2019-03-24 05:25:05 UTC - Version 20190324052500
2019-03-23 01:35:07 UTC - Version 20190323013502
2019-03-23 01:05:07 UTC - Version 20190323010502
2019-03-22 22:50:07 UTC - Version 20190322225002
2019-03-22 16:20:07 UTC - Version 20190322162002
2019-03-22 10:50:07 UTC - Version 20190322105002
2019-03-22 05:15:15 UTC - Version 20190322051509
2019-03-22 05:15:09 UTC - Version 20190322051504
2019-03-21 04:40:05 UTC - Version 20190321044000
2019-03-21 02:35:08 UTC - Version 20190321023503
2019-03-21 01:40:05 UTC - Version 20190321014000
2019-03-21 01:10:05 UTC - Version 20190321011000
2019-03-20 20:15:07 UTC - Version 20190320201500
2019-03-20 13:55:05 UTC - Version 20190320135500
2019-03-20 04:55:05 UTC - Version 20190320045500
2019-03-19 19:30:18 UTC - Version 20190319193012
2019-03-19 19:30:06 UTC - Version 20190319193000
2019-03-19 12:54:57 UTC - Project guicho271828/cl-sat.glucose was added

ltralisp.org^{includes one thousand one hundred ninety-seven projects}

A fast-moving Common Lisp software distribution.

guicho271828 /cl-sat.glucose

CL-SAT instance to Glucose state-of-the-art SAT solver. This downloads the later 2014 version (2nd in the 2014 SAT competition).