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-08-18 04:01:15 UTC - Planned check
2019-08-17 22:05:15 UTC - Version 20190817220504
2019-08-17 13:35:15 UTC - Version 20190817133504
2019-08-17 04:35:15 UTC - Version 20190817043505
2019-08-16 17:50:16 UTC - Version 20190816175005
2019-08-16 17:30:16 UTC - Version 20190816173006
2019-08-16 13:05:14 UTC - Version 20190816130503
2019-08-16 05:55:14 UTC - Version 20190816055504
2019-08-16 05:45:18 UTC - Version 20190816054508
2019-08-15 20:20:15 UTC - Version 20190815202004
2019-08-15 19:55:14 UTC - Version 20190815195504
2019-08-15 19:45:17 UTC - Version 20190815194506
2019-08-15 19:35:15 UTC - Version 20190815193505
2019-08-15 11:50:14 UTC - Version 20190815115003
2019-08-15 04:20:13 UTC - Version 20190815042004
2019-08-13 13:35:13 UTC - Version 20190813133504
2019-08-12 08:00:16 UTC - Version 20190812080006
2019-08-12 06:50:13 UTC - Version 20190812065004
2019-08-12 04:35:12 UTC - Version 20190812043503
2019-08-11 22:15:15 UTC - Version 20190811221504
2019-08-11 14:00:15 UTC - Version 20190811140005
2019-08-11 13:50:13 UTC - Version 20190811135004
2019-08-11 06:35:14 UTC - Version 20190811063504
2019-08-11 04:50:13 UTC - Version 20190811045003
2019-08-11 04:35:14 UTC - Version 20190811043503
2019-08-10 21:45:16 UTC - Version 20190810214506
2019-08-10 05:05:13 UTC - Version 20190810050503
2019-08-10 04:35:14 UTC - Version 20190810043504
2019-08-10 04:31:28 UTC - Project guicho271828/cl-sat.glucose was updated

commit
b52ba7b… -> ba7a991…
2019-08-10 00:50:14 UTC - Version 20190810005004
2019-08-09 11:05:14 UTC - Version 20190809110504
2019-08-08 23:05:13 UTC - Version 20190808230504
2019-08-08 12:05:12 UTC - Version 20190808120502
2019-08-08 11:20:14 UTC - Version 20190808112003
2019-08-08 01:05:13 UTC - Version 20190808010504
2019-08-07 15:15:14 UTC - Version 20190807151505
2019-08-07 14:40:12 UTC - Version 20190807144004
2019-08-07 14:35:13 UTC - Version 20190807143503
2019-08-07 14:15:17 UTC - Version 20190807141506
2019-08-07 01:20:14 UTC - Version 20190807012004
2019-08-06 03:50:13 UTC - Version 20190806035002
2019-08-06 01:20:13 UTC - Version 20190806012003
2019-08-05 22:20:13 UTC - Version 20190805222003
2019-08-05 20:50:12 UTC - Version 20190805205002
2019-08-05 10:35:13 UTC - Version 20190805103502
2019-08-05 01:35:13 UTC - Version 20190805013502
2019-08-04 22:00:17 UTC - Version 20190804220006
2019-08-04 19:50:16 UTC - Version 20190804195004
2019-08-04 17:05:14 UTC - Version 20190804170504
2019-08-04 16:35:14 UTC - Version 20190804163503
2019-08-04 02:10:14 UTC - Version 20190804021003
2019-08-03 21:30:15 UTC - Version 20190803213005
2019-08-03 20:45:16 UTC - Version 20190803204506
2019-08-03 13:50:13 UTC - Version 20190803135003
2019-08-03 04:50:12 UTC - Version 20190803045002
2019-08-03 01:35:12 UTC - Version 20190803013503
2019-08-03 00:00:15 UTC - Version 20190803000007
2019-08-02 15:40:12 UTC - Version 20190802154003
2019-08-02 04:35:12 UTC - Version 20190802043502
2019-08-02 04:05:12 UTC - Version 20190802040503
2019-08-02 01:50:11 UTC - Version 20190802015002
2019-08-01 03:50:11 UTC - Version 20190801035002
2019-08-01 03:30:14 UTC - Version 20190801033005
2019-07-31 23:20:12 UTC - Version 20190731232003
2019-07-31 22:25:11 UTC - Version 20190731222502
2019-07-31 14:55:12 UTC - Version 20190731145503
2019-07-31 06:35:12 UTC - Version 20190731063503
2019-07-31 06:10:12 UTC - Version 20190731061003
2019-07-31 05:30:14 UTC - Version 20190731053005
2019-07-31 05:20:12 UTC - Version 20190731052003
2019-07-31 04:55:13 UTC - Version 20190731045504
2019-07-31 04:20:12 UTC - Version 20190731042004
2019-07-31 02:05:11 UTC - Version 20190731020502
2019-07-31 00:50:11 UTC - Version 20190731005003
2019-07-30 23:35:11 UTC - Version 20190730233503
2019-07-30 11:50:13 UTC - Version 20190730115003
2019-07-29 20:35:13 UTC - Version 20190729203503
2019-07-28 12:05:11 UTC - Version 20190728120502
2019-07-28 10:00:14 UTC - Version 20190728100005
2019-07-27 21:15:14 UTC - Version 20190727211505
2019-07-27 20:45:14 UTC - Version 20190727204505
2019-07-27 20:39:44 UTC - Project guicho271828/cl-sat.glucose was updated

