This page displays general informations on each benchmark in category "all categories"
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| additional-aig/ c32sat-ssort/ssort10.aig |
ALL | 2cec8b9806a5142be48cf658503bc195 | |||||||||||||
| additional-aig/ c32sat-ssort/ssort11.aig |
ALL | 5a5d62cb985d79c59d2e3a9fe3af9d0d | |||||||||||||
| additional-aig/ c32sat-ssort/ssort12.aig |
ALL | 32045151977b1da23a9dff43ccef8cdc | |||||||||||||
| additional-aig/ c32sat-ssort/ssort13.aig |
ALL | 7684567a63516ef4f46432e9ffcef186 | |||||||||||||
| additional-aig/ c32sat-ssort/ssort14.aig |
ALL | d2412ea9d28976e1cf550bea319e52c2 | |||||||||||||
| additional-aig/ c32sat-ssort/ssort15.aig |
ALL | 7f09ca66b15844febfe7da07c6e8b6e6 | |||||||||||||
| additional-aig/ c32sat-ssort/ssort16.aig |
ALL | c033f8b2c853bbc488fc4365b40b3a5b | |||||||||||||
| additional-aig/ c32sat-ssort/ssort17.aig |
ALL | 0e54d226e40106e511dbdc5aac7ffacf | |||||||||||||
| additional-aig/ c32sat-ssort/ssort18.aig |
ALL | bd912f91b44c2b999ec5abf1690cca81 | |||||||||||||
| additional-aig/ c32sat-ssort/ssort19.aig |
ALL | 854ae1d9913c7bc69bb685eed6d7972c | |||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ c32sat-ssort/ssort20.aig |
ALL | c900f4d1b5856a0d42bcae37cd0da609 | |||||||||||||
| additional-aig/ c32sat-ssort/ssort5.aig |
UNSAT | ALL | 46bea6883dacbc85c565a275f9e8c19c | ||||||||||||
| additional-aig/ c32sat-ssort/ssort6.aig |
UNSAT | ALL | d636d4d699211b4d57fcc19b7d47bfc0 | ||||||||||||
| additional-aig/ c32sat-ssort/ssort7.aig |
UNSAT | ALL | fc017cfbf372f7cbd2c62035d6364f96 | ||||||||||||
| additional-aig/ c32sat-ssort/ssort8.aig |
UNSAT | ALL | 19e9b0d7e2551b918bfbc18d6c3d1c12 | ||||||||||||
| additional-aig/ c32sat-ssort/ssort9.aig |
ALL | 22653c5483eabc0b70955c5801afe5f5 | |||||||||||||
| additional-aig/ibm/ ibm18_len28_unsat.aig |
UNSAT | ALL | a4313280dbc2cee4790c786c0a437f46 | ||||||||||||
| additional-aig/ibm/ ibm18_len29_sat.aig |
SAT | ALL | 2bb9e6befce7e8214c203b317cf7265e | ||||||||||||
| additional-aig/ibm/ ibm20_len43_unsat.aig |
UNSAT | ALL | 8cc2e1bed02bc4de6d09fe1713983ce2 | ||||||||||||
| additional-aig/ibm/ ibm20_len44_sat.aig |
SAT | ALL | 29697a78954f3165922a83c0d9cb5fa2 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ibm/ ibm22_len51_unsat.aig |
UNSAT | ALL | bd135214bb6d18916011c693451e6ac8 | ||||||||||||
| additional-aig/ibm/ ibm22_len52_sat.aig |
SAT | ALL | cd79a057761f6dcd6ac7aa0a29d79f43 | ||||||||||||
| additional-aig/ibm/ ibm23_len35_unsat.aig |
UNSAT | ALL | e80288c0d6f0dc66489f52c4011818d3 | ||||||||||||
| additional-aig/ibm/ ibm23_len36_sat.aig |
SAT | ALL | 625c2b5530076f14ead382d43857e730 | ||||||||||||
| additional-aig/ibm/ ibm29_len25_unsat.aig |
UNSAT | ALL | 33a4f47891e4a61dc258c2608ef76ed2 | ||||||||||||
| additional-aig/ibm/ ibm29_len26_sat.aig |
SAT | ALL | 99b61eef15ce0a69ac264516f1c7da87 | ||||||||||||
| additional-aig/minisat+/ air03.sat_nonopt.aig |
SAT | ALL | 492c58ee024a8509f8710eedc29a1dcb | ||||||||||||
| additional-aig/minisat+/ air03.undecided.aig |
SAT | ALL | 8f1342296b13f779698d31a640b1df1e | ||||||||||||
| additional-aig/ minisat+/ cache.noobj_unsat.aig |
UNSAT | ALL | 111b8cc460282cda029079023df77c9a | ||||||||||||
| additional-aig/minisat+/ enigma.sat_opt.aig |
SAT | ALL | b0a73a0696f94829293e6ba0d5cb35e1 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/minisat+/ enigma.unsat.aig |
SAT | ALL | b0a73a0696f94829293e6ba0d5cb35e1 | ||||||||||||
| additional-aig/ minisat+/ g15x15.sat_nonopt.aig |
SAT | ALL | 96bf42efa0360b24d6ef29dc8456f0bd | ||||||||||||
| additional-aig/minisat+/ g15x15.undecided.aig |
UNSAT | ALL | a78e5e1e2e9ac1c5997c59b5895bea3b | ||||||||||||
| additional-aig/minisat+/ g9x9.sat_opt.aig |
SAT | ALL | 63a051d19927a4d7756b507c02d486e0 | ||||||||||||
| additional-aig/minisat+/ g9x9.unsat.aig |
UNSAT | ALL | 1be47a0fd6d19f02a5fd27a23826d8d7 | ||||||||||||
| additional-aig/minisat+/ ii8d1.sat_nonopt.aig |
SAT | ALL | dfd584b2447c82fa9e9604134fc7853f | ||||||||||||
| additional-aig/minisat+/ ii8d1.undecided.aig |
ALL | fa51ee778d03f159265b4efe7e2c759a | |||||||||||||
| additional-aig/minisat+/ jnh209.sat_opt.aig |
SAT | ALL | 26e4f20cd7594f7f05df6536bcfa9035 | ||||||||||||
| additional-aig/minisat+/ jnh209.unsat.aig |
UNSAT | ALL | 9b9c053be2ea3e1d235780cc3b6c9b71 | ||||||||||||
| additional-aig/minisat+/ l152lav.sat_opt.aig |
SAT | ALL | 2a8be506100beee3474db63c0dde4edd | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/minisat+/ l152lav.unsat.aig |
SAT | ALL | 2a8be506100beee3474db63c0dde4edd | ||||||||||||
| additional-aig/minisat+/ lseu.sat_opt.aig |
SAT | ALL | e3704fc365af044332966a55c9b8dd3c | ||||||||||||
| additional-aig/minisat+/ lseu.unsat.aig |
UNSAT | ALL | 7efdde1afe59ed9135cb74926783d9c3 | ||||||||||||
| additional-aig/minisat+/ mitre.sat_unopt.aig |
ALL | f2a66c6a84f242bb7a2dd1642bad0d14 | |||||||||||||
| additional-aig/minisat+/ mitre.undecided.aig |
ALL | d0c2fb39c69179e593085dc79a1ff534 | |||||||||||||
| additional-aig/minisat+/ mod008.sat_opt.aig |
SAT | ALL | 39f8ce06ce2d16de89bf225f9747c801 | ||||||||||||
| additional-aig/minisat+/ mod008.unsat.aig |
SAT | ALL | a1a2c38de84266729a6e19668f177147 | ||||||||||||
| additional-aig/ minisat+/ ooo_tag14.noobj_unsat.aig |
UNSAT | ALL | 2a40a02abec3e8a6652262c051a77e3d | ||||||||||||
| additional-aig/minisat+/ p0201.sat_opt.aig |
SAT | ALL | e1ed18155e4327298805ad8ff3fa42bd | ||||||||||||
| additional-aig/minisat+/ p0201.unsat.aig |
UNSAT | ALL | 4d2fa281dab5e4c9c9f224cdb827539d | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/minisat+/ p033.sat_opt.aig |
SAT | ALL | e0dd80e57a9f65d1e70ed31f4fff557d | ||||||||||||
| additional-aig/minisat+/ p033.unsat.aig |
UNSAT | ALL | 9e5f8579fef4d2b01d94b920716ccc1c | ||||||||||||
| additional-aig/minisat+/ p0548.sat_nonopt.aig |
ALL | 2010ebeb1abf6f273eb3bec0ffab4c99 | |||||||||||||
| additional-aig/minisat+/ p0548.undecided.aig |
ALL | f6f7e1d8eb6d427144127ef85fb28c77 | |||||||||||||
| additional-aig/minisat+/ par8-5-c.sat_opt.aig |
SAT | ALL | 84d5cd8f867717358b04e9a2d66d43bb | ||||||||||||
| additional-aig/minisat+/ par8-5-c.unsat.aig |
UNSAT | ALL | 0954ab3d4521114df08f0b655ceb314f | ||||||||||||
| additional-aig/minisat+/ pk1.sat_opt.aig |
SAT | ALL | 375cd479c3b0b1ba399c64d6a9045b33 | ||||||||||||
| additional-aig/ minisat+/pk1.usnat.aig |
SAT | ALL | 375cd479c3b0b1ba399c64d6a9045b33 | ||||||||||||
| additional-aig/minisat+/ s4-4-3-1.sat_opt.aig |
SAT | ALL | 2829e68434618196a950b183688f9cf2 | ||||||||||||
| additional-aig/minisat+/ s4-4-3-1.unsat.aig |
UNSAT | ALL | b4435669b8aecb90899682b25aff9238 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ minisat+/ seymour.sat_nonopt.aig |
SAT | ALL | cf189fc578337252beae274150c1dbe8 | ||||||||||||
| additional-aig/ minisat+/ seymour.undecided.aig |
ALL | 448849979c78216ae57a00148025ba33 | |||||||||||||
| additional-aig/minisat+/ stein27.sat_opt.aig |
SAT | ALL | 249579b8fb624c9d3faf72db6d13ac09 | ||||||||||||
| additional-aig/minisat+/ stein27.unsat.aig |
UNSAT | ALL | 5e9c628a7db7a5f1925e06ff6fa16711 | ||||||||||||
| additional-aig/minisat+/ stein45.sat_opt.aig |
SAT | ALL | 7ffe1b44637def179fc494c59046ae53 | ||||||||||||
| additional-aig/minisat+/ stein45.unsat.aig |
UNSAT | ALL | 61978da547b05bea65e75fa603b99230 | ||||||||||||
| additional-aig/ pico-java/ prop02_len65_base.aig |
UNSAT | ALL | fe186e7f946d8298d43248e7b1c8cb19 | ||||||||||||
| additional-aig/ pico-java/ prop02_len66_step.aig |
UNSAT | ALL | 6968c7137f0674678bc86dca099f1103 | ||||||||||||
| additional-aig/ pico-java/ prop05_len40_base.aig |
UNSAT | ALL | 3d0dfbcb017aab59c66282f069c39730 | ||||||||||||
| additional-aig/ pico-java/ prop05_len41_step.aig |
UNSAT | ALL | e8abd3151fa882241d512de359b0ce36 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ pico-java/ prop06_len40_base.aig |
UNSAT | ALL | dd67fee8e8250a104f248ed061c9a563 | ||||||||||||
| additional-aig/ pico-java/ prop06_len41_step.aig |
UNSAT | ALL | 7ac4807797b684b58ed1ebf9eb586ac1 | ||||||||||||
| additional-aig/ pico-java/ prop08_len17_base.aig |
UNSAT | ALL | cec600437187813df072813e05a1dcbe | ||||||||||||
| additional-aig/ pico-java/ prop08_len18_step.aig |
UNSAT | ALL | e21b9034ac9a06fee6d6ee2aa1fcdf83 | ||||||||||||
| additional-aig/ pico-java/ prop16_len17_base.aig |
SAT | ALL | 91cad9bec0c01a097808d95a2353fd8c | ||||||||||||
| additional-aig/ pico-java/ prop16_len18_step.aig |
UNSAT | ALL | ae8f56a2d11b88410926c8990c6fcc16 | ||||||||||||
| additional-aig/ pico-java/ prop18_len08_base.aig |
UNSAT | ALL | 8a0f3db9c247eca173d93ff3016f1f11 | ||||||||||||
| additional-aig/ pico-java/ prop18_len09_step.aig |
UNSAT | ALL | 7c8535f0d5a90a028f05af06e469a567 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/cmu.periodic.N.aig |
UNSAT | ALL | a0dbff0d45556a99b41543fec9c5d409 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S298.S.aig |
UNSAT | ALL | 7863fab10b06b2751f1e0be86bcecb0c | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S510.S.aig |
UNSAT | ALL | c2c7830b9dccd459bb8a3cc1a99ac9de | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S820.S.aig |
UNSAT | ALL | 625bf8acca89bc7e1588561186b8361c | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S832.S.aig |
UNSAT | ALL | 52ae8420bb1862a4e480a1862447ecad | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O1/eijk.S953.S.aig |
UNSAT | ALL | c2a0b904ced171e699a2ed8a40675cee | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O1/ken.oop^1.C.aig |
UNSAT | ALL | c049458e430d6f0239d6b10b612ce234 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ nusmv.guidance^1.C.aig |
UNSAT | ALL | dd001f4e40390dda5219b05e8025aacd | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ nusmv.guidance^7.C.aig |
UNSAT | ALL | 12c1fe0f9985c4a1662f699a8543e92b | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/nusmv.tcas^2.B.aig |
UNSAT | ALL | 074ad36dd0284a3626877bae8e391c92 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/nusmv.tcas^3.B.aig |
UNSAT | ALL | 279d69b0306587a868543e31e26ade5c | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ texas.parsesys^2.E.aig |
UNSAT | ALL | de1a1a3085a67b4400ecfedd0e25c64c | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^12.E.aig |
UNSAT | ALL | bf145063b93517b6503e0555eb496eb8 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^13.E.aig |
UNSAT | ALL | ab4a414a2a7e147b03ead9a668bae300 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^14.E.aig |
UNSAT | ALL | d172f1b411b4e1774713fa276f20d1bd | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^15.E.aig |
UNSAT | ALL | 97df76c677fc52b691b9328a9dcf73ed | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^16.E.aig |
UNSAT | ALL | 1d330d0cf91f28453f27cabf8aef6ac6 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^17.E.aig |
UNSAT | ALL | 6d323af344ca9e6d1edfe837ad43c248 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^18.E.aig |
UNSAT | ALL | f4b8beb7e2af444f70920fe9cb9e1a21 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^19.E.aig |
UNSAT | ALL | edfe28a0475483ab79aa8f10304a7809 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O1/ vis.prodcell^24.E.aig |
UNSAT | ALL | aedb77ee0b1d004d55d4b60dddb8c689 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/cmu.periodic.N.aig |
UNSAT | ALL | a0dbff0d45556a99b41543fec9c5d409 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S298.S.aig |
UNSAT | ALL | fb4a5f063ff5f50bf87f22ad655c63ff | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S510.S.aig |
UNSAT | ALL | b29a7ec26bf4710057511dd7b958f454 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S820.S.aig |
UNSAT | ALL | 056dce10187cd59b8dc7eb68dda247bf | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S832.S.aig |
UNSAT | ALL | 25af7467b2dca7fdadbc2b02b5d7565d | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O2/eijk.S953.S.aig |
UNSAT | ALL | a0cf7db9af92e5ee83f5e70805878f8b | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O2/ken.oop^1.C.aig |
UNSAT | ALL | 43d4b96384906f914f431f47642e8a4d | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ nusmv.guidance^1.C.aig |
UNSAT | ALL | 4332619d92750291e03dd269427d12ad | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ nusmv.guidance^7.C.aig |
UNSAT | ALL | 8ebedcdf1a8f6c3200c9370d57fabdbe | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/nusmv.tcas^2.B.aig |
UNSAT | ALL | b443680cf725d18f03ac3c0984429466 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/nusmv.tcas^3.B.aig |
UNSAT | ALL | 2e3d760e89b61123bcde2cfedcb95f35 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ texas.parsesys^2.E.aig |
UNSAT | ALL | 423344f6dd8ca7227b6ce7c4a14dc403 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^12.E.aig |
UNSAT | ALL | 3ac41647bf6fc1915b1b78fae02e79fc | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^13.E.aig |
UNSAT | ALL | f6f6cf63a9997e457643857cdae11970 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^14.E.aig |
UNSAT | ALL | da5a2267ec7cd514352b70c38b725e6b | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^15.E.aig |
UNSAT | ALL | 93f6aa50831a4c4f1b96924b52a551a0 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^16.E.aig |
UNSAT | ALL | 2dfb29f5031d474d9c064c31c327c12b | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^17.E.aig |
UNSAT | ALL | b6d74cd5e43e1210dbc88940f4df1630 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^18.E.aig |
UNSAT | ALL | 1c0ec7582956c3689bf7da2e91fddd5f | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^19.E.aig |
UNSAT | ALL | c2cc0bee47696b40d4c8640e9c4e1634 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O2/ vis.prodcell^24.E.aig |
UNSAT | ALL | 4b2beb898fa7460e0e2b1f10b205cbe3 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ tip-k-ind-aigs-o1234g/O3/cmu.periodic.N.aig |
UNSAT | ALL | 28949aa61109981608b33770d67eb680 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S298.S.aig |
UNSAT | ALL | 753d3f04a9847d53aaee4d636568badc | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S510.S.aig |
UNSAT | ALL | b29a7ec26bf4710057511dd7b958f454 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S820.S.aig |
UNSAT | ALL | 37b03619d6ab6c752c9c47f326098f67 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S832.S.aig |
UNSAT | ALL | ff8ac452d2d2e22b78b4f7606474ec19 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O3/eijk.S953.S.aig |
UNSAT | ALL | d6b83204b88a2fa251916d88f879c912 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O3/ken.oop^1.C.aig |
UNSAT | ALL | d55e6eeb87daac63511dbeeedca4881b | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ nusmv.guidance^1.C.aig |
UNSAT | ALL | 105305ad3c36b6f81900b8765011c1eb | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ nusmv.guidance^7.C.aig |
UNSAT | ALL | cfe0504c2b0d950a20cb6aac7358dd14 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/nusmv.tcas^2.B.aig |
UNSAT | ALL | 7df6a8199b9c64598d306cf03e5626d4 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ tip-k-ind-aigs-o1234g/O3/nusmv.tcas^3.B.aig |
UNSAT | ALL | 60ed5f311e19b32af07b0c8bb52440ff | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ texas.parsesys^2.E.aig |
UNSAT | ALL | 995d875eaa398649ddb51e55b549e2af | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^12.E.aig |
UNSAT | ALL | 0620b2b0ce5b0f13f3dbfdf3d7ac11f1 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^13.E.aig |
UNSAT | ALL | afb2658be76fc228d5a426e875d2eef8 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^14.E.aig |
UNSAT | ALL | 184c83f0d3c6ac7cb8dd63afa1845a48 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^15.E.aig |
UNSAT | ALL | 0030b7573b1269abea6251a9f2651fda | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^16.E.aig |
UNSAT | ALL | c01ddfff8540ecfabfb6b7d6deafb977 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^17.E.aig |
UNSAT | ALL | fc1a48695b2ace8439d9a9f41f7a5326 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^18.E.aig |
UNSAT | ALL | 9c8b7d2738b549bfc90ea9afb1d76eac | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^19.E.aig |
UNSAT | ALL | 856e41ef5e308d5a519760c774c65805 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ tip-k-ind-aigs-o1234g/O3/ vis.prodcell^24.E.aig |
UNSAT | ALL | 13aff2b3d4e6c6ef221990ba1fdb94d8 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/cmu.periodic.N.aig |
UNSAT | ALL | 28949aa61109981608b33770d67eb680 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S298.S.aig |
UNSAT | ALL | 61a23421edd3b2308f762ab7b09f84a2 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S510.S.aig |
UNSAT | ALL | c09287a1e94e390b5aa8814e6ed83eb1 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S820.S.aig |
UNSAT | ALL | 6e3aad2ca5176721586981c66c215c1b | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S832.S.aig |
UNSAT | ALL | bcd98995bb08fca4782b92f475e50680 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O4/eijk.S953.S.aig |
UNSAT | ALL | c555f5a0f2f0bd4b2adb66ca801bb2c8 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ O4/ken.oop^1.C.aig |
UNSAT | ALL | d55e6eeb87daac63511dbeeedca4881b | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ nusmv.guidance^1.C.aig |
UNSAT | ALL | 250481ae458d95ed3f3a49218cc0426d | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ nusmv.guidance^7.C.aig |
UNSAT | ALL | f3ed7c7a3f8302b1954f685b0ca75f35 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ tip-k-ind-aigs-o1234g/O4/nusmv.tcas^2.B.aig |
UNSAT | ALL | 1b784fa180093cf1781ab22f0c1bf301 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/nusmv.tcas^3.B.aig |
UNSAT | ALL | 8ca31a9cae8922c6fcae6cf624c038a6 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ texas.parsesys^2.E.aig |
UNSAT | ALL | 995d875eaa398649ddb51e55b549e2af | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^12.E.aig |
UNSAT | ALL | 169a171f60404464ceaddcc33e93e3a0 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^13.E.aig |
UNSAT | ALL | b6a7cc1837c03ac71bff766e61fab652 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^14.E.aig |
UNSAT | ALL | dc321c879fc0f9d72182db0c33d1ec21 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^15.E.aig |
UNSAT | ALL | 52f811624d0688421f0190b4ebbcd8c9 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^16.E.aig |
UNSAT | ALL | 5db5bec68aabcad878a00081d1af6895 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^17.E.aig |
UNSAT | ALL | 93ace50baec2262d626b4d75f8a46f5a | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^18.E.aig |
UNSAT | ALL | f1c39bc7d32a3e750896fff16fb68b62 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^19.E.aig |
UNSAT | ALL | 0396ca38991064b6a33f99b25d66c4aa | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/O4/ vis.prodcell^24.E.aig |
UNSAT | ALL | 1f14e138d213839afb2045f6aa171598 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/cmu.periodic.N.aig |
UNSAT | ALL | 4ac055c0e0fec8b5700220ea0dc6a5a7 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S298.S.aig |
UNSAT | ALL | d5941f1d2863838a6aa4749a9b6d396c | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S510.S.aig |
UNSAT | ALL | 9f86a54bf57bea2c1b1a7a7f4167f3d5 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S820.S.aig |
UNSAT | ALL | c578bfe6f3d70b0853e1afbe2d486b3f | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S832.S.aig |
UNSAT | ALL | 186d74eafc6a26c82cb5c6780408f5ed | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ Og/eijk.S953.S.aig |
UNSAT | ALL | 487ed8b0fae2078f7efb39c6c9e857e9 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/ Og/ken.oop^1.C.aig |
UNSAT | ALL | 307579081594ca6bba95b53a58f7c31e | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ nusmv.guidance^1.C.aig |
UNSAT | ALL | b06519d37229045fdc738b22251fb663 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ nusmv.guidance^7.C.aig |
UNSAT | ALL | 36213b6d014e2e01c1f78ccf79b3468b | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/nusmv.tcas^2.B.aig |
UNSAT | ALL | bea1f33ad7265ff6d67beb514951cf07 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/nusmv.tcas^3.B.aig |
UNSAT | ALL | 74dc9e4c15a56a3b88bae6bff09d85d8 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ texas.parsesys^2.E.aig |
UNSAT | ALL | 3237ec33349c6d902e9ecccdf1e7f1e8 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^12.E.aig |
UNSAT | ALL | 269c27cbc2df03fe818cada826aeba78 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^13.E.aig |
UNSAT | ALL | 24e8a371669ab9a42de4fd9261a6112f | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^14.E.aig |
UNSAT | ALL | 1cf8d5b1d53d71c2eb9d4965a70e9051 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^15.E.aig |
UNSAT | ALL | 9e06d73b8a4894b8c2db749bb3e979a3 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^16.E.aig |
UNSAT | ALL | 3f4f05fa45e26f05f9bc0a4f616e81db | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^17.E.aig |
UNSAT | ALL | a99c8f425a514f07ada3d7b215a99a6f | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^18.E.aig |
UNSAT | ALL | c412b9594ff78d8e451709279ea6f430 | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^19.E.aig |
UNSAT | ALL | b3d3a0d3de125d0bd64b0f6bb6f322ad | ||||||||||||
| additional-aig/ tip-k-ind-aigs-o1234g/Og/ vis.prodcell^24.E.aig |
UNSAT | ALL | e1c6c8f649970fae23ab568189df67f2 | ||||||||||||
| industrial-aig/ anbulagan/hard-sat/ partial-10-11-s.aig |
ALL | b2a8941d54d1b6c3bc968c27b4f1a9a3 | |||||||||||||
| industrial-aig/ anbulagan/hard-sat/ partial-10-13-s.aig |
ALL | 5091e8402d96e0f45b1175e7b5913413 | |||||||||||||
| industrial-aig/ anbulagan/hard-sat/ partial-10-15-s.aig |
ALL | b951bf0c9487aa30c4d3e8f9a71c5deb | |||||||||||||
| industrial-aig/ anbulagan/hard-sat/ partial-10-17-s.aig |
ALL | dd91cdd2a9e332072d0a29becea2bb9c | |||||||||||||
| industrial-aig/ anbulagan/hard-sat/ partial-10-19-s.aig |
ALL | 1268ac7a2b625a9b812ae3c9d3b529a9 | |||||||||||||
| industrial-aig/ anbulagan/ hard-sat/partial-5-17-s.aig |
ALL | fdec692ffb5c17021a23a3407f5febe7 | |||||||||||||
| industrial-aig/ anbulagan/ hard-sat/partial-5-19-s.aig |
ALL | 8c39217bda2b11dfb809740233d41799 | |||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/ anbulagan/hard-unsat/ dated-10-11-u.aig |
ALL | 47ab4791f7e93a61e31b74817a0f841e | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ dated-10-13-u.aig |
ALL | 22eaebea8b6a0d69c1f69eecd622270d | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ dated-10-17-u.aig |
ALL | bacca99cf73017429cec7f5513a2d61a | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ dated-10-19-u.aig |
ALL | f2e40c8aa124bd1323ea918f8a8d96e7 | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ dated-5-13-u.aig |
ALL | 994ae857c12acdc5c318ca8e8ff5fa63 | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ dated-5-15-u.aig |
ALL | 7da782cfdd94621722dd79d6d01c7bd7 | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ dated-5-17-u.aig |
ALL | e5d04c69ed0098281f42015ef350699f | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ dated-5-19-u.aig |
ALL | 932d229d92445778d4779e97296035a6 | |||||||||||||
| industrial-aig/ anbulagan/ hard-unsat/partial-10-11-u.aig |
ALL | 5fb38869c9191cb6d7cc1168217bfd34 | |||||||||||||
| industrial-aig/ anbulagan/ hard-unsat/partial-10-13-u.aig |
ALL | 70ebcb7068b4521dbb99a4ffe4d70028 | |||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/ anbulagan/ hard-unsat/partial-10-15-u.aig |
ALL | 01ab6b28d373edde90f9d9817716c5d3 | |||||||||||||
| industrial-aig/ anbulagan/ hard-unsat/partial-10-17-u.aig |
ALL | e1cb30272ebc69ee149492d0f533101d | |||||||||||||
| industrial-aig/ anbulagan/ hard-unsat/partial-10-19-u.aig |
ALL | 09abbc3000bf96303a88828f56d7837e | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ partial-5-11-u.aig |
ALL | c55b90f06e8b99864135c54afe90c68a | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ partial-5-13-u.aig |
ALL | 700b62b5f3d63f8d5e1ee9d1e2b1a3e3 | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ partial-5-15-u.aig |
ALL | ca5790c67896375661ae6d1a1396f295 | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ partial-5-17-u.aig |
ALL | 0eca4a9bc55085219f656855910362ce | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ partial-5-19-u.aig |
ALL | 788e5f2d69a2d1bdbae7e16c08a26bd6 | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ total-10-15-u.aig |
ALL | 82b4b3cc4baef1fae2aaa6f3c879377b | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ total-10-17-u.aig |
ALL | a162e9930a889680647fbc0b3cbf7dcc | |||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/ anbulagan/hard-unsat/ total-10-19-u.aig |
ALL | 43211727e70d83a8e59e2a5346622c7d | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ total-5-15-u.aig |
ALL | 2ccd62daf173b06ca7488a6d2a546c2c | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ total-5-17-u.aig |
ALL | 60708a2fde05a05ed800f3ae56209c24 | |||||||||||||
| industrial-aig/ anbulagan/hard-unsat/ total-5-19-u.aig |
ALL | fc5f3fb0bb702b461bc06df539022ac0 | |||||||||||||
| industrial-aig/ anbulagan/medium-sat/ dated-10-13-s.aig |
SAT | ALL | e5dc65449fb527f0bc96d161023fab69 | ||||||||||||
| industrial-aig/ anbulagan/medium-sat/ dated-10-17-s.aig |
SAT | ALL | 06f2ca77358b0c06f281d52020ed007e | ||||||||||||
| industrial-aig/ anbulagan/medium-sat/ partial-5-11-s.aig |
SAT | ALL | c55beea12a2d3aee549592597e2fa707 | ||||||||||||
| industrial-aig/ anbulagan/medium-sat/ partial-5-13-s.aig |
SAT | ALL | 2ad49986c70601923b0a903c473b53ff | ||||||||||||
| industrial-aig/ anbulagan/medium-sat/ partial-5-15-s.aig |
ALL | 0e6965fe1eaa15dba0a2f20be93e1694 | |||||||||||||
| industrial-aig/ anbulagan/medium-sat/ total-10-15-s.aig |
ALL | 3fbf952b1744eac2ebc7a60636b671de | |||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/ anbulagan/medium-sat/ total-10-17-s.aig |
SAT | ALL | 93f2fd5495cadcaf6bab39c71fb5adb6 | ||||||||||||
| industrial-aig/ anbulagan/medium-sat/ total-10-19-s.aig |
SAT | ALL | efab02d3b694cdea278851e6652ed229 | ||||||||||||
| industrial-aig/ anbulagan/medium-sat/ total-5-17-s.aig |
SAT | ALL | 1fae56b9b06abb2c9255b175c6b3a679 | ||||||||||||
| industrial-aig/ anbulagan/medium-sat/ total-5-19-s.aig |
SAT | ALL | 2efcc777155235f7b32f9284b8b3bd86 | ||||||||||||
| industrial-aig/ anbulagan/medium-unsat/ dated-10-15-u.aig |
UNSAT | ALL | a1d7def8de4ac0f4cc84a3288e582681 | ||||||||||||
| industrial-aig/ anbulagan/medium-unsat/ dated-5-11-u.aig |
UNSAT | ALL | 997d5045a823c6b26e489d4c233c2142 | ||||||||||||
| industrial-aig/ anbulagan/medium-unsat/ total-10-11-u.aig |
UNSAT | ALL | ddebd4a1e59f4896b2aa59c0334a2ab0 | ||||||||||||
| industrial-aig/ anbulagan/medium-unsat/ total-10-13-u.aig |
ALL | 7f24a297763cbb38fc09ac3fdb5911df | |||||||||||||
| industrial-aig/ anbulagan/medium-unsat/ total-5-11-u.aig |
UNSAT | ALL | c4101c5df00c824511bac834d57cc8a5 | ||||||||||||
| industrial-aig/ anbulagan/medium-unsat/ total-5-13-u.aig |
UNSAT | ALL | 3609fe838f6e618c2540a0bfb78d559f | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/ babic/dspam/ dspam_dump_vc1080.aig |
UNSAT | ALL | 287c68c56a45b0a5952a9cf9625fb235 | ||||||||||||
| industrial-aig/ babic/dspam/ dspam_dump_vc1081.aig |
UNSAT | ALL | 82281c9774ceb512d5989c7cf238a376 | ||||||||||||
| industrial-aig/ babic/dspam/ dspam_dump_vc1093.aig |
UNSAT | ALL | 6a5b3e9e6a60cd9ea245b33222d5519f | ||||||||||||
| industrial-aig/ babic/dspam/ dspam_dump_vc1103.aig |
UNSAT | ALL | b5b72fb3e505d6111400498614fe85f7 | ||||||||||||
| industrial-aig/ babic/dspam/ dspam_dump_vc1104.aig |
UNSAT | ALL | 7aa8ffbed073576e0a5422ca0098f783 | ||||||||||||
| industrial-aig/ babic/dspam/ dspam_dump_vc949.aig |
UNSAT | ALL | b21d760e4a31cf8350375bfc0c44cbf9 | ||||||||||||
| industrial-aig/ babic/dspam/ dspam_dump_vc950.aig |
UNSAT | ALL | 9599f5c4cd44cb073897f84ef49f8c92 | ||||||||||||
| industrial-aig/ babic/dspam/ dspam_dump_vc962.aig |
UNSAT | ALL | 41d917cfb20200d4a3a63fe68f8474dc | ||||||||||||
| industrial-aig/ babic/dspam/ dspam_dump_vc972.aig |
UNSAT | ALL | 38e47182334e5da736b1a7ff0c4db68c | ||||||||||||
| industrial-aig/ babic/dspam/ dspam_dump_vc973.aig |
UNSAT | ALL | df15cd91e7065a47eaf7869837af8adb | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/ babic/hsatv17/ hsat_vc11773.aig |
UNSAT | ALL | 25ead95bc4b4b78a25b5665c72881121 | ||||||||||||
| industrial-aig/ babic/hsatv17/ hsat_vc11803.aig |
UNSAT | ALL | 3d30959170409a6a0ae402411747cee0 | ||||||||||||
| industrial-aig/ babic/hsatv17/ hsat_vc11813.aig |
UNSAT | ALL | 96e60e3e879a72f62e42b6864116854e | ||||||||||||
| industrial-aig/ babic/hsatv17/ hsat_vc11817.aig |
UNSAT | ALL | 347b3fcbab5c5ce736d37ab277cb2ec1 | ||||||||||||
| industrial-aig/ babic/hsatv17/ hsat_vc11935.aig |
UNSAT | ALL | 511d79d721ded3317aced2627cdd08dc | ||||||||||||
| industrial-aig/ babic/hsatv17/ hsat_vc11944.aig |
UNSAT | ALL | b11f83c9a5299fee3457a067173dfbac | ||||||||||||
| industrial-aig/ babic/hsatv17/ hsat_vc12016.aig |
UNSAT | ALL | bc810db11d21fb29c220c0194d715585 | ||||||||||||
| industrial-aig/ babic/hsatv17/ hsat_vc12062.aig |
UNSAT | ALL | 049b902c894d8ade529168a83bd3a70b | ||||||||||||
| industrial-aig/ babic/hsatv17/ hsat_vc12070.aig |
UNSAT | ALL | 54af503136905c9d626e64b55c33e7a5 | ||||||||||||
| industrial-aig/ babic/hsatv17/ hsat_vc12072.aig |
UNSAT | ALL | 258dfc07c7587385e97e89d44e223bb5 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/babic/ xinetd/itox_vc1033.aig |
SAT | ALL | cb82ab8d5de2f2ef574054f5311cdf99 | ||||||||||||
| industrial-aig/babic/ xinetd/itox_vc1044.aig |
SAT | ALL | c7ccb0e90fb0bafeeb6b2468508f1a36 | ||||||||||||
| industrial-aig/babic/ xinetd/itox_vc1130.aig |
SAT | ALL | 1234dda3db0814f468bfa0ae1eb80c1e | ||||||||||||
| industrial-aig/babic/ xinetd/itox_vc1138.aig |
SAT | ALL | eaf274172ec323a06a013eeee87b8755 | ||||||||||||
| industrial-aig/babic/ xinetd/itox_vc1216.aig |
UNSAT | ALL | 78f47a2cfc6ee5296c0620e58ae75fb8 | ||||||||||||
| industrial-aig/babic/ xinetd/itox_vc909.aig |
SAT | ALL | 12e4881d891fca4fb908211fbc106f45 | ||||||||||||
| industrial-aig/babic/ xinetd/itox_vc965.aig |
UNSAT | ALL | 3fac9c1784354c17ee2dfe264af8860a | ||||||||||||
| industrial-aig/babic/ xinetd/itox_vc979.aig |
UNSAT | ALL | f863a44e5144a66db4118e9d76dd66fd | ||||||||||||
| industrial-aig/ babic/xinetd/ xinetd_vc56687.aig |
UNSAT | ALL | f0b8970093c8806e7f6bb1eb481ffaa5 | ||||||||||||
| industrial-aig/ babic/xinetd/ xinetd_vc56703.aig |
UNSAT | ALL | 30527ecd79cfd0df0e18a848ca5a37b4 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/crypto/ mizh-md5-47-3.aig |
SAT | ALL | d5c5972cf90fae16e0530d508754da62 | ||||||||||||
| industrial-aig/crypto/ mizh-md5-47-4.aig |
ALL | 0d33ba4c14efc967d7277c766b27c98f | |||||||||||||
| industrial-aig/crypto/ mizh-md5-47-5.aig |
ALL | 7fe20d3ca3e9492b4266d251f6d77e28 | |||||||||||||
| industrial-aig/crypto/ mizh-md5-48-2.aig |
ALL | 2303762e072bd107857fb0b3afb56d61 | |||||||||||||
| industrial-aig/crypto/ mizh-md5-48-5.aig |
ALL | aca2d735934eb0ba8b7f4340459945d0 | |||||||||||||
| industrial-aig/crypto/ mizh-sha0-35-2.aig |
SAT | ALL | e42ca7300d7af4a2f9c98b710cb663d2 | ||||||||||||
| industrial-aig/crypto/ mizh-sha0-35-3.aig |
SAT | ALL | 3425ea8345a269908535c5b776321064 | ||||||||||||
| industrial-aig/crypto/ mizh-sha0-35-4.aig |
SAT | ALL | 257daf65a5c4b58d80f834ebda4b3669 | ||||||||||||
| industrial-aig/crypto/ mizh-sha0-35-5.aig |
SAT | ALL | 62d346aa4ab0cb8662cc682f929763d7 | ||||||||||||
| industrial-aig/crypto/ mizh-sha0-36-2.aig |
ALL | 37e47df76b1cb431cc2c142f241452e3 | |||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/fuhs/ hard/AProVE07-01.aig |
ALL | 0f2320a5cce6b7890b91814b60d9ed58 | |||||||||||||
| industrial-aig/fuhs/ hard/AProVE07-03.aig |
ALL | 9d6fcdbecfe4932b5ee3f6c332ed6c0c | |||||||||||||
| industrial-aig/fuhs/ hard/AProVE07-08.aig |
UNSAT | ALL | 9581bbca3b740d9024fe1e03378a15f3 | ||||||||||||
| industrial-aig/fuhs/ hard/AProVE07-25.aig |
ALL | eec3e5bb91ccc1d35672b70bcca6238b | |||||||||||||
| industrial-aig/fuhs/ hard/AProVE07-26.aig |
ALL | a36aefa06d40a31bfacb04f086a87f20 | |||||||||||||
| industrial-aig/fuhs/ hard/AProVE07-27.aig |
ALL | ecde6f68c05957b0d1b2fdeb0209cb6f | |||||||||||||
| industrial-aig/fuhs/ medium/AProVE07-02.aig |
UNSAT | ALL | f1d635e854f4ec6c0e8029c40100221a | ||||||||||||
| industrial-aig/fuhs/ medium/AProVE07-04.aig |
UNSAT | ALL | a631b7256cc55990c2460b3cbcf073a8 | ||||||||||||
| industrial-aig/fuhs/ medium/AProVE07-06.aig |
UNSAT | ALL | 9e7c7ba8983e562e07ba789575b424c4 | ||||||||||||
| industrial-aig/fuhs/ medium/AProVE07-09.aig |
UNSAT | ALL | dd70501ed01347f4eb75bb4b195b06bf | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/fuhs/ medium/AProVE07-15.aig |
UNSAT | ALL | 0857f1f6c0b5f4af6aeae0ac23a18687 | ||||||||||||
| industrial-aig/fuhs/ medium/AProVE07-16.aig |
UNSAT | ALL | 7490a8ccf0596559108537401cf24c02 | ||||||||||||
| industrial-aig/fuhs/ medium/AProVE07-20.aig |
UNSAT | ALL | d558e69a6d03512846fdd28dc635b285 | ||||||||||||
| industrial-aig/fuhs/ medium/AProVE07-21.aig |
UNSAT | ALL | 679d0647237437d62794c0cbd1a55b6e | ||||||||||||
| industrial-aig/fuhs/ medium/AProVE07-22.aig |
UNSAT | ALL | 0dea4e3cfad8bb7b7253ca863884b7e9 | ||||||||||||
| industrial-aig/ grieu/vmpc_24.aig |
SAT | ALL | 810b90ff3b348090c0d12678571e0716 | ||||||||||||
| industrial-aig/ grieu/vmpc_25.aig |
SAT | ALL | 46a54492df301717dd0fea94d83a12a1 | ||||||||||||
| industrial-aig/ grieu/vmpc_26.aig |
SAT | ALL | 71b5fa082a4a5d7ef59827986ab9da40 | ||||||||||||
| industrial-aig/ grieu/vmpc_27.aig |
SAT | ALL | b86ae9dee30902e920d7d78e1065054b | ||||||||||||
| industrial-aig/ grieu/vmpc_28.aig |
SAT | ALL | b03f32c21091e217ef6a488c0f025d84 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/ grieu/vmpc_29.aig |
SAT | ALL | 37fb48f0ea4d98589a779daebd5924be | ||||||||||||
| industrial-aig/ grieu/vmpc_30.aig |
SAT | ALL | 08053e2a693d0d1a8e4ebe279d8af8d9 | ||||||||||||
| industrial-aig/ grieu/vmpc_31.aig |
ALL | 977fa4ed911e5a73a74e35f7ad2a9c05 | |||||||||||||
| industrial-aig/ jarvisalo/ eq.atree.braun.10.unsat.aig |
UNSAT | ALL | 036a230e5daa2661dd92112a308259fe | ||||||||||||
| industrial-aig/ jarvisalo/ eq.atree.braun.11.unsat.aig |
ALL | 57271560f78569cacf40f044490fd3c2 | |||||||||||||
| industrial-aig/ jarvisalo/ eq.atree.braun.12.unsat.aig |
ALL | 73dea04cae15a664b4e091c5f595fc5e | |||||||||||||
| industrial-aig/ jarvisalo/ eq.atree.braun.13.unsat.aig |
ALL | 77abdbcbb1bfc3cd0962a01d7e5737b6 | |||||||||||||
| industrial-aig/ jarvisalo/ eq.atree.braun.7.unsat.aig |
UNSAT | ALL | ea70058307b64e3878591bebd2d40061 | ||||||||||||
| industrial-aig/ jarvisalo/ eq.atree.braun.8.unsat.aig |
UNSAT | ALL | a24edd22ff4f88e555819c50c868c3a0 | ||||||||||||
| industrial-aig/ jarvisalo/ eq.atree.braun.9.unsat.aig |
UNSAT | ALL | c533dc5f2aa289d1324a98cfe83a50d5 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/ manolios/ manol-pipe-c10nidw_s.aig |
UNSAT | ALL | 3827751f2ffa2dd0bb5b3e8640284d4c | ||||||||||||
| industrial-aig/ manolios/ manol-pipe-c6nidw_i.aig |
UNSAT | ALL | 4c7f0020dd139632a45f6498666c1aa1 | ||||||||||||
| industrial-aig/ manolios/ manol-pipe-c7bidw_i.aig |
UNSAT | ALL | 7ce7f7cc7131f720f64dec6abac0281d | ||||||||||||
| industrial-aig/ manolios/ manol-pipe-c7nidw.aig |
UNSAT | ALL | 15a532bf39cc9cc016448ec32be5516a | ||||||||||||
| industrial-aig/manolios/ manol-pipe-f10ni.aig |
ALL | d649b919d9cf3db137a7f255e0f14726 | |||||||||||||
| industrial-aig/manolios/ manol-pipe-f7idw.aig |
UNSAT | ALL | a6feb5a882aad8ec2dfd5e876a7a90fc | ||||||||||||
| industrial-aig/manolios/ manol-pipe-f9b.aig |
UNSAT | ALL | c11fc8749c1b2e4f579949c5cfc90ef0 | ||||||||||||
| industrial-aig/manolios/ manol-pipe-f9n.aig |
UNSAT | ALL | 7322a2fc0166335848f4d67d802f9c5f | ||||||||||||
| industrial-aig/ manolios/ manol-pipe-g10bidw.aig |
UNSAT | ALL | 004af616acd1cafdb56054d2240bb890 | ||||||||||||
| industrial-aig/ manolios/ manol-pipe-g10nid.aig |
UNSAT | ALL | d9c70b972074068d491c4199528b1e83 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/ narain/clauses-2.aig |
SAT | ALL | 98beb0c5e8d4b3a44ef99659a363c015 | ||||||||||||
| industrial-aig/ narain/clauses-4.aig |
SAT | ALL | 32af416c798c65b7cda5b01939480d0b | ||||||||||||
| industrial-aig/ narain/clauses-6.aig |
SAT | ALL | cbd8e242440cc437c515ed7328a4eb67 | ||||||||||||
| industrial-aig/ narain/clauses-8.aig |
ALL | 8e0c8bf49738eeab8c78731338672bcf | |||||||||||||
| industrial-aig/ palacios/hard/ safe-30-h29-unsat.aig |
ALL | 448c9493a31d873bd71a1e42f11e728a | |||||||||||||
| industrial-aig/ palacios/hard/ safe-50-h49-unsat.aig |
ALL | 04a22f99a4e5995002fd4ff12f3b8f1c | |||||||||||||
| industrial-aig/ palacios/hard/ safe-50-h50-sat.aig |
ALL | fae0709d76117cdb478bfa7cac9075b3 | |||||||||||||
| industrial-aig/palacios/ hard/ sortnet-6-ipc5-h11-unsat.aig |
ALL | d461299f3d9fe4beb52522bb39817d7f | |||||||||||||
| industrial-aig/palacios/ hard/ sortnet-7-ipc5-h15-unsat.aig |
ALL | bae544ce46f97c5583f8c773d62ecd2e | |||||||||||||
| industrial-aig/palacios/ hard/ sortnet-8-ipc5-h18-unsat.aig |
ALL | 1ba1e88d15b18c5ce209d319271a4fd9 | |||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/ palacios/hard/ sortnet-8-ipc5-h19-sat.aig |
ALL | 56fb9a06a77a4365aebe53f8d5e06275 | |||||||||||||
| industrial-aig/palacios/ medium/ blocks-4-ipc5-h21-unknown.aig |
UNSAT | ALL | 7b2f234981000ba350dcbdb329f2593d | ||||||||||||
| industrial-aig/palacios/ medium/ blocks-4-ipc5-h22-unknown.aig |
UNSAT | ALL | 8147ac36dfb8c619b5a6e1d616f13fd3 | ||||||||||||
| industrial-aig/ palacios/medium/ cube-11-h13-unsat.aig |
ALL | d62fa5e7cd8fd0ec0f5af994f953f301 | |||||||||||||
| industrial-aig/ palacios/medium/ cube-11-h14-sat.aig |
ALL | 634420a2b4ef25ed17aff558661c9ee4 | |||||||||||||
| industrial-aig/ palacios/medium/ cube-9-h10-unsat.aig |
UNSAT | ALL | f2876068ae065d71dff8e4094b804731 | ||||||||||||
| industrial-aig/ palacios/medium/ cube-9-h11-sat.aig |
SAT | ALL | 72a97f55eb671443af381e9a95d29fa9 | ||||||||||||
| industrial-aig/ palacios/medium/ emptyroom-4-h21-unsat.aig |
UNSAT | ALL | 80ff121b2241ca020568a7aef95b7f41 | ||||||||||||
| industrial-aig/ palacios/medium/ emptyroom-4-h22-sat.aig |
SAT | ALL | 4c10e162818f037cf09677efa2a80754 | ||||||||||||
| industrial-aig/ palacios/medium/ safe-30-h30-sat.aig |
SAT | ALL | 34576f6cdb778b644dcb93cb02b3dc72 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/palacios/ medium/ sortnet-7-ipc5-h16-sat.aig |
SAT | ALL | 932003c81d828cc2be8d4fb2ad040978 | ||||||||||||
| industrial-aig/ palacios/uts/ uts-l05-ipc5-h26-unsat.aig |
UNSAT | ALL | 41f1824d94616470f1acb05164d0b67e | ||||||||||||
| industrial-aig/ palacios/uts/ uts-l05-ipc5-h27-unknown.aig |
UNSAT | ALL | e47d7a88f031f0af892f5a6a6825a8c5 | ||||||||||||
| industrial-aig/ palacios/uts/ uts-l06-ipc5-h28-unknown.aig |
UNSAT | ALL | e6f1e1bbb4fef3bbf6f22489cb7264cf | ||||||||||||
| industrial-aig/ palacios/uts/ uts-l06-ipc5-h29-unknown.aig |
UNSAT | ALL | 3e75a87536a63659e6cf3bc324e6208b | ||||||||||||
| industrial-aig/ palacios/uts/ uts-l06-ipc5-h30-unknown.aig |
UNSAT | ALL | b95148cf89c05f659dc3c054c57cd22b | ||||||||||||
| industrial-aig/ palacios/uts/ uts-l06-ipc5-h31-unknown.aig |
UNSAT | ALL | c6003735feed0e1f38aa7fa918c3d486 | ||||||||||||
| industrial-aig/ palacios/uts/ uts-l06-ipc5-h32-unknown.aig |
UNSAT | ALL | c552b2505cd8543fa4e82bc50e3ec951 | ||||||||||||
| industrial-aig/ palacios/uts/ uts-l06-ipc5-h33-unknown.aig |
UNSAT | ALL | fbb0b67916383738ce6521d7b2e3afee | ||||||||||||
| industrial-aig/ palacios/uts/ uts-l06-ipc5-h34-unknown.aig |
SAT | ALL | 2da8b26c881a7131c53b01eeaea19163 | ||||||||||||
| Bench name | Best results on this instance | Main category | Sub categories | #variables | #clauses | min. clause length | max. clause length | #clauses of size 1 | #clauses of size 2 | #clauses of size 3 | #clauses of size 4 | #clauses of size 5 | #clauses of size >5 | sum of clause length | md5sum |
| industrial-aig/ palacios/uts/ uts-l06-ipc5-h35-unknown.aig |
SAT | ALL | b1cc3be26d44c0400a2f84d30a96462d |