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	78.0621	78.1461	1630621
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1906521511-089.cnf	UNSAT	80.2288	80.2996	1630625
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S253750560-086.cnf	UNSAT	80.5727	80.6232	1630624
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S1369720750-015.cnf	UNSAT	80.9227	80.9827	1630619
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S680239195-053.cnf	UNSAT	81.1527	81.1876	1630623
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S2043187304-036.cnf	UNSAT	83.4673	83.7684	1630615
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S23373420-028.cnf	UNSAT	84.1242	84.169	1630626
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S404185236-001.cnf	UNSAT	84.8261	84.8585	1630622
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S305156909-031.cnf	UNSAT	86.9588	87.0132	1630627
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S367138237-029.cnf	UNSAT	91.5181	91.5975	1630620
RANDOM/MEDIUM/3SAT/UNKNOWN/360/ unif-k3-r4.25-v360-c1530-S2025517367-061.cnf	UNSAT	94.9456	94.9743	1630618
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S502087726-095.cnf	UNSAT	102.995	103.048	1630617
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S928666993-098.cnf	UNSAT	104.606	104.658	1630611
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1983754128-073.cnf	UNSAT	108.838	108.896	1630608
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1700363952-014.cnf	UNSAT	109.442	109.532	1630612
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1807135406-059.cnf	UNSAT	114.252	114.346	1630613
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1039370030-037.cnf	UNSAT	115.099	115.873	1630561
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S999404609-010.cnf	UNSAT	119.187	119.259	1630610
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S260616787-042.cnf	UNSAT	123.671	123.731	1630616
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1694258328-099.cnf	UNSAT	126.659	126.742	1630609
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S104085281-076.cnf	UNSAT	137.177	137.261	1630559
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S387386125-069.cnf	UNSAT	139.468	139.555	1630560
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S2104277852-078.cnf	UNSAT	143.711	143.789	1630562
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1375576340-029.cnf	UNSAT	148.819	148.907	1630564
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1394036608-091.cnf	UNSAT	155.407	155.514	1630539
RANDOM/MEDIUM/3SAT/UNKNOWN/380/ unif-k3-r4.25-v380-c1615-S1580204273-012.cnf	UNSAT	157.739	157.807	1630614
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S816613570-013.cnf	UNSAT	158.812	158.898	1630558
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S1553390498-064.cnf	UNSAT	164.282	164.364	1630563
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S125259973-020.cnf	UNSAT	167.026	167.167	1630567
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S418505498-026.cnf	UNSAT	167.084	167.165	1630566
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S531507935-068.cnf	UNSAT	189.945	190.038	1630547
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S596342014-039.cnf	UNSAT	208.747	208.88	1630543
RANDOM/MEDIUM/3SAT/UNKNOWN/400/ unif-k3-r4.25-v400-c1700-S131938947-014.cnf	UNSAT	213.918	214.022	1630565
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1136141672-041.cnf	UNSAT	236.059	236.159	1630545
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1854680784-082.cnf	UNSAT	246.31	246.451	1630538
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S492033085-065.cnf	UNSAT	259.299	259.387	1630576
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1353993612-015.cnf	UNSAT	270.014	270.131	1630573
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S572248576-042.cnf	UNSAT	290.947	291.049	1630540
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1035441377-058.cnf	UNSAT	295.08	295.209	1630575
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1159067237-017.cnf	UNSAT	316.925	317.06	1630604
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S393462637-097.cnf	UNSAT	322.002	322.138	1630569
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S565564805-059.cnf	UNSAT	341.179	341.332	1630544
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S444219303-098.cnf	UNSAT	366.547	366.733	1630568
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S2096960818-049.cnf	UNSAT	390.98	391.117	1630546
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S1528023000-027.cnf	UNSAT	405.733	405.917	1630542
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1746008863-010.cnf	UNSAT	416.872	417.091	1630603
RANDOM/MEDIUM/3SAT/UNKNOWN/420/ unif-k3-r4.25-v420-c1785-S121765931-081.cnf	UNSAT	478.028	478.225	1630541
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1775841359-070.cnf	UNSAT	533.683	533.963	1630577
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1563412474-059.cnf	UNSAT	536.144	536.389	1630572
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S190880026-038.cnf	UNSAT	550.788	551.054	1630607
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S729526068-046.cnf	UNSAT	597.707	597.966	1630599
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S332478069-041.cnf	UNSAT	601.259	601.56	1630571
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S1350958473-082.cnf	UNSAT	637.926	638.227	1630574
RANDOM/MEDIUM/3SAT/UNKNOWN/440/ unif-k3-r4.25-v440-c1870-S287522321-032.cnf	UNSAT	682.117	682.468	1630570
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1810287895-075.cnf	UNSAT	800.042	800.415	1630600
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1377066099-004.cnf	UNSAT	803.648	804.016	1630601
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1007745655-097.cnf	UNSAT	910.851	911.284	1630591
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1628763900-004.cnf	UNSAT	945.978	946.404	1630592
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S2007898659-069.cnf	UNSAT	952.271	952.546	1630606
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S583379276-046.cnf	UNSAT	1018.42	1018.73	1630588
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S356738975-073.cnf	UNSAT	1058.97	1059.27	1630602
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S915600698-006.cnf	UNSAT	1101.53	1102.19	1630597
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1249441590-066.cnf	UNSAT	1131.86	1132.37	1630605
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1175850950-017.cnf	UNSAT	1147.11	1147.49	1630589
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S1524836866-036.cnf	UNSAT	1162.84	1163.42	1630596
RANDOM/MEDIUM/3SAT/UNKNOWN/460/ unif-k3-r4.25-v460-c1955-S1892788676-021.cnf	UNSAT	1187.09	1187.75	1630598
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S287307030-088.cnf	UNSAT	1438.78	1439.4	1630518
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1339364096-048.cnf	UNSAT	1458.43	1459.16	1630519
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S285229208-001.cnf	UNSAT	1600.37	1601.05	1630594
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1826325374-100.cnf	UNSAT	1618.69	1619.38	1630520
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1213077873-067.cnf	UNSAT	1627.04	1627.53	1630522
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S457856978-061.cnf	UNSAT	1815.21	1815.87	1630590
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S926047226-039.cnf	UNSAT	1876.53	1877.38	1630595
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1916972979-060.cnf	UNSAT	2095.85	2096.34	1630368
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S159251645-087.cnf	UNSAT	2276.78	2277.9	1630537
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S122462268-047.cnf	UNSAT	2303.89	2305.04	1630369
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S845966893-046.cnf	UNSAT	2397.47	2398.16	1630373
RANDOM/MEDIUM/3SAT/UNKNOWN/480/ unif-k3-r4.25-v480-c2040-S2034442711-054.cnf	UNSAT	2417.81	2418.46	1630593
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S559732886-091.cnf	UNSAT	2421.74	2422.47	1630374
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1331382449-070.cnf	UNSAT	2426.93	2427.93	1630377
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1410489780-030.cnf	UNSAT	2444.05	2445.2	1630371
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S1305875336-097.cnf	UNSAT	2645.21	2646.48	1630370
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S785082413-028.cnf	UNSAT	2831.23	2832.58	1630375
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S291433416-025.cnf	UNSAT	2849.96	2849.67	1630376
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1735544520-075.cnf	UNSAT	2886.84	2887.67	1630527
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1540921235-015.cnf	UNSAT	2947.13	2948.37	1630535
RANDOM/MEDIUM/5SAT/UNKNOWN/90/ unif-k5-r21.3-v90-c1917-S712437980-063.cnf	UNSAT	3040.96	3042.06	1630372
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S149116968-021.cnf	UNSAT	3497.26	3509.62	1630530
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1250067652-054.cnf	UNSAT	3720.84	3722.76	1630581
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S900957093-043.cnf	UNSAT	3790.29	3791.96	1630526
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1803805764-016.cnf	UNSAT	3798.57	3799.48	1630523
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S486178562-011.cnf	UNSAT	3976.47	3977.48	1630536
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S645163129-012.cnf	UNSAT	4196.28	4198.32	1630521
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S1731702106-010.cnf	UNSAT	4233.79	4235.6	1630524
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1331813943-033.cnf	UNSAT	4320.62	4322.49	1630534
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1602291491-023.cnf	UNSAT	4838.2	4840.15	1630529

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S486002104-037.cnf	SAT	0.009997	0.00999697	1630722
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1339293988-069.cnf	SAT	0.009997	0.0103441	1630680
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1516934767-080.cnf	SAT	0.010997	0.010711	1630721
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1161147107-031.cnf	SAT	0.010997	0.011391	1630644
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1912687159-077.cnf	SAT	0.010997	0.011519	1630725
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S2032263657-035.cnf	SAT	0.011997	0.011264	1630732
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1014608490-038.cnf	SAT	0.011997	0.011446	1630655
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S725789261-031.cnf	SAT	0.012997	0.012869	1630686
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S722433227-030.cnf	SAT	0.012997	0.01319	1630734
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1263695887-042.cnf	SAT	0.013997	0.014803	1630685
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S172053238-003.cnf	SAT	0.013997	0.0142999	1630675
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S852794659-023.cnf	SAT	0.013997	0.013882	1630413
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1826927554-087.cnf	SAT	0.014997	0.0148681	1630728
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S326477539-068.cnf	SAT	0.014997	0.015264	1630723
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1711406314-093.cnf	SAT	0.015997	0.0170301	1630737
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1733990810-090.cnf	SAT	0.015997	0.0169049	1630710
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S208461254-049.cnf	SAT	0.016996	0.017531	1630687
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S554804223-012.cnf	SAT	0.018996	0.0194751	1630704
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S957997002-040.cnf	SAT	0.018996	0.018597	1630699
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1326039470-063.cnf	SAT	0.018996	0.018642	1630677
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1880984131-087.cnf	SAT	0.019996	0.020024	1630656
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1674394075-027.cnf	SAT	0.019996	0.0195051	1630718
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1916548023-003.cnf	SAT	0.020996	0.0208301	1630692
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1624574519-076.cnf	SAT	0.020996	0.0211101	1630654
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S308012126-046.cnf	SAT	0.021995	0.0232501	1630427
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1036996799-006.cnf	SAT	0.021996	0.0227029	1630720
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S311671104-045.cnf	SAT	0.021996	0.0219061	1630652
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1159550149-077.cnf	SAT	0.022996	0.0227301	1630415
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S180439591-093.cnf	SAT	0.023995	0.023889	1630651
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1137823545-077.cnf	SAT	0.024995	0.025255	1630689
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S565763763-051.cnf	SAT	0.024995	0.024472	1630662
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S621134782-041.cnf	SAT	0.025995	0.025924	1630643
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2007547542-039.cnf	SAT	0.025995	0.025855	1630414
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1707873242-085.cnf	SAT	0.026995	0.0270929	1630422
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S889538696-070.cnf	SAT	0.027995	0.0273841	1630660
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S809967194-078.cnf	SAT	0.028995	0.029195	1630665
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1841979702-078.cnf	SAT	0.030994	0.0308819	1630726
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S321371087-018.cnf	SAT	0.030994	0.031271	1630709
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1931398869-036.cnf	SAT	0.030994	0.0310509	1630412
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1481888618-011.cnf	SAT	0.030995	0.0305639	1630402
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1546885609-031.cnf	SAT	0.030995	0.031303	1630714
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1460100153-095.cnf	SAT	0.031994	0.0324151	1630648
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1041106011-094.cnf	SAT	0.033994	0.0338879	1630724
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1448866403-060.cnf	SAT	0.034993	0.039334	1630731
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1555503917-029.cnf	SAT	0.034994	0.035493	1630713
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S144043535-002.cnf	SAT	0.034994	0.0343049	1630736
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1924575376-025.cnf	SAT	0.035993	0.03613	1630706
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S787972994-025.cnf	SAT	0.035993	0.0366139	1630682
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1422278005-004.cnf	SAT	0.035994	0.0381799	1630433
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1666821205-020.cnf	SAT	0.036993	0.0368141	1630683
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S824721511-001.cnf	SAT	0.036993	0.0376001	1630409
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1459690542-033.cnf	SAT	0.036993	0.037435	1630730
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1614425450-034.cnf	SAT	0.037993	0.0380411	1630715
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1112524719-021.cnf	SAT	0.041993	0.043203	1630681
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S282405510-004.cnf	SAT	0.046992	0.0478779	1630425
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S2032726331-082.cnf	SAT	0.047992	0.0480889	1630672
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1684547485-073.cnf	SAT	0.048992	0.04938	1630729
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S1367181683-025.cnf	SAT	0.050991	0.050829	1630712
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S1293537826-039.cnf	SAT	0.051991	0.052419	1630733
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2067258640-036.cnf	SAT	0.051991	0.052734	1630708
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S981523907-072.cnf	SAT	0.053991	0.0532061	1630669
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1767425240-073.cnf	SAT	0.05699	0.0574791	1630673
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1163324878-032.cnf	SAT	0.05799	0.0579519	1630436
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S971118900-053.cnf	SAT	0.05999	0.0597631	1630426
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S146188995-071.cnf	SAT	0.06199	0.062664	1630642
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S986324446-009.cnf	SAT	0.06199	0.0611119	1630405
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S418266958-049.cnf	SAT	0.065989	0.066546	1630670
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1850025790-078.cnf	SAT	0.071988	0.0721069	1630401
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1568932519-011.cnf	SAT	0.073988	0.07449	1630411
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1985172968-100.cnf	SAT	0.074988	0.0753849	1630719
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1002348653-090.cnf	SAT	0.076987	0.0777091	1630701
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1772254584-042.cnf	SAT	0.076988	0.0776929	1630421
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1858385213-060.cnf	SAT	0.077987	0.0776369	1630485
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S2139292994-055.cnf	SAT	0.081987	0.0824291	1630410
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S398733532-072.cnf	SAT	0.083986	0.083795	1630398
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S227954525-082.cnf	SAT	0.085986	0.0859829	1630646
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S786890012-057.cnf	SAT	0.085986	0.085146	1630663
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S400088537-049.cnf	SAT	0.086986	0.085619	1630502
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1876865608-086.cnf	SAT	0.087985	0.08937	1630664
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1730125812-056.cnf	SAT	0.088986	0.0886491	1630703
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1362286908-061.cnf	SAT	0.089985	0.0897669	1630649
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1429776379-099.cnf	SAT	0.090985	0.0917591	1630661
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S1040456712-073.cnf	SAT	0.092985	0.0935059	1630416
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S84716411-095.cnf	SAT	0.094985	0.0950371	1630695
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1940784272-089.cnf	SAT	0.106983	0.108732	1630650
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1771223975-021.cnf	SAT	0.108982	0.11012	1630407
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S884941173-092.cnf	SAT	0.109982	0.11101	1630404
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1949086545-083.cnf	SAT	0.115982	0.115879	1630667
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S638042053-051.cnf	SAT	0.117981	0.118093	1630403
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1963731659-060.cnf	SAT	0.119981	0.120625	1630431
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S393518083-009.cnf	SAT	0.12398	0.124391	1630418
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1977519792-030.cnf	SAT	0.132979	0.133217	1630641
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2028777924-038.cnf	SAT	0.135979	0.136495	1630454
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1139247531-051.cnf	SAT	0.138978	0.139337	1630653
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S658989873-070.cnf	SAT	0.167974	0.168444	1630635
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1258122549-031.cnf	SAT	0.170973	0.173522	1630632
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S1864638535-048.cnf	SAT	0.178972	0.18034	1630678
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S247943532-069.cnf	SAT	0.182971	0.182867	1630638
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S744068878-072.cnf	SAT	0.195969	0.19616	1630408
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2106599808-035.cnf	SAT	0.215966	0.216442	1630717
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1494961823-060.cnf	SAT	0.227965	0.425102	1630628
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S2069223517-023.cnf	SAT	0.230964	0.23017	1630707
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S602463346-055.cnf	SAT	0.231964	0.235028	1630633
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1075551507-050.cnf	SAT	0.235963	0.235644	1630275
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S714125262-017.cnf	SAT	0.236963	0.237448	1630674
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S95953046-044.cnf	SAT	0.249961	0.252317	1630629
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S402241321-038.cnf	SAT	0.250961	0.251759	1630420
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S110290755-003.cnf	SAT	0.25596	0.255318	1630679
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S984347600-003.cnf	SAT	0.25696	0.257362	1630419
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S748216286-061.cnf	SAT	0.25896	0.259283	1630424
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S746386799-050.cnf	SAT	0.262959	0.263354	1630484
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S617358728-082.cnf	SAT	0.277957	0.278912	1630711
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S1531283922-009.cnf	SAT	0.285955	0.285772	1630676
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S956671877-054.cnf	SAT	0.295954	0.296569	1630639
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1879656894-046.cnf	SAT	0.302953	0.303021	1630437
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S2087271472-092.cnf	SAT	0.303953	0.303184	1630645
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1229813320-044.cnf	SAT	0.311952	0.312791	1630698
RANDOM/MEDIUM/3SAT/SATISFIABLE/460/ unif-k3-r4.25-v460-c1955-S2035161427-020.cnf	SAT	0.314951	0.314777	1630716
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S449556655-088.cnf	SAT	0.32095	0.321371	1630705
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S1045096471-025.cnf	SAT	0.320951	0.319769	1630634
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1800466054-025.cnf	SAT	0.342947	0.343687	1630647
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S644655157-049.cnf	SAT	0.362944	0.362346	1630428
RANDOM/MEDIUM/5SAT/SATISFIABLE/90/ unif-k5-r21.3-v90-c1917-S47926000-049.cnf	SAT	0.38894	0.38943	1630417
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S817309453-059.cnf	SAT	0.402938	0.402977	1630697
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S603077945-019.cnf	SAT	0.425934	0.42636	1630493
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S834811574-084.cnf	SAT	0.427934	0.428469	1630491
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1223878722-065.cnf	SAT	0.433933	0.434063	1630505
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1017443264-065.cnf	SAT	0.437932	0.438273	1630435
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1767813611-042.cnf	SAT	0.442932	0.443422	1630399
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S709270457-007.cnf	SAT	0.460929	0.460309	1630506
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1503318847-091.cnf	SAT	0.464928	0.465013	1630430
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S357555833-073.cnf	SAT	0.474927	0.47452	1630429
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1146593655-045.cnf	SAT	0.487925	0.488337	1630499
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S2142680239-019.cnf	SAT	0.51892	0.518732	1630690
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S23858409-056.cnf	SAT	0.553915	0.555277	1630693
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S433356712-017.cnf	SAT	0.58291	0.583282	1630694
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S142096783-019.cnf	SAT	0.609906	0.613046	1630668
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf	SAT	0.666898	0.666509	1630479
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1514821049-021.cnf	SAT	0.668897	0.668444	1630482
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1338462531-082.cnf	SAT	0.807876	0.807228	1630702
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S512486692-050.cnf	SAT	0.938857	0.939729	1630492
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S839983432-073.cnf	SAT	0.97985	0.979193	1630510
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1639151107-094.cnf	SAT	1.05084	1.05948	1630478
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1828800850-025.cnf	SAT	1.10483	1.10508	1630481
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S353643296-086.cnf	SAT	1.11783	1.11924	1630637
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S844931093-069.cnf	SAT	1.13183	1.13238	1630666
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1723021362-073.cnf	SAT	1.14382	1.14404	1630497
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S1153031014-012.cnf	SAT	1.15882	1.15989	1630432
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S7007454-009.cnf	SAT	1.19582	1.20161	1630268
RANDOM/MEDIUM/3SAT/SATISFIABLE/420/ unif-k3-r4.25-v420-c1785-S1778559297-006.cnf	SAT	1.22081	1.22076	1630657
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1988754311-026.cnf	SAT	1.2858	1.29164	1630515
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2025169165-076.cnf	SAT	1.3298	1.32988	1630631
RANDOM/MEDIUM/5SAT/SATISFIABLE/120/ unif-k5-r21.3-v120-c2556-S179172230-011.cnf	SAT	1.35379	2.50008	1630434
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S520696524-059.cnf	SAT	1.39779	1.39906	1630272
RANDOM/MEDIUM/3SAT/SATISFIABLE/380/ unif-k3-r4.25-v380-c1615-S1804335510-002.cnf	SAT	1.43478	1.43532	1630727
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1482824652-097.cnf	SAT	1.61575	2.28526	1630457
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S1879859331-044.cnf	SAT	1.65575	1.65979	1630659
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S284173264-081.cnf	SAT	1.69974	1.70032	1630495
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1376127278-008.cnf	SAT	1.75073	1.75425	1630400
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S349436298-004.cnf	SAT	1.82272	1.82275	1630630
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S900737394-048.cnf	SAT	1.88671	1.88775	1630696
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S1332067449-041.cnf	SAT	2.27765	2.29192	1630691
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S2037556208-016.cnf	SAT	2.57161	2.57149	1630480
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1206040031-030.cnf	SAT	2.82157	2.83065	1630486
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1645769281-097.cnf	SAT	2.87056	2.87326	1630501
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S72273909-010.cnf	SAT	3.12152	3.1227	1630512
RANDOM/MEDIUM/5SAT/SATISFIABLE/110/ unif-k5-r21.3-v110-c2343-S1492329924-074.cnf	SAT	3.20051	3.20637	1630406
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S136987316-008.cnf	SAT	3.24651	3.249	1630270
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1895787950-064.cnf	SAT	3.2915	3.29302	1630503
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803323266-025.cnf	SAT	3.41848	3.42108	1630514
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2073320038-053.cnf	SAT	3.74243	3.7441	1630469
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S803029538-050.cnf	SAT	4.11437	4.11755	1630517
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1794178048-059.cnf	SAT	4.14137	4.14345	1630489
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1354285755-030.cnf	SAT	4.15737	4.1661	1630494
RANDOM/MEDIUM/3SAT/SATISFIABLE/540/ unif-k3-r4.25-v540-c2295-S449511205-064.cnf	SAT	4.26335	4.27313	1630688
RANDOM/MEDIUM/3SAT/SATISFIABLE/500/ unif-k3-r4.25-v500-c2125-S2056912842-027.cnf	SAT	4.31034	4.31102	1630636
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S819692891-023.cnf	SAT	4.52231	4.52936	1630511
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1018145191-052.cnf	SAT	4.5993	4.7904	1630210
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S326668183-079.cnf	SAT	5.21521	5.22106	1630487
RANDOM/MEDIUM/3SAT/SATISFIABLE/400/ unif-k3-r4.25-v400-c1700-S419666888-007.cnf	SAT	5.31019	5.32522	1630671
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1484713995-092.cnf	SAT	5.37118	5.37291	1630496
RANDOM/MEDIUM/3SAT/SATISFIABLE/360/ unif-k3-r4.25-v360-c1530-S368632549-051.cnf	SAT	5.83111	5.83394	1630735
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S432776913-077.cnf	SAT	6.07908	6.08474	1630251
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S599916448-096.cnf	SAT	6.79197	6.79272	1630463
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1933199449-033.cnf	SAT	6.92295	6.94288	1630322
RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S1096716652-027.cnf	SAT	7.35488	7.36087	1630483
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S568017735-066.cnf	SAT	8.28974	8.29248	1630325
RANDOM/MEDIUM/5SAT/SATISFIABLE/100/ unif-k5-r21.3-v100-c2130-S1920888253-090.cnf	SAT	8.78266	8.79687	1630423
RANDOM/MEDIUM/3SAT/SATISFIABLE/440/ unif-k3-r4.25-v440-c1870-S780904324-093.cnf	SAT	9.45756	9.46472	1630684
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S779309989-069.cnf	SAT	9.53255	9.54301	1630277
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S445910413-047.cnf	SAT	10.0005	10.0095	1630504
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S342542912-045.cnf	SAT	10.6734	10.6932	1630513
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S1718226278-096.cnf	SAT	10.9663	10.9711	1630490
RANDOM/MEDIUM/7SAT/SATISFIABLE/70/ unif-k7-r89-v70-c6230-S754967851-033.cnf	SAT	11.2493	11.2581	1630488
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1402156840-093.cnf	SAT	13.069	13.0785	1630508
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1203268705-053.cnf	SAT	13.5359	13.5429	1630320
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1337875718-086.cnf	SAT	15.5086	15.527	1630271
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1271018787-049.cnf	SAT	16.9734	16.9818	1630324
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S1640054673-078.cnf	SAT	18.2092	18.2218	1630509
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1788451776-008.cnf	SAT	21.2528	21.3049	1630203
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1582955175-042.cnf	SAT	22.4096	22.4169	1630273
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1765449180-016.cnf	SAT	26.547	26.5591	1630269
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S685953260-065.cnf	SAT	27.7478	27.7561	1630211
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S249585100-059.cnf	SAT	28.5627	28.5746	1630178
RANDOM/MEDIUM/7SAT/SATISFIABLE/75/ unif-k7-r89-v75-c6675-S51205200-028.cnf	SAT	28.6576	28.6759	1630516
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1313163883-027.cnf	SAT	28.8996	28.9179	1630217
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S762724712-048.cnf	SAT	70.7362	70.7969	1630299
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf	SAT	71.9341	71.99	1630274
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S2018484485-019.cnf	SAT	72.437	72.4962	1630323
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1490060417-003.cnf	SAT	72.7909	72.8702	1630305
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1906525286-005.cnf	SAT	72.8589	72.9382	1630286
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S195213520-027.cnf	SAT	75.2396	75.3161	1630288
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S579205610-033.cnf	SAT	75.6845	75.7543	1630292
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1611899384-022.cnf	SAT	75.8605	75.9418	1630215
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1192890414-033.cnf	SAT	76.2284	76.3029	1630216
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S268463339-081.cnf	SAT	76.2534	76.3101	1630287
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S310111511-029.cnf	SAT	76.8253	76.8849	1630316
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1760652419-100.cnf	SAT	77.1663	77.2203	1630307
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2125430099-013.cnf	SAT	78.664	78.7034	1630301
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1119314619-090.cnf	SAT	79.6359	79.6778	1630303
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1970456972-046.cnf	SAT	79.8549	79.8849	1630212
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S139794312-098.cnf	SAT	81.5556	81.6002	1630327
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1281410666-045.cnf	SAT	87.1897	87.263	1630213
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1835046931-014.cnf	SAT	88.3906	88.4594	1630321
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S500426663-025.cnf	SAT	90.0433	90.1019	1630296
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S17277413-072.cnf	SAT	91.6331	91.7841	1630330
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S1500472284-060.cnf	SAT	93.2318	93.2967	1630214
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S74035269-088.cnf	SAT	95.6375	95.6725	1630261
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1806027711-062.cnf	SAT	98.2311	98.3686	1630279
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1769448312-079.cnf	SAT	99.0169	99.0874	1630300
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S439075063-023.cnf	SAT	101.749	101.898	1630289
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S906020180-093.cnf	SAT	105.691	105.778	1630326
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1954748117-061.cnf	SAT	106.277	106.32	1630188
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S2100934911-025.cnf	SAT	114.006	114.076	1630304
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1378953985-075.cnf	SAT	116.287	116.328	1630242
RANDOM/LARGE/3SAT/UNKNOWN/2000/ unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf	SAT	128.187	128.303	1630276
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S661850551-087.cnf	SAT	134.166	134.263	1630204
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S315403000-060.cnf	SAT	147.06	147.125	1630185
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S279212213-020.cnf	SAT	147.652	147.746	1630281
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2080625895-070.cnf	SAT	153.856	153.968	1630344
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S377647456-019.cnf	SAT	154.333	154.448	1630357
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S882603971-022.cnf	SAT	164.815	164.901	1630193
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S322778960-054.cnf	SAT	164.871	164.99	1630335
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2142489608-055.cnf	SAT	179.274	179.368	1630471
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S1629487320-053.cnf	SAT	181.71	181.784	1630298
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1334593800-018.cnf	SAT	184.916	185.017	1630199
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S612955126-075.cnf	SAT	186.057	186.136	1630319
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1818639567-059.cnf	SAT	188.462	188.559	1630260
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2108163340-010.cnf	SAT	188.933	189.025	1630280
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S814638510-058.cnf	SAT	196.808	196.834	1630263
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S2059720696-001.cnf	SAT	205.81	205.913	1630266
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S2044894925-062.cnf	SAT	208.615	209.761	1630295
RANDOM/MEDIUM/3SAT/SATISFIABLE/480/ unif-k3-r4.25-v480-c2040-S1528563858-100.cnf	SAT	230.24	230.362	1630700
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S2092874799-044.cnf	SAT	248.616	248.762	1630282
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1811295114-056.cnf	SAT	249.657	249.749	1630342
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1012522562-096.cnf	SAT	250.125	250.258	1630278
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2126130224-030.cnf	SAT	260.357	260.533	1630332
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1253795703-015.cnf	SAT	262.927	263.029	1630201
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1089166613-072.cnf	SAT	273.378	273.54	1630348
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S907861678-077.cnf	SAT	274.428	274.55	1630246
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S595075179-058.cnf	SAT	278.419	278.589	1630306
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1839094140-055.cnf	SAT	287.198	287.369	1630317
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S251246256-047.cnf	SAT	292.047	292.18	1630179
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S221596758-009.cnf	SAT	314.286	314.406	1630352
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1119648091-064.cnf	SAT	334.398	334.49	1630207
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S839302453-094.cnf	SAT	341.625	341.893	1630290
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S155821307-034.cnf	SAT	344.251	344.405	1630196
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S962875623-008.cnf	SAT	349.838	349.982	1630208
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1550223396-041.cnf	SAT	383.58	383.817	1630343
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S688804305-073.cnf	SAT	384.212	384.409	1630293
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1017667294-044.cnf	SAT	390.755	390.918	1630258
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1183359164-025.cnf	SAT	412.118	412.353	1630184
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1760662955-050.cnf	SAT	424.042	424.262	1630291
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1619557025-031.cnf	SAT	426.583	426.873	1630752
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1912214877-051.cnf	SAT	447.014	447.273	1630191
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1085378176-050.cnf	SAT	515.383	515.627	1630267
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S1741784682-076.cnf	SAT	523.721	524.062	1630294
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1736471436-014.cnf	SAT	532.179	532.352	1630181
RANDOM/LARGE/5SAT/UNKNOWN/700/ unif-k5-r20-v700-c14000-S211141966-058.cnf	SAT	548.589	548.761	1630209
RANDOM/LARGE/3SAT/UNKNOWN/8000/ unif-k3-r4.2-v8000-c33600-S274764005-003.cnf	SAT	560.433	560.679	1630297
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S2054922493-058.cnf	SAT	572.329	572.589	1630190
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S704699380-099.cnf	SAT	587.024	587.181	1630172
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1797123396-073.cnf	SAT	590.363	590.565	1630183
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S1906075351-024.cnf	SAT	619.614	619.815	1630259
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S91288590-071.cnf	SAT	622.175	622.495	1630253
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1284372491-036.cnf	SAT	637.8	637.979	1630171
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S1618450766-063.cnf	SAT	642.775	643.169	1630285
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1332146811-066.cnf	SAT	660.607	661.018	1630338
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S2070759512-014.cnf	SAT	673.611	673.935	1630353
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1726986756-053.cnf	SAT	673.938	674.141	1630333
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S547165541-056.cnf	SAT	707.111	707.484	1630265
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1353769076-009.cnf	SAT	738.754	738.991	1630180
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2054549948-012.cnf	SAT	742.27	742.611	1630177
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S870840347-014.cnf	SAT	808.946	808.978	1630264
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S144924920-056.cnf	SAT	844.17	844.567	1630197
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S2124311399-085.cnf	SAT	864.986	864.905	1630202
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1554646792-012.cnf	SAT	899.873	900.364	1630310
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S21800963-085.cnf	SAT	906.659	906.949	1630284
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2015297474-031.cnf	SAT	1178.32	1178.66	1630169
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S592525179-032.cnf	SAT	1202.33	1203.04	1630249
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1279315365-067.cnf	SAT	1222.02	1222.59	1630339
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1748152762-086.cnf	SAT	1250.08	1250.55	1630182
RANDOM/LARGE/3SAT/UNKNOWN/10000/ unif-k3-r4.2-v10000-c42000-S859578263-029.cnf	SAT	1267.75	1268.28	1630283
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S501150091-001.cnf	SAT	1303.71	1304.1	1630168
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1989329161-018.cnf	SAT	1360.38	1361.03	1630337
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1185462553-011.cnf	SAT	1363.59	1364.21	1630187
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1178729443-051.cnf	SAT	1421.95	1422.58	1630250
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1256544997-019.cnf	SAT	1546.6	1547.01	1630315
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1322153318-039.cnf	SAT	1624.61	1625	1630173
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S805234188-084.cnf	SAT	1627.94	1628.64	1630194
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf	SAT	1685.74	1686.13	1630254
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1195310117-069.cnf	SAT	1686.65	1687.48	1630313
RANDOM/LARGE/7SAT/UNKNOWN/140/ unif-k7-r85-v140-c11900-S541865505-057.cnf	SAT	1755.25	1755.97	1630262
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1352224201-070.cnf	SAT	1806.02	1806.79	1630241
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S2082290699-014.cnf	SAT	1814.73	1815.54	1630334
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1040507052-028.cnf	SAT	1827.23	1827.91	1630176
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S74644527-067.cnf	SAT	1840.24	1840.82	1630739
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S115851319-100.cnf	SAT	2088.94	2089.58	1630189
RANDOM/MEDIUM/3SAT/SATISFIABLE/520/ unif-k3-r4.25-v520-c2210-S1536609007-088.cnf	SAT	2138.16	2139.06	1630640
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S650356257-052.cnf	SAT	2154.13	2154.79	1630356
RANDOM/LARGE/5SAT/UNKNOWN/800/ unif-k5-r20-v800-c16000-S1724014998-099.cnf	SAT	2265.37	2266.17	1630186
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1813642436-099.cnf	SAT	2349.35	2350.16	1630314
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S1850138369-006.cnf	SAT	2393.07	2394.03	1630174
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1344049097-080.cnf	SAT	2422.18	2423.51	1630755
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S15767910-042.cnf	SAT	2483.02	2484.32	1630354
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1543261951-042.cnf	SAT	2523.26	2524.33	1630248
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S914323646-060.cnf	SAT	2567.88	2568.73	1630345
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1864473452-037.cnf	SAT	2798.04	2799.25	1630252
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S420719158-080.cnf	SAT	3254.47	3255.87	1630346
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S743448446-027.cnf	SAT	3287.84	3289.25	1630205
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S566590366-099.cnf	SAT	3301.17	3302	1630256
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S111203033-063.cnf	SAT	3351.13	3352.47	1630771
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1049921489-034.cnf	SAT	3380.33	3381.99	1630239
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S162003179-087.cnf	SAT	3401.67	3403.44	1630328
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S822708255-070.cnf	SAT	3451.39	3453.16	1630312
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1249224492-031.cnf	SAT	3510.02	3511.51	1630240
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S2088061175-062.cnf	SAT	3529.39	3530.99	1630341
RANDOM/LARGE/3SAT/UNKNOWN/6000/ unif-k3-r4.2-v6000-c25200-S821759333-092.cnf	SAT	3674.42	3675.99	1630302
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1738391204-028.cnf	SAT	4198.65	4200.46	1630206

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S454748558-041.cnf	? (exit code)	4998.27	5000.28	1630738
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1549575664-035.cnf	? (exit code)	4998.28	5000.35	1630219
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S2051339669-029.cnf	? (exit code)	4998.28	5000.11	1630225
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S126031621-095.cnf	? (exit code)	4998.29	5001.27	1630744
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1766907733-036.cnf	? (exit code)	4998.3	5000.72	1630221
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S1328156309-075.cnf	? (exit code)	4998.31	4999.81	1630774
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S10567605-051.cnf	? (exit code)	4998.32	4999.76	1630770
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S193214747-044.cnf	? (exit code)	4998.33	5000.75	1630224
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1629955917-055.cnf	? (exit code)	4998.39	5000.07	1630378
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S367498571-066.cnf	? (exit code)	4998.39	5001.06	1630379
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1961115887-052.cnf	? (exit code)	4998.4	5000.44	1630218
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S318878687-017.cnf	? (exit code)	4998.4	4999.76	1630223
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1221988902-087.cnf	? (exit code)	4998.4	5001.3	1630382
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1050568800-025.cnf	? (exit code)	4998.4	5000.61	1630383
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S267191961-079.cnf	? (exit code)	4998.4	5000.69	1630391
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1357790788-074.cnf	? (exit code)	4998.4	5000.53	1630387
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1698591437-083.cnf	? (exit code)	4998.4	5000.81	1630380
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S914952752-019.cnf	? (exit code)	4998.41	4999.9	1630362
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S207294319-099.cnf	? (exit code)	4998.41	5000.49	1630386
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1736056721-032.cnf	? (exit code)	4998.41	4999.92	1630359
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1211704640-033.cnf	? (exit code)	4998.41	5000.86	1630385
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2083487609-068.cnf	? (exit code)	4998.41	4999.99	1630367
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1723900160-044.cnf	? (exit code)	4998.41	4998.48	1630396
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S35186747-095.cnf	? (exit code)	4998.41	5000.39	1630381
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S578339356-013.cnf	? (exit code)	4998.41	5000.22	1630389
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1127319144-058.cnf	? (exit code)	4998.42	5000.84	1630227
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S102181364-052.cnf	? (exit code)	4998.42	5000.55	1630365
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S2083778933-085.cnf	? (exit code)	4998.42	5000.65	1630393
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1086008090-058.cnf	? (exit code)	4998.42	5001.36	1630397
RANDOM/MEDIUM/5SAT/UNKNOWN/100/ unif-k5-r21.3-v100-c2130-S1420449214-092.cnf	? (exit code)	4998.42	5000.51	1630384
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S80067159-015.cnf	? (exit code)	4998.42	5000.03	1630392
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S632066493-060.cnf	? (exit code)	4998.42	5000.72	1630364
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S2119656249-086.cnf	? (exit code)	4998.43	5000.52	1630358
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S918173205-035.cnf	? (exit code)	4998.43	5000.88	1630390
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S515665970-021.cnf	? (exit code)	4998.43	5000.5	1630388
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1481598919-023.cnf	? (exit code)	4998.43	5000.91	1630395
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S745855171-090.cnf	? (exit code)	4998.43	5000.64	1630361
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1251522734-073.cnf	? (exit code)	4998.44	5000.49	1630366
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S1971658345-089.cnf	? (exit code)	4998.44	5000.05	1630360
RANDOM/MEDIUM/5SAT/UNKNOWN/110/ unif-k5-r21.3-v110-c2343-S257485978-084.cnf	? (exit code)	4998.44	4999.87	1630363
RANDOM/MEDIUM/5SAT/UNKNOWN/120/ unif-k5-r21.3-v120-c2556-S1070443005-075.cnf	? (exit code)	4998.45	5001.03	1630394
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1410794832-034.cnf	? (exit code)	4998.49	5000.97	1630748
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S1568578307-064.cnf	? (exit code)	4998.5	5000.2	1630222
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S886725553-011.cnf	? (exit code)	4998.5	5000.35	1630220
RANDOM/LARGE/7SAT/UNKNOWN/220/ unif-k7-r85-v220-c18700-S375588147-050.cnf	? (exit code)	4998.5	4999.79	1630226
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S1573578038-005.cnf	? (exit code)	4998.51	5000.68	1630198
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1773173258-010.cnf	? (exit code)	4998.51	5000.53	1630347
RANDOM/LARGE/3SAT/UNKNOWN/4000/ unif-k3-r4.2-v4000-c16800-S1857201443-029.cnf	? (exit code)	4998.52	5000.58	1630318
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2099753268-053.cnf	? (exit code)	4998.53	5000.51	1630442
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S162647235-053.cnf	? (exit code)	4998.54	4999.91	1630743
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S648763183-023.cnf	? (exit code)	4998.6	5000.68	1630309
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1897376969-026.cnf	? (exit code)	4998.61	5000.68	1630528
RANDOM/MEDIUM/3SAT/UNKNOWN/500/ unif-k3-r4.25-v500-c2125-S799705985-049.cnf	? (exit code)	4998.61	5000.6	1630525
RANDOM/LARGE/3SAT/UNKNOWN/18000/ unif-k3-r4.2-v18000-c75600-S1141213963-005.cnf	? (exit code)	4998.61	5001.43	1630340
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1606932551-072.cnf	? (exit code)	4998.62	5000.75	1630580
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1154116462-097.cnf	? (exit code)	4998.62	4999.94	1630554
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1564075794-028.cnf	? (exit code)	4998.62	5000.73	1630585
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S638051453-097.cnf	? (exit code)	4998.62	5000.84	1630583
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S688769362-007.cnf	? (exit code)	4998.63	5000.96	1630556
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1294530132-092.cnf	? (exit code)	4998.63	5000.8	1630311
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1598052044-078.cnf	? (exit code)	4998.63	5000.78	1630582
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S697681291-080.cnf	? (exit code)	4998.64	5000.88	1630531
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S51420501-097.cnf	? (exit code)	4998.64	5000.3	1630757
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1077410718-040.cnf	? (exit code)	4998.64	5000.86	1630586
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1404929091-050.cnf	? (exit code)	4998.64	5000.82	1630578
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S853819067-006.cnf	? (exit code)	4998.64	5000.07	1630584
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1048138627-064.cnf	? (exit code)	4998.64	5000.69	1630532
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S1750991629-037.cnf	? (exit code)	4998.64	5000.72	1630557
RANDOM/MEDIUM/3SAT/UNKNOWN/520/ unif-k3-r4.25-v520-c2210-S1089910525-056.cnf	? (exit code)	4998.64	5000.78	1630533
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S179568577-034.cnf	? (exit code)	4998.65	5000.51	1630551
RANDOM/MEDIUM/3SAT/SATISFIABLE/560/ unif-k3-r4.25-v560-c2380-S45592023-054.cnf	? (exit code)	4998.65	5001.06	1630658
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S975048338-088.cnf	? (exit code)	4998.66	5000.87	1630555
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1067191793-029.cnf	? (exit code)	4998.66	5001.01	1630751
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1825231826-068.cnf	? (exit code)	4998.66	5000.61	1630749
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S2037268960-098.cnf	? (exit code)	4998.66	5000.79	1630579
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S2061874746-039.cnf	? (exit code)	4998.66	5000.02	1630552
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S517464300-073.cnf	? (exit code)	4998.66	5000.77	1630549
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1318210982-002.cnf	? (exit code)	4998.67	5000.86	1630446
RANDOM/MEDIUM/3SAT/UNKNOWN/540/ unif-k3-r4.25-v540-c2295-S1457384322-029.cnf	? (exit code)	4998.67	5000.9	1630587
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S528193823-041.cnf	? (exit code)	4998.67	5000.01	1630439
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S28271012-055.cnf	? (exit code)	4998.67	5001.16	1630548
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1772751287-054.cnf	? (exit code)	4998.67	5001.24	1630445
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S197260469-019.cnf	? (exit code)	4998.67	5000.31	1630447
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S820736259-091.cnf	? (exit code)	4998.68	5001.14	1630553
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S59207238-009.cnf	? (exit code)	4998.68	5001.07	1630753
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S327274323-044.cnf	? (exit code)	4998.68	5000.84	1630257
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1559668863-058.cnf	? (exit code)	4998.69	5000.77	1630438
RANDOM/MEDIUM/3SAT/UNKNOWN/560/ unif-k3-r4.25-v560-c2380-S374947955-075.cnf	? (exit code)	4998.69	5001.18	1630550
RANDOM/LARGE/5SAT/UNKNOWN/900/ unif-k5-r20-v900-c18000-S678706275-057.cnf	? (exit code)	4998.69	5001.13	1630200
RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S285713182-059.cnf	? (exit code)	4998.69	5000.53	1630255
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S108799362-035.cnf	? (exit code)	4998.69	5000.97	1630441
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S2065372010-022.cnf	? (exit code)	4998.7	4999.94	1630444
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1266438269-016.cnf	? (exit code)	4998.71	5000.81	1630467
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S1703611043-077.cnf	? (exit code)	4998.71	5001.11	1630440
RANDOM/MEDIUM/7SAT/UNKNOWN/60/ unif-k7-r89-v60-c5340-S703461330-034.cnf	? (exit code)	4998.71	5001.3	1630443
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1818347447-078.cnf	? (exit code)	4998.71	5000.72	1630460
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S2142794689-088.cnf	? (exit code)	4998.71	5001.28	1630459
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S857870897-089.cnf	? (exit code)	4998.71	5001.27	1630461
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1171422074-087.cnf	? (exit code)	4998.71	5001.32	1630466
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S432895007-058.cnf	? (exit code)	4998.71	5000.69	1630500
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S1366769180-095.cnf	? (exit code)	4998.72	5001.51	1630498
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1796956909-029.cnf	? (exit code)	4998.72	5001.3	1630462
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S254828838-055.cnf	? (exit code)	4998.72	5006.9	1630458
RANDOM/MEDIUM/7SAT/SATISFIABLE/65/ unif-k7-r89-v65-c5785-S2060380282-019.cnf	? (exit code)	4998.72	5000.12	1630507
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1610649331-094.cnf	? (exit code)	4998.72	5000.52	1630465
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2141146009-040.cnf	? (exit code)	4998.74	5000.88	1630450
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S884764237-004.cnf	? (exit code)	4998.74	5000.75	1630451
RANDOM/MEDIUM/7SAT/UNKNOWN/65/ unif-k7-r89-v65-c5785-S1551099861-042.cnf	? (exit code)	4998.74	5000.32	1630464
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S289069074-070.cnf	? (exit code)	4998.75	5000.8	1630449
RANDOM/LARGE/3SAT/UNKNOWN/14000/ unif-k3-r4.2-v14000-c58800-S1339275181-076.cnf	? (exit code)	4998.75	5000.54	1630308
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1758422766-080.cnf	? (exit code)	4998.76	5000.76	1630455
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S1900558626-069.cnf	? (exit code)	4998.76	5000.98	1630456
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S358640743-023.cnf	? (exit code)	4998.77	5000.17	1630452
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S2125310989-062.cnf	? (exit code)	4998.77	5000.75	1630453
RANDOM/MEDIUM/7SAT/UNKNOWN/70/ unif-k7-r89-v70-c6230-S184801254-020.cnf	? (exit code)	4998.77	5000.55	1630448
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S1845495059-059.cnf	? (exit code)	4998.78	5000.12	1630756
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1299934729-015.cnf	? (exit code)	4998.78	5001.02	1630475
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1525918493-008.cnf	? (exit code)	4998.78	5000.39	1630470
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S274128876-057.cnf	? (exit code)	4998.78	5000.85	1630754
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S905029262-097.cnf	? (exit code)	4998.79	5001.37	1630472
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S400162545-095.cnf	? (exit code)	4998.79	5000.23	1630468
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1736708510-089.cnf	? (exit code)	4998.79	5000.78	1630477
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1394630553-009.cnf	? (exit code)	4998.79	5000.92	1630473
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S669858349-039.cnf	? (exit code)	4998.8	5000.68	1630759
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1740374947-073.cnf	? (exit code)	4998.8	5001.55	1630766
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S2058039218-006.cnf	? (exit code)	4998.81	5000.64	1630476
RANDOM/MEDIUM/7SAT/UNKNOWN/75/ unif-k7-r89-v75-c6675-S1718100253-004.cnf	? (exit code)	4998.82	5000.69	1630474
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S956556686-037.cnf	? (exit code)	4998.83	5000.83	1630247
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1845944120-011.cnf	? (exit code)	4998.85	5000.94	1630244
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1688249661-078.cnf	? (exit code)	4998.88	5001.02	1630763
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1743216639-043.cnf	? (exit code)	4998.89	5001.33	1630761
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1295462378-089.cnf	? (exit code)	4998.91	5000.72	1630245
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1992353905-004.cnf	? (exit code)	4998.91	5000.58	1630238
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S512227451-001.cnf	? (exit code)	4998.91	5000.33	1630764
RANDOM/additional/22000/ unif-k3-r4.2-v22000-c92400-S948096916-040.cnf	? (exit code)	4998.93	5000.39	1630750
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S2141325032-035.cnf	? (exit code)	4998.93	5001.17	1630760
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S2125162110-016.cnf	? (exit code)	4998.94	5000.31	1630758
RANDOM/LARGE/7SAT/UNKNOWN/180/ unif-k7-r85-v180-c15300-S1802626390-033.cnf	? (exit code)	4998.94	5001.01	1630243
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S2088224617-083.cnf	? (exit code)	4998.97	5000.48	1630170
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S322218982-076.cnf	? (exit code)	4998.99	5001.73	1630767
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S540574785-050.cnf	? (exit code)	4999	5001.24	1630765
RANDOM/LARGE/5SAT/UNKNOWN/1000/ unif-k5-r20-v1000-c20000-S45173584-020.cnf	? (exit code)	4999.02	5000.86	1630175
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S942507261-096.cnf	? (exit code)	4999.03	5001.18	1630236
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S51132115-023.cnf	? (exit code)	4999.05	5001.14	1630331
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S452919966-071.cnf	? (exit code)	4999.06	5001.82	1630234
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1588298513-036.cnf	? (exit code)	4999.06	5001.12	1630231
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1441840675-053.cnf	? (exit code)	4999.07	5001.06	1630195
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S1419235015-056.cnf	? (exit code)	4999.09	5001.26	1630329
RANDOM/LARGE/5SAT/UNKNOWN/1100/ unif-k5-r20-v1100-c22000-S1388268034-092.cnf	? (exit code)	4999.09	5001.51	1630192
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S515145153-009.cnf	? (exit code)	4999.1	5001.75	1630777
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S1093158247-008.cnf	? (exit code)	4999.11	5001.2	1630773
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S594431515-001.cnf	? (exit code)	4999.11	5001.14	1630772
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S266028630-005.cnf	? (exit code)	4999.12	5000.57	1630230
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S463610942-012.cnf	? (exit code)	4999.12	5001.41	1630768
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S1321948597-025.cnf	? (exit code)	4999.13	5001.35	1630776
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S2140929154-062.cnf	? (exit code)	4999.13	5000.52	1630232
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S826724848-048.cnf	? (exit code)	4999.13	5001.55	1630349
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1695726805-003.cnf	? (exit code)	4999.13	5000.98	1630235
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S2025849033-087.cnf	? (exit code)	4999.14	5001.21	1630775
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S1136894336-075.cnf	? (exit code)	4999.14	5000.61	1630233
RANDOM/additional/26000/ unif-k3-r4.2-v26000-c109200-S1458308594-024.cnf	? (exit code)	4999.14	5001.23	1630762
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S441484366-048.cnf	? (exit code)	4999.14	4998.65	1630237
RANDOM/additional/20000/ unif-k3-r4.2-v20000-c84000-S1238271423-026.cnf	? (exit code)	4999.14	5001.31	1630769
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S522321670-058.cnf	? (exit code)	4999.16	5001.24	1630228
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S219795104-099.cnf	? (exit code)	4999.17	5001.59	1630355
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S19146617-056.cnf	? (exit code)	4999.19	5001.28	1630740
RANDOM/LARGE/7SAT/UNKNOWN/200/ unif-k7-r85-v200-c17000-S948914005-013.cnf	? (exit code)	4999.22	5000.46	1630229
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S928699366-021.cnf	? (exit code)	4999.22	5001.72	1630745
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S1815966229-001.cnf	? (exit code)	4999.22	5001.35	1630746
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S1510966387-018.cnf	? (exit code)	4999.23	5001.57	1630351
RANDOM/LARGE/3SAT/UNKNOWN/16000/ unif-k3-r4.2-v16000-c67200-S339800239-026.cnf	? (exit code)	4999.23	5001.65	1630336
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S1342809844-031.cnf	? (exit code)	4999.24	5001.34	1630741
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S143306810-069.cnf	? (exit code)	4999.24	5001.3	1630742
RANDOM/LARGE/3SAT/UNKNOWN/12000/ unif-k3-r4.2-v12000-c50400-S56507352-034.cnf	? (exit code)	4999.27	5000.93	1630350
RANDOM/additional/24000/ unif-k3-r4.2-v24000-c100800-S1400647106-062.cnf	? (exit code)	4999.27	5001.59	1630747

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

Result page for solver SATzilla2009_R 2009-03-22 (complete)

Category "random instances" (RANDOM)

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

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

Solver didn't output a solution line and terminated with an unexpected exit code (175 runs) [Show/Hide]