commit
4f56cb5… -> b52ba7b…
2019-07-27 04:35:11 UTC - Version 20190727043503
2019-07-27 01:05:12 UTC - Version 20190727010504
2019-07-26 20:20:11 UTC - Version 20190726202003
2019-07-26 01:20:11 UTC - Version 20190726012002
2019-07-25 20:35:13 UTC - Version 20190725203504
2019-07-25 15:40:21 UTC - Version 20190725154012
2019-07-25 15:40:12 UTC - Version 20190725154004
2019-07-25 04:50:12 UTC - Version 20190725045004
2019-07-25 03:50:12 UTC - Version 20190725035003
2019-07-24 20:50:11 UTC - Version 20190724205002
2019-07-24 12:20:13 UTC - Version 20190724122003
2019-07-24 03:40:09 UTC - Version 20190724034001
2019-07-23 18:20:12 UTC - Version 20190723182003
2019-07-23 17:05:12 UTC - Version 20190723170503
2019-07-23 09:35:12 UTC - Version 20190723093503
2019-07-21 21:25:12 UTC - Version 20190721212503
2019-07-21 19:25:11 UTC - Version 20190721192502
2019-07-21 10:10:12 UTC - Version 20190721101004
2019-07-21 05:05:11 UTC - Version 20190721050502
2019-07-21 04:35:12 UTC - Version 20190721043503
2019-07-20 20:50:21 UTC - Version 20190720205012
2019-07-20 20:50:12 UTC - Version 20190720205003
2019-07-20 19:30:14 UTC - Version 20190720193005
2019-07-20 12:35:12 UTC - Version 20190720123504
2019-07-18 20:25:11 UTC - Version 20190718202503
2019-07-18 20:20:11 UTC - Version 20190718202003
2019-07-18 13:05:11 UTC - Version 20190718130503
2019-07-18 10:50:12 UTC - Version 20190718105003
2019-07-18 06:15:17 UTC - Version 20190718061508
2019-07-18 04:35:11 UTC - Version 20190718043502
2019-07-18 02:25:11 UTC - Version 20190718022502
2019-07-18 02:00:13 UTC - Version 20190718020004
2019-07-18 01:55:12 UTC - Version 20190718015503
2019-07-18 01:35:12 UTC - Version 20190718013503
2019-07-18 01:20:11 UTC - Version 20190718012002
2019-07-18 00:15:13 UTC - Version 20190718001504
2019-07-18 00:10:11 UTC - Version 20190718001003
2019-07-17 21:40:11 UTC - Version 20190717214003
2019-07-17 19:35:11 UTC - Version 20190717193502
2019-07-17 04:05:12 UTC - Version 20190717040503
2019-07-17 01:50:11 UTC - Version 20190717015003
2019-07-16 02:05:10 UTC - Version 20190716020502
2019-07-15 12:05:12 UTC - Version 20190715120503
2019-07-15 11:50:10 UTC - Version 20190715115002
2019-07-15 00:00:14 UTC - Version 20190715000006
2019-07-14 23:25:11 UTC - Version 20190714232503
2019-07-14 23:15:12 UTC - Version 20190714231504
2019-07-14 21:35:11 UTC - Version 20190714213502
2019-07-14 21:15:13 UTC - Version 20190714211505
2019-07-14 21:00:15 UTC - Version 20190714210005
2019-07-14 18:25:11 UTC - Version 20190714182503
2019-07-14 10:45:12 UTC - Version 20190714104504
2019-07-14 08:50:12 UTC - Version 20190714085002
2019-07-13 20:40:15 UTC - Version 20190713204006
2019-07-13 18:50:12 UTC - Version 20190713185004
2019-07-08 13:50:49 UTC - Version 20190708135037
2019-07-08 07:05:35 UTC - Version 20190708070522
2019-07-07 21:20:18 UTC - Version 20190707212008
2019-07-07 19:10:34 UTC - Version 20190707191024
2019-07-07 17:50:31 UTC - Version 20190707175012
2019-07-07 17:40:19 UTC - Version 20190707174011
2019-07-07 17:35:24 UTC - Version 20190707173514
2019-07-07 15:40:20 UTC - Version 20190707154010
2019-07-07 15:20:14 UTC - Version 20190707152006
2019-07-06 11:05:11 UTC - Version 20190706110503
2019-07-06 07:35:11 UTC - Version 20190706073503
2019-07-06 01:50:10 UTC - Version 20190706015002
2019-07-05 16:20:11 UTC - Version 20190705162003
2019-07-05 15:35:11 UTC - Version 20190705153503
2019-07-05 02:05:11 UTC - Version 20190705020503
2019-07-05 00:20:11 UTC - Version 20190705002002
2019-07-04 22:35:12 UTC - Version 20190704223503
2019-07-04 04:05:12 UTC - Version 20190704040503
2019-07-04 01:50:11 UTC - Version 20190704015002
2019-07-03 23:35:11 UTC - Version 20190703233503
2019-07-03 12:50:11 UTC - Version 20190703125003
2019-07-03 11:50:10 UTC - Version 20190703115003
2019-07-03 10:50:11 UTC - Version 20190703105004
2019-07-03 08:35:11 UTC - Version 20190703083502
2019-07-03 06:20:10 UTC - Version 20190703062002
2019-07-03 00:05:11 UTC - Version 20190703000503
2019-07-02 22:50:11 UTC - Version 20190702225003
2019-07-02 10:20:13 UTC - Version 20190702102004
2019-07-02 00:05:10 UTC - Version 20190702000503
2019-07-01 10:05:10 UTC - Version 20190701100502
2019-07-01 09:50:11 UTC - Version 20190701095003
2019-07-01 09:20:14 UTC - Version 20190701092006
2019-07-01 08:50:11 UTC - Version 20190701085002
2019-07-01 08:35:13 UTC - Version 20190701083504
2019-07-01 08:20:11 UTC - Version 20190701082003
2019-06-30 21:35:11 UTC - Version 20190630213503
2019-06-30 20:50:10 UTC - Version 20190630205003
2019-06-30 20:40:10 UTC - Version 20190630204002
2019-06-30 20:05:10 UTC - Version 20190630200502
2019-06-30 19:50:10 UTC - Version 20190630195002
2019-06-30 13:35:11 UTC - Version 20190630133503
2019-06-30 02:35:12 UTC - Version 20190630023505
2019-06-29 22:55:17 UTC - Version 20190629225509
2019-06-29 22:55:09 UTC - Version 20190629225500
2019-06-29 12:05:09 UTC - Version 20190629120502
2019-06-29 04:20:10 UTC - Version 20190629042004
2019-06-29 02:20:10 UTC - Version 20190629022004
2019-06-29 00:20:09 UTC - Version 20190629002002
2019-06-28 23:20:09 UTC - Version 20190628232003
2019-06-28 22:50:10 UTC - Version 20190628225003
2019-06-28 17:35:10 UTC - Version 20190628173502
2019-06-28 17:20:11 UTC - Version 20190628172003
2019-06-28 16:50:10 UTC - Version 20190628165003
2019-06-28 16:05:08 UTC - Version 20190628160502
2019-06-28 15:50:10 UTC - Version 20190628155003
2019-06-28 15:20:09 UTC - Version 20190628152003
2019-06-28 13:20:09 UTC - Version 20190628132002
2019-06-28 12:05:09 UTC - Version 20190628120503
2019-06-28 10:35:09 UTC - Version 20190628103503
2019-06-28 09:35:11 UTC - Version 20190628093505
2019-06-28 08:35:09 UTC - Version 20190628083502
2019-06-28 05:50:09 UTC - Version 20190628055003
2019-06-28 05:20:12 UTC - Version 20190628052003
2019-06-28 05:05:09 UTC - Version 20190628050503
2019-06-28 02:20:09 UTC - Version 20190628022003
2019-06-28 00:35:13 UTC - Version 20190628003506
2019-06-27 23:50:08 UTC - Version 20190627235002
2019-06-27 22:50:08 UTC - Version 20190627225003
2019-06-27 22:35:10 UTC - Version 20190627223504
2019-06-27 21:35:10 UTC - Version 20190627213504
2019-06-27 21:20:08 UTC - Version 20190627212002
2019-06-27 20:05:09 UTC - Version 20190627200502
2019-06-27 19:50:09 UTC - Version 20190627195003
2019-06-27 17:50:10 UTC - Version 20190627175003
2019-06-27 17:35:09 UTC - Version 20190627173503
2019-06-27 16:35:08 UTC - Version 20190627163502
2019-06-27 16:20:09 UTC - Version 20190627162003
2019-06-27 15:50:10 UTC - Version 20190627155004
2019-06-27 15:05:09 UTC - Version 20190627150503
2019-06-27 14:50:09 UTC - Version 20190627145003
2019-06-27 12:50:09 UTC - Version 20190627125003
2019-06-27 11:50:09 UTC - Version 20190627115003
2019-06-27 11:05:09 UTC - Version 20190627110503
2019-06-27 10:55:09 UTC - Version 20190627105503
2019-06-27 10:40:08 UTC - Version 20190627104002
2019-06-27 10:25:10 UTC - Version 20190627102503
2019-06-27 10:05:09 UTC - Version 20190627100503
2019-06-27 09:40:09 UTC - Version 20190627094003
2019-06-27 09:20:09 UTC - Version 20190627092004
2019-06-27 09:05:14 UTC - Version 20190627090507
2019-06-27 01:20:08 UTC - Version 20190627012002
2019-06-27 00:35:08 UTC - Version 20190627003502
2019-06-26 23:20:09 UTC - Version 20190626232003
2019-06-26 23:05:08 UTC - Version 20190626230503
2019-06-26 22:50:10 UTC - Version 20190626225004
2019-06-26 20:55:09 UTC - Version 20190626205503
2019-06-26 16:50:11 UTC - Version 20190626165004
2019-06-26 14:35:09 UTC - Version 20190626143503
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-six 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).