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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1028159446-096.cnf	UNSAT	12.931	12.9469	1626805
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	UNSAT	15.1057	15.1169	1626813
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	UNSAT	15.1167	15.1406	1626801
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	UNSAT	15.6256	15.6309	1626809
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	UNSAT	16.3125	16.3167	1626811
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	UNSAT	18.2712	18.2797	1626793
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	UNSAT	19.623	19.6347	1626815
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	UNSAT	20.1649	20.1751	1626807
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	UNSAT	27.1949	27.2084	1626803
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	UNSAT	30.6223	30.6405	1626799
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	UNSAT	39.453	39.4809	1626797
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	UNSAT	44.4882	44.518	1626785
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	UNSAT	44.8762	44.8945	1626779
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	UNSAT	45.5731	45.6024	1626787
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	UNSAT	53.3639	53.3981	1626789
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	UNSAT	55.6765	55.6997	1626685
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	UNSAT	58.937	58.9759	1626795
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	UNSAT	60.1579	60.2207	1626783
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	UNSAT	76.2424	76.268	1626681
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	UNSAT	77.7702	77.8201	1626781
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	UNSAT	83.7513	83.8067	1626683
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	UNSAT	85.304	85.3317	1626687
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	UNSAT	101.436	101.47	1626691
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	UNSAT	106.273	106.313	1626641
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	UNSAT	107.556	107.619	1626679
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	UNSAT	108.656	108.712	1626697
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	UNSAT	109.013	109.065	1626791
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	UNSAT	109.293	109.356	1626689
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	UNSAT	115.184	115.24	1626695
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	UNSAT	128.72	128.781	1626657
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	UNSAT	136.339	136.413	1626299
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	UNSAT	151.052	151.169	1626303
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	UNSAT	156.404	156.477	1626307
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	UNSAT	158.004	158.063	1626309
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	UNSAT	158.81	158.907	1626649
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	UNSAT	159.786	159.846	1626693
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	UNSAT	159.864	159.941	1626305
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	UNSAT	161.569	161.633	1626311
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	UNSAT	170.799	170.869	1626315
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	UNSAT	172.205	172.271	1626301
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	UNSAT	174.361	174.445	1626313
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	UNSAT	175.562	175.646	1626317
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	UNSAT	187.597	187.701	1626653
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	UNSAT	195.003	195.11	1626639
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	UNSAT	220.238	220.328	1626715
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	UNSAT	236.068	236.153	1626643
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	UNSAT	237.639	237.753	1626709
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	UNSAT	265.101	265.212	1626713
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	UNSAT	267.279	267.467	1626701
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	UNSAT	277.194	277.336	1626771
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	UNSAT	333.461	333.615	1626651
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	UNSAT	337.828	337.928	1626699
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	UNSAT	371.384	371.55	1626655
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	UNSAT	391.174	391.362	1626769
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	UNSAT	415.513	415.755	1626647
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	UNSAT	484.65	484.872	1626645
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	UNSAT	522.905	523.152	1626707
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	UNSAT	533.804	534.045	1626777
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	UNSAT	536.207	536.432	1626717
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	UNSAT	582.653	582.954	1626711
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	UNSAT	615.111	615.442	1626705
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	UNSAT	680.615	680.955	1626703
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	UNSAT	728.858	729.26	1626331
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	UNSAT	732.184	732.587	1626323
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	UNSAT	747.078	747.422	1626449
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	UNSAT	760.185	760.513	1626439
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	UNSAT	760.23	760.557	1626441
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	UNSAT	760.4	760.808	1626457
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	UNSAT	762.232	762.577	1626453
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	UNSAT	764.164	764.536	1626447
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	UNSAT	768.415	768.83	1626455
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	UNSAT	770.498	770.821	1626443
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	UNSAT	771.21	771.548	1626321
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	UNSAT	782.73	783.118	1626451
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	UNSAT	786.376	786.679	1626445
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	UNSAT	786.545	786.901	1626333
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	UNSAT	798.195	798.593	1626325
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	UNSAT	823.053	823.393	1626765
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	UNSAT	844.156	844.367	1626327
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	UNSAT	844.862	845.317	1626335
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	UNSAT	847.086	847.483	1626337
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	UNSAT	856.474	856.736	1626329
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	UNSAT	867.71	868.064	1626763
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	UNSAT	916.311	916.682	1626319
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	UNSAT	922.361	922.715	1626775
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	UNSAT	985.298	985.801	1626745
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	UNSAT	1004.91	1005.32	1626747
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	UNSAT	1093.57	1094.26	1626739
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	UNSAT	1144.3	1144.81	1626767
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	UNSAT	1182.76	1183.36	1626757
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	UNSAT	1230.22	1230.78	1626773
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	UNSAT	1269.07	1269.68	1626741
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	UNSAT	1293.33	1294.13	1626759
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	UNSAT	1348.87	1349.24	1626755
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	UNSAT	1577.97	1578.62	1626599
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	UNSAT	1580.96	1581.74	1626607
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	UNSAT	1653.82	1654.76	1626601
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	UNSAT	1715.17	1716.06	1626603
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	UNSAT	1725.74	1726.47	1626751
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	UNSAT	2036.78	2037.64	1626753
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	UNSAT	2512.74	2513.8	1626637
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	UNSAT	2615.7	2617.23	1626749
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	UNSAT	2624.12	2625.17	1626487
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	UNSAT	2648.9	2650.09	1626497
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	UNSAT	2673.59	2674.76	1626485
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	UNSAT	2678.69	2679.83	1626495
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	UNSAT	2684.98	2686.3	1626493
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	UNSAT	2689.82	2690.93	1626481
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	UNSAT	2696.34	2697.56	1626483
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	UNSAT	2709.49	2710.54	1626491
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	UNSAT	2737.97	2739.12	1626479
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	UNSAT	3037.56	3039.01	1626617
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	UNSAT	3323.13	3324.78	1626283
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	UNSAT	3457.1	3458.25	1626633
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	UNSAT	3610.69	3612.57	1626285
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	UNSAT	3644.93	3646.32	1626279
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	UNSAT	3714.78	3716.67	1626297
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	UNSAT	3797.78	3799.42	1626295
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	UNSAT	3867.37	3868.53	1626287
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	UNSAT	3873.73	3875.58	1626289
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	UNSAT	3972.52	3974.15	1626623
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	UNSAT	3973.78	3975.5	1626293
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	UNSAT	4040.43	4042.22	1626281
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	UNSAT	4049.75	4051.83	1626609
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	UNSAT	4119.11	4121.14	1626635
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	UNSAT	4135.45	4136.92	1626291
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	UNSAT	4215.5	4216.97	1626725
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	UNSAT	4771.88	4774.19	1626611
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	UNSAT	4785.39	4798.61	1626631
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	UNSAT	4823.89	4825.77	1626605
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	UNSAT	4974.14	4987.12	1626621

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.045992	0.0463521	1627001
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.078987	0.0798079	1626867
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.087986	0.0886229	1627019
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.094984	0.0951419	1627027
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.111982	0.112418	1626901
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.127979	0.128563	1626935
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.149976	0.150089	1627023
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.159975	0.159584	1626937
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.414936	0.415268	1626981
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.512921	0.51254	1627005
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.51792	0.518051	1627003
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.604907	0.605311	1626983
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.718889	0.719828	1626893
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.719889	0.720389	1627035
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.838871	0.83949	1627037
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	1.00085	1.00163	1626997
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	1.14282	1.14427	1626963
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	1.3418	1.34206	1627013
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	1.35879	1.35988	1626873
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	1.35979	1.36051	1626889
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	1.70174	1.7056	1626917
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	1.71874	1.7199	1627021
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	2.24866	2.25113	1626909
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	2.31565	2.31787	1626999
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	2.32865	2.32968	1627007
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	2.81057	2.8114	1626903
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	2.95555	2.95921	1626993
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	3.14252	3.14447	1626417
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	3.22451	3.2254	1626399
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	3.35449	3.35581	1626945
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	3.41748	3.41897	1626859
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	3.75043	3.75273	1627015
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	4.08138	4.0829	1627009
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	4.27635	4.27836	1626923
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	4.40833	4.40984	1627029
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	4.50031	4.50381	1626865
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	4.89325	4.89641	1626387
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	5.2512	5.25384	1626875
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	5.2732	5.28625	1626913
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	5.96209	5.9691	1626883
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	6.35003	6.35537	1626861
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	6.41102	6.41241	1626959
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	7.30789	7.31109	1626961
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	7.63484	7.64218	1626933
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	7.77582	7.77749	1626851
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	7.84981	7.85367	1627011
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	7.98979	7.99252	1627025
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	8.16876	8.17057	1626849
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	8.17376	8.18189	1626379
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	8.34573	8.35877	1626991
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	8.74567	8.75011	1626395
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	9.79551	9.79828	1626393
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	9.95549	9.96041	1626929
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	10.2394	10.2506	1627033
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	10.4664	10.4696	1626925
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	10.7454	10.7528	1626519
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	12.2351	12.2377	1626971
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	12.4921	12.5011	1626863
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	12.7161	12.7207	1626383
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	13.088	13.0925	1626389
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	13.6909	13.7029	1626947
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	14.4478	14.4574	1626907
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	15.2227	15.2329	1626401
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	16.1085	16.116	1626953
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	17.1144	17.1189	1626855
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	17.3384	17.35	1626915
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	17.9133	17.945	1626897
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	21.8117	21.8097	1626891
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	23.3534	23.3705	1626391
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	23.3644	23.3784	1627031
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	23.9444	23.9523	1626977
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	25.1002	25.1191	1626927
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	26.395	26.5701	1626899
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	26.609	26.6188	1626995
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	27.8828	27.8913	1626919
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	31.9191	31.9283	1626381
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	32.733	32.7453	1626409
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	33.9178	33.9334	1626871
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	37.5503	37.5637	1626965
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	40.6158	40.6467	1627017
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	44.8492	44.8729	1626877
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	48.0157	48.0352	1626385
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	57.8812	57.9062	1626987
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	63.9213	63.9446	1626869
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	74.4737	74.5029	1626403
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	74.5867	74.63	1626829
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	76.9583	76.9918	1626841
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	SAT	80.5098	80.5498	1626563
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	88.1456	88.1825	1626359
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	91.793	91.8435	1626833
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	93.7847	93.8484	1626397
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	95.4935	95.5368	1626975
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	95.5555	95.6022	1626845
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	101.41	101.461	1626827
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	103.509	103.562	1626407
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	119.331	119.386	1626967
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	129.668	129.71	1626911
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	130.658	130.787	1626843
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	136.262	136.322	1626847
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	141.979	142.072	1626527
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	152.608	152.712	1626437
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	155.634	155.704	1626885
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	155.933	155.994	1626957
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	157.395	157.464	1626373
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	159.276	159.352	1626979
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	161.931	162.005	1626567
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	164.054	164.133	1626415
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	171.511	171.597	1626413
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	185.353	185.458	1626931
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	186.993	187.052	1626541
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	188.79	188.878	1626969
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	190.894	190.979	1626921
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	191.904	192.006	1626831
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	208.342	208.446	1626367
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	219.981	220.071	1626433
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	233.779	233.92	1626905
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	251.225	251.341	1626405
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	252.573	252.692	1626411
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	253.606	253.701	1626857
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	254.828	254.963	1626521
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	258.124	258.288	1626525
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	265.215	265.324	1626973
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	273.434	273.539	1626985
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	275.777	275.916	1626523
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	317.961	318.126	1626941
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	320.969	321.107	1626943
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	340.027	340.147	1626591
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	344.366	344.542	1626535
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	346.974	347.142	1626573
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	353.04	353.228	1626989
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	417.828	418.002	1626435
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	440.816	440.989	1626529
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	475.191	475.389	1626531
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	476.798	476.944	1626821
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	511.988	512.194	1626951
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	523.408	523.657	1626365
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	533.434	533.673	1626571
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	623.623	623.863	1626853
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	633.619	633.89	1626533
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	637.501	637.769	1626537
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	709.518	709.856	1626825
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	722.142	722.466	1626955
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	733.656	734.045	1626565
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	780.21	780.523	1626377
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	799.078	799.489	1626819
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	804.861	805.259	1626555
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	856.669	856.936	1626547
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	1121.36	1121.83	1626471
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	SAT	1145.41	1146.04	1626577
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	SAT	1412.34	1412.75	1626559
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	1470.06	1470.7	1626371
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	1548.01	1548.68	1626837
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	1606.43	1607.07	1626553
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	1644.94	1645.63	1626429
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	1721.48	1722.37	1626575
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	1728.96	1729.42	1626561
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	1774.32	1774.95	1626361
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	1834.92	1835.64	1626369
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	1836.57	1837.45	1626423
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	2057.78	2058.9	1626539
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	2080.3	2081.34	1626569
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	2082.39	2083.36	1626557
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	2125.29	2126.48	1626887
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	2438.42	2439.48	1626489
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	2769.55	2771.2	1626551
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	3063.6	3065.27	1626895
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	3074.34	3075.75	1626823
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	3392.05	3393.69	1626839
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	3484.87	3485.9	1626431
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	3607.94	3609.34	1626375
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	3611.67	3613.48	1626477
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	3703.71	3705.58	1626363
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	3868.25	3870.39	1626425
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	4208.84	4210.89	1626597
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	4306.34	4308.18	1626583
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	4770.92	4772.98	1626543
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	4860.04	4862.54	1626427

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	? (TO)	5000.01	5002.61	1626209
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (TO)	5000.01	5002.11	1626011
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	? (TO)	5000.02	5002.91	1626229
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	? (TO)	5000.02	5002.01	1625969
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	? (TO)	5000.02	5002.01	1625935
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S2141325032-035.cnf	? (TO)	5000.02	5002.41	1627083
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	? (TO)	5000.02	5002.01	1626191
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (TO)	5000.02	5001.81	1626677
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	? (TO)	5000.02	5002.61	1626163
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	? (TO)	5000.02	5002.91	1626155
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	? (TO)	5000.02	5002.11	1626129
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	? (TO)	5000.02	5002.11	1626139
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	? (TO)	5000.02	5002.81	1626207
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	? (TO)	5000.02	5002.31	1626095
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	? (TO)	5000.02	5002.41	1626121
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (TO)	5000.02	5003.01	1626013
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (TO)	5000.02	5001.81	1626007
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	? (TO)	5000.02	5001.81	1626183
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	? (TO)	5000.02	5002.61	1626115
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	? (TO)	5000.02	5002.41	1626017
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	? (TO)	5000.02	5002.21	1626227
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	? (TO)	5000.02	5002.21	1626097
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	? (TO)	5000.02	5002.11	1626087
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	? (TO)	5000.02	5002.21	1626269
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (TO)	5000.02	4999.52	1626009
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	? (TO)	5000.02	5002.41	1626093
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (TO)	5000.02	5002.02	1626015
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	? (TO)	5000.02	5002.61	1626879
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (TO)	5000.02	5002.21	1626353
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (TO)	5000.02	5002.51	1626461
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1845495059-059.cnf	? (TO)	5000.02	5002.11	1627075
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (TO)	5000.02	5002.01	1626037
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1458308594-024.cnf	? (TO)	5000.02	5002.61	1627087
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	? (TO)	5000.02	5001.81	1625911
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	? (TO)	5000.02	5002.01	1626549
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	? (TO)	5000.02	5002.81	1625941
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (TO)	5000.03	5002.41	1626507
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	? (TO)	5000.03	5001.91	1626137
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	? (TO)	5000.03	5001.81	1626169
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	? (TO)	5000.03	5002.61	1626221
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	? (TO)	5000.03	5002.11	1626131
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1410794832-034.cnf	? (TO)	5000.03	5002.01	1627059
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (TO)	5000.03	5002.61	1625953
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (TO)	5000.03	5001.81	1626659
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	? (TO)	5000.03	5002.21	1625937
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	? (TO)	5000.03	5001.41	1626581
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (TO)	5000.03	5002.61	1626517
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	? (TO)	5000.03	5002.21	1626503
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	? (TO)	5000.03	5001.21	1626501
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (TO)	5000.03	5002.31	1626475
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S1238271423-026.cnf	? (TO)	5000.03	5002.41	1627101
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	? (TO)	5000.03	5002.51	1625973
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	? (TO)	5000.03	5001.51	1626047
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	? (TO)	5000.03	5002.01	1626049
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	? (TO)	5000.03	5002.11	1625987
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	? (TO)	5000.03	5002.41	1626347
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	? (TO)	5000.03	5003.11	1626041
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	? (TO)	5000.03	5002.02	1626339
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	? (TO)	5000.03	5002.61	1626261
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	? (TO)	5000.03	5001.91	1626259
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	? (TO)	5000.03	5002.21	1626141
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	? (TO)	5000.03	5002.11	1626159
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	? (TO)	5000.03	5002.71	1626079
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	? (TO)	5000.03	5001.31	1626125
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (TO)	5000.04	5002.31	1626663
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1344049097-080.cnf	? (TO)	5000.04	5002.21	1627073
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	? (TO)	5000.04	5002.21	1626459
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (TO)	5000.04	5003.01	1626499
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	? (TO)	5000.04	5012.41	1626629
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	? (TO)	5000.04	5002.21	1626119
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S1093158247-008.cnf	? (TO)	5000.04	5002.51	1627109
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (TO)	5000.04	5002.51	1626723
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S1321948597-025.cnf	? (TO)	5000.04	5002.21	1627115
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (TO)	5000.04	5001.71	1626029
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S10567605-051.cnf	? (TO)	5000.04	5002.81	1627103
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	? (TO)	5000.04	5001.61	1626051
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	? (TO)	5000.04	5002.81	1626189
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	? (TO)	5000.04	5002.01	1626589
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (TO)	5000.04	5002.11	1626023
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1825231826-068.cnf	? (TO)	5000.04	5002.21	1627061
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	? (TO)	5000.04	5002.01	1626109
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	? (TO)	5000.04	5002.91	1625939
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	? (TO)	5000.04	5001.81	1625985
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	? (TO)	5000.04	5002.11	1626277
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	? (TO)	5000.04	5001.51	1626213
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (TO)	5000.04	5001.61	1625959
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S74644527-067.cnf	? (TO)	5000.04	5002.21	1627041
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	? (TO)	5000.04	5001.41	1626165
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1743216639-043.cnf	? (TO)	5000.05	5002.51	1627085
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	? (TO)	5000.05	5002.21	1625951
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	? (TO)	5000.05	5002.31	1626219
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	? (TO)	5000.05	5001.41	1625917
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S948096916-040.cnf	? (TO)	5000.05	5002.51	1627063
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S594431515-001.cnf	? (TO)	5000.05	5002.61	1627107
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (TO)	5000.05	5002.21	1626467
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	? (TO)	5000.05	5002.51	1626083
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	? (TO)	5000.05	5002.11	1625915
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (TO)	5000.05	5002.21	1626033
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	? (TO)	5000.05	5002.01	1626421
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (TO)	5000.05	5002.02	1626351
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	? (TO)	5000.05	5002.41	1626197
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (TO)	5000.05	5002.01	1625947
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	? (TO)	5000.05	5002.61	1626101
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	? (TO)	5000.05	5002.51	1626217
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	? (TO)	5000.05	5002.31	1626043
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (TO)	5000.05	5002.01	1626185
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (TO)	5000.05	5002.11	1626273
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	? (TO)	5000.05	5002.81	1626081
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S143306810-069.cnf	? (TO)	5000.05	5002.21	1627047
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	? (TO)	5000.05	5002.41	1626133
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S126031621-095.cnf	? (TO)	5000.05	5002.11	1627051
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	? (TO)	5000.05	5001.51	1626247
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (TO)	5000.05	5002.13	1626667
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	? (TO)	5000.05	5002.41	1626239
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (TO)	5000.05	5002.51	1626625
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	? (TO)	5000.05	5002.41	1626245
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	? (TO)	5000.05	5003.01	1625903
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	? (TO)	5000.05	5002.51	1625919
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	? (TO)	5000.06	5002.91	1626265
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	? (TO)	5000.06	5001.32	1626001
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	? (TO)	5000.06	5002.11	1625983
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	? (TO)	5000.06	5001.71	1625989
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	? (TO)	5000.06	5001.41	1625991
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	? (TO)	5000.06	5002.01	1625921
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	? (TO)	5000.06	5000.01	1625899
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	? (TO)	5000.06	5002.21	1625961
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	? (TO)	5000.06	5001.51	1625967
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	? (TO)	5000.06	5002.42	1626071
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	? (TO)	5000.06	5002.51	1626061
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (TO)	5000.06	5003.01	1626073
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	? (TO)	5000.06	5002.21	1626123
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	? (TO)	5000.06	5002.61	1626091
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	? (TO)	5000.06	5001.41	1626187
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	? (TO)	5000.06	5001.91	1626195
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	? (TO)	5000.06	5002.51	1626211
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	? (TO)	5000.06	5002.11	1626215
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	? (TO)	5000.06	5002.01	1626237
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (TO)	5000.06	5002.31	1626257
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	? (TO)	5000.06	5001.71	1626243
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	? (TO)	5000.06	5002.22	1626357
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (TO)	5000.06	5002.21	1626343
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	? (TO)	5000.06	5002.51	1626465
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	? (TO)	5000.06	5002.91	1626473
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	? (TO)	5000.06	5002.31	1626505
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	? (TO)	5000.06	5002.22	1626545
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	? (TO)	5000.06	5002.81	1626587
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (TO)	5000.06	5002.21	1626731
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (TO)	5000.06	5002.51	1626733
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	? (TO)	5000.06	5003.21	1626721
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S2125162110-016.cnf	? (TO)	5000.06	5000.21	1627079
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S51420501-097.cnf	? (TO)	5000.06	5002.31	1627077
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S111203033-063.cnf	? (TO)	5000.06	5002.21	1627105
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S515145153-009.cnf	? (TO)	5000.06	5002.21	1627117
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	? (TO)	5000.07	5002.21	1625927
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	? (TO)	5000.07	5002.71	1626355
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (TO)	5000.07	5002.42	1626665
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	? (TO)	5000.07	5002.11	1626085
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	? (TO)	5000.07	5002.12	1626075
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	? (TO)	5000.07	5002.11	1626151
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	? (TO)	5000.07	5002.11	1626205
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	? (TO)	5000.07	5002.51	1626175
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	? (TO)	5000.07	5002.21	1626145
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S162647235-053.cnf	? (TO)	5000.07	5001.62	1627049
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	? (TO)	5000.07	5002.71	1625925
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	? (TO)	5000.07	5001.51	1626003
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	? (TO)	5000.07	5002.81	1626225
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	? (TO)	5000.07	5002.31	1626057
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (TO)	5000.07	5001.31	1626027
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (TO)	5000.07	5002.51	1626077
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	? (TO)	5000.07	5002.21	1626271
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	? (TO)	5000.07	5001.71	1626231
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S1342809844-031.cnf	? (TO)	5000.07	5002.21	1627045
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1067191793-029.cnf	? (TO)	5000.07	5001.41	1627065
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	? (TO)	5000.07	5001.41	1625957
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (TO)	5000.07	5002.71	1626513
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (TO)	5000.07	5002.01	1626463
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	? (TO)	5000.07	5001.91	1625993
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (TO)	5000.07	5000.32	1626675
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (TO)	5000.08	5002.21	1626673
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	? (TO)	5000.08	5002.51	1626103
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (TO)	5000.08	5002.53	1626345
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	? (TO)	5000.08	5002.61	1626067
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	? (TO)	5000.08	5002.31	1626193
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	? (TO)	5000.08	5001.71	1626585
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S1815966229-001.cnf	? (TO)	5000.08	5002.11	1627055
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	? (TO)	5000.08	5002.61	1626113
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	? (TO)	5000.08	5002.11	1626515
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	? (TO)	5000.08	5002.51	1626199
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	? (TO)	5000.08	5002.31	1626171
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	? (TO)	5000.08	5002.21	1626135
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S512227451-001.cnf	? (TO)	5000.08	5002.61	1627091
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (TO)	5000.08	5002.42	1626737
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	? (TO)	5000.08	5002.21	1626105
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S1400647106-062.cnf	? (TO)	5000.08	5002.51	1627057
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	? (TO)	5000.08	5001.41	1625979
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (TO)	5000.09	5002.91	1626671
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	? (TO)	5000.09	5002.51	1626153
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	? (TO)	5000.09	5002.71	1626251
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	? (TO)	5000.09	5002.61	1626253
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	? (TO)	5000.09	5002.61	1626235
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	? (TO)	5000.09	5002.21	1626099
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S540574785-050.cnf	? (TO)	5000.09	5002.61	1627093
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	? (TO)	5000.09	5002.01	1626255
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	? (TO)	5000.09	5002.51	1626069
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	? (TO)	5000.09	5002.41	1626275
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	? (TO)	5000.09	5002.21	1626055
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (TO)	5000.09	5002.21	1626469
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (TO)	5000.09	5002.41	1626509
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	? (TO)	5000.09	5002.11	1626005
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	? (TO)	5000.09	5002.11	1625909
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	? (TO)	5000.09	5002.61	1626593
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	? (TO)	5000.09	5001.81	1626595
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	? (TO)	5000.09	5002.21	1625943
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (TO)	5000.09	5002.33	1626619
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (TO)	5000.09	5001.82	1626669
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (TO)	5000.09	5002.21	1626661
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	? (TO)	5000.09	5002.61	1625929
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	? (TO)	5000.09	5002.11	1625923
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S1328156309-075.cnf	? (TO)	5000.09	5002.31	1627111
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1740374947-073.cnf	? (TO)	5000.09	5002.51	1627095
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	? (TO)	5000.09	5001.72	1626939
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1619557025-031.cnf	? (TO)	5000.09	5002.31	1627067
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	? (TO)	5000.09	5002.11	1626161
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	? (TO)	5000.09	5002.61	1626143
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S463610942-012.cnf	? (TO)	5000.09	5002.21	1627099
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (TO)	5000.09	5002.11	1626179
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S669858349-039.cnf	? (TO)	5000.09	5002.11	1627081
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (TO)	5000.09	5002.41	1626181
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	? (TO)	5000.09	5003.01	1626127
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (TO)	5000.1	5001.91	1625963
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S322218982-076.cnf	? (TO)	5000.1	5002.31	1627097
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	? (TO)	5000.1	5001.41	1625933
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	? (TO)	5000.1	5002.51	1625997
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	? (TO)	5000.1	5002.11	1625931
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	? (TO)	5000.1	5001.81	1625975
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	? (TO)	5000.1	5002.51	1626107
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	? (TO)	5000.1	5002.72	1626063
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	? (TO)	5000.1	5002.21	1626719
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (TO)	5000.1	5002.11	1625913
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (TO)	5000.1	5002.31	1626729
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	? (TO)	5000.1	5002.41	1626117
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S2025849033-087.cnf	? (TO)	5000.1	5002.31	1627113
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	? (TO)	5000.1	5001.41	1626065
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	? (TO)	5000.1	5002.61	1626167
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	? (TO)	5000.1	5002.21	1625905
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	? (TO)	5000.1	5002.31	1626881
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	? (TO)	5000.1	5002.51	1625901
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (TO)	5000.1	5001.52	1626349
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	? (TO)	5000.1	5002.21	1626045
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (TO)	5000.1	5001.92	1626021
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	? (TO)	5000.1	5001.91	1626173
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	? (TO)	5000.1	5001.72	1626241
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (TO)	5000.1	5002.51	1626025
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (TO)	5000.1	5002.31	1626019
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S59207238-009.cnf	? (TO)	5000.1	5002.11	1627069
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	? (TO)	5000.1	5001.91	1626035
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	? (TO)	5000.1	5002.11	1626111
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (TO)	5000.1	5002.11	1626031
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	? (TO)	5000.1	5002.91	1625971
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (TO)	5000.1	5002.31	1626053
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	? (TO)	5000.1	5001.61	1626249
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	? (TO)	5000.1	5002.21	1626223
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	? (TO)	5000.1	5001.71	1625965
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (TO)	5000.11	5002.11	1626511
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	? (TO)	5000.11	5002.11	1626147
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	? (TO)	5000.11	5002.11	1626177
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	? (TO)	5000.11	5002.11	1625981
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	? (TO)	5000.11	5001.71	1625955
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	? (TO)	5000.11	5001.51	1625995
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	? (TO)	5000.11	5001.54	1626949
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S19146617-056.cnf	? (TO)	5000.11	5002.61	1627043
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	? (TO)	5000.11	5002.41	1625945
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	? (TO)	5000.11	5002.01	1626263
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	? (TO)	5000.11	5002.31	1626267
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	? (TO)	5000.11	5000.11	1626149
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	? (TO)	5000.11	5002.61	1625977
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S454748558-041.cnf	? (TO)	5000.11	5002.51	1627039
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	? (TO)	5000.11	5002.21	1626201
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1688249661-078.cnf	? (TO)	5000.11	5002.11	1627089
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (TO)	5000.11	5002.71	1626039
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (TO)	5000.11	5002.11	1625999
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	? (TO)	5000.11	5002.11	1625949
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	? (TO)	5000.11	5002.31	1626157
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (TO)	5000.11	5002.03	1626735
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	? (TO)	5000.11	5002.11	1626203
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	? (TO)	5000.11	5002.11	1626089
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S274128876-057.cnf	? (TO)	5000.11	5002.11	1627071
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	? (TO)	5000.11	5001.61	1626579
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	? (TO)	5000.11	5002.61	1625907
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S928699366-021.cnf	? (TO)	5000.11	5002.31	1627053
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	? (TO)	5000.12	5002.31	1626233
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	? (TO)	5000.12	5002.22	1626419
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	? (TO)	5000.12	5002.52	1626341
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	? (TO)	5000.12	5000.31	1626627
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	? (TO)	5000.12	5001.62	1626059
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (TO)	5000.12	5002.92	1626727
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	? (TO)	5000.14	5002.14	1626613

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	Signal 11	7.68783	7.7009	1626817
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	Signal 11	470.474	470.687	1626835
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	Signal 11	473.34	473.564	1626761
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	Signal 11	495.975	496.283	1626743
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	Signal 11	1842.08	1842.88	1626615

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

Result page for solver SAT07 reference solver: March KS 2007-02-08 (complete)

Category "random instances" (RANDOM)

Solver proved unsatisfiability (UNSATISFIABLE) (131 runs) [Show/Hide]

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

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

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