SAT 2009 Competition: main competition (phase2): benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.032994	0.0360151	1627668
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.036993	0.037772	1627622
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.038993	0.040158	1627636
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.038993	0.0392659	1627659
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.038993	0.03914	1627684
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.038993	0.0393229	1627670
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.041992	0.0408039	1627660
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.043993	0.0457071	1627606
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.044992	0.045515	1627594
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.045992	0.046333	1627673
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.045992	0.0462399	1627642
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.046992	0.0482309	1627667
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.047992	0.0480461	1627669
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.048992	0.049808	1627682
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.048992	0.0492701	1627671
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.048992	0.050269	1627380
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.049991	0.050888	1627635
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.049992	0.050253	1627598
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.049992	0.050817	1627376
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.051991	0.051667	1627680
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.051991	0.052365	1627627
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.05299	0.053022	1627637
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.052991	0.0534511	1627348
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.05399	0.054843	1627599
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.053991	0.0533581	1627369
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.054991	0.055213	1627625
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.05599	0.054997	1627678
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.05599	0.05624	1627602
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.055991	0.05612	1627630
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.05699	0.0600631	1627687
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	0.05799	0.0583329	1627384
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.05799	0.0584331	1627363
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.05899	0.059664	1627386
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.05899	0.0596681	1627615
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.05899	0.0588251	1627649
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.06299	0.064266	1627371
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.06299	0.063393	1627601
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.063989	0.0644931	1627675
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.064989	0.0658519	1627365
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	0.064989	0.0650371	1627581
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.064989	0.0656499	1627362
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.072988	0.0719621	1627674
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.073988	0.074211	1627664
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.075987	0.0763189	1627632
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.076987	0.076574	1627592
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.076987	0.076977	1627352
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.076987	0.0776471	1627593
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.082986	0.0836389	1627372
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.088985	0.0889711	1627366
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.088986	0.0894759	1627651
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.089985	0.0900961	1627613
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.089985	0.090229	1627663
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	0.090985	0.091465	1627465
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.096984	0.097651	1627683
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.097984	0.0982901	1627610
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.105983	0.106325	1627603
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.107982	0.108487	1627355
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.108982	0.109511	1627655
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	0.109982	0.110339	1627434
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.109982	0.11035	1627377
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.110982	0.110277	1627375
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.112982	0.113259	1627358
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.113982	0.115076	1627623
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.114982	0.114078	1627681
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	0.11998	0.120734	1627431
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.120981	0.122018	1627631
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.12398	0.126843	1627612
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.12498	0.124832	1627604
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.126979	0.127554	1627351
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.130979	0.131417	1627361
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.131979	0.132244	1627679
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.132979	0.131894	1627360
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.132979	0.132607	1627665
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.135978	0.136316	1627648
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.135979	0.136014	1627656
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.138978	0.13891	1627633
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.139977	0.140763	1627367
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.147976	0.148473	1627645
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.150977	0.149868	1627686
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.154976	0.155329	1627626
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.159974	0.158499	1627614
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.172973	0.173402	1627619
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.175972	0.176712	1627359
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.180972	0.181542	1627383
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.18497	0.18575	1627579
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	0.185971	0.18635	1627609
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.186971	0.187902	1627596
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.186971	0.187567	1627370
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.198969	0.199134	1627585
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.199968	0.200166	1627676
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.204968	0.205846	1627368
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.204968	0.205448	1627611
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.204968	0.205796	1627666
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.208967	0.209839	1627584
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.210967	0.211351	1627589
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.212967	0.213334	1627647
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	0.214966	0.215451	1627428
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.220966	0.21975	1627582
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.222965	0.223324	1627654
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.230964	0.231148	1627620
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.231964	0.231858	1627353
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.235963	0.236444	1627652
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.236963	0.238162	1627364
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.241962	0.24474	1627374
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.260959	0.261876	1627624
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.270957	0.274552	1627662
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.276957	0.277265	1627588
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.284955	0.2849	1627640
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	0.317951	0.318874	1627378
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	0.330949	0.329722	1627634
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.336948	0.337426	1627653
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	0.353945	0.364217	1627222
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	0.355945	0.35677	1627646
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.357945	0.358738	1627381
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.397939	0.399191	1627628
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.424935	0.424454	1627600
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.433933	0.434601	1627643
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	0.44993	0.45055	1627442
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.467928	0.467556	1627583
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.509921	0.510716	1627354
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.52192	0.522817	1627387
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.536918	0.538109	1627597
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.546916	0.548368	1627661
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	0.602908	0.613117	1627218
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.610906	0.611162	1627605
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	0.612906	0.623627	1627220
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	0.629903	0.629213	1627607
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.6469	0.657322	1627225
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.689894	0.689897	1627644
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.71389	0.713847	1627595
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	0.718889	0.720484	1627455
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.739887	0.740713	1627639
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	0.753885	0.753227	1627445
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	0.754884	0.75612	1627438
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.758883	0.760226	1627578
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	0.799878	0.800321	1627685
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	0.802877	0.803675	1627641
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	0.909861	0.910936	1627436
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	0.946855	0.947243	1627356
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	0.955853	0.955139	1627454
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	1.01984	1.02117	1627591
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	1.03584	1.03635	1627629
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	1.07583	1.07652	1627658
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	1.08383	1.08391	1627382
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	1.09383	1.09506	1627441
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	1.10183	1.10284	1627404
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	1.15582	1.15647	1627616
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	1.21281	1.21403	1627460
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	1.24381	1.24449	1627456
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	1.37179	1.39733	1627272
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	1.55776	1.55852	1627349
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	1.56276	1.56387	1627385
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	1.59576	1.59633	1627586
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	1.76273	1.76414	1627443
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	1.91671	1.93073	1627617
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	2.01569	2.04088	1627275
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	2.05469	2.0555	1627590
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	2.07668	2.07647	1627432
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	2.12268	2.12363	1627458
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	2.16067	2.16173	1627439
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	2.20566	2.20918	1627672
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	2.26865	2.26981	1627437
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	2.28565	2.28652	1627435
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	2.36964	2.3712	1627429
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	2.38564	2.38634	1627461
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	2.48662	2.4878	1627452
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	2.48662	2.48783	1627379
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	2.6496	2.67702	1627270
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	2.72158	2.72262	1627446
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	2.73558	2.7364	1627587
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	2.78757	2.79874	1627223
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	2.83257	2.83435	1627464
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	2.83457	2.83537	1627463
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	2.93855	2.94828	1627219
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	3.2485	3.25	1627657
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	3.50747	3.50946	1627449
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	3.87541	3.87734	1627373
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	4.36134	4.36285	1627677
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	4.6193	4.62132	1627350
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	4.76127	4.76315	1627451
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	5.16621	5.19375	1627274
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	5.35818	5.36049	1627448
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	5.65814	5.65945	1627467
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	5.68413	5.68504	1627638
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	5.9251	5.92703	1627453
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	6.33404	6.33735	1627457
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	6.35203	6.35419	1627440
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	6.35803	6.39813	1627251
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	6.39203	6.39377	1627430
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	6.47302	6.49909	1627273
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	6.85796	6.89118	1627255
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	7.49286	7.54886	1627238
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	7.49786	7.51057	1627221
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	8.13976	8.16386	1627277
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	8.30674	8.34906	1627253
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	8.89165	8.89488	1627357
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	8.91464	8.9563	1627249
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	8.95564	9.01298	1627244
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	9.47456	9.47699	1627459
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	9.60754	9.63676	1627271
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	9.72552	9.72791	1627433
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	11.4013	11.4127	1627224
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	11.5023	11.5061	1627444
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	12.3641	12.3808	1627227
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	12.977	13.0494	1627236
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	12.995	13.0039	1627419
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	14.1109	14.1538	1627257
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	14.4548	14.4607	1627462
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	15.0357	15.078	1627250
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	15.0797	15.1803	1627266
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	15.1987	15.202	1627407
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	15.2697	15.3292	1627242
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	15.7606	15.7656	1627650
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	18.7432	18.7477	1627580
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	19.541	19.5958	1627240
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	21.0268	21.0326	1627128
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	23.5754	23.5817	1627621
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	25.4971	25.5578	1627246
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	29.1006	29.1598	1627239
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	29.4765	29.5914	1627230
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	30.7903	30.878	1627302
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	SAT	34.6577	34.6679	1627203
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	35.9525	35.9621	1627450
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	36.1515	36.1614	1627447
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	SAT	36.6814	36.8037	1627285
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	42.6515	42.6643	1627413
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	43.0435	43.1546	1627267
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	53.3669	53.3818	1627421
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	54.4127	54.4297	1627466
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	59.116	59.1381	1627166
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	59.423	59.5809	1627294
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	61.5156	61.6048	1627229
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	SAT	61.6816	61.8099	1627280
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	SAT	62.3495	62.4779	1627287
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	SAT	62.7805	62.9189	1627281
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	67.2828	67.3746	1627237
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT	68.7705	68.8727	1627303
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	SAT	70.5983	70.7278	1627282
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	80.3058	80.381	1627241
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	88.7055	88.7372	1627226
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	SAT	92.038	92.0694	1627608
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	SAT	92.6769	92.8138	1627278
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	97.1652	97.2657	1627231
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	SAT	106.322	106.481	1627295
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S74644527-067.cnf	SAT	109.473	109.688	1627689
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	116.729	116.837	1627234
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	SAT	122.071	122.197	1627304
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	122.152	122.253	1627228
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	122.655	122.711	1627276
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S540574785-050.cnf	SAT	141.847	142.078	1627715
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT	142.16	142.292	1627307
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	SAT	146.21	146.374	1627291
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	SAT	152.631	152.781	1627284
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S10567605-051.cnf	SAT	157.238	157.432	1627720
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1688249661-078.cnf	SAT	157.684	157.909	1627713
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	163.035	163.163	1627298
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	170	170.051	1627164
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	SAT	174.886	175.011	1627305
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	187.879	187.96	1627269
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S322218982-076.cnf	SAT	193.34	193.606	1627717
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	SAT	193.457	193.62	1627262
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	SAT	210.131	210.329	1627293
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	214.838	214.94	1627254
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	220.754	220.818	1627213
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	234.256	234.367	1627248
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	SAT	251.675	251.905	1627290
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S126031621-095.cnf	SAT	260.418	260.741	1627694
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	261.542	261.637	1627159
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	SAT	271.672	271.874	1627296
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	279.969	280.051	1627208
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	SAT	282.727	282.897	1627260
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1458308594-024.cnf	SAT	286.055	286.323	1627712
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S274128876-057.cnf	SAT	288.303	288.565	1627704
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	SAT	300.109	300.306	1627261
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S463610942-012.cnf	SAT	300.41	300.64	1627718
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	315.364	315.529	1627243
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	333.08	333.177	1627210
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	339.358	339.554	1627247
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S1815966229-001.cnf	SAT	342.613	342.869	1627696
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1619557025-031.cnf	SAT	349.109	349.353	1627702
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1344049097-080.cnf	SAT	350.223	350.48	1627705
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	358.384	358.549	1627232
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	SAT	364.465	364.691	1627263
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	364.643	364.773	1627158
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	SAT	376.023	376.232	1627283
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	SAT	386.671	386.933	1627286
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	SAT	398.043	398.308	1627292
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S111203033-063.cnf	SAT	401.781	402.034	1627721
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	SAT	413.657	413.83	1627235
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	SAT	443.285	443.516	1627288
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S512227451-001.cnf	SAT	460.717	461.049	1627714
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S51420501-097.cnf	SAT	465.166	465.45	1627707
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1825231826-068.cnf	SAT	485.12	485.417	1627699
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	487.783	487.964	1627161
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S928699366-021.cnf	SAT	537.617	537.953	1627695
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	SAT	580.124	580.377	1627299
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	646.457	646.646	1627216
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S454748558-041.cnf	SAT	665.416	665.764	1627688
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	698.263	698.519	1627214
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S143306810-069.cnf	SAT	705.071	705.42	1627692
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1740374947-073.cnf	SAT	708.613	709.045	1627716
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	786.39	786.618	1627162
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S1328156309-075.cnf	SAT	889.603	889.975	1627724
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	SAT	967.352	967.681	1627233
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S1321948597-025.cnf	SAT	982.925	983.336	1627726
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	SAT	985.048	985.43	1627265
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S19146617-056.cnf	SAT	1018.19	1018.61	1627690
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	SAT	1172.63	1173.08	1627279
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	1213.17	1213.51	1627151
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	1216	1216.35	1627163
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	SAT	1221.43	1221.91	1627289
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	1226.81	1227.17	1627134
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	SAT	1370.66	1371.13	1627301
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S1400647106-062.cnf	SAT	1373.14	1373.71	1627697
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	1485.87	1486.4	1627135
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	1502.58	1503.05	1627165
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	SAT	1505.23	1506.02	1627306
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S669858349-039.cnf	SAT	1549.51	1550.14	1627709
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S1093158247-008.cnf	SAT	1598.34	1598.95	1627723
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	SAT	1605.04	1605.6	1627258
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S59207238-009.cnf	SAT	1637.35	1638.45	1627703
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	SAT	1785.52	1786.04	1627297
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	1891.12	1891.8	1627167
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	1973.34	1973.83	1627160
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	2014.33	2015.47	1627154
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	2045.01	2045.6	1627211
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	SAT	2115.9	2116.68	1627138
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	2501.93	2502.66	1627118
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	SAT	2583.53	2584.48	1627198
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	SAT	2628.38	2629.45	1627264
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1743216639-043.cnf	SAT	2725.08	2725.99	1627711
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	2769.21	2770.01	1627204
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	2906.87	2907.71	1627209
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1067191793-029.cnf	SAT	3096.56	3097.76	1627701
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	SAT	3165.95	3166.81	1627189
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S2125162110-016.cnf	SAT	4074.25	4075.41	1627708
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	SAT	4172.59	4174.08	1627202
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	4516.99	4518.25	1627212
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	SAT	4568.48	4568.02	1627136
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S948096916-040.cnf	SAT	4823.51	4825.08	1627700

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	Signal 6	0.31995	0.320669	1627618
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	Signal 11	0.613906	0.614637	1627532
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	Signal 11	5.76012	5.76159	1627504
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	Signal 11	12.4591	12.4637	1627529
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	Signal 11	125.792	125.835	1627561
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	Signal 11	316.643	316.739	1627577
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	Signal 11	1086.58	1087.01	1627556
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	Signal 11	1362.96	1363.36	1627543
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	Signal 11	3155.57	3156.67	1627500

SAT 2009 Competition: main competition (phase2): benchmarks results per solver

Result page for solver hybridGM3 3 (incomplete)

Category "random instances" (RANDOM)

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

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

Solver was terminated by a signal (9 runs) [Show/Hide]