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-S370067727-038.UNKNOWN.cnf	UNSAT	0.972851	0.704319	3378641
random/medium/ unif-k5-r21.3-v50-c1065-S1139883571-082.UNKNOWN.cnf	UNSAT	1.02284	0.729001	3378642
random/medium/ unif-k5-r21.3-v50-c1065-S433637520-048.UNKNOWN.cnf	UNSAT	1.08783	0.938138	3378322
random/medium/ unif-k5-r21.3-v50-c1065-S827703138-064.UNKNOWN.cnf	UNSAT	1.09883	0.939892	3378391
random/medium/ unif-k5-r21.3-v50-c1065-S1491756361-004.UNKNOWN.cnf	UNSAT	1.12683	0.72676	3378457
random/medium/ unif-k3-r4.26-v250-c1065-S931339469-052.UNKNOWN.cnf	UNSAT	1.16782	0.778526	3378315
random/medium/ unif-k5-r21.3-v50-c1065-S1449708927-022.UNKNOWN.cnf	UNSAT	1.19782	1.04624	3378632
random/medium/ unif-k3-r4.26-v250-c1065-S1822479556-014.UNKNOWN.cnf	UNSAT	1.22281	1.02178	3378619
random/medium/ unif-k5-r21.3-v50-c1065-S505037856-056.UNKNOWN.cnf	UNSAT	1.24681	0.945783	3378653
random/medium/ unif-k5-r21.3-v50-c1065-S1990278523-047.UNKNOWN.cnf	UNSAT	1.26281	0.975847	3378587
random/medium/ unif-k3-r4.26-v250-c1065-S984689729-080.UNKNOWN.cnf	UNSAT	1.2988	0.816938	3378433
random/medium/ unif-k3-r4.26-v250-c1065-S1397126856-076.UNKNOWN.cnf	UNSAT	1.34679	0.843424	3378603
random/medium/ unif-k3-r4.26-v250-c1065-S266251785-083.UNKNOWN.cnf	UNSAT	1.49177	1.02313	3378608
random/medium/ unif-k3-r4.26-v250-c1065-S860541986-078.UNKNOWN.cnf	UNSAT	1.51477	0.814621	3378364
random/medium/ unif-k5-r21.3-v50-c1065-S1007919187-045.UNKNOWN.cnf	UNSAT	1.51777	0.827321	3378629
random/medium/ unif-k3-r4.26-v250-c1065-S671776549-007.UNKNOWN.cnf	UNSAT	1.70174	0.866523	3378596
random/medium/ unif-k3-r4.26-v250-c1065-S534787376-095.UNKNOWN.cnf	UNSAT	1.76173	1.09904	3378432
random/medium/ unif-k3-r4.26-v250-c1065-S1295196126-061.UNKNOWN.cnf	UNSAT	2.23366	1.01634	3378424
random/medium/ unif-k3-r4.26-v250-c1065-S427778075-026.UNKNOWN.cnf	UNSAT	2.31065	1.16537	3378545
random/medium/ unif-k3-r4.26-v300-c1278-S1452052526-056.UNKNOWN.cnf	UNSAT	2.91656	1.43639	3378358
random/medium/ unif-k3-r4.26-v300-c1278-S566093033-041.UNKNOWN.cnf	UNSAT	2.96355	1.19074	3378577
random/medium/ unif-k3-r4.26-v300-c1278-S862932513-073.UNKNOWN.cnf	UNSAT	3.02454	1.57546	3378462
random/medium/ unif-k5-r21.3-v50-c1065-S1054153452-040.UNKNOWN.cnf	UNSAT	3.60545	1.3468	3378638
random/medium/ unif-k3-r4.26-v300-c1278-S768688898-014.UNKNOWN.cnf	UNSAT	3.73543	1.5865	3378311
random/medium/ unif-k3-r4.26-v300-c1278-S1569819208-064.UNKNOWN.cnf	UNSAT	5.44717	2.0061	3378338
random/medium/ unif-k3-r4.26-v300-c1278-S1990987164-054.UNKNOWN.cnf	UNSAT	6.88695	2.17261	3378349
random/medium/ unif-k3-r4.26-v300-c1278-S1194590195-083.UNKNOWN.cnf	UNSAT	8.91964	3.53492	3378385
random/medium/ unif-k3-r4.26-v300-c1278-S1869766438-024.UNKNOWN.cnf	UNSAT	10.8204	3.15498	3378365
random/medium/ unif-k3-r4.26-v300-c1278-S1469984978-038.UNKNOWN.cnf	UNSAT	12.953	3.69898	3378422
random/medium/ unif-k3-r4.26-v300-c1278-S1223020224-097.UNKNOWN.cnf	UNSAT	14.7338	4.20033	3378489
random/medium/ unif-k3-r4.26-v350-c1491-S804294807-063.UNKNOWN.cnf	UNSAT	16.2935	5.1139	3378588
random/medium/ unif-k3-r4.26-v350-c1491-S1090604743-089.UNKNOWN.cnf	UNSAT	21.9937	5.96532	3378664
random/medium/ unif-k3-r4.26-v350-c1491-S173446080-001.UNKNOWN.cnf	UNSAT	26.134	7.91754	3378488
random/medium/ unif-k5-r21.3-v75-c1597-S295912653-089.UNKNOWN.cnf	UNSAT	26.8279	7.40114	3378372
random/medium/ unif-k5-r21.3-v75-c1597-S1508981094-051.UNKNOWN.cnf	UNSAT	26.9969	9.43839	3378473
random/medium/ unif-k5-r21.3-v75-c1597-S1825761395-059.UNKNOWN.cnf	UNSAT	27.6058	9.63512	3378672
random/medium/ unif-k3-r4.26-v350-c1491-S761041117-050.UNKNOWN.cnf	UNSAT	29.9304	8.19571	3378687
random/medium/ unif-k5-r21.3-v75-c1597-S428924146-076.UNKNOWN.cnf	UNSAT	31.8412	13.0721	3378497
random/medium/ unif-k3-r4.26-v350-c1491-S1404138730-025.UNKNOWN.cnf	UNSAT	32.893	8.87386	3378548
random/medium/ unif-k5-r21.3-v75-c1597-S1227489160-001.UNKNOWN.cnf	UNSAT	33.7959	8.94077	3378353
random/medium/ unif-k5-r21.3-v75-c1597-S602837755-005.UNKNOWN.cnf	UNSAT	34.9497	9.41803	3378345
random/medium/ unif-k3-r4.26-v350-c1491-S1733949620-064.UNKNOWN.cnf	UNSAT	36.5054	9.60753	3378532
random/medium/ unif-k5-r21.3-v75-c1597-S60874767-043.UNKNOWN.cnf	UNSAT	36.6364	9.84744	3378436
random/medium/ unif-k3-r4.26-v350-c1491-S1705279286-077.UNKNOWN.cnf	UNSAT	36.6394	9.63707	3378538
random/medium/ unif-k5-r21.3-v75-c1597-S1713710439-035.UNKNOWN.cnf	UNSAT	36.6584	9.64299	3378420
random/medium/ unif-k5-r21.3-v75-c1597-S1750722942-074.UNKNOWN.cnf	UNSAT	38.9571	10.237	3378656
random/medium/ unif-k3-r4.26-v350-c1491-S648064606-012.UNKNOWN.cnf	UNSAT	41.9136	10.9645	3378366
random/medium/ unif-k3-r4.26-v350-c1491-S797651048-056.UNKNOWN.cnf	UNSAT	44.1763	11.5344	3378515
random/medium/ unif-k5-r21.3-v75-c1597-S1431779634-058.UNKNOWN.cnf	UNSAT	45.1024	9.62151	3378679
random/medium/ unif-k3-r4.26-v350-c1491-S659703274-054.UNKNOWN.cnf	UNSAT	46.307	12.3028	3378514
random/medium/ unif-k3-r4.26-v400-c1704-S895193371-061.UNKNOWN.cnf	UNSAT	75.2346	30.3693	3378501
random/medium/ unif-k3-r4.26-v400-c1704-S496650424-021.UNKNOWN.cnf	UNSAT	80.9587	27.4855	3378618
random/medium/ unif-k3-r4.26-v400-c1704-S1536900137-053.UNKNOWN.cnf	UNSAT	85.487	28.9305	3378386
random/medium/ unif-k3-r4.26-v400-c1704-S785747282-100.UNKNOWN.cnf	UNSAT	90.4662	23.3639	3378295
random/medium/ unif-k7-r89-v50-c4450-S1082084494-034.UNKNOWN.cnf	UNSAT	107.688	36.6551	3378440
random/medium/ unif-k3-r4.26-v400-c1704-S1409021001-079.UNKNOWN.cnf	UNSAT	125.083	31.824	3378534
random/medium/ unif-k3-r4.26-v400-c1704-S1635333981-027.UNKNOWN.cnf	UNSAT	134.339	34.3266	3378481
random/medium/ unif-k7-r89-v50-c4450-S1034575833-022.UNKNOWN.cnf	UNSAT	142.141	36.2145	3378458
random/medium/ unif-k3-r4.26-v400-c1704-S1081907273-083.UNKNOWN.cnf	UNSAT	143.055	43.3449	3378347
random/medium/ unif-k7-r89-v50-c4450-S321945897-005.UNKNOWN.cnf	UNSAT	144.071	36.732	3378540
random/medium/ unif-k7-r89-v50-c4450-S1027567260-047.UNKNOWN.cnf	UNSAT	144.132	36.9259	3378317
random/medium/ unif-k7-r89-v50-c4450-S708803296-021.UNKNOWN.cnf	UNSAT	145.989	37.2308	3378684
random/medium/ unif-k7-r89-v50-c4450-S1880985555-004.UNKNOWN.cnf	UNSAT	147.689	37.6431	3378639
random/medium/ unif-k3-r4.26-v400-c1704-S549184435-037.UNKNOWN.cnf	UNSAT	154.374	39.1744	3378523
random/medium/ unif-k3-r4.26-v400-c1704-S690749326-001.UNKNOWN.cnf	UNSAT	157.171	39.8877	3378584
random/medium/ unif-k7-r89-v50-c4450-S324945930-048.UNKNOWN.cnf	UNSAT	189.509	64.1822	3378620
random/medium/ unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf	UNSAT	195.87	49.7041	3378615
random/medium/ unif-k7-r89-v50-c4450-S1374457799-001.UNKNOWN.cnf	UNSAT	432.977	140.935	3378508
random/medium/ unif-k3-r4.26-v450-c1917-S794554332-033.UNKNOWN.cnf	UNSAT	452.979	114.348	3378487
random/medium/ unif-k3-r4.26-v450-c1917-S1573194644-097.UNKNOWN.cnf	UNSAT	491.671	124.041	3378553
random/medium/ unif-k3-r4.26-v450-c1917-S116041094-082.UNKNOWN.cnf	UNSAT	518.282	148.767	3378651
random/medium/ unif-k3-r4.26-v450-c1917-S1910317962-059.UNKNOWN.cnf	UNSAT	528.647	160.225	3378434
random/medium/ unif-k7-r89-v50-c4450-S2039518547-066.UNKNOWN.cnf	UNSAT	538.935	135.987	3378483
random/medium/ unif-k7-r89-v50-c4450-S1273410420-036.UNKNOWN.cnf	UNSAT	544.638	137.233	3378437
random/medium/ unif-k3-r4.26-v450-c1917-S1959079526-027.UNKNOWN.cnf	UNSAT	578.81	147.095	3378682
random/medium/ unif-k3-r4.26-v450-c1917-S1008065350-031.UNKNOWN.cnf	UNSAT	617.389	155.559	3378348
random/medium/ unif-k3-r4.26-v450-c1917-S16302531-099.UNKNOWN.cnf	UNSAT	624.833	157.363	3378621
random/medium/ unif-k3-r4.26-v450-c1917-S1406921020-013.UNKNOWN.cnf	UNSAT	630.946	159.441	3378474
random/medium/ unif-k3-r4.26-v450-c1917-S367251957-028.UNKNOWN.cnf	UNSAT	849.721	262.962	3378316
random/medium/ unif-k5-r21.3-v100-c2130-S206772908-015.UNKNOWN.cnf	UNSAT	1008.38	354.293	3378451
random/medium/ unif-k5-r21.3-v100-c2130-S2098066936-001.UNKNOWN.cnf	UNSAT	1201.9	400.239	3378360
random/medium/ unif-k5-r21.3-v100-c2130-S2051088205-036.UNKNOWN.cnf	UNSAT	1205.97	303.223	3378443
random/medium/ unif-k3-r4.26-v450-c1917-S1879031150-062.UNKNOWN.cnf	UNSAT	1222.12	307.108	3378607
random/medium/ unif-k5-r21.3-v100-c2130-S815408325-054.UNKNOWN.cnf	UNSAT	1276.49	320.714	3378663
random/medium/ unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf	UNSAT	1298.65	326.175	3378384
random/medium/ unif-k5-r21.3-v100-c2130-S1465579926-097.UNKNOWN.cnf	UNSAT	1310.63	329.257	3378441
random/medium/ unif-k5-r21.3-v100-c2130-S1059781282-048.UNKNOWN.cnf	UNSAT	1404.36	352.388	3378425
random/medium/ unif-k5-r21.3-v100-c2130-S360859187-040.UNKNOWN.cnf	UNSAT	1418.82	452.915	3378492
random/medium/ unif-k5-r21.3-v100-c2130-S1741857700-014.UNKNOWN.cnf	UNSAT	1425.59	358.376	3378647
random/medium/ unif-k5-r21.3-v100-c2130-S1336161514-068.UNKNOWN.cnf	UNSAT	1586.83	398.744	3378505
random/medium/ unif-k7-r89-v60-c5340-S1445862528-059.UNKNOWN.cnf	UNSAT	1661.3	529.549	3378509
random/medium/ unif-k7-r89-v60-c5340-S113771637-026.UNKNOWN.cnf	UNSAT	1688.49	520.849	3378624
random/medium/ unif-k7-r89-v60-c5340-S614849838-039.UNKNOWN.cnf	UNSAT	1690.02	734.083	3378431
random/medium/ unif-k7-r89-v60-c5340-S1675230100-032.UNKNOWN.cnf	UNSAT	1741.52	570.333	3378681
random/medium/ unif-k3-r4.26-v500-c2130-S247862791-097.UNKNOWN.cnf	UNSAT	1810.08	454.616	3378592
random/medium/ unif-k7-r89-v60-c5340-S1831136826-075.UNKNOWN.cnf	UNSAT	1876.56	477.993	3378643
random/medium/ unif-k7-r89-v60-c5340-S384085843-009.UNKNOWN.cnf	UNSAT	1878.8	472.983	3378480
random/medium/ unif-k7-r89-v60-c5340-S1556216475-025.UNKNOWN.cnf	UNSAT	1890.16	475.588	3378438
random/medium/ unif-k7-r89-v60-c5340-S1720200795-004.UNKNOWN.cnf	UNSAT	1899.89	477.94	3378482
random/medium/ unif-k7-r89-v60-c5340-S2117313371-002.UNKNOWN.cnf	UNSAT	1904.97	478.682	3378680
random/medium/ unif-k7-r89-v60-c5340-S642174893-006.UNKNOWN.cnf	UNSAT	1958.89	492.839	3378429
random/medium/ unif-k3-r4.26-v500-c2130-S1094982880-055.UNKNOWN.cnf	UNSAT	2302.68	576.99	3378321
random/medium/ unif-k3-r4.26-v500-c2130-S1205196501-095.UNKNOWN.cnf	UNSAT	3636.9	1153.6	3378560
random/medium/ unif-k3-r4.26-v500-c2130-S1085677759-100.UNKNOWN.cnf	UNSAT	3761.05	943.552	3378404
random/medium/ unif-k3-r4.26-v500-c2130-S670753028-051.UNKNOWN.cnf	UNSAT	4107.36	1030.98	3378666
random/medium/ unif-k3-r4.26-v500-c2130-S1514125851-037.UNKNOWN.cnf	UNSAT	4193.29	1052.3	3378337

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v350-c1491-S773607012-011.SATISFIABLE.cnf	SAT	0.495924	0.588866	3378564
random/medium/ unif-k3-r4.26-v500-c2130-S9113894-047.SATISFIABLE.cnf	SAT	0.511921	0.591261	3378602
random/medium/ unif-k3-r4.26-v450-c1917-S1097024859-001.SATISFIABLE.cnf	SAT	0.513921	0.58871	3378594
random/medium/ unif-k3-r4.26-v350-c1491-S87195105-042.SATISFIABLE.cnf	SAT	0.529919	0.583223	3378660
random/medium/ unif-k3-r4.26-v400-c1704-S913455068-085.SATISFIABLE.cnf	SAT	0.542916	0.582588	3378671
random/medium/ unif-k3-r4.26-v350-c1491-S1794283924-053.SATISFIABLE.cnf	SAT	0.546916	0.592828	3378519
random/medium/ unif-k3-r4.26-v350-c1491-S946474812-075.SATISFIABLE.cnf	SAT	0.548916	0.807967	3378510
random/medium/ unif-k3-r4.26-v350-c1491-S1060672754-058.SATISFIABLE.cnf	SAT	0.548916	0.766164	3378541
random/medium/ unif-k3-r4.26-v500-c2130-S840902310-084.SATISFIABLE.cnf	SAT	0.549915	0.609484	3378640
random/medium/ unif-k5-r21.3-v75-c1597-S1009664450-096.SATISFIABLE.cnf	SAT	0.549916	0.599635	3378591
random/medium/ unif-k3-r4.26-v400-c1704-S1023920765-089.SATISFIABLE.cnf	SAT	0.551916	0.58962	3378610
random/medium/ unif-k3-r4.26-v400-c1704-S1462223811-042.SATISFIABLE.cnf	SAT	0.552915	0.608478	3378450
random/medium/ unif-k5-r21.3-v75-c1597-S25975519-056.SATISFIABLE.cnf	SAT	0.556914	0.607691	3378373
random/medium/ unif-k5-r21.3-v75-c1597-S906725726-060.SATISFIABLE.cnf	SAT	0.558914	0.815287	3378575
random/medium/ unif-k3-r4.26-v350-c1491-S1077220429-098.SATISFIABLE.cnf	SAT	0.560913	0.80588	3378503
random/medium/ unif-k3-r4.26-v350-c1491-S146789605-022.SATISFIABLE.cnf	SAT	0.561914	1.05046	3378418
random/medium/ unif-k3-r4.26-v550-c2343-S1610857498-043.SATISFIABLE.cnf	SAT	0.563913	0.784903	3378617
random/medium/ unif-k3-r4.26-v450-c1917-S380157195-014.SATISFIABLE.cnf	SAT	0.563914	0.598196	3378325
random/medium/ unif-k3-r4.26-v500-c2130-S31329941-054.SATISFIABLE.cnf	SAT	0.566913	0.604628	3378387
random/medium/ unif-k5-r21.3-v100-c2130-S328068950-002.SATISFIABLE.cnf	SAT	0.571912	0.629599	3378478
random/medium/ unif-k3-r4.26-v550-c2343-S927210717-059.SATISFIABLE.cnf	SAT	0.572911	0.611811	3378567
random/medium/ unif-k3-r4.26-v400-c1704-S183128297-005.SATISFIABLE.cnf	SAT	0.575912	0.794006	3378549
random/medium/ unif-k3-r4.26-v400-c1704-S1960786523-069.SATISFIABLE.cnf	SAT	0.576911	0.799923	3378442
random/medium/ unif-k3-r4.26-v550-c2343-S1940049314-069.SATISFIABLE.cnf	SAT	0.576911	0.615973	3378648
random/medium/ unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf	SAT	0.577911	0.602019	3378563
random/medium/ unif-k5-r21.3-v75-c1597-S445191369-092.SATISFIABLE.cnf	SAT	0.577911	0.608754	3378590
random/medium/ unif-k3-r4.26-v400-c1704-S1440346932-010.SATISFIABLE.cnf	SAT	0.578911	0.801043	3378633
random/medium/ unif-k3-r4.26-v350-c1491-S1507171828-044.SATISFIABLE.cnf	SAT	0.581911	0.595153	3378522
random/medium/ unif-k3-r4.26-v500-c2130-S204737200-067.SATISFIABLE.cnf	SAT	0.582911	0.774378	3378668
random/medium/ unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf	SAT	0.58691	0.624491	3378586
random/medium/ unif-k3-r4.26-v400-c1704-S1050579435-065.SATISFIABLE.cnf	SAT	0.58691	0.59902	3378468
random/medium/ unif-k3-r4.26-v350-c1491-S1946851065-023.SATISFIABLE.cnf	SAT	0.589909	0.794864	3378324
random/medium/ unif-k3-r4.26-v500-c2130-S831119356-083.SATISFIABLE.cnf	SAT	0.590909	0.628611	3378609
random/medium/ unif-k3-r4.26-v550-c2343-S960198064-030.SATISFIABLE.cnf	SAT	0.593908	0.623942	3378471
random/medium/ unif-k5-r21.3-v75-c1597-S1366648725-024.SATISFIABLE.cnf	SAT	0.593909	0.788528	3378333
random/medium/ unif-k3-r4.26-v550-c2343-S1552308135-080.SATISFIABLE.cnf	SAT	0.594909	0.625631	3378527
random/medium/ unif-k3-r4.26-v650-c2769-S30721646-064.SATISFIABLE.cnf	SAT	0.596909	0.849409	3378561
random/medium/ unif-k3-r4.26-v500-c2130-S1563258922-027.SATISFIABLE.cnf	SAT	0.600908	0.64653	3378520
random/medium/ unif-k5-r21.3-v100-c2130-S1980330668-030.SATISFIABLE.cnf	SAT	0.606907	0.62409	3378676
random/medium/ unif-k3-r4.26-v700-c2982-S1617172756-030.SATISFIABLE.cnf	SAT	0.606907	0.652511	3378601
random/medium/ unif-k3-r4.26-v700-c2982-S115072124-051.SATISFIABLE.cnf	SAT	0.609906	0.863068	3378579
random/medium/ unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf	SAT	0.611906	0.718417	3378411
random/medium/ unif-k5-r21.3-v75-c1597-S1129651135-081.SATISFIABLE.cnf	SAT	0.612906	0.64468	3378565
random/medium/ unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf	SAT	0.615906	0.651522	3378334
random/medium/ unif-k5-r21.3-v75-c1597-S241605246-015.SATISFIABLE.cnf	SAT	0.619905	0.789445	3378533
random/medium/ unif-k3-r4.26-v500-c2130-S1263625223-038.SATISFIABLE.cnf	SAT	0.621904	0.621345	3378304
random/medium/ unif-k5-r21.3-v100-c2130-S1189700536-035.SATISFIABLE.cnf	SAT	0.627903	0.640683	3378350
random/medium/ unif-k3-r4.26-v600-c2556-S373048162-052.SATISFIABLE.cnf	SAT	0.634903	0.809974	3378377
random/medium/ unif-k3-r4.26-v600-c2556-S610796494-086.SATISFIABLE.cnf	SAT	0.637902	0.639955	3378597
random/medium/ unif-k5-r21.3-v100-c2130-S20037494-023.SATISFIABLE.cnf	SAT	0.639902	0.639958	3378339
random/medium/ unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf	SAT	0.639902	0.66405	3378556
random/medium/ unif-k3-r4.26-v600-c2556-S727005963-093.SATISFIABLE.cnf	SAT	0.641901	0.638299	3378529
random/medium/ unif-k3-r4.26-v800-c3408-S1536861174-069.SATISFIABLE.cnf	SAT	0.642901	0.843507	3378535
random/medium/ unif-k3-r4.26-v800-c3408-S1831593686-090.SATISFIABLE.cnf	SAT	0.659899	0.668264	3378351
random/medium/ unif-k5-r21.3-v125-c2662-S236776564-037.SATISFIABLE.cnf	SAT	0.660898	0.661838	3378658
random/medium/ unif-k3-r4.26-v800-c3408-S902286199-017.SATISFIABLE.cnf	SAT	0.661898	0.863908	3378612
random/medium/ unif-k5-r21.3-v100-c2130-S707565158-096.SATISFIABLE.cnf	SAT	0.669897	0.655021	3378380
random/medium/ unif-k3-r4.26-v600-c2556-S252359291-002.SATISFIABLE.cnf	SAT	0.677896	0.852	3378507
random/medium/ unif-k3-r4.26-v800-c3408-S890760919-021.SATISFIABLE.cnf	SAT	0.681896	0.675143	3378562
random/medium/ unif-k3-r4.26-v500-c2130-S1280860344-022.SATISFIABLE.cnf	SAT	0.698893	0.830987	3378657
random/medium/ unif-k3-r4.26-v550-c2343-S1114532273-035.SATISFIABLE.cnf	SAT	0.702892	0.639697	3378511
random/medium/ unif-k3-r4.26-v450-c1917-S386464511-018.SATISFIABLE.cnf	SAT	0.704891	0.636965	3378526
random/medium/ unif-k3-r4.26-v750-c3195-S1378008329-078.SATISFIABLE.cnf	SAT	0.704892	0.889098	3378370
random/medium/ unif-k3-r4.26-v350-c1491-S1914191877-004.SATISFIABLE.cnf	SAT	0.707891	0.662904	3378464
random/medium/ unif-k5-r21.3-v100-c2130-S1574817612-041.SATISFIABLE.cnf	SAT	0.71089	0.660089	3378374
random/medium/ unif-k5-r21.3-v100-c2130-S196779284-038.SATISFIABLE.cnf	SAT	0.712891	0.863085	3378628
random/medium/ unif-k5-r21.3-v100-c2130-S1926673460-089.SATISFIABLE.cnf	SAT	0.733887	0.677989	3378392
random/medium/ unif-k3-r4.26-v650-c2769-S525571208-063.SATISFIABLE.cnf	SAT	0.734888	0.670466	3378342
random/medium/ unif-k7-r89-v50-c4450-S768928417-025.SATISFIABLE.cnf	SAT	0.736887	1.05186	3378379
random/medium/ unif-k3-r4.26-v800-c3408-S456969343-019.SATISFIABLE.cnf	SAT	0.736887	0.691815	3378449
random/medium/ unif-k7-r89-v50-c4450-S1087312438-073.SATISFIABLE.cnf	SAT	0.748886	0.790802	3378413
random/medium/ unif-k3-r4.26-v700-c2982-S1744841484-003.SATISFIABLE.cnf	SAT	0.758883	0.686352	3378669
random/medium/ unif-k5-r21.3-v175-c3727-S1110880865-004.SATISFIABLE.cnf	SAT	0.777881	0.726599	3378302
random/medium/ unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf	SAT	0.783879	0.871327	3378354
random/medium/ unif-k5-r21.3-v150-c3195-S1650617512-037.SATISFIABLE.cnf	SAT	0.78688	0.722305	3378665
random/medium/ unif-k7-r89-v50-c4450-S1788358104-029.SATISFIABLE.cnf	SAT	0.789879	0.829366	3378606
random/medium/ unif-k7-r89-v50-c4450-S864690872-081.SATISFIABLE.cnf	SAT	0.797878	0.995208	3378493
random/medium/ unif-k5-r21.3-v125-c2662-S1258495116-025.SATISFIABLE.cnf	SAT	0.807876	0.753477	3378378
random/medium/ unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf	SAT	0.817875	0.804228	3378670
random/medium/ unif-k3-r4.26-v650-c2769-S4140122-004.SATISFIABLE.cnf	SAT	0.821874	0.70571	3378599
random/medium/ unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf	SAT	0.824874	0.690019	3378674
random/medium/ unif-k3-r4.26-v800-c3408-S1631205309-024.SATISFIABLE.cnf	SAT	0.842871	0.713012	3378327
random/medium/ unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf	SAT	0.844871	0.699708	3378636
random/medium/ unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf	SAT	0.84787	1.16879	3378400
random/medium/ unif-k7-r89-v50-c4450-S1430772875-039.SATISFIABLE.cnf	SAT	0.858868	0.986961	3378346
random/medium/ unif-k7-r89-v50-c4450-S422404201-035.SATISFIABLE.cnf	SAT	0.884865	0.820883	3378627
random/medium/ unif-k5-r21.3-v100-c2130-S332580795-055.SATISFIABLE.cnf	SAT	0.890863	0.914482	3378683
random/medium/ unif-k5-r21.3-v75-c1597-S2038462183-033.SATISFIABLE.cnf	SAT	0.890864	0.899239	3378430
random/medium/ unif-k5-r21.3-v125-c2662-S1396350646-062.SATISFIABLE.cnf	SAT	0.905861	0.92539	3378572
random/medium/ unif-k3-r4.26-v400-c1704-S823305148-084.SATISFIABLE.cnf	SAT	0.922859	0.879056	3378314
random/medium/ unif-k3-r4.26-v750-c3195-S1985868475-070.SATISFIABLE.cnf	SAT	0.946855	0.816455	3378335
random/medium/ unif-k7-r89-v70-c6230-S1321356000-046.SATISFIABLE.cnf	SAT	0.958854	0.918014	3378512
random/medium/ unif-k5-r21.3-v150-c3195-S1787844685-006.SATISFIABLE.cnf	SAT	0.964852	0.777815	3378673
random/medium/ unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf	SAT	0.970851	0.895539	3378554
random/medium/ unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf	SAT	0.981849	0.764571	3378649
random/medium/ unif-k5-r21.3-v175-c3727-S520872997-084.SATISFIABLE.cnf	SAT	0.982849	0.990216	3378306
random/medium/ unif-k7-r89-v60-c5340-S1583005701-053.SATISFIABLE.cnf	SAT	1.00984	0.954861	3378536
random/medium/ unif-k7-r89-v50-c4450-S1786071619-083.SATISFIABLE.cnf	SAT	1.06284	0.876556	3378472
random/medium/ unif-k3-r4.26-v600-c2556-S2019147653-030.SATISFIABLE.cnf	SAT	1.06284	0.736465	3378423
random/medium/ unif-k7-r89-v70-c6230-S1018943457-089.SATISFIABLE.cnf	SAT	1.07983	0.936403	3378490
random/medium/ unif-k3-r4.26-v650-c2769-S1261029273-036.SATISFIABLE.cnf	SAT	1.10783	0.757368	3378634
random/medium/ unif-k7-r89-v70-c6230-S1555786344-071.SATISFIABLE.cnf	SAT	1.17082	0.98647	3378300
random/medium/ unif-k3-r4.26-v800-c3408-S846876765-035.SATISFIABLE.cnf	SAT	1.21781	0.796524	3378655
random/medium/ unif-k3-r4.26-v750-c3195-S664770261-061.SATISFIABLE.cnf	SAT	1.24281	1.01486	3378362
random/medium/ unif-k5-r21.3-v175-c3727-S1592669696-022.SATISFIABLE.cnf	SAT	1.27381	0.954224	3378542
random/medium/ unif-k3-r4.26-v400-c1704-S930506247-025.SATISFIABLE.cnf	SAT	1.2948	0.779655	3378363
random/medium/ unif-k7-r89-v60-c5340-S385597856-055.SATISFIABLE.cnf	SAT	1.3168	0.994764	3378593
random/medium/ unif-k7-r89-v50-c4450-S675112162-053.SATISFIABLE.cnf	SAT	1.35979	0.939617	3378524
random/medium/ unif-k3-r4.26-v500-c2130-S481747904-003.SATISFIABLE.cnf	SAT	1.38079	0.813922	3378393
random/medium/ unif-k3-r4.26-v650-c2769-S1920526651-049.SATISFIABLE.cnf	SAT	1.43278	1.08721	3378444
random/medium/ unif-k7-r89-v50-c4450-S879384975-017.SATISFIABLE.cnf	SAT	1.44278	0.969778	3378417
random/medium/ unif-k5-r21.3-v175-c3727-S752966552-099.SATISFIABLE.cnf	SAT	1.48777	1.43366	3378402
random/medium/ unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf	SAT	1.49977	0.934243	3378476
random/medium/ unif-k7-r89-v60-c5340-S630613738-050.SATISFIABLE.cnf	SAT	1.50277	1.0285	3378576
random/medium/ unif-k3-r4.26-v550-c2343-S874954918-011.SATISFIABLE.cnf	SAT	1.53677	1.40041	3378396
random/medium/ unif-k3-r4.26-v700-c2982-S1863077195-052.SATISFIABLE.cnf	SAT	1.60576	0.892026	3378583
random/medium/ unif-k3-r4.26-v500-c2130-S261841674-082.SATISFIABLE.cnf	SAT	1.61975	1.0662	3378498
random/medium/ unif-k3-r4.26-v750-c3195-S1115406553-014.SATISFIABLE.cnf	SAT	1.62275	1.10603	3378691
random/large/ unif-k3-r4.2-v2500-c10500-S89508070-083-UNKNOWN.cnf	SAT	1.64575	1.31274	3378232
random/medium/ unif-k3-r4.26-v750-c3195-S2050161601-088.SATISFIABLE.cnf	SAT	1.66075	0.989544	3378446
random/large/ unif-k3-r4.2-v2500-c10500-S1201761407-024-UNKNOWN.cnf	SAT	1.68674	1.33655	3378253
random/medium/ unif-k3-r4.26-v750-c3195-S576842028-023.SATISFIABLE.cnf	SAT	1.72774	1.13861	3378475
random/medium/ unif-k3-r4.26-v750-c3195-S973075635-083.SATISFIABLE.cnf	SAT	1.73873	3.13815	3378398
random/medium/ unif-k3-r4.26-v700-c2982-S812011128-009.SATISFIABLE.cnf	SAT	1.85372	1.1609	3378678
random/medium/ unif-k3-r4.26-v550-c2343-S311101868-094.SATISFIABLE.cnf	SAT	1.87671	1.0419	3378585
random/medium/ unif-k7-r89-v90-c8010-S224440242-006.SATISFIABLE.cnf	SAT	1.89371	1.22251	3378662
random/medium/ unif-k3-r4.26-v550-c2343-S2058622508-076.SATISFIABLE.cnf	SAT	1.9427	1.15079	3378467
random/medium/ unif-k5-r21.3-v100-c2130-S1880411078-058.SATISFIABLE.cnf	SAT	2.00269	1.0433	3378406
random/medium/ unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf	SAT	2.01769	1.21282	3378484
random/large/ unif-k3-r4.2-v2500-c10500-S1300417189-038-UNKNOWN.cnf	SAT	2.06669	1.46166	3378130
random/large/ unif-k3-r4.2-v2500-c10500-S722024572-014-UNKNOWN.cnf	SAT	2.17267	1.52327	3378145
random/medium/ unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf	SAT	2.19766	1.20553	3378318
random/medium/ unif-k7-r89-v80-c7120-S1639347701-083.SATISFIABLE.cnf	SAT	2.22266	1.26068	3378518
random/medium/ unif-k5-r21.3-v125-c2662-S464722883-083.SATISFIABLE.cnf	SAT	2.30465	1.07818	3378555
random/medium/ unif-k3-r4.26-v450-c1917-S2083898043-071.SATISFIABLE.cnf	SAT	2.34164	1.18577	3378559
random/medium/ unif-k7-r89-v60-c5340-S969033069-088.SATISFIABLE.cnf	SAT	2.34964	1.34236	3378675
random/large/ unif-k3-r4.2-v2500-c10500-S1907658523-004-UNKNOWN.cnf	SAT	2.35764	1.73191	3378241
random/medium/ unif-k7-r89-v80-c7120-S1254315629-032.SATISFIABLE.cnf	SAT	2.47862	1.5727	3378447
random/medium/ unif-k5-r21.3-v175-c3727-S110935064-075.SATISFIABLE.cnf	SAT	2.68359	1.20489	3378412
random/medium/ unif-k3-r4.26-v450-c1917-S2088689288-085.SATISFIABLE.cnf	SAT	2.74658	1.14778	3378661
random/medium/ unif-k5-r21.3-v75-c1597-S1214523131-078.SATISFIABLE.cnf	SAT	2.77158	1.35483	3378626
random/medium/ unif-k3-r4.26-v600-c2556-S1468528501-076.SATISFIABLE.cnf	SAT	3.03654	1.7467	3378401
random/medium/ unif-k7-r89-v60-c5340-S239039906-021.SATISFIABLE.cnf	SAT	3.03854	1.53335	3378355
random/medium/ unif-k3-r4.26-v600-c2556-S379672572-039.SATISFIABLE.cnf	SAT	3.17152	1.48629	3378456
random/medium/ unif-k3-r4.26-v700-c2982-S628307658-028.SATISFIABLE.cnf	SAT	3.19051	1.35942	3378407
random/medium/ unif-k5-r21.3-v150-c3195-S1216095115-028.SATISFIABLE.cnf	SAT	3.32849	1.45688	3378445
random/medium/ unif-k5-r21.3-v75-c1597-S1636883934-028.SATISFIABLE.cnf	SAT	3.69844	1.38631	3378517
random/medium/ unif-k3-r4.26-v450-c1917-S528475885-007.SATISFIABLE.cnf	SAT	4.25935	1.72061	3378470
random/medium/ unif-k7-r89-v60-c5340-S388186442-035.SATISFIABLE.cnf	SAT	4.5883	1.796	3378578
random/large/ unif-k3-r4.2-v2500-c10500-S882087907-088-UNKNOWN.cnf	SAT	4.63429	2.36008	3378165
random/medium/ unif-k5-r21.3-v150-c3195-S1428216398-076.SATISFIABLE.cnf	SAT	4.64029	1.69166	3378504
random/large/ unif-k5-r20-v750-c15000-S440979335-036-UNKNOWN.cnf	SAT	4.81627	2.33711	3378173
random/medium/ unif-k5-r21.3-v150-c3195-S334650851-022.SATISFIABLE.cnf	SAT	4.96824	1.92905	3378343
random/medium/ unif-k5-r21.3-v150-c3195-S1116496771-020.SATISFIABLE.cnf	SAT	5.38318	2.07114	3378368
random/medium/ unif-k5-r21.3-v150-c3195-S259896945-079.SATISFIABLE.cnf	SAT	5.79312	2.16265	3378453
random/medium/ unif-k7-r89-v60-c5340-S1141565617-016.SATISFIABLE.cnf	SAT	5.9321	2.12031	3378319
random/medium/ unif-k7-r89-v70-c6230-S1846644927-079.SATISFIABLE.cnf	SAT	6.34803	2.62007	3378296
random/medium/ unif-k7-r89-v70-c6230-S944754256-018.SATISFIABLE.cnf	SAT	6.37003	2.48126	3378297
random/large/ unif-k3-r4.2-v2500-c10500-S49783605-066-UNKNOWN.cnf	SAT	6.38703	2.67506	3378238
random/medium/ unif-k7-r89-v80-c7120-S1147977026-087.SATISFIABLE.cnf	SAT	6.57	2.80459	3378298
random/medium/ unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf	SAT	6.61299	2.15702	3378303
random/medium/ unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf	SAT	6.74597	2.37845	3378685
random/medium/ unif-k3-r4.26-v450-c1917-S2065964480-034.SATISFIABLE.cnf	SAT	6.84796	2.67932	3378399
random/medium/ unif-k3-r4.26-v700-c2982-S608588601-044.SATISFIABLE.cnf	SAT	6.88695	2.42859	3378569
random/medium/ unif-k7-r89-v80-c7120-S1957603206-080.SATISFIABLE.cnf	SAT	7.07892	2.48705	3378635
random/medium/ unif-k7-r89-v60-c5340-S1982873755-080.SATISFIABLE.cnf	SAT	7.12392	2.81515	3378543
random/medium/ unif-k7-r89-v80-c7120-S175431861-098.SATISFIABLE.cnf	SAT	7.29589	2.55669	3378428
random/medium/ unif-k7-r89-v60-c5340-S1510638717-051.SATISFIABLE.cnf	SAT	7.38588	2.48855	3378530
random/medium/ unif-k5-r21.3-v175-c3727-S100095490-071.SATISFIABLE.cnf	SAT	7.44787	3.18582	3378486
random/medium/ unif-k7-r89-v90-c8010-S2014736708-037.SATISFIABLE.cnf	SAT	7.83381	2.79874	3378410
random/large/ unif-k5-r20-v750-c15000-S656533785-100-UNKNOWN.cnf	SAT	7.83581	2.92062	3378249
random/medium/ unif-k7-r89-v70-c6230-S2143190124-085.SATISFIABLE.cnf	SAT	8.04178	3.24651	3378395
random/medium/ unif-k5-r21.3-v175-c3727-S82160031-050.SATISFIABLE.cnf	SAT	8.36973	2.84387	3378421
random/medium/ unif-k3-r4.26-v700-c2982-S893015585-015.SATISFIABLE.cnf	SAT	8.65868	3.33397	3378544
random/large/ unif-k3-r4.2-v5000-c21000-S434028979-077-UNKNOWN.cnf	SAT	8.80066	3.21425	3378170
random/medium/ unif-k7-r89-v90-c8010-S271997978-024.SATISFIABLE.cnf	SAT	8.86465	3.24226	3378604
random/medium/ unif-k7-r89-v70-c6230-S314780693-050.SATISFIABLE.cnf	SAT	8.92364	4.12928	3378622
random/medium/ unif-k7-r89-v60-c5340-S1458986015-022.SATISFIABLE.cnf	SAT	9.06762	2.91083	3378454
random/large/ unif-k3-r4.2-v5000-c21000-S720914503-051-UNKNOWN.cnf	SAT	10.0195	3.53314	3378215
random/medium/ unif-k7-r89-v70-c6230-S1335110382-066.SATISFIABLE.cnf	SAT	10.0245	3.27101	3378479
random/medium/ unif-k3-r4.26-v600-c2556-S1383380994-043.SATISFIABLE.cnf	SAT	10.2984	3.07392	3378631
random/medium/ unif-k7-r89-v90-c8010-S501033814-049.SATISFIABLE.cnf	SAT	10.4234	4.83629	3378566
random/medium/ unif-k7-r89-v80-c7120-S1801179747-047.SATISFIABLE.cnf	SAT	11.4723	3.60137	3378513
random/medium/ unif-k7-r89-v90-c8010-S51928934-076.SATISFIABLE.cnf	SAT	11.7132	3.69107	3378580
random/medium/ unif-k3-r4.26-v650-c2769-S1495462442-016.SATISFIABLE.cnf	SAT	11.8792	3.46898	3378312
random/large/ unif-k7-r85-v150-c12750-S541704841-072-UNKNOWN.cnf	SAT	12.1322	3.99559	3378105
random/medium/ unif-k7-r89-v80-c7120-S153059456-076.SATISFIABLE.cnf	SAT	12.1502	3.76035	3378525
random/medium/ unif-k3-r4.26-v800-c3408-S852188518-088.SATISFIABLE.cnf	SAT	13.38	4.04574	3378309
random/medium/ unif-k7-r89-v70-c6230-S2045410966-069.SATISFIABLE.cnf	SAT	13.5119	4.67991	3378558
random/medium/ unif-k3-r4.26-v800-c3408-S1534711423-054.SATISFIABLE.cnf	SAT	14.2068	4.72685	3378463
random/medium/ unif-k7-r89-v90-c8010-S64052796-033.SATISFIABLE.cnf	SAT	14.2258	4.31974	3378426
random/medium/ unif-k7-r89-v70-c6230-S1351138814-007.SATISFIABLE.cnf	SAT	14.3858	5.64703	3378439
random/large/ unif-k3-r4.2-v10000-c42000-S677627694-051-UNKNOWN.cnf	SAT	14.6348	5.91874	3378272
random/large/ unif-k3-r4.2-v5000-c21000-S1781430408-009-UNKNOWN.cnf	SAT	15.5716	4.91559	3378268
random/medium/ unif-k7-r89-v80-c7120-S474185167-033.SATISFIABLE.cnf	SAT	15.7866	4.66468	3378416
random/medium/ unif-k7-r89-v80-c7120-S513640009-027.SATISFIABLE.cnf	SAT	15.8346	4.70419	3378598
random/medium/ unif-k7-r89-v90-c8010-S2039249975-038.SATISFIABLE.cnf	SAT	16.0816	5.32612	3378650
random/medium/ unif-k7-r89-v80-c7120-S1623694027-006.SATISFIABLE.cnf	SAT	16.6605	6.21374	3378341
random/large/ unif-k3-r4.2-v5000-c21000-S936020932-012-UNKNOWN.cnf	SAT	16.7605	5.42421	3378151
random/medium/ unif-k5-r21.3-v150-c3195-S1579607106-017.SATISFIABLE.cnf	SAT	17.2444	4.85877	3378352
random/large/ unif-k5-r20-v750-c15000-S957625236-045-UNKNOWN.cnf	SAT	18.0483	7.49159	3378100
random/medium/ unif-k5-r21.3-v175-c3727-S1126657927-015.SATISFIABLE.cnf	SAT	18.0733	5.06485	3378654
random/large/ unif-k3-r4.2-v10000-c42000-S1778317451-042-UNKNOWN.cnf	SAT	21.2988	7.18017	3378283
random/medium/ unif-k5-r21.3-v175-c3727-S539832832-088.SATISFIABLE.cnf	SAT	21.5147	6.12257	3378383
random/large/ unif-k3-r4.2-v2500-c10500-S374960214-041-UNKNOWN.cnf	SAT	22.1766	8.27091	3378262
random/medium/ unif-k7-r89-v90-c8010-S1828831772-021.SATISFIABLE.cnf	SAT	22.2766	8.0788	3378388
random/medium/ unif-k3-r4.26-v750-c3195-S158767647-027.SATISFIABLE.cnf	SAT	22.4396	9.32143	3378500
random/large/ unif-k5-r20-v1000-c20000-S72635791-098-UNKNOWN.cnf	SAT	22.9885	7.13432	3378139
random/medium/ unif-k3-r4.26-v600-c2556-S2050053883-062.SATISFIABLE.cnf	SAT	25.6121	6.90733	3378570
random/large/ unif-k5-r20-v750-c15000-S1207160791-083-UNKNOWN.cnf	SAT	27.8558	8.1136	3378218
random/large/ unif-k3-r4.2-v2500-c10500-S924370159-018-UNKNOWN.cnf	SAT	28.1267	8.24705	3378117
random/large/ unif-k5-r20-v750-c15000-S976181807-056-UNKNOWN.cnf	SAT	32.0351	9.14803	3378278
random/large/ unif-k3-r4.2-v10000-c42000-S963265686-085-UNKNOWN.cnf	SAT	33.6879	10.3096	3378194
random/medium/ unif-k3-r4.26-v650-c2769-S1069233620-009.SATISFIABLE.cnf	SAT	36.0145	14.8377	3378550
random/medium/ unif-k7-r89-v90-c8010-S231612998-061.SATISFIABLE.cnf	SAT	39.477	10.6587	3378589
random/medium/ unif-k5-r21.3-v150-c3195-S1499315720-089.SATISFIABLE.cnf	SAT	43.5394	11.6595	3378573
random/large/ unif-k5-r20-v750-c15000-S3662714-068-UNKNOWN.cnf	SAT	46.079	12.5008	3378103
random/large/ unif-k3-r4.2-v10000-c42000-S903594090-011-UNKNOWN.cnf	SAT	47.6468	13.6087	3378181
random/medium/ unif-k5-r21.3-v175-c3727-S185833400-026.SATISFIABLE.cnf	SAT	47.6957	14.2172	3378581
random/large/ unif-k5-r20-v750-c15000-S64285713-004-UNKNOWN.cnf	SAT	49.7484	13.5991	3378225
random/large/ unif-k5-r20-v1000-c20000-S541740666-063-UNKNOWN.cnf	SAT	56.8474	28.6848	3378125
random/large/ unif-k5-r20-v1000-c20000-S1950850246-038-UNKNOWN.cnf	SAT	57.0163	15.6315	3378179
random/medium/ unif-k7-r89-v90-c8010-S661190852-039.SATISFIABLE.cnf	SAT	58.5491	15.4417	3378326
random/large/ unif-k3-r4.2-v5000-c21000-S901912629-090-UNKNOWN.cnf	SAT	58.6531	15.9499	3378265
random/large/ unif-k5-r20-v750-c15000-S131912631-041-UNKNOWN.cnf	SAT	60.4838	20.5656	3378191
random/large/ unif-k3-r4.2-v15000-c63000-S43885340-006-UNKNOWN.cnf	SAT	61.4817	17.7263	3378271
random/large/ unif-k3-r4.2-v5000-c21000-S912026804-034-UNKNOWN.cnf	SAT	68.4156	18.1698	3378148
random/large/ unif-k7-r85-v150-c12750-S1290198737-013-UNKNOWN.cnf	SAT	71.5551	19.0881	3378275
random/large/ unif-k3-r4.2-v5000-c21000-S425619685-036-UNKNOWN.cnf	SAT	82.3315	28.5485	3378157
random/large/ unif-k5-r20-v1000-c20000-S945664020-055-UNKNOWN.cnf	SAT	83.6627	18.2266	3378186
random/large/ unif-k3-r4.2-v20000-c84000-S525505471-054-UNKNOWN.cnf	SAT	89.6934	25.708	3378190
random/large/ unif-k3-r4.2-v20000-c84000-S1204913987-029-UNKNOWN.cnf	SAT	89.9013	25.866	3378109
random/large/ unif-k3-r4.2-v15000-c63000-S38529837-091-UNKNOWN.cnf	SAT	95.3645	26.5739	3378175
random/medium/ unif-k7-r89-v80-c7120-S2107193201-069.UNKNOWN.cnf	SAT	98.975	25.9929	3378403
random/large/ unif-k3-r4.2-v10000-c42000-S338979727-056-UNKNOWN.cnf	SAT	99.4439	26.9001	3378122
random/large/ unif-k3-r4.2-v5000-c21000-S1157767653-025-UNKNOWN.cnf	SAT	108.828	28.5619	3378144
random/large/ unif-k3-r4.2-v10000-c42000-S1256256213-053-UNKNOWN.cnf	SAT	110.954	29.917	3378096
random/large/ unif-k3-r4.2-v25000-c105000-S808762165-030-UNKNOWN.cnf	SAT	114.794	37.6431	3378287
random/large/ unif-k7-r85-v200-c17000-S72668411-025-UNKNOWN.cnf	SAT	132.864	64.5173	3378255
random/large/ unif-k7-r85-v150-c12750-S1737989193-079-UNKNOWN.cnf	SAT	143.939	37.272	3378256
random/large/ unif-k3-r4.2-v20000-c84000-S840292785-048-UNKNOWN.cnf	SAT	148.468	40.4604	3378239
random/large/ unif-k5-r20-v1000-c20000-S941604910-059-UNKNOWN.cnf	SAT	155.69	40.1852	3378111
random/large/ unif-k5-r20-v1000-c20000-S1351005860-011-UNKNOWN.cnf	SAT	167.64	43.3547	3378279
random/large/ unif-k3-r4.2-v15000-c63000-S1201608256-021-UNKNOWN.cnf	SAT	168.638	44.8497	3378158
random/large/ unif-k3-r4.2-v15000-c63000-S976131144-051-UNKNOWN.cnf	SAT	172.445	45.7949	3378162
random/medium/ unif-k3-r4.26-v650-c2769-S1402967451-034.SATISFIABLE.cnf	SAT	178.76	45.3412	3378659
random/large/ unif-k3-r4.2-v20000-c84000-S313385224-076-UNKNOWN.cnf	SAT	191.144	65.5656	3378214
random/large/ unif-k3-r4.2-v15000-c63000-S619136916-059-UNKNOWN.cnf	SAT	191.313	50.3393	3378273
random/large/ unif-k5-r20-v1000-c20000-S519298227-080-UNKNOWN.cnf	SAT	195.412	50.1462	3378281
random/large/ unif-k3-r4.2-v15000-c63000-S1868678442-026-UNKNOWN.cnf	SAT	196.024	51.639	3378102
random/large/ unif-k3-r4.2-v25000-c105000-S1233052734-067-UNKNOWN.cnf	SAT	201.858	55.0816	3378108
random/large/ unif-k5-r20-v1250-c25000-S936047914-093-UNKNOWN.cnf	SAT	204.968	57.7172	3378193
random/large/ unif-k3-r4.2-v5000-c21000-S1259410977-065-UNKNOWN.cnf	SAT	207.743	53.0994	3378233
random/large/ unif-k5-r20-v1000-c20000-S698025027-034-UNKNOWN.cnf	SAT	209.328	53.8164	3378257
random/large/ unif-k3-r4.2-v25000-c105000-S269939581-066-UNKNOWN.cnf	SAT	211.08	57.0035	3378247
random/large/ unif-k5-r20-v1000-c20000-S883282443-030-UNKNOWN.cnf	SAT	212.983	56.5094	3378101
random/large/ unif-k3-r4.2-v25000-c105000-S919014656-003-UNKNOWN.cnf	SAT	223.648	61.481	3378293
random/large/ unif-k5-r20-v750-c15000-S1787347746-067-UNKNOWN.cnf	SAT	226.157	57.8572	3378210
random/large/ unif-k7-r85-v150-c12750-S1101422472-003-UNKNOWN.cnf	SAT	232.172	59.1468	3378243
random/large/ unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf	SAT	245.656	62.7492	3378182
random/large/ unif-k3-r4.2-v10000-c42000-S360796849-068-UNKNOWN.cnf	SAT	260.264	68.2809	3378095
random/large/ unif-k5-r20-v750-c15000-S888530894-020-UNKNOWN.cnf	SAT	260.906	66.5813	3378212
random/large/ unif-k3-r4.2-v30000-c126000-S1354319962-100-UNKNOWN.cnf	SAT	264.464	80.3913	3378252
random/large/ unif-k3-r4.2-v30000-c126000-S926207202-053-UNKNOWN.cnf	SAT	267.549	111.629	3378248
random/large/ unif-k3-r4.2-v20000-c84000-S1778371838-017-UNKNOWN.cnf	SAT	273.524	71.9435	3378131
random/large/ unif-k3-r4.2-v20000-c84000-S878494004-057-UNKNOWN.cnf	SAT	275.034	72.4169	3378276
random/large/ unif-k7-r85-v150-c12750-S367425675-085-UNKNOWN.cnf	SAT	285.521	72.8331	3378223
random/large/ unif-k7-r85-v150-c12750-S511186849-048-UNKNOWN.cnf	SAT	292.565	74.4563	3378245
random/large/ unif-k3-r4.2-v30000-c126000-S285324961-078-UNKNOWN.cnf	SAT	308.818	121.689	3378242
random/large/ unif-k5-r20-v1000-c20000-S107009952-009-UNKNOWN.cnf	SAT	319.084	82.5311	3378094
random/large/ unif-k3-r4.2-v40000-c168000-S1368340883-085-UNKNOWN.cnf	SAT	334.503	90.2796	3378132
random/large/ unif-k7-r85-v150-c12750-S93401285-051-UNKNOWN.cnf	SAT	337.433	86.0093	3378097
random/large/ unif-k7-r85-v150-c12750-S789865458-092-UNKNOWN.cnf	SAT	346.251	87.8178	3378164
random/large/ unif-k3-r4.2-v15000-c63000-S980027332-029-UNKNOWN.cnf	SAT	359.04	92.9213	3378188
random/large/ unif-k3-r4.2-v10000-c42000-S977705304-066-UNKNOWN.cnf	SAT	393.105	113.379	3378140
random/large/ unif-k3-r4.2-v20000-c84000-S493397373-056-UNKNOWN.cnf	SAT	396.915	102.924	3378195
random/large/ unif-k5-r20-v1250-c25000-S269694958-008-UNKNOWN.cnf	SAT	481.786	144.713	3378222
random/large/ unif-k3-r4.2-v15000-c63000-S1386494586-003-UNKNOWN.cnf	SAT	482.004	123.451	3378205
random/large/ unif-k3-r4.2-v30000-c126000-S629207485-001-UNKNOWN.cnf	SAT	535.285	138.997	3378136
random/large/ unif-k3-r4.2-v30000-c126000-S1854039067-041-UNKNOWN.cnf	SAT	560.149	145.445	3378138
random/large/ unif-k3-r4.2-v30000-c126000-S379804333-028-UNKNOWN.cnf	SAT	569.231	179.853	3378206
random/large/ unif-k3-r4.2-v30000-c126000-S858279511-076-UNKNOWN.cnf	SAT	576.823	149.408	3378189
random/large/ unif-k5-r20-v1250-c25000-S1103412232-098-UNKNOWN.cnf	SAT	580.021	147.185	3378118
random/large/ unif-k3-r4.2-v15000-c63000-S89201333-019-UNKNOWN.cnf	SAT	582.063	148.482	3378209
random/large/ unif-k5-r20-v1500-c30000-S1793954886-065-UNKNOWN.cnf	SAT	588.063	149.013	3378129
random/large/ unif-k3-r4.2-v35000-c147000-S1098107876-060-UNKNOWN.cnf	SAT	620.927	161.572	3378116
random/large/ unif-k3-r4.2-v25000-c105000-S92008434-079-UNKNOWN.cnf	SAT	625.587	161.23	3378115
random/large/ unif-k7-r85-v150-c12750-S313239685-087-UNKNOWN.cnf	SAT	782.304	210.666	3378124
random/large/ unif-k5-r20-v1250-c25000-S871131876-087-UNKNOWN.cnf	SAT	791.48	200.168	3378290
random/large/ unif-k3-r4.2-v20000-c84000-S921718479-079-UNKNOWN.cnf	SAT	801.633	204.519	3378178
random/large/ unif-k3-r4.2-v35000-c147000-S970100151-015-UNKNOWN.cnf	SAT	1043.1	267.243	3378201
random/large/ unif-k5-r20-v1250-c25000-S313445894-099-UNKNOWN.cnf	SAT	1121.03	283.07	3378291
random/large/ unif-k3-r4.2-v2500-c10500-S705365444-036-UNKNOWN.cnf	SAT	1192.75	299.815	3378203
random/large/ unif-k3-r4.2-v10000-c42000-S709804505-031-UNKNOWN.cnf	SAT	1377.02	347.523	3378135
random/large/ unif-k5-r20-v1250-c25000-S935783783-069-UNKNOWN.cnf	SAT	1478.01	483.054	3378150
random/large/ unif-k3-r4.2-v40000-c168000-S709305826-098-UNKNOWN.cnf	SAT	1803.58	459.05	3378161
random/large/ unif-k3-r4.2-v25000-c105000-S1838224332-006-UNKNOWN.cnf	SAT	1935.26	490.342	3378146
random/large/ unif-k3-r4.2-v40000-c168000-S1920335371-069-UNKNOWN.cnf	SAT	2158.63	549.826	3378259
random/large/ unif-k3-r4.2-v35000-c147000-S1268831169-016-UNKNOWN.cnf	SAT	3872.09	979.402	3378244
random/large/ unif-k3-r4.2-v35000-c147000-S1886449473-022-UNKNOWN.cnf	SAT	3881.34	981.549	3378213
random/large/ unif-k3-r4.2-v20000-c84000-S1298436766-097-UNKNOWN.cnf	SAT	4100.6	1033.45	3378237
random/medium/ unif-k5-r21.3-v150-c3195-S1632870961-099.SATISFIABLE.cnf	SAT	4363.78	1094.99	3378551

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k7-r89-v70-c6230-S560963242-048.UNKNOWN.cnf	?	2709.45	1171.98	3378693
random/medium/ unif-k5-r21.3-v150-c3195-S1847541883-049.UNKNOWN.cnf	?	2834.74	1175.51	3378537
random/medium/ unif-k3-r4.26-v600-c2556-S1677156340-036.UNKNOWN.cnf	?	3076.06	1186.95	3378516
random/medium/ unif-k5-r21.3-v125-c2662-S689381858-022.UNKNOWN.cnf	?	3080.61	1158.15	3378613
random/large/ unif-k3-r4.2-v15000-c63000-S594553190-015-UNKNOWN.cnf	?	3137.99	1176.66	3378264
random/medium/ unif-k3-r4.26-v500-c2130-S1383368897-031.UNKNOWN.cnf	?	3196.48	1232.21	3378381
random/medium/ unif-k5-r21.3-v125-c2662-S2092454698-027.UNKNOWN.cnf	?	3352.14	1201.06	3378614
random/medium/ unif-k3-r4.26-v700-c2982-S899463426-096.UNKNOWN.cnf	?	3361.42	1109.85	3378356
random/medium/ unif-k7-r89-v80-c7120-S1901567697-013.UNKNOWN.cnf	?	3412.6	1124.53	3378323
random/medium/ unif-k5-r21.3-v150-c3195-S375894551-007.UNKNOWN.cnf	?	3450.12	1138.47	3378336
random/medium/ unif-k3-r4.26-v650-c2769-S216164582-083.UNKNOWN.cnf	?	3457.16	1104.76	3378600
random/medium/ unif-k3-r4.26-v550-c2343-S1554089933-067.UNKNOWN.cnf	?	3471.28	1110.19	3378528
random/medium/ unif-k3-r4.26-v550-c2343-S1663503036-045.UNKNOWN.cnf	?	3473.59	1167.33	3378382
random/large/ unif-k3-r4.2-v25000-c105000-S30704505-092-UNKNOWN.cnf	?	3484.35	1139.13	3378219
random/large/ unif-k3-r4.2-v25000-c105000-S5267991-057-UNKNOWN.cnf	?	3516.08	1119.41	3378160
random/medium/ unif-k5-r21.3-v125-c2662-S1647930270-030.UNKNOWN.cnf	?	3527.13	1112.68	3378546
random/medium/ unif-k7-r89-v80-c7120-S841042385-099.UNKNOWN.cnf	?	3564.22	1158.43	3378652
random/medium/ unif-k7-r89-v80-c7120-S1968028041-077.UNKNOWN.cnf	?	3566.67	1145.08	3378677
random/medium/ unif-k3-r4.26-v600-c2556-S1734827769-099.UNKNOWN.cnf	?	3575.16	1125.22	3378344
random/medium/ unif-k3-r4.26-v700-c2982-S1800377425-032.UNKNOWN.cnf	?	3620.92	1103.95	3378465
random/medium/ unif-k7-r89-v80-c7120-S839353433-100.UNKNOWN.cnf	?	3648.95	1199.44	3378448
random/medium/ unif-k3-r4.26-v600-c2556-S1245124682-071.UNKNOWN.cnf	?	3702.46	1204.93	3378359
random/medium/ unif-k3-r4.26-v700-c2982-S157016908-041.UNKNOWN.cnf	?	3704.38	1123.14	3378568
random/medium/ unif-k5-r21.3-v150-c3195-S1836400953-011.UNKNOWN.cnf	?	3708.99	1205.19	3378595
random/medium/ unif-k3-r4.26-v700-c2982-S1230934123-063.UNKNOWN.cnf	?	3761.52	1209.28	3378496
random/medium/ unif-k7-r89-v70-c6230-S250627100-039.UNKNOWN.cnf	?	3773.98	1199.52	3378299
random/medium/ unif-k7-r89-v80-c7120-S199880667-010.UNKNOWN.cnf	?	3783.64	1205.59	3378466
random/medium/ unif-k3-r4.26-v600-c2556-S1339958817-007.UNKNOWN.cnf	?	3882.4	1212.32	3378539
random/medium/ unif-k3-r4.26-v700-c2982-S2036658259-036.UNKNOWN.cnf	?	3887.62	1169.75	3378308
random/medium/ unif-k3-r4.26-v700-c2982-S942849-099.UNKNOWN.cnf	?	3936.59	1231.98	3378389
random/large/ unif-k3-r4.2-v40000-c168000-S386300535-065-UNKNOWN.cnf	?	4366.78	1105.24	3378261
random/large/ unif-k3-r4.2-v35000-c147000-S883457431-033-UNKNOWN.cnf	?	4375.66	1105.05	3378099
random/large/ unif-k3-r4.2-v30000-c126000-S913491256-073-UNKNOWN.cnf	?	4386.09	1106.77	3378149
random/large/ unif-k3-r4.2-v40000-c168000-S845438593-067-UNKNOWN.cnf	?	4445.61	1125.3	3378156
random/medium/ unif-k5-r21.3-v150-c3195-S788239782-034.UNKNOWN.cnf	?	4701.86	1200.18	3378605
random/large/ unif-k3-r4.2-v50000-c210000-S746725327-020-UNKNOWN.cnf	?	4706.81	1196.21	3378168
random/medium/ unif-k3-r4.26-v650-c2769-S510739670-068.UNKNOWN.cnf	?	4719.19	1200.21	3378547
random/large/ unif-k3-r4.2-v50000-c210000-S1170024351-015-UNKNOWN.cnf	?	4728.68	1197.1	3378289
random/large/ unif-k3-r4.2-v50000-c210000-S517749870-003-UNKNOWN.cnf	?	4729.73	1197.61	3378263
random/medium/ unif-k3-r4.26-v700-c2982-S1124205008-074.UNKNOWN.cnf	?	4733.01	1198.21	3378630
random/large/ unif-k3-r4.2-v50000-c210000-S964643921-035-UNKNOWN.cnf	?	4737.97	1200.15	3378292
random/large/ unif-k3-r4.2-v50000-c210000-S957916968-041-UNKNOWN.cnf	?	4738.71	1200.91	3378141
random/large/ unif-k3-r4.2-v50000-c210000-S874492400-019-UNKNOWN.cnf	?	4742.64	1200.76	3378174
random/large/ unif-k3-r4.2-v35000-c147000-S448503257-098-UNKNOWN.cnf	?	4745.5	1197.74	3378180
random/large/ unif-k3-r4.2-v50000-c210000-S1969540674-065-UNKNOWN.cnf	?	4746.24	1201.12	3378112
random/medium/ unif-k7-r89-v70-c6230-S635440951-015.UNKNOWN.cnf	?	4749.26	1198.46	3378409
random/medium/ unif-k5-r21.3-v150-c3195-S1502652578-043.UNKNOWN.cnf	?	4749.76	1202.73	3378477
random/large/ unif-k3-r4.2-v35000-c147000-S419010076-063-UNKNOWN.cnf	?	4749.8	1198.82	3378110
random/medium/ unif-k7-r89-v80-c7120-S1980280938-088.UNKNOWN.cnf	?	4752.22	1196.64	3378419
random/large/ unif-k3-r4.2-v40000-c168000-S471691933-060-UNKNOWN.cnf	?	4752.88	1201.73	3378169
random/medium/ unif-k7-r89-v70-c6230-S1805176884-064.UNKNOWN.cnf	?	4755.48	1195.12	3378328
random/medium/ unif-k7-r89-v80-c7120-S1818856267-075.UNKNOWN.cnf	?	4756.9	1196.9	3378357
random/medium/ unif-k7-r89-v80-c7120-S1494985128-003.UNKNOWN.cnf	?	4756.93	1200.57	3378307
random/large/ unif-k3-r4.2-v20000-c84000-S357264423-067-UNKNOWN.cnf	?	4757.61	1199	3378187
random/large/ unif-k3-r4.2-v30000-c126000-S643238994-057-UNKNOWN.cnf	?	4757.76	1202.37	3378246
random/large/ unif-k3-r4.2-v30000-c126000-S1196935200-064-UNKNOWN.cnf	?	4757.86	1200.7	3378147
random/large/ unif-k3-r4.2-v35000-c147000-S625465881-078-UNKNOWN.cnf	?	4759.58	1203.54	3378277
random/large/ unif-k3-r4.2-v40000-c168000-S1184456903-078-UNKNOWN.cnf	?	4761.08	1203.24	3378199
random/large/ unif-k3-r4.2-v10000-c42000-S1091905403-047-UNKNOWN.cnf	?	4762.02	1200.24	3378267
random/medium/ unif-k7-r89-v80-c7120-S1637697223-097.UNKNOWN.cnf	?	4762.78	1198.69	3378506
random/large/ unif-k3-r4.2-v40000-c168000-S895938734-057-UNKNOWN.cnf	?	4763.61	1202.88	3378123
random/large/ unif-k3-r4.2-v25000-c105000-S109959541-056-UNKNOWN.cnf	?	4764.27	1203.03	3378167
random/large/ unif-k3-r4.2-v35000-c147000-S648642831-094-UNKNOWN.cnf	?	4764.98	1203.91	3378200
random/large/ unif-k3-r4.2-v50000-c210000-S537193780-078-UNKNOWN.cnf	?	4767.17	1217.62	3378127
random/medium/ unif-k3-r4.26-v550-c2343-S720541313-052.UNKNOWN.cnf	?	4769.23	1196.05	3378394
random/medium/ unif-k7-r89-v70-c6230-S1780733482-097.UNKNOWN.cnf	?	4769.38	1199.89	3378376
random/medium/ unif-k3-r4.26-v550-c2343-S591042619-090.UNKNOWN.cnf	?	4770.11	1198.68	3378690
random/medium/ unif-k5-r21.3-v150-c3195-S31505198-038.UNKNOWN.cnf	?	4770.7	1196.9	3378502
random/medium/ unif-k3-r4.26-v650-c2769-S29470018-050.UNKNOWN.cnf	?	4770.97	1196.56	3378557
random/medium/ unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf	?	4771.95	1197.37	3378689
random/medium/ unif-k3-r4.26-v650-c2769-S2065143904-035.UNKNOWN.cnf	?	4772.71	1198.42	3378637
random/medium/ unif-k7-r89-v70-c6230-S1254276596-021.UNKNOWN.cnf	?	4773.05	1200.28	3378331
random/medium/ unif-k7-r89-v70-c6230-S1960545292-083.UNKNOWN.cnf	?	4773.47	1199.68	3378644
random/medium/ unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf	?	4775.12	1199.24	3378305
random/large/ unif-k3-r4.2-v25000-c105000-S533496308-018-UNKNOWN.cnf	?	4775.52	1203.58	3378185
random/medium/ unif-k3-r4.26-v550-c2343-S1693168158-005.UNKNOWN.cnf	?	4775.56	1199.88	3378646
random/medium/ unif-k7-r89-v70-c6230-S1516725086-012.UNKNOWN.cnf	?	4775.62	1201	3378313
random/medium/ unif-k5-r21.3-v125-c2662-S121099030-067.UNKNOWN.cnf	?	4775.79	1199.13	3378435
random/medium/ unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf	?	4776.01	1197.56	3378427
random/medium/ unif-k3-r4.26-v650-c2769-S1235135694-059.UNKNOWN.cnf	?	4776.17	1199.01	3378469
random/medium/ unif-k3-r4.26-v600-c2556-S869604189-077.UNKNOWN.cnf	?	4776.65	1199.69	3378574
random/medium/ unif-k3-r4.26-v600-c2556-S224791863-033.UNKNOWN.cnf	?	4776.83	1198.54	3378531
random/medium/ unif-k5-r21.3-v150-c3195-S873866006-055.UNKNOWN.cnf	?	4777.46	1199.28	3378332
random/medium/ unif-k3-r4.26-v700-c2982-S1971541934-090.UNKNOWN.cnf	?	4777.79	1199.04	3378414
random/medium/ unif-k5-r21.3-v125-c2662-S1397972185-007.UNKNOWN.cnf	?	4779.11	1198.13	3378461
random/medium/ unif-k3-r4.26-v550-c2343-S1694067460-072.UNKNOWN.cnf	?	4779.44	1199.14	3378405
random/medium/ unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf	?	4780.35	1201.67	3378452
random/medium/ unif-k7-r89-v70-c6230-S1475900283-041.UNKNOWN.cnf	?	4780.37	1202.04	3378408
random/medium/ unif-k3-r4.26-v650-c2769-S944656226-046.UNKNOWN.cnf	?	4780.57	1198.89	3378571
random/medium/ unif-k7-r89-v70-c6230-S289144908-090.UNKNOWN.cnf	?	4780.81	1202.1	3378485
random/medium/ unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf	?	4781.26	1199.72	3378521
random/medium/ unif-k3-r4.26-v550-c2343-S912111154-025.UNKNOWN.cnf	?	4781.85	1199.54	3378616
random/medium/ unif-k3-r4.26-v650-c2769-S910125393-002.UNKNOWN.cnf	?	4782.76	1199.98	3378495
random/medium/ unif-k5-r21.3-v150-c3195-S2124915970-046.UNKNOWN.cnf	?	4783.38	1198.29	3378390
random/medium/ unif-k5-r21.3-v125-c2662-S396831120-092.UNKNOWN.cnf	?	4783.94	1199.74	3378330
random/medium/ unif-k3-r4.26-v600-c2556-S506401817-075.UNKNOWN.cnf	?	4787.64	1202.85	3378582
random/medium/ unif-k3-r4.26-v550-c2343-S943066845-088.UNKNOWN.cnf	?	4787.87	1201.86	3378371
random/medium/ unif-k3-r4.26-v600-c2556-S1720013904-060.UNKNOWN.cnf	?	4788.29	1200.84	3378499
random/medium/ unif-k3-r4.26-v550-c2343-S1163259790-073.UNKNOWN.cnf	?	4789.49	1203.47	3378361
random/medium/ unif-k5-r21.3-v150-c3195-S1653142431-025.UNKNOWN.cnf	?	4791.06	1202.12	3378367
random/medium/ unif-k3-r4.26-v700-c2982-S1565617179-002.UNKNOWN.cnf	?	4791.88	1202.87	3378320
random/medium/ unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf	?	4792.25	1202.29	3378459
random/medium/ unif-k3-r4.26-v650-c2769-S1631976568-086.UNKNOWN.cnf	?	4792.56	1200.42	3378667
random/medium/ unif-k3-r4.26-v650-c2769-S1298256564-085.UNKNOWN.cnf	?	4793.58	1203.71	3378310
random/medium/ unif-k3-r4.26-v500-c2130-S2061684506-048.UNKNOWN.cnf	?	4794.61	1202.27	3378625
random/medium/ unif-k5-r21.3-v125-c2662-S1224290751-070.UNKNOWN.cnf	?	4794.75	1204.28	3378369
random/medium/ unif-k3-r4.26-v600-c2556-S1885965779-049.UNKNOWN.cnf	?	4798.63	1204.77	3378686
random/medium/ unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf	?	4799.44	1204.44	3378491

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/medium/ unif-k3-r4.26-v800-c3408-S91768321-029.SATISFIABLE.cnf	? (TO)	685.27	1300.02	3378692
random/medium/ unif-k5-r21.3-v125-c2662-S34055288-072.SATISFIABLE.cnf	? (TO)	1076.45	1300.03	3378460
random/medium/ unif-k3-r4.26-v600-c2556-S248192082-054.UNKNOWN.cnf	? (TO)	2858.57	1300.06	3378329
random/medium/ unif-k3-r4.26-v500-c2130-S1762880211-075.UNKNOWN.cnf	? (TO)	4800.05	1205.38	3378301
random/medium/ unif-k5-r21.3-v150-c3195-S207562876-057.UNKNOWN.cnf	? (TO)	4800.24	1204.68	3378340

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/large/ unif-k5-r20-v1500-c30000-S1180959030-088-UNKNOWN.cnf	? (MO)	1924.38	616.037	3378235
random/large/ unif-k7-r85-v300-c25500-S1286362348-008-UNKNOWN.cnf	? (MO)	1975.1	498.331	3378137
random/large/ unif-k7-r85-v300-c25500-S942666749-061-UNKNOWN.cnf	? (MO)	1978.95	499.455	3378133
random/large/ unif-k7-r85-v400-c34000-S536077088-015-UNKNOWN.cnf	? (MO)	1982.37	500.528	3378254
random/large/ unif-k5-r20-v1500-c30000-S303265982-092-UNKNOWN.cnf	? (MO)	1982.88	500.536	3378204
random/large/ unif-k7-r85-v400-c34000-S927774663-037-UNKNOWN.cnf	? (MO)	1984.11	500.62	3378192
random/large/ unif-k7-r85-v250-c21250-S894356234-063-UNKNOWN.cnf	? (MO)	1985.42	500.528	3378217
random/large/ unif-k5-r20-v2000-c40000-S319509287-085-UNKNOWN.cnf	? (MO)	1985.52	501.635	3378134
random/large/ unif-k5-r20-v1500-c30000-S877088425-001-UNKNOWN.cnf	? (MO)	1987.01	501.839	3378114
random/large/ unif-k5-r20-v1500-c30000-S976428817-077-UNKNOWN.cnf	? (MO)	1988.2	501.768	3378107
random/large/ unif-k5-r20-v2000-c40000-S656892101-075-UNKNOWN.cnf	? (MO)	1989.06	501.626	3378120
random/large/ unif-k7-r85-v200-c17000-S1348818483-020-UNKNOWN.cnf	? (MO)	1989.95	501.653	3378155
random/large/ unif-k7-r85-v200-c17000-S181603592-089-UNKNOWN.cnf	? (MO)	1991.15	501.631	3378128
random/large/ unif-k7-r85-v300-c25500-S415002759-031-UNKNOWN.cnf	? (MO)	1994.45	503.837	3378288
random/large/ unif-k7-r85-v200-c17000-S970203146-047-UNKNOWN.cnf	? (MO)	1994.56	502.733	3378229
random/large/ unif-k5-r20-v1500-c30000-S715182559-083-UNKNOWN.cnf	? (MO)	1998.17	503.841	3378126
random/large/ unif-k5-r20-v1500-c30000-S969405384-096-UNKNOWN.cnf	? (MO)	1999.18	504.94	3378202
random/large/ unif-k5-r20-v1500-c30000-S377999798-061-UNKNOWN.cnf	? (MO)	1999.95	504.937	3378230
random/large/ unif-k7-r85-v250-c21250-S981492757-074-UNKNOWN.cnf	? (MO)	2000.07	504.936	3378250
random/large/ unif-k5-r20-v2000-c40000-S1143439968-082-UNKNOWN.cnf	? (MO)	2002.15	506.036	3378113
random/large/ unif-k7-r85-v400-c34000-S586055573-067-UNKNOWN.cnf	? (MO)	2008.2	507.13	3378260
random/large/ unif-k7-r85-v300-c25500-S966156467-066-UNKNOWN.cnf	? (MO)	2009.1	510.439	3378142
random/large/ unif-k7-r85-v200-c17000-S771170845-016-UNKNOWN.cnf	? (MO)	2009.8	508.358	3378184
random/large/ unif-k7-r85-v300-c25500-S69399346-065-UNKNOWN.cnf	? (MO)	2010.37	507.127	3378251
random/large/ unif-k7-r85-v400-c34000-S832901479-042-UNKNOWN.cnf	? (MO)	2010.68	508.237	3378104
random/large/ unif-k7-r85-v400-c34000-S817927155-033-UNKNOWN.cnf	? (MO)	2015.98	509.333	3378234
random/large/ unif-k7-r85-v250-c21250-S58287803-001-UNKNOWN.cnf	? (MO)	2020.64	509.329	3378280
random/large/ unif-k5-r20-v2000-c40000-S1264065752-051-UNKNOWN.cnf	? (MO)	2021.18	510.472	3378221
random/large/ unif-k7-r85-v300-c25500-S680524168-083-UNKNOWN.cnf	? (MO)	2022.24	510.435	3378216
random/large/ unif-k5-r20-v2000-c40000-S61914820-087-UNKNOWN.cnf	? (MO)	2026.3	511.53	3378226
random/large/ unif-k7-r85-v250-c21250-S317257086-003-UNKNOWN.cnf	? (MO)	2109.71	685.437	3378172
random/large/ unif-k7-r85-v400-c34000-S94779963-093-UNKNOWN.cnf	? (MO)	2207.12	709.532	3378282
random/large/ unif-k7-r85-v250-c21250-S381985918-018-UNKNOWN.cnf	? (MO)	2360.78	595.125	3378121
random/large/ unif-k7-r85-v200-c17000-S949556727-080-UNKNOWN.cnf	? (MO)	2377.01	600.732	3378183
random/large/ unif-k7-r85-v150-c12750-S896023516-057-UNKNOWN.cnf	? (MO)	2377.34	598.432	3378152
random/large/ unif-k7-r85-v200-c17000-S1227169170-092-UNKNOWN.cnf	? (MO)	2379.95	599.532	3378171
random/large/ unif-k7-r85-v250-c21250-S1116436500-050-UNKNOWN.cnf	? (MO)	2380.33	600.635	3378285
random/large/ unif-k5-r20-v2000-c40000-S1993071608-084-UNKNOWN.cnf	? (MO)	2380.71	600.648	3378228
random/large/ unif-k7-r85-v300-c25500-S376724493-075-UNKNOWN.cnf	? (MO)	2380.77	600.633	3378197
random/large/ unif-k7-r85-v200-c17000-S283489555-036-UNKNOWN.cnf	? (MO)	2382.76	600.637	3378159
random/large/ unif-k5-r20-v2000-c40000-S971556279-001-UNKNOWN.cnf	? (MO)	2383.35	601.733	3378227
random/large/ unif-k7-r85-v300-c25500-S926861876-013-UNKNOWN.cnf	? (MO)	2384.65	601.726	3378154
random/large/ unif-k7-r85-v250-c21250-S977260632-016-UNKNOWN.cnf	? (MO)	2384.86	601.737	3378286
random/large/ unif-k7-r85-v250-c21250-S655589261-059-UNKNOWN.cnf	? (MO)	2385.35	601.746	3378177
random/large/ unif-k7-r85-v400-c34000-S1275797759-041-UNKNOWN.cnf	? (MO)	2387.52	602.833	3378220
random/large/ unif-k5-r20-v2000-c40000-S394483079-002-UNKNOWN.cnf	? (MO)	2387.56	602.871	3378166
random/large/ unif-k7-r85-v400-c34000-S1897807474-073-UNKNOWN.cnf	? (MO)	2387.98	602.934	3378143
random/large/ unif-k7-r85-v400-c34000-S943787219-031-UNKNOWN.cnf	? (MO)	2388.02	602.87	3378211
random/large/ unif-k5-r20-v1250-c25000-S1688530456-019-UNKNOWN.cnf	? (MO)	2390.43	602.83	3378119
random/large/ unif-k7-r85-v200-c17000-S862393334-098-UNKNOWN.cnf	? (MO)	2392.61	602.831	3378098
random/large/ unif-k5-r20-v2000-c40000-S837431592-027-UNKNOWN.cnf	? (MO)	2392.71	605.061	3378207
random/large/ unif-k7-r85-v400-c34000-S1163171897-095-UNKNOWN.cnf	? (MO)	2398.84	742.533	3378236
random/large/ unif-k5-r20-v2000-c40000-S922811046-076-UNKNOWN.cnf	? (MO)	2400.76	606.137	3378266
random/large/ unif-k5-r20-v1250-c25000-S573815729-001-UNKNOWN.cnf	? (MO)	2417.08	609.433	3378153
random/medium/ unif-k7-r89-v90-c8010-S1321406709-042.UNKNOWN.cnf	? (MO)	2435.1	914.138	3378552
random/large/ unif-k5-r20-v1500-c30000-S1305346115-067-UNKNOWN.cnf	? (MO)	2503.37	807.436	3378274
random/large/ unif-k7-r85-v250-c21250-S1274193329-021-UNKNOWN.cnf	? (MO)	2707.07	854.732	3378258
random/large/ unif-k7-r85-v250-c21250-S1682211323-009-UNKNOWN.cnf	? (MO)	2742.62	691.939	3378106
random/medium/ unif-k7-r89-v90-c8010-S818753762-096.UNKNOWN.cnf	? (MO)	2749.5	690.816	3378294
random/large/ unif-k5-r20-v1500-c30000-S64154096-097-UNKNOWN.cnf	? (MO)	2761.24	696.461	3378284
random/medium/ unif-k7-r89-v90-c8010-S764895749-094.UNKNOWN.cnf	? (MO)	2766.25	696.335	3378375
random/large/ unif-k7-r85-v200-c17000-S335550727-070-UNKNOWN.cnf	? (MO)	2773.51	698.527	3378224
random/large/ unif-k5-r20-v1250-c25000-S1245360321-088-UNKNOWN.cnf	? (MO)	2784.62	701.928	3378198
random/medium/ unif-k7-r89-v90-c8010-S423984545-074.UNKNOWN.cnf	? (MO)	2897.14	865.735	3378611
random/medium/ unif-k7-r89-v90-c8010-S1897189325-062.UNKNOWN.cnf	? (MO)	2948.87	976.837	3378645
random/large/ unif-k7-r85-v300-c25500-S1158419275-045-UNKNOWN.cnf	? (MO)	3004.02	955.938	3378240
random/medium/ unif-k7-r89-v90-c8010-S1458811765-091.UNKNOWN.cnf	? (MO)	3079.79	984.553	3378688
random/medium/ unif-k7-r89-v90-c8010-S741717046-057.UNKNOWN.cnf	? (MO)	3091.48	1002.13	3378623
random/large/ unif-k7-r85-v300-c25500-S1859210562-077-UNKNOWN.cnf	? (MO)	3098.73	1026.51	3378269
random/medium/ unif-k7-r89-v90-c8010-S775210372-041.UNKNOWN.cnf	? (MO)	3157.38	797.539	3378397
random/large/ unif-k5-r20-v1250-c25000-S540595895-046-UNKNOWN.cnf	? (MO)	3163.68	798.742	3378231
random/medium/ unif-k7-r89-v90-c8010-S1475406203-080.UNKNOWN.cnf	? (MO)	3351.17	843.52	3378415
random/medium/ unif-k7-r89-v90-c8010-S2127424322-078.UNKNOWN.cnf	? (MO)	3352.92	844.525	3378455
random/large/ unif-k3-r4.2-v50000-c210000-S758437099-099-UNKNOWN.cnf	? (MO)	3956.76	1006.53	3378196
random/large/ unif-k3-r4.2-v40000-c168000-S907804052-003-UNKNOWN.cnf	? (MO)	4226.09	1069.25	3378270
random/large/ unif-k3-r4.2-v40000-c168000-S64788608-008-UNKNOWN.cnf	? (MO)	4303.98	1087.94	3378208
random/large/ unif-k3-r4.2-v35000-c147000-S950666065-093-UNKNOWN.cnf	? (MO)	4316.84	1091.24	3378163
random/large/ unif-k3-r4.2-v50000-c210000-S1401248878-094-UNKNOWN.cnf	? (MO)	4324.8	1095.45	3378176

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

Result page for solver borg-sat 11.03.02-par-random (fixed) (complete)

Category "random instances" (RANDOM)

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

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

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

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

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

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