SAT 2007 Competition Phase 2: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1217224084-10.SAT.shuffled.cnf	SAT	0.020996	0.022418	369609
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S2048803580-17.SAT.shuffled.cnf	SAT	0.020996	0.030401	369651
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1456895752-14.SAT.shuffled.cnf	SAT	0.022995	0.0249249	369345
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1445529008-02.SAT.shuffled.cnf	SAT	0.023995	0.0260259	369381
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1483146927-18.SAT.shuffled.cnf	SAT	0.023995	0.023623	369573
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1264328999-02.SAT.shuffled.cnf	SAT	0.023996	0.024409	369354
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S15127148-17.SAT.shuffled.cnf	SAT	0.024995	0.0257109	369360
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf	SAT	0.026995	0.0283209	369366
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1869272420-19.SAT.shuffled.cnf	SAT	0.026995	0.0290989	369417
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S539876024-03.SAT.shuffled.cnf	SAT	0.026995	0.0381451	369588
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1416418480-05.SAT.shuffled.cnf	SAT	0.028995	0.0301649	369369
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1561551265-12.SAT.shuffled.cnf	SAT	0.031994	0.034612	369654
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1104692480-03.SAT.shuffled.cnf	SAT	0.033994	0.0479371	369624
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S236549621-14.SAT.shuffled.cnf	SAT	0.034994	0.0448841	369357
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S429936805-03.SAT.shuffled.cnf	SAT	0.035993	0.03838	369408
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1279599478-02.SAT.shuffled.cnf	SAT	0.039993	0.0638701	369582
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1476745538-08-SAT.cnf	SAT	0.039993	0.044043	369948
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S122221229-14.SAT.shuffled.cnf	SAT	0.040993	0.099743	369384
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S455021619-18.SAT.shuffled.cnf	SAT	0.041993	0.0435529	369390
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1950672055-10.SAT.shuffled.cnf	SAT	0.045992	0.050116	369579
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1342521403-06.SAT.shuffled.cnf	SAT	0.046992	0.048487	369372
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1047920973-05.SAT.shuffled.cnf	SAT	0.047992	0.054966	369399
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S744612847-12.SAT.shuffled.cnf	SAT	0.047992	0.048909	369387
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1788789488-19-SAT.cnf	SAT	0.047992	0.0525031	369930
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S30263233-06-SAT.cnf	SAT	0.048992	0.05301	369915
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1257266562-15.SAT.shuffled.cnf	SAT	0.050991	0.0545549	369600
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1282416669-17.SAT.shuffled.cnf	SAT	0.051991	0.0538991	369378
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2094973797-12-SAT.cnf	SAT	0.052991	0.054786	369921
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1481730841-18.SAT.shuffled.cnf	SAT	0.05599	0.066356	369633
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1422217194-16.SAT.shuffled.cnf	SAT	0.056991	0.0581551	369606
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1665384822-14-SAT.cnf	SAT	0.05999	0.063667	369936
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1244126495-18-SAT.cnf	SAT	0.062989	0.0660511	369927
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1529462267-19.SAT.shuffled.cnf	SAT	0.064989	0.0853891	369525
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1496918883-18.SAT.shuffled.cnf	SAT	0.066989	0.0680061	369621
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S2109173872-19.SAT.shuffled.cnf	SAT	0.068989	0.069217	369603
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S461590508-14-SAT.cnf	SAT	0.071988	0.073495	369876
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S309048450-11.SAT.shuffled.cnf	SAT	0.081986	0.083766	369342
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1736865558-13.SAT.shuffled.cnf	SAT	0.087986	0.0914541	369597
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1191693850-19.SAT.shuffled.cnf	SAT	0.089985	0.0922059	369405
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1982407920-12.SAT.shuffled.cnf	SAT	0.089985	0.122856	369615
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1806915801-08.SAT.shuffled.cnf	SAT	0.089986	0.30864	369612
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1089058690-02.SAT.shuffled.cnf	SAT	0.094984	0.105611	369642
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1674723394-12.SAT.shuffled.cnf	SAT	0.104983	0.106622	369375
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1172355929-14.SAT.shuffled.cnf	SAT	0.106983	0.113715	369639
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S804631280-01.SAT.shuffled.cnf	SAT	0.107982	0.109733	369396
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S228456758-12.SAT.shuffled.cnf	SAT	0.107983	0.109621	369450
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1141835011-09.SAT.shuffled.cnf	SAT	0.107983	0.113368	369561
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1678549664-11-SAT.cnf	SAT	0.109983	0.111733	369894
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf	SAT	0.11998	0.122612	369648
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1830776056-07.SAT.shuffled.cnf	SAT	0.12698	0.129453	369456
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S316555917-14.SAT.shuffled.cnf	SAT	0.139978	0.140417	369471
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2044406543-15.SAT.shuffled.cnf	SAT	0.161975	0.164127	369420
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1292104917-07.SAT.shuffled.cnf	SAT	0.171973	0.173566	369483
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S141590207-13.SAT.shuffled.cnf	SAT	0.183971	0.19666	369657
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1557868591-12-SAT.cnf	SAT	0.19197	0.195343	369891
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S516218553-20-SAT.cnf	SAT	0.19497	0.198572	369879
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1344401737-18.SAT.shuffled.cnf	SAT	0.214966	0.218272	369531
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2006871543-06.SAT.shuffled.cnf	SAT	0.220965	0.223125	369363
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1209647106-12-SAT.cnf	SAT	0.221965	0.226785	369945
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1755163742-08.SAT.shuffled.cnf	SAT	0.228964	0.239748	369453
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S64317265-01-SAT.cnf	SAT	0.230964	0.237661	369979
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1870497322-13-SAT.cnf	SAT	0.231964	0.235402	369897
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1284937235-05.SAT.shuffled.cnf	SAT	0.234963	0.275908	369432
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1113882813-11.SAT.shuffled.cnf	SAT	0.235963	0.236987	369576
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S2099893633-17.SAT.shuffled.cnf	SAT	0.237963	0.317583	369465
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1965764400-19.SAT.shuffled.cnf	SAT	0.262959	0.317594	369594
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1214515938-10.SAT.shuffled.cnf	SAT	0.288955	0.29051	369480
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1718130589-01.SAT.shuffled.cnf	SAT	0.291955	0.292981	369459
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1109841921-18.SAT.shuffled.cnf	SAT	0.294954	0.297469	369441
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1014417748-14-SAT.cnf	SAT	0.302953	0.30696	369903
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1449408666-02-SAT.cnf	SAT	0.329949	0.33534	369906
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1274825698-06-SAT.cnf	SAT	0.333948	0.336862	369900
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1679085272-10-SAT.cnf	SAT	0.338948	0.366213	369942
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1210495375-04.SAT.shuffled.cnf	SAT	0.345946	0.347452	369351
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S108421787-03.SAT.shuffled.cnf	SAT	0.351946	0.35238	369489
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf	SAT	0.354945	0.370953	369873
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1481196126-03.SAT.shuffled.cnf	SAT	0.368943	0.382854	369462
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1813726766-14.SAT.shuffled.cnf	SAT	0.374942	0.376583	369426
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1699479488-11.SAT.shuffled.cnf	SAT	0.409937	0.42843	369558
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1166224100-13.SAT.shuffled.cnf	SAT	0.437933	0.439067	369567
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S592344929-16-SAT.cnf	SAT	0.464928	0.483519	369885
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1775402689-01.SAT.shuffled.cnf	SAT	0.473927	0.475659	369627
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S668297284-15-SAT.cnf	SAT	0.475927	0.485509	369960
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S2094099432-08.SAT.shuffled.cnf	SAT	0.487925	0.489275	369423
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1846251911-07.SAT.shuffled.cnf	SAT	0.492924	0.533168	369510
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S218623752-19-SAT.cnf	SAT	0.512921	0.515238	369882
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1390822082-06.SAT.shuffled.cnf	SAT	0.539917	0.54107	369447
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1437321789-17.SAT.shuffled.cnf	SAT	0.548915	0.55882	369522
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1490740667-05.SAT.shuffled.cnf	SAT	0.571912	0.624376	369585
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1891492462-09-SAT.cnf	SAT	0.573912	0.582019	369951
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1678989107-02.SAT.shuffled.cnf	SAT	0.641902	0.701879	369468
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1513299405-10.SAT.shuffled.cnf	SAT	0.679896	0.68226	369435
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S2099846342-04-SAT.cnf	SAT	0.684895	0.690017	369924
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1907907390-05.SAT.shuffled.cnf	SAT	0.685894	0.703714	369495
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1540370200-13.SAT.shuffled.cnf	SAT	0.753884	0.763284	369618
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1635684145-01.SAT.shuffled.cnf	SAT	0.753885	0.754281	369504
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1534329206-02.SAT.shuffled.cnf	SAT	0.768883	0.770811	369537
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S256297823-16.SAT.shuffled.cnf	SAT	0.791879	0.793854	369348
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1553613509-20.SAT.shuffled.cnf	SAT	0.801877	0.803918	369477
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1319091742-10.SAT.shuffled.cnf	SAT	0.84987	0.850622	369507
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf	SAT	0.868867	0.871411	369645
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1783894026-19.SAT.shuffled.cnf	SAT	0.910861	0.911487	369516
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S316347254-19-SAT.cnf	SAT	0.957853	0.965966	369954
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1386858597-08-SAT.cnf	SAT	0.959853	0.964949	369982
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S514014285-17-SAT.cnf	SAT	0.988849	1.00271	369969
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1159448555-06.SAT.shuffled.cnf	SAT	1.01185	1.07785	369630
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1019153514-04.SAT.shuffled.cnf	SAT	1.06184	1.1226	369429
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf	SAT	1.09683	1.11725	369863
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1517457236-16-SAT.cnf	SAT	1.14782	1.16847	369860
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1372215289-05.SAT.shuffled.cnf	SAT	1.17082	1.17273	369519
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S116991008-16.SAT.shuffled.cnf	SAT	1.22781	1.23068	369438
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1376493471-11.SAT.shuffled.cnf	SAT	1.3238	1.3259	369414
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1238286461-19.SAT.shuffled.cnf	SAT	1.3358	1.34049	369564
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1566131367-09.SAT.shuffled.cnf	SAT	1.50177	1.50627	369528
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1456038697-16.SAT.shuffled.cnf	SAT	1.62575	1.66823	369555
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S216896591-15.SAT.shuffled.cnf	SAT	1.66575	1.67174	369570
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1106151685-15.SAT.shuffled.cnf	SAT	1.67074	1.67326	369501
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S461794864-15.SAT.shuffled.cnf	SAT	1.71174	1.71382	369474
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1363528912-04-SAT.cnf	SAT	2.04469	2.05115	369991
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1091800488-20-SAT.cnf	SAT	2.04969	2.05205	369918
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1155547357-11.SAT.shuffled.cnf	SAT	2.07968	2.08221	369534
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1575802003-16-SAT.cnf	SAT	2.26566	2.27329	369912
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1032474357-17.SAT.shuffled.cnf	SAT	2.44463	2.44689	369444
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1137479270-03-SAT.cnf	SAT	2.50262	2.50925	369963
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1093254405-20.SAT.shuffled.cnf	SAT	2.54361	2.60642	369513
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1615006153-07.SAT.shuffled.cnf	SAT	2.74258	2.74573	369411
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1703132040-12-SAT.cnf	SAT	3.19251	3.19894	369957
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S361865778-09-SAT.cnf	SAT	3.2785	3.28315	369888
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf	SAT	4.31334	4.5064	369832
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1470952774-07.SAT.shuffled.cnf	SAT	4.34934	4.35424	369636
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1180773190-07.SAT.shuffled.cnf	SAT	5.39818	5.40084	369393
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S476496922-18-SAT.cnf	SAT	6.02808	6.03784	369976
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1344671309-04.SAT.shuffled.cnf	SAT	6.22805	6.25407	369486
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1939769766-11-SAT.cnf	SAT	6.40902	6.41696	369988
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1568197186-18-SAT.cnf	SAT	6.51801	6.69103	369857
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1533440099-09.SAT.shuffled.cnf	SAT	6.88595	6.90081	369498
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S340864765-13.SAT.shuffled.cnf	SAT	7.59285	7.59799	369402
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S440063851-05.cnf	SAT	7.72483	7.74302	369799
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2084125686-20-SAT.cnf	SAT	7.72882	7.83769	369966
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1163137157-19-SAT.cnf	SAT	7.80981	7.82288	369973
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1580061366-10.cnf	SAT	8.5247	8.53954	369781
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1572638390-17.SAT.shuffled.cnf	SAT	9.60454	9.69366	369546
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S44928635-12.SAT.shuffled.cnf	SAT	10.1405	10.259	369591
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S313074252-14.cnf	SAT	11.3373	11.3553	369796
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1963596997-08.SAT.shuffled.cnf	SAT	13.305	13.3109	369549
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1909130260-19-SAT.cnf	SAT	14.2648	14.2836	369848
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1804595013-08-SAT.cnf	SAT	15.8206	15.8265	369933
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1084572666-19.SAT.shuffled.cnf	SAT	17.2737	8.70439	369492
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S883927618-10.cnf	SAT	21.5637	21.5691	369710
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1299158672-14.SAT.shuffled.cnf	SAT	24.5513	24.6393	369543
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1785258608-13.SAT.shuffled.cnf	SAT	24.9242	24.9337	369540
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S427890210-10.cnf	SAT	28.5377	28.6086	369814
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1178874381-13.cnf	SAT	30.7613	30.7847	369784
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1307117813-09.UNSAT.shuffled.cnf	SAT	31.7452	31.7533	369552
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S251010207-06.cnf	SAT	39.408	39.4335	369793
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S67600799-16.cnf	SAT	44.5822	44.6209	369820
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S417670629-08.cnf	SAT	63.4304	63.4673	369790
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S2129616968-04.cnf	SAT	66.9328	66.9565	369713
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1826229031-16.cnf	SAT	74.2577	74.278	369766
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2118640909-06.cnf	SAT	78.2471	78.3384	369825
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S102550125-14.cnf	SAT	92.4799	92.571	369827
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S2131244303-19-SAT.cnf	SAT	99.6529	99.7561	369909
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S669431406-04.cnf	SAT	103.419	103.472	369787
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S880121748-08.cnf	SAT	112.541	112.603	369819
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S2051531193-03.cnf	SAT	114.609	114.662	369811
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S856579407-15.cnf	SAT	120.321	120.392	369817
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1946534526-16.cnf	SAT	123.89	123.94	369779
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S811866391-08.cnf	SAT	125.696	125.731	369699
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S871621203-03.cnf	SAT	131.364	131.41	369768
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S597645631-10.cnf	SAT	149.322	149.414	369809
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1744543366-13.cnf	SAT	149.662	149.761	369678
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1762612346-15-SAT.cnf	SAT	170.68	170.724	369939
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1691487811-15.cnf	SAT	173.725	173.774	368095
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1791291573-05.cnf	SAT	184.979	185.03	368098
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1986560013-06.cnf	SAT	219.055	219.168	368201
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1173369833-06.cnf	SAT	220.121	220.239	369806
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S549070267-05-SAT.cnf	SAT	236.684	236.821	369845
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1556473581-06.cnf	SAT	264.501	264.585	369702
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1912540524-08.cnf	SAT	306.512	306.655	368195
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S643005221-14.cnf	SAT	312.113	312.2	369685
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S342579098-10.cnf	SAT	319.679	319.822	369773
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S56884336-05.cnf	SAT	322.93	323.099	369822
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S2026599491-05.cnf	SAT	398.75	398.847	369777
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1059928571-06.cnf	SAT	405.262	405.382	368087
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S565127616-04.cnf	SAT	432.374	432.564	369823
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1097641288-15-SAT.cnf	SAT	438.021	438.204	369835
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S971732863-03.cnf	SAT	448.085	448.246	369801
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S915337037-05-SAT.cnf	SAT	463.027	463.267	369866
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1875179522-13.cnf	SAT	524.512	524.873	368214
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S287388441-16.cnf	SAT	543.238	543.419	368197
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1638354370-16.cnf	SAT	557.093	557.236	368097
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S897388318-05.cnf	SAT	601.06	601.286	369804
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S152598520-02-SAT.cnf	SAT	611.344	611.558	369840
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1426208256-08.cnf	SAT	636.589	636.825	368178
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S388731928-13.cnf	SAT	650.908	651.429	369716
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S793374232-15.cnf	SAT	678.753	678.946	369696
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1416986890-04.cnf	SAT	682.783	683.114	368200
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S1617760096-16.cnf	SAT	686.881	687.046	368174
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1998470614-06.cnf	SAT	769.637	769.847	368179
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S886048189-14.cnf	SAT	817.876	818.283	368181
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1404069132-16-SAT.cnf	SAT	818.04	818.33	369985
random/LargeSize/3SAT/v7000/ unif-k3-r4.2-v7000-c29400-S1312035429-13.cnf	SAT	1012.93	1013.56	368196
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S421554531-04.cnf	SAT	1023.23	1023.57	369803
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1559029529-16.cnf	SAT	1024.52	1024.85	369705
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1286605994-07-SAT.cnf	SAT	1106.23	1106.53	368227
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1036103820-03.cnf	SAT	1235.59	1236.32	369693
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1826381479-08.cnf	SAT	1299.49	1299.91	368189
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2043900701-05.cnf	SAT	1315.55	1316	368171
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1054448974-13.cnf	SAT	1332.03	1332.41	368199
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1890278326-03.cnf	SAT	1350.38	1350.97	369829
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S679764311-04.cnf	SAT	1607.63	1607.98	369757
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S2050975470-04.cnf	SAT	1645.11	1645.64	368128
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S81758219-15.cnf	SAT	1720.31	1720.9	368180
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S657313757-16.cnf	SAT	1867.01	1868.06	369808
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1342589780-15.cnf	SAT	1998.31	1998.92	368108
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S411047518-16.cnf	SAT	2092.63	2093.91	368091
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2033299325-04.cnf	SAT	2135.33	2135.87	368094
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S161446644-14.cnf	SAT	2202.8	2203.55	368205
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S1586629899-14.cnf	SAT	2226.37	2227.25	369722
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S2034423571-08.cnf	SAT	2498.24	2498.88	368092
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S811174248-16.cnf	SAT	2548.18	2549.02	368109
random/LargeSize/5SAT/v600/ unif-k5-r20-v600-c12000-S471246417-03.cnf	SAT	2580.03	2580.76	369719
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1980187645-03.cnf	SAT	2817.67	2818.55	368182
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S659720099-13.cnf	SAT	2853.29	2854.16	369761
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1048256369-15.cnf	SAT	2864.27	2865.09	369764
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S1588170820-15.cnf	SAT	2999.96	3001.12	368191
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1106616038-10.cnf	SAT	3070.97	3071.89	368210
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S417904071-03.cnf	SAT	3134.9	3135.83	368169
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S471833188-06.cnf	SAT	3257.9	3259.02	369690
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S202413125-05.cnf	SAT	3351.45	3352.42	368188
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1058323130-08.cnf	SAT	3362.1	3363.19	368090
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S409844453-15.cnf	SAT	3433.71	3434.98	369665
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S120857050-04.cnf	SAT	3523.51	3524.84	368176
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1285628870-05.cnf	SAT	3653.4	3654.46	368124
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S451874538-03.cnf	SAT	3676.87	3677.95	368084
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1753083943-04.cnf	SAT	3745.57	3746.65	368206
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1415445307-13.cnf	SAT	3949.61	3951.07	368185
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S666382280-13.cnf	SAT	4210.65	4212.23	368151
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S779713554-13.cnf	SAT	4600.56	4602.15	368177
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1973057201-08-SAT.cnf	SAT	4623.07	4625.21	368240
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1172889356-05.cnf	SAT	4663.18	4664.9	368213
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S498187802-14.cnf	SAT	4828.84	4830.72	369759

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S371462865-10.cnf	? (TO)	5000.01	5001.51	368156
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S211365596-08-UNSAT.cnf	? (TO)	5000.01	5001.31	368217
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1435246639-05-UNSAT.cnf	? (TO)	5000.01	5001.81	368249
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1260745628-20.UNSAT.shuffled.cnf	? (TO)	5000.01	5003.01	367980
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1411264373-05.UNSAT.shuffled.cnf	? (TO)	5000.01	5001.61	368006
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1262395962-18.UNSAT.shuffled.cnf	? (TO)	5000.02	5002.91	368026
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1085782051-01.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.98	368066
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1257199575-18.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.51	368059
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1283500452-05.cnf	? (TO)	5000.02	5001.41	368093
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S36357048-10.cnf	? (TO)	5000.02	5001.41	368111
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S467706592-03.cnf	? (TO)	5000.02	5001.81	368140
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S478782385-06.cnf	? (TO)	5000.02	5001.31	368152
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1751213243-05.cnf	? (TO)	5000.02	5002.02	368155
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S77566504-14.cnf	? (TO)	5000.02	5001.51	368154
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1854213938-15.cnf	? (TO)	5000.02	5001.51	368164
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1661055114-06.cnf	? (TO)	5000.02	5001.51	368212
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1299985238-16.cnf	? (TO)	5000.02	5001.31	368209
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S145970304-01-UNSAT.cnf	? (TO)	5000.02	5001.61	368234
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1501024241-13-UNSAT.cnf	? (TO)	5000.02	5001.59	368264
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1488855480-20-UNSAT.cnf	? (TO)	5000.02	5001.41	368284
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S883553387-12-UNSAT.cnf	? (TO)	5000.02	5001.68	368282
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1195605559-14.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.51	368017
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1519323913-01.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.51	368050
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1115796430-03.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.31	368055
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S1073303884-15.UNSAT.shuffled.cnf	? (TO)	5000.02	5001.51	368051
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S2108627398-03-UNSAT.cnf	? (TO)	5000.02	5001.41	368278
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1279127780-17.UNSAT.shuffled.cnf	? (TO)	5000.03	5001.51	367982
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1317485140-08.UNSAT.shuffled.cnf	? (TO)	5000.03	5001.51	367979
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1387394500-16.UNSAT.shuffled.cnf	? (TO)	5000.03	5001.81	368019
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S2067396253-13.UNSAT.shuffled.cnf	? (TO)	5000.03	5001.91	368040
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S191957358-10.cnf	? (TO)	5000.03	5001.51	368088
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1259611134-14.cnf	? (TO)	5000.03	5001.71	368100
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S422410882-13.cnf	? (TO)	5000.03	5001.61	368116
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1582455625-10.cnf	? (TO)	5000.03	5001.61	368127
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1243695187-06.cnf	? (TO)	5000.03	5001.41	368117
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1175862975-06.cnf	? (TO)	5000.03	5002.01	368121
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1358416858-13.cnf	? (TO)	5000.03	5001.31	368141
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S41627158-13.cnf	? (TO)	5000.03	5001.41	368158
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S879514135-06.cnf	? (TO)	5000.03	5001.91	368160
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1438185261-13.cnf	? (TO)	5000.03	5001.41	368193
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1671384215-01-SAT.cnf	? (TO)	5000.03	5002.01	368221
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S376181597-04-UNKNOWN.cnf	? (TO)	5000.03	5001.41	368219
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1349608788-18-UNSAT.cnf	? (TO)	5000.03	5002.21	368243
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1962059985-11-UNSAT.cnf	? (TO)	5000.03	5001.91	368233
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S834531569-01-UNSAT.cnf	? (TO)	5000.03	5001.41	368269
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1889416016-07-UNSAT.cnf	? (TO)	5000.03	5001.71	368251
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1629945861-01-UNKNOWN.cnf	? (TO)	5000.03	5001.91	368255
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1301714489-09.UNSAT.shuffled.cnf	? (TO)	5000.03	5002.81	368012
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1037473581-12.UNSAT.shuffled.cnf	? (TO)	5000.03	5001.41	368056
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1739132237-05.cnf	? (TO)	5000.03	5001.61	368132
random/LargeSize/3SAT/v4000/ unif-k3-r4.2-v4000-c16800-S450187849-03.cnf	? (TO)	5000.03	5001.51	368190
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S14782837-06.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.81	368022
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1738460433-02.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.51	368013
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S145251364-05.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.41	368025
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1225217164-02.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.61	368031
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1708367663-03.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.41	368034
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1922669300-13.cnf	? (TO)	5000.04	5001.84	368083
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1172786648-06.cnf	? (TO)	5000.04	5001.61	368106
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1022834397-10.cnf	? (TO)	5000.04	5001.21	368104
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1128222245-05.cnf	? (TO)	5000.04	5001.41	368113
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S409751023-10.cnf	? (TO)	5000.04	5001.41	368159
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1535300821-05.cnf	? (TO)	5000.04	5001.81	368165
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S448238512-10.cnf	? (TO)	5000.04	5001.71	368183
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1898939887-14.cnf	? (TO)	5000.04	5001.61	368167
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1377128774-12-UNSAT.cnf	? (TO)	5000.04	5002.01	368222
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1626790907-13-UNSAT.cnf	? (TO)	5000.04	5002.68	368244
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S832358630-11-UNSAT.cnf	? (TO)	5000.04	5002.61	368246
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1275186626-09-UNSAT.cnf	? (TO)	5000.04	5001.51	368250
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S702278147-14-UNSAT.cnf	? (TO)	5000.04	5004.31	368263
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S623466762-07-UNSAT.cnf	? (TO)	5000.04	5001.51	368276
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1314701073-08.cnf	? (TO)	5000.04	5001.71	369830
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1402143852-01.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.51	367987
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1311675672-04.UNSAT.shuffled.cnf	? (TO)	5000.04	5001.71	368043
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1474234583-11.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.71	367984
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1399781364-05.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.61	368001
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1405262666-07.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.71	368009
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1107155013-20.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.51	368032
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1368015355-04.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.71	368035
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1065385609-07.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.61	368039
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1711439550-13.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.51	368054
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1211740352-20.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.41	368061
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1154156114-09.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.81	368065
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1459708824-17.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.61	368063
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S274221008-04.cnf	? (TO)	5000.05	5001.51	368099
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S485928362-15.cnf	? (TO)	5000.05	5001.51	368110
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1955740096-08.cnf	? (TO)	5000.05	5002.01	368161
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S791125864-16.cnf	? (TO)	5000.05	5002.01	368187
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1545977164-16-SAT.cnf	? (TO)	5000.05	5002.41	368241
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S2053960853-04-UNSAT.cnf	? (TO)	5000.05	5002.01	368238
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S994434255-18-UNKNOWN.cnf	? (TO)	5000.05	5001.91	368258
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1893175053-01-UNSAT.cnf	? (TO)	5000.05	5001.61	368262
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1529420458-04-UNSAT.cnf	? (TO)	5000.05	5001.61	368252
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1064282057-06.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.82	367981
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1225022879-08.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.81	367994
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1183327690-20.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.41	368004
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S114606831-19.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.81	367996
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1219079555-14.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.61	368024
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S1392532406-12.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.61	368041
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S218576925-17.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.91	368068
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S105499989-20.UNSAT.shuffled.cnf	? (TO)	5000.05	5001.61	368078
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1980584520-03.cnf	? (TO)	5000.05	5001.51	368163
random/OnTreshold/5SAT/v80/ unif-k5-r21.3-v80-c1704-S1164089919-15.UNSAT.shuffled.cnf	? (TO)	5000.06	5002.01	367983
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1414833579-15.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.61	367989
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1424595365-09.UNSAT.shuffled.cnf	? (TO)	5000.06	5002.01	367986
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1147406493-20.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.21	367999
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1141171506-10.UNSAT.shuffled.cnf	? (TO)	5000.06	5002.21	368020
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1284960805-05.UNSAT.shuffled.cnf	? (TO)	5000.06	5002.01	368021
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1314186802-12.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.41	368029
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1762817022-10.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.51	368046
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1373941726-12.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.41	368064
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1212545732-02.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.81	368058
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1121556476-05.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.51	368071
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S422570514-15.cnf	? (TO)	5000.06	5001.71	368120
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S52275463-03.cnf	? (TO)	5000.06	5001.91	368136
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S787287513-16.cnf	? (TO)	5000.06	5001.41	368137
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S751835224-10.cnf	? (TO)	5000.06	5001.61	368172
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S2045682869-15.cnf	? (TO)	5000.06	5001.51	368202
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1330787624-15.cnf	? (TO)	5000.06	5002.01	368211
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S1496322949-03.cnf	? (TO)	5000.06	5001.51	368207
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1293761391-11-UNSAT.cnf	? (TO)	5000.06	5002.41	368239
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S365559754-09-UNSAT.cnf	? (TO)	5000.06	5001.51	368218
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S2078602069-04-UNSAT.cnf	? (TO)	5000.06	5001.51	368223
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1455331099-09-SAT.cnf	? (TO)	5000.06	5001.61	368225
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1832504551-17-UNSAT.cnf	? (TO)	5000.06	5001.51	368226
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S966455977-02-UNSAT.cnf	? (TO)	5000.06	5002.31	368245
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1230630010-06-UNSAT.cnf	? (TO)	5000.06	5001.51	368267
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1240130681-11-UNSAT.cnf	? (TO)	5000.06	5001.71	368265
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S622482268-08-UNKNOWN.cnf	? (TO)	5000.06	5002.01	368257
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S25157261-20-UNSAT.cnf	? (TO)	5000.06	5001.71	368271
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1117386741-13-UNSAT.cnf	? (TO)	5000.06	5001.51	368277
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1080042831-09.UNSAT.shuffled.cnf	? (TO)	5000.06	5001.61	368007
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S2109328271-14.cnf	? (TO)	5000.06	5001.91	368086
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1110074311-09.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.51	367991
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1309933981-04.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.91	367995
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S127192076-04.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.71	367985
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1483196631-09.UNSAT.shuffled.cnf	? (TO)	5000.07	5002.11	368003
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1179686861-10.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.51	368016
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1280573704-13.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.51	368018
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1215610276-02.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.51	368028
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1119543818-13.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.51	368037
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2037574412-07.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.61	368048
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1858313411-09.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.41	368053
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1341479044-12.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.61	368074
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S440198403-10.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.41	368076
random/LargeSize/5SAT/v700/ unif-k5-r20-v700-c14000-S1121059923-10.cnf	? (TO)	5000.07	5001.51	368096
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1671397883-11.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.41	368082
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1517867865-16.cnf	? (TO)	5000.07	5001.41	368122
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S453945536-08.cnf	? (TO)	5000.07	5001.51	368125
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1403172096-14.cnf	? (TO)	5000.07	5002.04	368129
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S333805260-05.cnf	? (TO)	5000.07	5002.11	368142
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S2053050899-08.cnf	? (TO)	5000.07	5001.51	368173
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S232355738-04.cnf	? (TO)	5000.07	5001.51	368162
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S499481065-10-SAT.cnf	? (TO)	5000.07	5001.51	368232
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S977957999-02-UNSAT.cnf	? (TO)	5000.07	5002.01	368229
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S1239472001-19-UNSAT.cnf	? (TO)	5000.07	5001.91	368268
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1138392605-05-UNKNOWN.cnf	? (TO)	5000.07	5001.41	368256
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S262114230-17-UNSAT.cnf	? (TO)	5000.07	5001.41	368272
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S1071799860-07-UNSAT.cnf	? (TO)	5000.07	5001.61	368260
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1104990816-03-UNSAT.cnf	? (TO)	5000.07	5001.51	368285
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1412274662-11.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.51	367990
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S1142849726-12.UNSAT.shuffled.cnf	? (TO)	5000.07	5002.01	368002
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1517604033-06.UNSAT.shuffled.cnf	? (TO)	5000.07	5002.11	368008
random/OnTreshold/7SAT/v55/ unif-k7-r89-v55-c4895-S1155123565-17.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.91	368027
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1161940794-17.UNSAT.shuffled.cnf	? (TO)	5000.07	5002.21	368060
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1013535775-14.UNSAT.shuffled.cnf	? (TO)	5000.07	5001.51	368079
random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S1350256608-20.UNSAT.shuffled.cnf	? (TO)	5000.08	5001.61	367988
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1155415292-14.UNSAT.shuffled.cnf	? (TO)	5000.08	5001.51	368011
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1235873841-05.UNSAT.shuffled.cnf	? (TO)	5000.08	5001.61	368044
random/OnTreshold/3SAT/v450/ unif-k3-r4.25-v450-c1912-S1168722783-19.UNSAT.shuffled.cnf	? (TO)	5000.08	5002.01	368057
random/OnTreshold/3SAT/v360/ unif-k3-r4.26-v360-c1533-S1370059435-05.UNSAT.shuffled.cnf	? (TO)	5000.08	5002.11	368067
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S1063466123-05.cnf	? (TO)	5000.08	5002.01	368085
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1861814752-08.cnf	? (TO)	5000.08	5001.61	368112
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S998136463-10.cnf	? (TO)	5000.08	5001.51	368133
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1798323172-15.cnf	? (TO)	5000.08	5002.01	368149
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S187076430-06.cnf	? (TO)	5000.08	5001.51	368168
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1600965758-04.cnf	? (TO)	5000.08	5001.61	368184
random/LargeSize/7SAT/v140/ unif-k7-r85-v140-c11900-S1215030506-14.cnf	? (TO)	5000.08	5001.41	368175
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S295096144-05.cnf	? (TO)	5000.08	5001.71	368204
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1613098638-06-UNSAT.cnf	? (TO)	5000.08	5001.51	368224
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1757451736-02-UNSAT.cnf	? (TO)	5000.08	5002.01	368230
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1151229574-11-UNSAT.cnf	? (TO)	5000.08	5001.41	368275
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S183991542-09-SAT.cnf	? (TO)	5000.08	5002.11	368280
random/OnTreshold/5SAT/v110/ unif-k5-r21.3-v110-c2343-S1061579177-10.UNSAT.shuffled.cnf	? (TO)	5000.08	5001.41	368005
random/OnTreshold/7SAT/v45/ unif-k7-r89-v45-c4005-S179716588-02.UNSAT.shuffled.cnf	? (TO)	5000.08	5003.41	368042
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S235206606-20.UNSAT.shuffled.cnf	? (TO)	5000.08	5001.41	368049
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S406284248-03.cnf	? (TO)	5000.08	5001.61	368105
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1805843968-06.cnf	? (TO)	5000.08	5001.61	368146
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1380126410-13.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.91	367992
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1481093667-06.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.71	367997
random/OnTreshold/5SAT/v100/ unif-k5-r21.3-v100-c2130-S1257170129-13.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.61	367998
random/OnTreshold/5SAT/v130/ unif-k5-r21.3-v130-c2769-S1253549494-19.UNSAT.shuffled.cnf	? (TO)	5000.09	5002.21	368010
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S1279108477-06.UNSAT.shuffled.cnf	? (TO)	5000.09	5002.01	368036
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1925680230-06.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.61	368081
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1924010222-09.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.41	368072
random/LargeSize/5SAT/v800/ unif-k5-r20-v800-c16000-S769702923-04.cnf	? (TO)	5000.09	5001.61	368089
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1971221253-16.cnf	? (TO)	5000.09	5001.51	368101
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S837858872-05.cnf	? (TO)	5000.09	5001.41	368103
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1627256190-14.cnf	? (TO)	5000.09	5001.51	368114
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S16540223-14.cnf	? (TO)	5000.09	5001.61	368119
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S640027679-08.cnf	? (TO)	5000.09	5001.41	368144
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1661921212-08.cnf	? (TO)	5000.09	5001.51	368138
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S3230925-04.cnf	? (TO)	5000.09	5001.61	368148
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S793713844-14.cnf	? (TO)	5000.09	5001.81	368143
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S94225360-10.cnf	? (TO)	5000.09	5001.41	368145
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1274869912-15.cnf	? (TO)	5000.09	5001.91	368192
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S1189233705-10.cnf	? (TO)	5000.09	5002.01	368203
random/LargeSize/3SAT/v19000/ unif-k3-r4.2-v19000-c79800-S49237390-14.cnf	? (TO)	5000.09	5002.11	368208
random/2+p/p0.7/v3500/ unif2p-p0.7-v3500-c9345-S1568322528-08-SAT.cnf	? (TO)	5000.09	5001.51	368228
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1311582577-17-UNSAT.cnf	? (TO)	5000.09	5002.51	368242
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S1022605561-16-UNSAT.cnf	? (TO)	5000.09	5000.01	368273
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1439774943-07-UNSAT.cnf	? (TO)	5000.09	4999.91	368286
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S527248282-10-UNSAT.cnf	? (TO)	5000.09	5001.41	368279
random/OnTreshold/7SAT/v65/ unif-k7-r89-v65-c5785-S1142219800-20.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.51	368023
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S167199451-11.UNSAT.shuffled.cnf	? (TO)	5000.09	5003.01	368033
random/OnTreshold/3SAT/v500/ unif-k3-r4.26-v500-c2130-S1517537144-16.UNSAT.shuffled.cnf	? (TO)	5000.09	5001.61	368062
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S849793820-03.cnf	? (TO)	5000.09	5001.41	368157
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S2117580343-16.cnf	? (TO)	5000.09	5001.71	369751
random/OnTreshold/3SAT/v550/ unif-k3-r4.26-v550-c2343-S2083146463-03.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.81	368052
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1469277938-19.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.81	368047
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1970010471-03.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.61	368075
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S1518709554-16.UNSAT.shuffled.cnf	? (TO)	5000.1	5002.01	368073
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S683236487-13.cnf	? (TO)	5000.1	5001.41	368107
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1509822356-13.cnf	? (TO)	5000.1	5001.61	368126
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S788797920-13.cnf	? (TO)	5000.1	5002.21	368130
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S1227285183-04.cnf	? (TO)	5000.1	5001.51	368118
random/LargeSize/5SAT/v900/ unif-k5-r20-v900-c18000-S1207324880-03.cnf	? (TO)	5000.1	5001.91	368123
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1446471927-04.cnf	? (TO)	5000.1	5001.71	368139
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S660110840-06.cnf	? (TO)	5000.1	5001.41	368135
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S1923240245-08.cnf	? (TO)	5000.1	5001.61	368150
random/LargeSize/7SAT/v200/ unif-k7-r85-v200-c17000-S938354044-16.cnf	? (TO)	5000.1	5001.51	368153
random/LargeSize/7SAT/v220/ unif-k7-r85-v220-c18700-S1941321941-16.cnf	? (TO)	5000.1	5002.11	368166
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S464355209-20-UNKNOWN.cnf	? (TO)	5000.1	5001.71	368216
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1705860047-05-SAT.cnf	? (TO)	5000.1	5002.11	368236
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S1326526519-03-SAT.cnf	? (TO)	5000.1	5002.01	368220
random/2+p/p0.7/v4500/ unif2p-p0.7-v4500-c12015-S1352949000-03-SAT.cnf	? (TO)	5000.1	5001.91	368237
random/2+p/p0.9/v630/ unif2p-p0.9-v630-c2280-S779175761-20-UNSAT.cnf	? (TO)	5000.1	5001.41	368261
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1346268409-03-UNSAT.cnf	? (TO)	5000.1	5001.91	368248
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1955492734-15-UNSAT.cnf	? (TO)	5000.1	5001.84	368254
random/2+p/p0.8/v1295/ unif2p-p0.8-v1295-c4027-S846304296-04-UNSAT.cnf	? (TO)	5000.1	5001.41	368266
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S923582293-10-UNSAT.cnf	? (TO)	5000.1	5001.51	368274
random/2+p/p0.8/v1665/ unif2p-p0.8-v1665-c5178-S1554939604-02-UNSAT.cnf	? (TO)	5000.1	5001.61	368283
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1416010721-11.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.51	368069
random/OnTreshold/3SAT/v600/ unif-k3-r4.261-v600-c2556-S1963468459-10.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.51	368070
random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1590273377-07.UNSAT.shuffled.cnf	? (TO)	5000.1	5001.71	368080
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1366805398-04.cnf	? (TO)	5000.1	5002.01	368131
random/LargeSize/5SAT/v1100/ unif-k5-r20-v1100-c22000-S260814579-03.cnf	? (TO)	5000.1	5001.41	368115
random/OnTreshold/5SAT/v90/ unif-k5-r21.3-v90-c1917-S1329819842-01.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.81	367993
random/OnTreshold/5SAT/v120/ unif-k5-r21.3-v120-c2556-S142115187-18.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.51	368000
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1018594061-02.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.61	368015
random/OnTreshold/7SAT/v70/ unif-k7-r89-v70-c6230-S1504426817-07.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.71	368030
random/OnTreshold/7SAT/v75/ unif-k7-r89-v75-c6675-S1546827657-01.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.44	368045
random/OnTreshold/3SAT/v650/ unif-k3-r4.261-v650-c2769-S2127524023-19.UNSAT.shuffled.cnf	? (TO)	5000.11	5001.61	368077
random/LargeSize/5SAT/v1000/ unif-k5-r20-v1000-c20000-S1463391112-08.cnf	? (TO)	5000.11	5001.71	368102
random/LargeSize/7SAT/v240/ unif-k7-r85-v240-c20400-S1407716880-15.cnf	? (TO)	5000.11	5002.01	368134
random/LargeSize/7SAT/v160/ unif-k7-r85-v160-c13600-S57566027-15.cnf	? (TO)	5000.11	5002.01	368170
random/LargeSize/3SAT/v16000/ unif-k3-r4.2-v16000-c67200-S1099746708-06.cnf	? (TO)	5000.11	5001.51	368186
random/LargeSize/3SAT/v10000/ unif-k3-r4.2-v10000-c42000-S1145101718-14.cnf	? (TO)	5000.11	5001.91	368194
random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S384567560-10-UNKNOWN.cnf	? (TO)	5000.11	5001.41	368215
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1110066181-15-UNSAT.cnf	? (TO)	5000.11	5001.41	368231
random/2+p/p0.7/v5500/ unif2p-p0.7-v5500-c14685-S1307633938-08-UNSAT.cnf	? (TO)	5000.11	5001.61	368235
random/2+p/p0.9/v990/ unif2p-p0.9-v990-c3583-S1082766609-17-UNSAT.cnf	? (TO)	5000.11	5000.61	368247
random/2+p/p0.9/v1170/ unif2p-p0.9-v1170-c4235-S1248103115-09-UNKNOWN.cnf	? (TO)	5000.11	5001.91	368259
random/2+p/p0.8/v2035/ unif2p-p0.8-v2035-c6328-S68128341-07-UNSAT.cnf	? (TO)	5000.11	5001.91	368270
random/OnTreshold/7SAT/v50/ unif-k7-r89-v50-c4450-S1104207220-18.UNSAT.shuffled.cnf	? (TO)	5000.11	5002.01	368014
random/LargeSize/3SAT/v13000/ unif-k3-r4.2-v13000-c54600-S883878972-08.cnf	? (TO)	5000.11	5001.51	368198
random/2+p/p0.9/v810/ unif2p-p0.9-v810-c2932-S1966306571-20-UNSAT.cnf	? (TO)	5000.11	5001.51	368253
random/OnTreshold/7SAT/v60/ unif-k7-r89-v60-c5340-S148460961-17.UNSAT.shuffled.cnf	? (TO)	5000.12	5001.56	368038
random/LargeSize/7SAT/v180/ unif-k7-r85-v180-c15300-S1096972624-15.cnf	? (TO)	5000.12	5001.61	368147
random/2+p/p0.8/v2405/ unif2p-p0.8-v2405-c7479-S1680450953-04-UNSAT.cnf	? (TO)	5000.16	5002.07	368281

SAT 2007 Competition Phase 2: benchmarks results per solver

Result page for solver gnovelty+ 2007-02-08

Category "random instances" (RANDOM)

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

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