SAT 2011 Competition: main competition (phase 2): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.004998	0.0185121	3446385
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.005998	0.018386	3446232
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.006998	0.0118579	3446492
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.006998	0.020647	3446145
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.007997	0.0210559	3446415
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.007997	0.016708	3446292
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.007998	0.0177209	3446454
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.008997	0.018588	3446340
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.008997	0.0205129	3446481
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.009997	0.0171579	3446271
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.009998	0.022549	3446324
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.009998	0.019119	3446423
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.009998	0.0193489	3446285
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.010997	0.0164269	3446125
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.011997	0.0125851	3446198
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.012997	0.015773	3446407
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	0.013997	0.0204401	3446461
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.013997	0.0189799	3446289
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.015997	0.016955	3446331
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.017996	0.0190799	3446422
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.017996	0.0183641	3446469
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.018997	0.0224529	3446495
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.018997	0.0208511	3446221
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.019996	0.0208751	3446411
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.019996	0.019684	3446263
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.020996	0.0226741	3446384
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.021995	0.022521	3446332
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	0.021996	0.022639	3446362
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	0.022995	0.0230609	3446315
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.022996	0.0282121	3446412
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.023995	0.023881	3446431
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.024995	0.0249609	3446396
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.024995	0.0244589	3446447
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.024996	0.0256001	3446208
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.026995	0.026266	3446338
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.027994	0.0282129	3446438
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.027994	0.028833	3446155
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.027995	0.028872	3446154
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.027995	0.033351	3446382
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.027995	0.031524	3446195
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.029994	0.029652	3446478
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.029995	0.0299021	3446341
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.030994	0.0312571	3446386
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.030995	0.034452	3446194
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.031994	0.0319421	3446214
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.031995	0.0323219	3446354
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.033994	0.034464	3446482
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	0.036993	0.036909	3446476
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.036994	0.0377991	3446449
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.037993	0.0383169	3446227
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.039993	0.041115	3446356
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.040992	0.043818	3446388
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.041992	0.0421909	3446160
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.042992	0.0432181	3446420
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.044992	0.04467	3446171
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.044993	0.0512441	3446377
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.045992	0.048924	3446350
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.048991	0.0490451	3446497
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	0.048992	0.055137	3446470
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	0.049991	0.05032	3446266
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	0.050991	0.0506811	3446270
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.052991	0.053024	3446135
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.05399	0.0540201	3446430
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	0.053991	0.053719	3446277
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	0.05499	0.0540791	3446296
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	0.05999	0.0642281	3446164
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.060989	0.0619349	3446513
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.06199	0.0643221	3446251
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.06299	0.0633911	3446489
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.06299	0.0645181	3446370
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	0.06299	0.0633759	3446223
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.067988	0.06862	3446156
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	0.068989	0.069404	3446457
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	0.069988	0.0699341	3446380
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.076987	0.07881	3446265
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	0.080986	0.080909	3446348
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	0.088985	0.089282	3446184
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.093984	0.113041	3446375
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	0.098984	0.10374	3446146
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.099984	0.099946	3446393
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	0.108983	0.113863	3446390
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.113981	0.114114	3446175
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	0.114982	0.116865	3446512
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.117981	0.117501	3446239
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.127979	0.128971	3446213
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.12798	0.128042	3446281
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	0.12998	0.130771	3446172
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	0.131979	0.131572	3446219
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	0.136979	0.137508	3446404
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	0.137978	0.141402	3446163
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.179971	0.180155	3446123
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.19197	0.192481	3446494
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.202968	0.203369	3446343
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	0.207968	0.211642	3446191
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	0.208967	0.20953	3446291
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.210967	0.211275	3446220
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	0.232964	0.233688	3446183
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.236963	0.236627	3446299
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	0.246961	0.247225	3446148
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.25596	0.258921	3446504
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.270957	0.27124	3446328
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	0.274958	0.275402	3446479
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	0.278956	0.278815	3446288
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.281956	0.2854	3446383
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	0.308952	0.30984	3446305
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	0.38994	0.391204	3446053
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.394939	0.395253	3446201
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.410937	0.411499	3446376
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	0.414936	0.414584	3446363
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.431934	0.43217	3446234
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	0.435933	0.435524	3446325
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.436933	0.436976	3446199
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	0.442931	0.443333	3446490
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.442931	0.447007	3446293
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.456929	0.456414	3446238
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.460929	0.460826	3446345
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.463929	0.464441	3446448
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	0.473927	0.474339	3446347
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.478926	0.478678	3446167
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.492925	0.493412	3446427
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	0.501922	0.502087	3446486
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.540917	0.540548	3446314
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	0.573911	0.574114	3446351
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	0.596909	0.597373	3446244
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	0.634902	0.634947	3446176
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.686895	0.687588	3446200
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.725888	0.726054	3446491
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	0.745885	0.746205	3446496
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	0.774882	0.778398	3446217
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	0.780881	0.781966	3446400
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.793878	0.793708	3446418
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	0.804877	0.805351	3446118
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	0.837872	0.839082	3446455
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	0.846871	0.847259	3446233
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	0.893864	0.897089	3446228
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	0.909861	0.913218	3446189
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	0.977851	0.977688	3446433
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	1.03384	1.03406	3446399
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	1.04584	1.04639	3446139
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	1.04684	1.04728	3446397
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	1.06084	1.06109	3446414
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	1.09683	1.09664	3446121
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	1.11183	1.11283	3446127
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	1.16882	1.17028	3446117
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	1.24081	1.24122	3446365
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	1.24481	1.24516	3446456
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	1.3378	1.33784	3446333
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	1.45078	1.45605	3446119
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	1.51777	1.52255	3446284
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	1.55176	1.55644	3446321
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	1.56876	1.56853	3446506
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	1.57976	1.58223	3446162
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	1.59276	1.59301	3446443
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	1.61875	1.61964	3445951
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	1.62175	1.62159	3446133
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	1.72174	1.72243	3446173
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	1.82072	1.82173	3446357
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	2.02769	2.02722	3446311
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	2.24666	2.25068	3446499
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	2.36464	2.3975	3446346
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	2.37964	2.38008	3446364
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	2.43963	2.4399	3446379
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	2.45563	2.46046	3446402
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	2.49062	2.49086	3446307
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	2.70659	2.71128	3446483
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	2.78258	2.78731	3446452
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	2.98854	2.98854	3446059
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	3.34449	3.36984	3446406
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	3.38748	3.39159	3446387
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	3.59045	3.58993	3446222
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	4.01839	4.0225	3446267
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	4.06038	4.06038	3445966
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	4.5703	4.56967	3446260
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	4.5963	4.59616	3446130
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	4.5973	4.59708	3446237
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	4.94025	4.94581	3446391
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	4.97124	4.97171	3446300
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	5.20321	5.20264	3446275
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	5.34819	5.34789	3446425
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	SAT	5.61515	5.6167	3446062
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	5.87611	5.87776	3446339
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	6.19606	6.19548	3446274
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	6.20106	6.20122	3446224
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	6.578	6.5785	3446216
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	8.66068	8.66222	3446419
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	10.5884	10.5882	3446231
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	11.4423	11.4425	3446268
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	13.009	13.0091	3446297
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	13.5119	13.5166	3446083
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	13.5339	13.5351	3445921
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	SAT	13.9839	13.9848	3446100
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	14.3878	14.3883	3446140
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	14.3898	14.3896	3445994
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	15.5546	15.5567	3445986
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	16.1125	16.1139	3446036
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	17.2154	17.2157	3446070
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	18.0772	18.0981	3446480
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	19.671	19.6731	3446394
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	20.8608	20.8614	3446319
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	21.6007	21.6008	3446401
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	22.5626	22.5648	3446044
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	22.6146	22.617	3446371
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	23.7264	23.7306	3446074
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	24.7382	24.7398	3446124
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	26.33	26.3292	3446372
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	27.0509	27.0555	3446334
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	29.3195	29.3193	3446249
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	SAT	32.3841	32.3879	3445919
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	32.4161	32.4154	3446242
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	37.7373	37.737	3446247
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	39.9919	39.9903	3445991
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	43.5864	43.6559	3446410
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	47.2988	47.2997	3445972
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	50.5653	50.5655	3446209
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	51.1312	51.1349	3445918
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	54.2018	54.2005	3445978
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	SAT	61.7306	61.73	3446086
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	SAT	62.7005	62.7	3446093
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	70.0843	70.0985	3446046
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	72.526	72.5273	3446147
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	73.0459	73.0491	3446204
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	76.5884	76.5923	3446471
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	79.103	79.1205	3446475
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	SAT	85.646	85.6444	3446000
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	89.7394	89.7377	3446089
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	SAT	93.7338	93.7467	3446014
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	97.5612	97.6079	3446099
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	98.2671	98.2702	3446077
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	SAT	99.9368	99.9349	3446015
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	SAT	105.478	105.476	3446024
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	111.601	111.6	3445938
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	SAT	116.687	116.685	3446019
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	SAT	117.741	117.745	3445915
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	SAT	146.986	146.986	3446039
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	SAT	156.59	156.587	3446007
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	163.23	163.228	3445996
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	SAT	177.324	177.319	3445937
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	SAT	204.733	204.731	3446105
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	SAT	219.39	219.384	3446011
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	SAT	220.385	220.38	3445930
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	SAT	233.113	233.117	3445922
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	254.742	254.737	3446002
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	SAT	256.614	256.612	3445929
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	SAT	260.199	260.285	3446108
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	262.701	262.701	3446104
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	274.52	274.514	3446066
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	274.742	274.741	3446035
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	280.761	280.764	3446012
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	SAT	282.111	282.108	3445923
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	SAT	282.641	282.639	3446097
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	SAT	283.854	283.847	3445939
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	SAT	293.975	293.971	3446080
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	SAT	307.113	307.104	3445979
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	312.86	312.85	3446033
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	316.203	316.194	3445983
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	328.836	328.829	3445965
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	337.078	337.07	3445969
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	SAT	347.434	347.455	3446073
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	SAT	349.749	349.738	3445956
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	SAT	362.229	362.228	3445916
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	SAT	363.954	363.944	3445957
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	SAT	366.108	366.101	3446009
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	SAT	370.233	370.243	3445936
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	379.85	379.847	3445917
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	391.99	391.983	3445943
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	SAT	392.742	392.739	3446060
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	SAT	399.913	399.901	3445945
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	SAT	407.855	407.85	3446092
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	418.257	418.246	3445985
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	SAT	422.611	422.608	3446043
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	425.03	425.046	3446026
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	SAT	429.401	429.392	3446030
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	SAT	449.414	449.41	3445961
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	SAT	461.384	461.369	3445974
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	SAT	463.989	463.978	3445981
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	SAT	469.088	469.073	3446052
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	472.667	472.664	3445926
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	SAT	480.352	480.342	3446064
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	484.403	484.391	3446003
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	SAT	486.886	486.906	3446063
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	SAT	496.796	496.783	3446088
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	SAT	498.188	498.181	3446027
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	SAT	530.183	530.236	3446094
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	SAT	567.962	567.944	3445952
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	SAT	591.71	591.691	3445967
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	SAT	595.813	595.806	3446085
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	SAT	596.634	596.616	3445982
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	SAT	597.567	597.556	3446022
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	SAT	612.257	612.254	3446065
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	SAT	615.385	615.368	3446031
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	SAT	643.458	643.458	3446010
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	SAT	653.217	653.202	3446029
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	SAT	680.518	680.499	3446110
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	687.417	687.396	3446054
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	SAT	692.433	692.427	3446034
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	SAT	738.554	738.603	3446068
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	SAT	780.41	780.386	3446058
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	SAT	790.488	790.488	3446016
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	SAT	801.476	801.465	3446113
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	SAT	827.008	826.983	3445953
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	SAT	910.021	909.997	3446001
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	SAT	974.65	974.623	3446067
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	SAT	1049.46	1049.43	3446020
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	1119.54	1119.53	3446096
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	SAT	1186.88	1186.85	3445932
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	SAT	1210.28	1210.25	3445995
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	SAT	1232.63	1232.61	3446008
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	SAT	1242.73	1242.7	3446114
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	SAT	1310.79	1310.74	3445931
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	SAT	1383.19	1383.15	3445988
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	SAT	1613.81	1613.8	3446078
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	SAT	1654.13	1654.07	3445999
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	SAT	1671.97	1671.97	3445973
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	SAT	1826.95	1826.9	3446069
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	SAT	1832.23	1832.19	3445997
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	SAT	1862.77	1862.73	3446017
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	SAT	2031.21	2031.17	3445968
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	SAT	2297.88	2297.81	3446098
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	SAT	2334.79	2334.73	3445944
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	SAT	2600.06	2599.99	3446005
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	SAT	2604.24	2604.26	3446084
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	SAT	2766.22	2766.12	3445946
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	SAT	2848.88	2848.81	3445949
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	SAT	3027.97	3027.86	3445977
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	SAT	3214.08	3213.96	3446040
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	SAT	3414.57	3414.48	3446091
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	SAT	4064.88	4064.79	3446006
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	SAT	4244.35	4244.3	3445948

SAT 2011 Competition: main competition (phase 2): benchmarks results per solver

Result page for solver adaptg2wsat2011 2011-03-02 (incomplete)

Category "random instances" (RANDOM)

Solver found a solution (SATISFIABLE) (328 runs) [Show/Hide]

Solver timed out (no solution given) (272 runs) [Show/Hide]