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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	UNSAT	98.0731	100.033	3484536
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	UNSAT	99.8278	100.097	3484551
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	UNSAT	100.721	100.836	3484527
random/medium/ unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf	UNSAT	100.759	100.808	3484530
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	UNSAT	100.77	100.855	3484355
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	UNSAT	100.795	100.893	3484220
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	UNSAT	100.822	100.924	3484331
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	UNSAT	100.831	100.813	3484517
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	UNSAT	100.835	100.885	3484213
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	UNSAT	100.844	101.091	3484506
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	UNSAT	100.85	101.059	3484501
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	UNSAT	100.868	100.905	3484485
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	UNSAT	100.874	100.951	3484262
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	UNSAT	100.875	100.821	3484289
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	UNSAT	100.88	100.968	3484494
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	UNSAT	100.896	101.217	3484540
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	UNSAT	100.965	100.92	3484330
random/medium/ unif-k5-r21.3-v50-c1065-S370067727-038.UNKNOWN.cnf	UNSAT	100.993	101.306	3484539
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	UNSAT	101.009	101.075	3484322
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	UNSAT	101.204	101.258	3484443
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	UNSAT	101.215	101.326	3484475
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	UNSAT	101.259	101.573	3484256
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	UNSAT	101.442	101.791	3484209
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	UNSAT	101.461	101.698	3484360
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	UNSAT	101.808	102.045	3484320
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	UNSAT	101.886	101.975	3484236
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	UNSAT	102.06	102.178	3484283
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	UNSAT	102.099	102.338	3484387
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	UNSAT	102.203	102.364	3484247
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	UNSAT	103.304	103.517	3484263
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	UNSAT	104.988	104.963	3484562
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	UNSAT	105.153	105.123	3484486
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	UNSAT	105.704	105.936	3484386
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	UNSAT	106.19	106.41	3484270
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	UNSAT	106.547	106.792	3484446
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	UNSAT	106.737	106.72	3484577
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	UNSAT	107.309	107.395	3484243
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	UNSAT	107.349	107.406	3484251
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	UNSAT	107.704	107.749	3484554
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	UNSAT	107.769	108.157	3484570
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	UNSAT	108.009	108.205	3484430
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	UNSAT	108.052	108.242	3484334
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	UNSAT	108.114	108.21	3484585
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	UNSAT	108.304	108.4	3484436
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	UNSAT	108.704	108.668	3484318
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	UNSAT	109.183	109.276	3484371
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	UNSAT	109.452	109.834	3484395
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	UNSAT	110.059	110.015	3484412
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	UNSAT	110.97	111.163	3484264
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	UNSAT	111.637	111.68	3484413
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	UNSAT	123.325	123.422	3484193
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	UNSAT	124.771	124.796	3484516
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	UNSAT	126.621	126.853	3484284
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	UNSAT	128.197	128.104	3484399
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	UNSAT	131.462	131.495	3484432
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	UNSAT	131.989	132.045	3484379
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	UNSAT	137.655	137.693	3484482
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	UNSAT	140.295	140.573	3484245
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	UNSAT	146.434	138.721	3484421
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	UNSAT	151.308	151.414	3484513
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	UNSAT	213.548	213.398	3484385
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	UNSAT	223.716	223.6	3484451
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	UNSAT	241.659	241.514	3484332
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	UNSAT	244.321	244.55	3484580
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	UNSAT	246.599	246.594	3484549
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	UNSAT	253.128	253.024	3484246
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	UNSAT	256.941	257.035	3484372
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	UNSAT	260.865	261.059	3484519
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	UNSAT	309.078	308.734	3484214
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	UNSAT	333.514	333.307	3484338
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	UNSAT	334.046	334.021	3484518
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	UNSAT	335.025	335.262	3484582
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	UNSAT	335.803	335.755	3484537
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	UNSAT	336.564	336.278	3484215
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	UNSAT	336.772	336.926	3484356
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	UNSAT	345.93	339.953	3484438
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	UNSAT	429.327	429.136	3484505
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	UNSAT	434.218	434.329	3484381
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	UNSAT	435.216	435.131	3484406
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	UNSAT	436.385	436.517	3484335
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	UNSAT	503.97	503.41	3484341
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	UNSAT	518.23	517.835	3484561
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	UNSAT	532.764	532.235	3484349
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	UNSAT	548.966	548.925	3484323
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	UNSAT	549.306	549.091	3484282
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	UNSAT	555.523	554.99	3484339
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	UNSAT	556.135	556.637	3484545
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	UNSAT	562.063	561.61	3484390
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	UNSAT	579.084	579.144	3484258
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	UNSAT	595.486	594.947	3484403
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	UNSAT	653.122	653.096	3484490
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	UNSAT	777.994	778.052	3484219
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	UNSAT	855.111	855.23	3484579
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	UNSAT	867.869	867.359	3484541
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	UNSAT	871.077	870.724	3484378
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	UNSAT	871.078	870.645	3484407
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	UNSAT	871.761	871.507	3484329
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	UNSAT	875.121	875.331	3484380
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	UNSAT	877.683	876.769	3484578
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	UNSAT	885.526	885.147	3484327
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	UNSAT	904.861	904.533	3484336
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	UNSAT	907.36	906.437	3484522

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.442931	0.569356	3484531
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.443931	0.761336	3484462
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.445931	0.572434	3484222
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.458929	0.560027	3484417
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.461929	0.586899	3484309
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.473927	0.551425	3484401
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.477927	0.574321	3484202
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.480926	0.575631	3484492
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.481925	0.575436	3484447
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	0.481926	0.586393	3484457
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.482925	0.604605	3484348
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.488925	0.570095	3484461
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.490924	0.739773	3484408
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.490925	0.576358	3484500
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.492924	0.574142	3484463
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.495923	0.617457	3484427
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.496924	0.597357	3484328
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.497923	0.59709	3484473
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.500923	0.594369	3484418
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	0.502923	0.628801	3484534
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.503922	0.588221	3484489
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.505922	0.764951	3484316
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	0.506922	0.610294	3484304
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.508922	0.614442	3484231
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	0.510922	0.60876	3484524
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.510922	0.763046	3484340
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.511921	0.60924	3484526
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.513921	0.613796	3484362
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	0.514921	0.592683	3484291
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	0.516921	0.61632	3484415
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.522919	0.630246	3484409
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.523919	0.659036	3484572
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.523919	0.627902	3484484
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.524919	0.774927	3484285
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.525919	0.619238	3484495
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.525919	0.7753	3484271
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.526919	0.761328	3484488
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.527918	0.595957	3484405
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.533918	0.617236	3484497
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.535917	0.644115	3484465
random/medium/ unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf	SAT	0.536917	0.648516	3484392
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.537917	0.79008	3484290
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.538917	0.62477	3484499
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.538917	0.632231	3484574
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.541916	0.625244	3484272
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	0.542917	0.625212	3484223
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.542917	0.819243	3484431
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	0.545916	0.680994	3484483
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	0.555915	0.826205	3484439
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.556914	0.794686	3484454
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	0.556914	0.645573	3484510
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.558914	0.79775	3484507
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.559914	0.810042	3484237
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	0.560914	0.814782	3484589
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	0.563913	0.642229	3484424
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	0.563913	0.644902	3484425
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	0.563913	0.66292	3484342
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	0.565913	0.654049	3484299
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.568912	0.673586	3484508
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.570912	0.63559	3484460
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	SAT	0.573912	0.865261	3484358
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	0.573912	0.884316	3484481
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.576911	0.709175	3484248
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.576911	0.676154	3484232
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.58291	0.68167	3484366
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	0.58491	0.825232	3484260
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.58791	0.850734	3484566
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.588909	0.818214	3484212
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.58991	0.839485	3484515
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	0.590909	0.680347	3484373
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	0.602907	0.698949	3484559
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.602908	0.729144	3484433
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.613906	0.826393	3484452
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.615906	0.718198	3484369
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	0.621905	0.879738	3484347
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	SAT	0.623904	10.2828	3484590
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.626903	1.07906	3484252
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.629903	0.877912	3484459
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.634902	0.719303	3484298
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	0.641902	0.827386	3484249
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.644901	0.734348	3484233
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.6519	0.878405	3484275
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	0.652899	0.904549	3484440
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.656899	0.878268	3484558
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	0.659899	0.731812	3484297
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	0.668898	0.914034	3484294
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	0.679895	0.776588	3484261
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.685895	1.11425	3484569
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.688894	0.797517	3484277
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.691894	0.806648	3484311
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.693893	0.964374	3484244
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.698893	1.00737	3484470
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.705891	1.41112	3484546
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	0.71789	0.823442	3484305
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	0.721889	1.18156	3484567
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.725888	0.805388	3484200
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.743886	0.986479	3484391
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.747886	0.854511	3484504
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	0.750885	0.8527	3484344
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.755884	0.838965	3484571
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	0.757884	1.26047	3484337
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.758884	1.09447	3484555
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.769882	1.01337	3484376
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	0.771882	0.85689	3484491
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	0.791879	0.914538	3484268
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	0.795878	0.890084	3484453
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	0.803876	1.06101	3484474
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	0.807876	0.902964	3484198
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	0.819875	1.15722	3484368
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.821874	0.916484	3484525
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	0.826874	0.921073	3484240
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	0.84687	0.950478	3484370
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	0.85187	1.10888	3484553
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	0.85387	1.08001	3484195
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	0.869866	1.14506	3484365
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	0.869867	0.955937	3484321
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	0.873866	0.960342	3484300
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	0.901862	1.00799	3484410
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	0.91286	1.00754	3484416
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	0.924859	1.02397	3484225
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	0.941856	1.11307	3484422
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.969851	1.32467	3484420
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	0.974851	1.29416	3484315
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	0.97985	1.08614	3484573
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	1.00285	1.08265	3484136
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	1.01085	1.11111	3484343
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	1.01884	1.13023	3484278
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	1.02684	1.14458	3484547
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	1.04184	1.36862	3484538
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	1.04384	1.1612	3484354
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	1.05284	1.16345	3484361
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	1.05484	1.15316	3484253
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	1.11283	1.42442	3484028
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	1.11383	1.36873	3484266
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	1.12683	1.25527	3484434
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	1.13383	1.23606	3484276
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	1.13883	10.4702	3484241
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	1.17482	1.42311	3484216
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	1.17782	1.4281	3484130
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	1.23781	1.3385	3484382
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	1.35079	1.47669	3484310
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	1.36079	1.6969	3484581
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	1.38179	1.51657	3484532
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	1.48377	1.77153	3484239
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	1.49577	1.88098	3484568
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	1.52977	1.60971	3484296
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	1.53477	1.75978	3484456
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	1.59876	1.69182	3484576
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	1.65775	1.88887	3484423
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	1.70474	1.7867	3484563
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	1.73074	1.82511	3484477
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	1.78073	1.85804	3484560
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	1.82272	1.9315	3484441
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	1.9397	2.18129	3484147
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	2.20067	2.28937	3484210
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	2.34064	2.60125	3484520
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	2.37664	2.48607	3484388
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	2.40463	2.5045	3484464
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	2.43863	2.52371	3484476
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	2.46662	2.78061	3484308
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	2.58561	2.67651	3484402
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	2.67059	8.46877	3484043
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	2.74558	3.01398	3484204
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	2.86656	3.16522	3484324
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	SAT	3.12052	3.21892	3484139
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	3.13152	3.48118	3484556
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	3.39648	3.63475	3484384
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	3.81842	3.91613	3484374
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	3.84741	3.99403	3484533
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	3.9334	4.02231	3484351
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	4.08438	4.33355	3484110
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	4.42233	4.83548	3484583
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	4.44532	4.69187	3484478
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	4.50431	4.77028	3484281
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	4.51131	4.62304	3484442
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	4.5723	4.82435	3484529
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	4.71828	4.82206	3484471
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	4.94425	5.01977	3484196
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	5.18921	5.267	3484467
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	5.40518	5.52952	3484428
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	5.76012	5.85893	3484377
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	5.9321	6.03488	3484166
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	6.06408	6.15978	3484411
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	6.21805	6.61219	3484326
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	6.42902	6.66548	3484151
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	6.61099	6.74773	3484224
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	6.85496	7.08262	3484293
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	SAT	6.90895	7.2146	3484092
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	7.2049	9.47975	3484194
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	7.67983	7.77166	3484250
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	7.85581	8.13394	3484207
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	8.08377	8.18827	3484502
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	8.38272	8.71932	3484398
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	8.66768	8.99421	3484496
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	8.67768	9.01108	3484217
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	8.83066	8.97587	3484113
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	9.12861	9.35765	3484396
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	9.71652	9.95142	3484176
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	SAT	10.2994	10.546	3484170
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	11.9742	12.2008	3484314
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	12.7671	12.8611	3484073
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	13.12	13.2353	3484068
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	13.6469	13.746	3484448
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	14.8047	14.8966	3484345
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	15.0547	15.1359	3484071
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	SAT	15.1997	16.3363	3484009
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	15.5026	15.6067	3484548
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	16.5905	20.5805	3484181
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	16.6985	16.9461	3484079
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	SAT	17.9293	18.0478	3484038
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	18.8231	20.8798	3484055
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	SAT	18.9181	20.9889	3484056
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	18.9461	19.0218	3484487
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	19.64	19.6883	3484089
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	22.8865	22.9421	3484352
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	24.1583	24.2187	3484201
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	SAT	26.066	27.2017	3484007
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	SAT	26.19	26.2707	3484137
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	26.6429	26.8016	3484121
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	26.8589	27.5218	3484123
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	29.9984	30.1093	3484468
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	SAT	30.9783	31.1892	3484084
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	SAT	31.5692	32.2405	3483993
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	SAT	33.063	33.2253	3484077
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	34.4148	34.9912	3484020
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	SAT	34.8987	35.0818	3484185
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	35.8306	36.088	3484160
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	SAT	36.0805	36.3185	3484169
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	SAT	40.2549	40.8256	3484023
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	40.7898	40.8861	3484479
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	42.2686	50.7969	3484060
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	SAT	46.5579	46.9078	3484140
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	49.1825	49.5554	3483994
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	SAT	49.6045	50.0005	3484171
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	53.3739	53.9779	3484015
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	57.2883	61.802	3484046
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	SAT	60.8557	60.9579	3484088
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	62.2245	62.3167	3484319
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	SAT	64.0633	64.3058	3484116
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	SAT	67.0138	67.1761	3484091
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	SAT	70.1693	70.3896	3484108
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	SAT	70.6433	70.8811	3484093
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	74.3377	74.5163	3484552
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	75.1556	75.3922	3484103
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	76.3154	78.8899	3484049
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	78.2901	79.0774	3483998
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	SAT	81.9765	82.2192	3484006
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	SAT	82.3425	82.5907	3484145
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	SAT	92.098	92.8578	3483992
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	SAT	100.176	100.768	3483999
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	107.977	107.994	3484063
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	119.744	124.02	3484042
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	SAT	123.36	123.481	3484174
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	129.323	129.4	3484449
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	SAT	133.045	133.183	3484107
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	SAT	137.908	138.139	3484086
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	SAT	149.088	149.128	3484037
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	SAT	151.54	152.064	3484000
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	SAT	153.558	153.59	3484191
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	155.268	155.921	3484003
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	157.501	157.692	3484112
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	175.349	175.304	3484301
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	190.009	190.215	3484154
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	SAT	190.645	190.747	3484146
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	196.153	196.187	3484286
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	SAT	196.979	196.923	3484129
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	263.67	264.063	3484062
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	SAT	277.866	277.888	3484034
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	SAT	279.027	279.113	3484096
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	SAT	282.046	282.342	3483996
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	SAT	307.863	308.48	3484001
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	SAT	312.483	312.47	3484029
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	SAT	352.705	352.874	3484033
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	SAT	360.26	360.31	3484076
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	362.566	362.536	3484143
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	SAT	399.526	399.764	3484014
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	SAT	415.712	415.826	3484150
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	SAT	425.471	425.51	3484101
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	SAT	439.845	439.837	3484036
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	SAT	466.869	466.946	3484141
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	SAT	467.126	468.75	3484058
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	SAT	468.865	469.061	3484083
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	SAT	492.09	491.818	3484162
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	576.836	576.825	3484173
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	SAT	581.63	581.594	3484179
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	599.412	599.083	3484131
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	SAT	666.776	666.624	3484133
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	SAT	678.814	678.644	3484177
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	SAT	679.113	678.904	3484104
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	721.401	721.592	3484557
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	SAT	822.706	822.429	3484111
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	938.84	938.525	3484080
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	SAT	1070.96	1070.14	3484157
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	SAT	1108.31	1109.13	3484021

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	?	1128.6	1127.68	3484142
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	?	1147.42	1147.61	3484030
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	?	1147.57	1147.07	3484106
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	?	1176.29	1175.77	3484078
random/medium/ unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf	?	1197.69	1196.97	3484480
random/medium/ unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf	?	1197.72	1196.27	3484288
random/medium/ unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf	?	1197.84	1197.32	3484254
random/medium/ unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf	?	1197.97	1196.91	3484511
random/medium/ unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf	?	1198.81	1197.69	3484503
random/medium/ unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf	?	1198.96	1198.69	3484383
random/medium/ unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf	?	1198.96	1197.72	3484375
random/medium/ unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf	?	1199.58	1198.52	3484206
random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf	?	1199.61	1198.58	3484312
random/medium/ unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf	?	1199.68	1199.24	3484203
random/medium/ unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf	?	1199.76	1199.57	3484414
random/medium/ unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf	?	1199.93	1198.71	3484229
random/medium/ unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf	?	1199.98	1198.99	3484587
random/medium/ unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf	?	1200	1199.07	3484591

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf	? (TO)	1200	1200.14	3484208
random/medium/ unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf	? (TO)	1200	1200.04	3484393
random/medium/ unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf	? (TO)	1200	1200.13	3484445
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	? (TO)	1200.01	1199.45	3484094
random/medium/ unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf	? (TO)	1200.01	1199.03	3484455
random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf	? (TO)	1200.01	1199.94	3484394
random/medium/ unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf	? (TO)	1200.01	1199.56	3484307
random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf	? (TO)	1200.01	1198.94	3484469
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	? (TO)	1200.01	1199.75	3484097
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	? (TO)	1200.01	1199.45	3484187
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	? (TO)	1200.02	1199.66	3484144
random/medium/ unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf	? (TO)	1200.02	1199.96	3484542
random/medium/ unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf	? (TO)	1200.02	1199.13	3484437
random/medium/ unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf	? (TO)	1200.02	1199.23	3484357
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	? (TO)	1200.02	1203.85	3484045
random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf	? (TO)	1200.02	1199.23	3484367
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	? (TO)	1200.02	1199.85	3484161
random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf	? (TO)	1200.02	1199.23	3484466
random/medium/ unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf	? (TO)	1200.02	1199.13	3484584
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	? (TO)	1200.02	1199.45	3484085
random/medium/ unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf	? (TO)	1200.02	1204.73	3484535
random/medium/ unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf	? (TO)	1200.02	1199.73	3484227
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	? (TO)	1200.02	1199.35	3484168
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	? (TO)	1200.03	1200.06	3483997
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	? (TO)	1200.03	1202.25	3484044
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	? (TO)	1200.03	1198.65	3484074
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	? (TO)	1200.03	1199.16	3484099
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	? (TO)	1200.03	1200.35	3484008
random/medium/ unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf	? (TO)	1200.03	1199.24	3484350
random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf	? (TO)	1200.03	1198.83	3484397
random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf	? (TO)	1200.03	1199.36	3484226
random/medium/ unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf	? (TO)	1200.03	1199.23	3484257
random/medium/ unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf	? (TO)	1200.03	1198.53	3484267
random/medium/ unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf	? (TO)	1200.03	1199.83	3484493
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	? (TO)	1200.04	1199.53	3484235
random/medium/ unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf	? (TO)	1200.04	1199.74	3484228
random/medium/ unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf	? (TO)	1200.04	1200.13	3484565
random/medium/ unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf	? (TO)	1200.04	1209.94	3484333
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	? (TO)	1200.04	1199.66	3484135
random/large/ unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf	? (TO)	1200.04	1207.65	3484061
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	? (TO)	1200.04	1199.85	3484039
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	? (TO)	1200.04	1199.74	3484269
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	? (TO)	1200.04	1199.74	3484588
random/medium/ unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf	? (TO)	1200.04	1200.23	3484498
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	? (TO)	1200.04	1204.35	3484013
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	? (TO)	1200.05	1199.55	3484098
random/large/ unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf	? (TO)	1200.05	1200.26	3484159
random/medium/ unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf	? (TO)	1200.05	1199.74	3484359
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	? (TO)	1200.05	1198.73	3484523
random/medium/ unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf	? (TO)	1200.05	1199.63	3484472
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	? (TO)	1200.05	1198.73	3484303
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	? (TO)	1200.05	1199.33	3484458
random/medium/ unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf	? (TO)	1200.05	1199.93	3484242
random/medium/ unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf	? (TO)	1200.06	1199.93	3484444
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	? (TO)	1200.06	1199.14	3484259
random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf	? (TO)	1200.06	1199.26	3484197
random/medium/ unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf	? (TO)	1200.06	1200.26	3484211
random/medium/ unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf	? (TO)	1200.06	1199.83	3484265
random/medium/ unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf	? (TO)	1200.06	1198.94	3484528
random/medium/ unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf	? (TO)	1200.06	1199.13	3484429
random/medium/ unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf	? (TO)	1200.06	1198.94	3484426
random/medium/ unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf	? (TO)	1200.06	1199.63	3484400
random/medium/ unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf	? (TO)	1200.06	1199.83	3484234
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	? (TO)	1200.06	1199.33	3484564
random/medium/ unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf	? (TO)	1200.07	1200.24	3484218
random/large/ unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf	? (TO)	1200.07	1199.45	3484066
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	? (TO)	1200.07	1201.06	3484047
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	? (TO)	1200.07	1199.86	3484190
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	? (TO)	1200.07	1206.04	3484544
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	? (TO)	1200.07	1199.25	3484065
random/medium/ unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf	? (TO)	1200.07	1199.93	3484238
random/large/ unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf	? (TO)	1200.07	1199.95	3484010
random/medium/ unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf	? (TO)	1200.07	1199.23	3484512
random/medium/ unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf	? (TO)	1200.07	1200.33	3484435
random/medium/ unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf	? (TO)	1200.08	1199.86	3484306
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	? (TO)	1200.08	1199.93	3484514
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	? (TO)	1200.08	1201.25	3484072
random/medium/ unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf	? (TO)	1200.08	1200.05	3484280
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	? (TO)	1200.08	1210.07	3484059
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	? (TO)	1200.09	1197.03	3484199
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	? (TO)	1200.09	1200.53	3484279
random/medium/ unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf	? (TO)	1200.09	1199.36	3484274
random/medium/ unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf	? (TO)	1200.09	1199.73	3484419
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	? (TO)	1200.09	1200.25	3484175
random/medium/ unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf	? (TO)	1200.09	1200.03	3484230
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	? (TO)	1200.09	1199.95	3484025
random/large/ unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf	? (TO)	1200.09	1199.06	3484067
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	? (TO)	1200.09	1201.75	3484054
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	? (TO)	1200.1	1199.65	3484165
random/medium/ unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf	? (TO)	1200.1	1199.64	3484292
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	? (TO)	1200.1	1199.03	3484389
random/medium/ unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf	? (TO)	1200.1	1199.53	3484325
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	? (TO)	1200.1	1199.63	3484302
random/medium/ unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf	? (TO)	1200.1	1199.61	3484287
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	? (TO)	1200.1	1199.75	3484087
random/medium/ unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf	? (TO)	1200.1	1200.34	3484363
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	? (TO)	1200.11	1200.35	3484117

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf	? (MO)	699.73	699.562	3484509
random/medium/ unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf	? (MO)	700.56	700.963	3484543
random/large/ unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf	? (MO)	700.7	700.665	3484069
random/medium/ unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf	? (MO)	700.98	700.662	3484404
random/medium/ unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf	? (MO)	701.09	700.663	3484364
random/large/ unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf	? (MO)	701.15	700.665	3484090
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	? (MO)	701.21	701.566	3484012
random/large/ unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf	? (MO)	701.46	702.865	3484048
random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf	? (MO)	701.67	701.764	3484221
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	? (MO)	701.67	701.863	3484155
random/medium/ unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf	? (MO)	701.7	701.763	3484521
random/large/ unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf	? (MO)	701.86	701.764	3484178
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	? (MO)	701.91	702.365	3484022
random/medium/ unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf	? (MO)	701.96	701.763	3484192
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	? (MO)	701.97	704.365	3484050
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	? (MO)	701.97	702.466	3484026
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	? (MO)	701.97	701.763	3484017
random/large/ unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf	? (MO)	701.98	701.864	3484158
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	? (MO)	701.99	701.763	3484082
random/medium/ unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf	? (MO)	702.08	701.763	3484346
random/large/ unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf	? (MO)	702.11	703.963	3484053
random/large/ unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf	? (MO)	702.11	701.764	3484148
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	? (MO)	702.14	702.763	3484122
random/medium/ unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf	? (MO)	702.31	707.166	3484317
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	? (MO)	702.34	702.663	3484016
random/medium/ unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf	? (MO)	702.43	702.863	3484575
random/large/ unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf	? (MO)	702.59	703.364	3484019
random/large/ unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf	? (MO)	702.63	702.864	3484125
random/large/ unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf	? (MO)	702.64	702.863	3484081
random/medium/ unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf	? (MO)	702.65	702.863	3484313
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	? (MO)	702.65	702.863	3484128
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	? (MO)	702.68	702.864	3484027
random/medium/ unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf	? (MO)	702.69	702.863	3484353
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	? (MO)	702.7	702.863	3484189
random/medium/ unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf	? (MO)	702.73	702.862	3484450
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	? (MO)	702.76	702.864	3484188
random/large/ unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf	? (MO)	702.77	702.865	3484095
random/medium/ unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf	? (MO)	702.78	702.863	3484273
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	? (MO)	702.81	703.963	3484182
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	? (MO)	702.82	702.864	3484119
random/medium/ unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf	? (MO)	702.83	702.863	3484205
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	? (MO)	702.84	702.866	3484102
random/medium/ unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf	? (MO)	702.84	702.865	3484550
random/large/ unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf	? (MO)	702.86	702.866	3484138
random/large/ unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf	? (MO)	702.88	702.864	3484124
random/large/ unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf	? (MO)	702.91	702.865	3484180
random/large/ unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf	? (MO)	702.92	702.863	3484075
random/large/ unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf	? (MO)	702.93	702.864	3484115
random/medium/ unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf	? (MO)	702.94	702.863	3484295
random/medium/ unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf	? (MO)	702.95	702.863	3484586
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	? (MO)	702.95	702.865	3484120
random/large/ unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf	? (MO)	702.95	702.863	3484149
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	? (MO)	702.97	702.964	3484127
random/large/ unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf	? (MO)	703	702.865	3484035
random/large/ unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf	? (MO)	703.01	702.866	3484041
random/large/ unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf	? (MO)	703.04	702.864	3484152
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	? (MO)	703.09	705.364	3484051
random/large/ unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf	? (MO)	703.16	703.163	3484031
random/large/ unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf	? (MO)	703.22	703.964	3484184
random/large/ unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf	? (MO)	703.25	703.963	3484164
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	? (MO)	703.28	708.064	3484126
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	? (MO)	703.3	703.663	3484011
random/large/ unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf	? (MO)	703.39	703.968	3484004
random/large/ unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf	? (MO)	703.41	708.265	3484070
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	? (MO)	703.42	703.965	3483995
random/large/ unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf	? (MO)	703.42	712.065	3484057
random/large/ unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf	? (MO)	703.56	703.964	3484040
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	? (MO)	703.57	708.366	3484024
random/large/ unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf	? (MO)	703.62	703.965	3484105
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	? (MO)	703.72	703.963	3484100
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	? (MO)	703.73	703.964	3484172
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	? (MO)	703.74	703.965	3484005
random/large/ unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf	? (MO)	703.76	703.965	3484002
random/large/ unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf	? (MO)	703.76	703.765	3484114
random/large/ unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf	? (MO)	703.87	703.965	3484132
random/large/ unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf	? (MO)	703.89	703.963	3484109
random/large/ unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf	? (MO)	703.92	703.964	3484167
random/large/ unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf	? (MO)	703.94	705.062	3484183
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	? (MO)	704.01	703.963	3484153
random/large/ unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf	? (MO)	704.01	703.963	3484156
random/large/ unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf	? (MO)	704.01	703.965	3484064
random/large/ unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf	? (MO)	704.14	704.365	3484032
random/large/ unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf	? (MO)	704.17	704.563	3484134
random/large/ unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf	? (MO)	704.24	706.162	3484052
random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf	? (MO)	704.6	705.063	3484018
random/large/ unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf	? (MO)	704.61	704.464	3484118
random/large/ unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf	? (MO)	707.56	719.463	3484186
random/medium/ unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf	? (MO)	802.13	802.462	3484255

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

Result page for solver borg-sat 11.03.02-seq-random (fixed, 1200 s timeout) (complete)

Category "random instances" (RANDOM)

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

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

Solver didn't decide (UNKNOWN) (18 runs) [Show/Hide]

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

Solver exceeded the memory limit (no solution given) (88 runs) [Show/Hide]

Solver gave a wrong solution (1 run) [Show/Hide]