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-04-24 19:16:06 UTC - Planned check
• 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