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

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n2_i3_pp.cnf	UNSAT	0.000999	0.0050869	1613309
CRAFTED/parity-games/ instance_n2_i2_pp.cnf	UNSAT	0.001999	0.00538696	1613327
CRAFTED/parity-games/ instance_n3_i4_pp_ci_ce.cnf	UNSAT	0.013997	0.0139949	1613297
crafted/Medium/contest05/pebbling/ unsat-grid-pbl-0080.sat05-1344.reshuffled-07.cnf	UNSAT	0.073988	0.0739079	1725550
CRAFTED/modcircuits/ owp_4vars_5gates.cnf	UNSAT	0.245961	0.246629	1594730
crafted/Medium/contest05/pebbling/ unsat-pbl-00090.sat05-1326.reshuffled-07.cnf	UNSAT	0.265959	0.266054	1725444
CRAFTED/parity-games/ instance_n4_i5_pp.cnf	UNSAT	0.428933	0.429023	1613345
crafted/Medium/contest05/pebbling/ unsat-pbl-00080.sat05-1325.reshuffled-07.cnf	UNSAT	0.498924	0.500382	1725497
crafted/Difficult/contest05/sabharwal/ grid-pebbling-unsat-grid-pbl-0300.sat05-1350.sat05-1350.reshuffled-07.cnf	UNSAT	1.87171	1.87162	1730373
CRAFTED/parity-games/ instance_n5_i6_pp_ci_ce.cnf	UNSAT	2.07268	2.07376	1613303
CRAFTED/sgen/unsat/ sgen1-unsat-61-100.cnf	UNSAT	2.85556	2.85644	1594648
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf	UNSAT	12.3591	12.3639	1725338
CRAFTED/sgen/unsat/ sgen1-unsat-73-100.cnf	UNSAT	18.8851	18.8909	1594652
CRAFTED/ramseycube/ Q32inK09.cnf	UNSAT	42.9675	42.989	1594698
crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf	UNSAT	51.3042	51.3249	1725603
crafted/Difficult/contest05/QG/ QG6-gensys-icl008.sat05-2720.reshuffled-07.cnf	UNSAT	61.7336	61.7615	1730002
crafted/Difficult/contest05/QG/ QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf	UNSAT	66.03	66.0574	1729843
crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf	UNSAT	79.3329	79.361	1729896
crafted/Difficult/contest05/QG/ QG6-gensys-icl001.sat05-2695.reshuffled-07.cnf	UNSAT	88.9375	88.9772	1729949
crafted/Medium/contest05/others/ QG-gensys-icl003.sat05-2715.reshuffled-07.cnf	UNSAT	89.2734	89.3009	1725815
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-12.sat05-2587.reshuffled-07.cnf	UNSAT	90.1193	90.1633	1726239
crafted/Difficult/contest05/QG/ QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf	UNSAT	92.8619	92.8939	1730055
crafted/Difficult/contest05/QG/ QG6-dead-dnd002.sat05-2713.reshuffled-07.cnf	UNSAT	103.307	103.341	1730108
crafted/Medium/contest05/others/ QG-gensys-brn008.sat05-2685.reshuffled-07.cnf	UNSAT	103.648	103.707	1725868
crafted/Medium/contest05/jarvisalo/ mod2-3cage-unsat-9-14.sat05-2589.reshuffled-07.cnf	UNSAT	122.759	122.806	1726292
crafted/Medium/contest05/sabharwal/ counting-easier-php-012-010.sat05-1172.reshuffled-07.cnf	UNSAT	147.194	147.26	1725285
CRAFTED/ramseycube/ Q32inK10.cnf	UNSAT	151.22	151.259	1594694
crafted/Medium/contest05/others/ QG8-gensys-ukn005.sat05-3584.reshuffled-07.cnf	UNSAT	159.297	159.339	1725974
CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf	UNSAT	167.87	167.929	1613312
crafted/Difficult/contest05/QG/ QG6-gensys-ukn003.sat05-2726.reshuffled-07.cnf	UNSAT	249.809	249.876	1729790
crafted/Hard/contest05/QG/ QG7a-gensys-icl004.sat05-3825.reshuffled-07.cnf	UNSAT	257.221	257.3	1727670
CRAFTED/sgen/unsat/ sgen1-unsat-85-100.cnf	UNSAT	278.854	278.935	1594644
crafted/Difficult/contest-02-03-04/ contest02-Mat26.sat05-457.reshuffled-07.cnf	UNSAT	297.412	297.496	1731645
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-unsat-120-3.sat05-2340.reshuffled-07.cnf	UNSAT	342.764	342.908	1731274
crafted/Hard/contest05/QG/ QG7-dead-dnd005.sat05-3111.reshuffled-07.cnf	UNSAT	416.921	417.082	1727723
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-gigamax.used-as.sat04-984.sat05-4194.reshuffled-07.cnf	UNSAT	451.216	451.158	1727299
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n600-d0.02-s1676244754.sat05-535.reshuffled-07.cnf	UNSAT	527.982	528.144	1731539
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf	UNSAT	558.2	558.373	1725921
CRAFTED/modcircuits/ mod3_4vars_6gates.cnf	UNSAT	695.331	695.589	1594722
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf	UNSAT	755.435	755.76	1731380
crafted/Difficult/contest05/QG/ QG7-gensys-icl006.sat05-3132.reshuffled-07.cnf	UNSAT	786.271	786.505	1729737
CRAFTED/ramseycube/ Q32inK11.cnf	UNSAT	1089.16	1089.58	1594688
crafted/Difficult/contest-02-03-04/ contest04-connm-ue-csp-sat-n800-d0.04-s362703357.sat05-548.reshuffled-07.cnf	UNSAT	1126.37	1126.7	1731433

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/parity-games/ instance_n3_i3_pp_ci_ce.cnf	SAT	0.008997	0.00939105	1613300
CRAFTED/parity-games/ instance_n3_i3_pp.cnf	SAT	0.011997	0.0121119	1613348
CRAFTED/sgi/ satsgi-n17himBHm20-p0-q146.cnf	SAT	0.031994	0.0328239	1594804
CRAFTED/sgi/ satsgi-n18himBHm21-p0-q167.cnf	SAT	0.038993	0.037511	1594848
CRAFTED/sgi/ satsgi-n19himBHm22-p0-q181.cnf	SAT	0.046992	0.0465179	1594792
CRAFTED/ramseycube/ Q3inK08.cnf	SAT	0.05799	0.0584449	1594696
CRAFTED/parity-games/ instance_n4_i4_pp_ci_ce.cnf	SAT	0.06099	0.059534	1613321
CRAFTED/parity-games/ instance_n4_i4_pp.cnf	SAT	0.079987	0.0796351	1613306
CRAFTED/sgi/ satsgi-n22himBHm24-p0-q209.cnf	SAT	0.079987	0.080314	1594794
CRAFTED/sgi/ satsgi-n22himBHm25-p0-q229.cnf	SAT	0.085986	0.0894149	1594888
CRAFTED/sgi/ satsgi-n23himBHm25-p0-q219.cnf	SAT	0.090985	0.0915329	1594878
CRAFTED/sgi/ satsgi-n23himBHm26-p0-q248.cnf	SAT	0.107982	0.10825	1594846
CRAFTED/sgi/ satsgi-n23himBHm27-p0-q251.cnf	SAT	0.119981	0.120086	1594902
CRAFTED/sgi/ sgi-difficult4.cnf	SAT	0.12598	0.126108	1596176
CRAFTED/sgi/ satsgi-n25himBHm27-p0-q251.cnf	SAT	0.133979	0.134125	1594838
CRAFTED/sgi/ satsgi-n25himBHm29-p0-q290.cnf	SAT	0.156975	0.156982	1594918
CRAFTED/sgi/ satsgi-n28himBHm30-p0-q333.cnf	SAT	0.222965	0.222977	1594900
CRAFTED/sgi/ sgi-difficult7.cnf	SAT	0.347946	0.348804	1596185
CRAFTED/parity-games/ instance_n5_i5_pp.cnf	SAT	0.373943	0.373869	1613315
CRAFTED/parity-games/ instance_n6_i6_pp.cnf	SAT	1.59576	1.59645	1613333
CRAFTED/sgen/sat/ sgen1-sat-140-100.cnf	SAT	1.63275	1.63323	1594664
CRAFTED/modcircuits/ mod5block_1var_7gates.cnf	SAT	1.68374	1.68375	1594706
crafted/Difficult/contest05/sabharwal/ grid-pebbling-sat-grid-pbl-0300.sat05-1341.sat05-1341.reshuffled-07.cnf	SAT	1.72374	1.73535	1730214
crafted/Medium/contest05/others/ QG7a-gensys-ukn005.sat05-3845.reshuffled-07.cnf	SAT	1.76073	1.76078	1725762
crafted/Medium/contest05/others/ QG7a-gensys-ukn001.sat05-3841.reshuffled-07.cnf	SAT	2.45663	2.45649	1725709
crafted/Medium/contest05/others/ QG7a-gensys-brn004.sat05-3669.reshuffled-07.cnf	SAT	2.73358	2.73412	1725656
CRAFTED/modcircuits/ mod3block_3vars_9gates_restr.cnf	SAT	5.72513	5.73226	1594736
CRAFTED/ramseycube/ Q3inK09.cnf	SAT	7.04293	7.04513	1594682
CRAFTED/rbsat/random/ forced/rbsat-v760c43649gyes10.cnf	SAT	7.28689	7.28978	1595186
CRAFTED/parity-games/ instance_n7_i7_pp.cnf	SAT	7.31989	7.3282	1613339
CRAFTED/modcircuits/ mod4block_2vars_10gates_u2_autoenc.cnf	SAT	9.93249	9.93598	1594720
CRAFTED/ edgematching/all/em_8_4_5_all.cnf	SAT	10.7804	10.7833	1731746
CRAFTED/parity-games/ instance_n5_i6_pp.cnf	SAT	10.9843	10.9875	1613324
CRAFTED/edgematching/ all/em_11_3_4_all.cnf	SAT	13.9639	13.9683	1731758
CRAFTED/edgematching/ explicit/em_7_4_9_exp.cnf	SAT	19.629	19.6359	1731734
crafted/Medium/contest05/jarvisalo/ mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf	SAT	20.1689	20.1782	1726186
CRAFTED/edgematching/ all/em_14_7_3_all.cnf	SAT	21.4927	21.5008	1731752
CRAFTED/sgi/ new-difficult-20-152-18-95.cnf	SAT	30.1324	30.1404	1738139
CRAFTED/parity-games/ instance_n6_i7_pp.cnf	SAT	32.0271	32.0454	1613291
CRAFTED/parity-games/ instance_n6_i6_pp_ci_ce.cnf	SAT	32.3031	32.3126	1613351
crafted/Medium/contest05/sabharwal/ sat-strips-gripper-12t23.sat05-1144.reshuffled-07.cnf	SAT	36.4265	36.4424	1725391
CRAFTED/edgematching/ explicit/em_8_4_5_exp.cnf	SAT	76.5554	76.5773	1731740
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-210-2.sat05-2159.reshuffled-07.cnf	SAT	78.622	78.6472	1726133
CRAFTED/edgematching/ explicit/em_9_3_5_exp.cnf	SAT	86.2309	86.2903	1731728
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-2.sat05-2489.reshuffled-07.cnf	SAT	98.1291	98.1698	1728200
CRAFTED/edgematching/ fbcolors/em_7_4_9_fbc.cnf	SAT	100.506	100.534	1731779
CRAFTED/ edgematching/all/em_7_3_6_all.cnf	SAT	121.417	121.475	1731755
CRAFTED/ edgematching/all/em_7_4_9_all.cnf	SAT	122.761	122.795	1731761
CRAFTED/sgen/sat/ sgen1-sat-160-100.cnf	SAT	125.005	125.057	1594668
CRAFTED/ramseycube/ Q3inK10.cnf	SAT	138.948	138.985	1594690
crafted/Difficult/contest05/jarvisalo/ mod2c-rand3bip-sat-210-3.sat05-2475.reshuffled-07.cnf	SAT	161.292	161.378	1731168
crafted/Difficult/contest05/others/ sgp_6-6-10.sat05-2670.reshuffled-07.cnf	SAT	164.826	164.889	1730691
CRAFTED/edgematching/ compact/em_7_4_9_cmp.cnf	SAT	170.288	170.383	1731701
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-230-2.sat05-2189.reshuffled-07.cnf	SAT	184.061	184.109	1726027
CRAFTED/edgematching/ explicit/em_7_3_6_exp.cnf	SAT	191.536	191.602	1731743
CRAFTED/sgi/ new-difficult-22-173-20-80.cnf	SAT	193.757	193.805	1738298
CRAFTED/edgematching/ compact/em_8_4_5_cmp.cnf	SAT	216.424	216.48	1731722
CRAFTED/parity-games/ instance_n7_i8_pp.cnf	SAT	217.458	217.525	1613357
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf	SAT	271.488	271.588	1726080
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-1.sat05-2263.reshuffled-07.cnf	SAT	281.838	281.922	1730903
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g10.cnf	SAT	340.905	341.063	1595084
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes4.cnf	SAT	367.671	367.882	1595136
CRAFTED/edgematching/ explicit/em_7_4_8_exp.cnf	SAT	368.957	369.054	1731737
CRAFTED/parity-games/ instance_n8_i8_pp.cnf	SAT	397.257	397.364	1737821
CRAFTED/modcircuits/ mod4block_2vars_11gates_u2_autoenc.cnf	SAT	404.125	404.275	1594718
CRAFTED/rbsat/random/unforced/ rbsat-v945c61409g10.cnf	SAT	556.456	556.74	1595080
CRAFTED/edgematching/ all/em_12_2_4_all.cnf	SAT	626.033	626.284	1731749
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes6.cnf	SAT	660.554	660.766	1595224
CRAFTED/parity-games/ instance_n8_i9_pp.cnf	SAT	671.961	672.21	1737874
crafted/Hard/contest05/others/ mod2c-rand3bip-sat-220-1.sat05-2488.reshuffled-07.cnf	SAT	675.656	675.924	1728147
CRAFTED/edgematching/ explicit/em_12_2_4_exp.cnf	SAT	718.737	718.924	1731731
CRAFTED/ edgematching/all/em_7_4_8_all.cnf	SAT	723.736	724.035	1731764
CRAFTED/sgen/sat/ sgen1-sat-220-100.cnf	SAT	804.337	804.552	1594666
CRAFTED/sgen/sat/ sgen1-sat-180-100.cnf	SAT	835.532	835.769	1594662
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g1.cnf	SAT	856.235	856.59	1595114
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g8.cnf	SAT	1149.92	1150.38	1595010

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
CRAFTED/sgen/unsat/ sgen1-unsat-127-100.cnf	? (TO)	1200.01	1200.61	1737291
crafted/Hard/contest02/ ezfact64_3.sat05-450.reshuffled-07.cnf	? (TO)	1200.01	1200.61	1728942
CRAFTED/sgen/unsat/ sgen1-unsat-151-100.cnf	? (TO)	1200.01	1200.31	1737662
CRAFTED/sgen/unsat/ sgen1-unsat-139-100.cnf	? (TO)	1200.01	1200.41	1737556
crafted/Hard/contest04/others/ Composite-048BitPrimes-0.sat05-503.reshuffled-07.cnf	? (TO)	1200.01	1200.51	1727087
CRAFTED/edgematching/ compact/em_7_3_6_cmp.cnf	? (TO)	1200.02	1200.61	1731704
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-02-S350203913.sat05-486.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1729472
CRAFTED/modcircuits/ mod3block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.02	1200.41	1594728
CRAFTED/sgen/unsat/ sgen1-unsat-109-100.cnf	? (TO)	1200.02	1200.51	1594640
CRAFTED/sgen/unsat/ sgen1-unsat-121-100.cnf	? (TO)	1200.02	1200.41	1594654
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2_autoenc.cnf	? (TO)	1200.02	1200.41	1594716
crafted/Difficult/contest05/jarvisalo/ mod2c-3cage-unsat-10-3.sat05-2568.reshuffled-07.cnf	? (TO)	1200.02	1200.51	1731115
CRAFTED/edgematching/ fbcolors/em_7_4_8_fbc.cnf	? (TO)	1200.02	1200.61	1731782
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1875077647.sat05-530.reshuffled-07.cnf	? (TO)	1200.02	1200.61	1726398
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes9.cnf	? (TO)	1200.02	1200.62	1595268
CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes3.cnf	? (TO)	1200.03	1200.42	1595252
crafted/Difficult/contest05/others/ pmg-12-UNSAT.sat05-3940.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1730638
CRAFTED/sgen/sat/ sgen1-sat-240-100.cnf	? (TO)	1200.03	1200.61	1594676
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf	? (TO)	1200.03	1200.41	1730585
crafted/Difficult/contest-02-03-04/ contest04-lksat-n1000-m6860-k4-l4-s1935114289.sat05-523.reshuffled-07.cnf	? (TO)	1200.03	1200.31	1731486
CRAFTED/modcircuits/ mod3block_2vars_11gates_u2_autoenc.cnf	? (TO)	1200.03	1200.51	1594738
CRAFTED/rbsat/random/unforced/ rbsat-v760c43649g4.cnf	? (TO)	1200.03	1199.91	1594948
crafted/Hard/contest03/others/ hwb-n32-01-S1491788039.sat05-497.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1729154
crafted/Difficult/contest-02-03-04/ contest02-ezfact64_10.sat05-449.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1731592
crafted/Hard/contest02/ pyhala-braun-unsat-40-4-02.sat05-459.reshuffled-07.cnf	? (TO)	1200.03	1200.51	1728995
crafted/Hard/contest04/others/ ramsey.sat05-511.reshuffled-07.cnf	? (TO)	1200.03	1200.61	1726875
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2_restricted.cnf	? (TO)	1200.03	1200.41	1594708
CRAFTED/modcircuits/ mod5block_2vars_12gates.cnf	? (TO)	1200.03	1199.92	1594712
CRAFTED/rbsat/crafted/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.03	1200.42	1595570
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-1.sat05-2248.reshuffled-07.cnf	? (TO)	1200.04	1200.51	1731221
CRAFTED/sgen/sat/ sgen1-sat-250-100.cnf	? (TO)	1200.04	1200.51	1737450
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-myciel6-cn.used-as.sat04-319.sat05-4201.reshuffled-07.cnf	? (TO)	1200.04	1200.63	1727405
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_3-dir.sat05-440.reshuffled-07.cnf	? (TO)	1200.04	1200.02	1731698
crafted/Hard/contest05/others/ linvrinv9.sat05-568.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1728359
CRAFTED/edgematching/ compact/em_7_4_8_cmp.cnf	? (TO)	1200.04	1200.51	1731719
crafted/Hard/contest05/counting-clq/ unsat-set-a-clqcolor-16-10-11.sat05-1253.reshuffled-07.cnf	? (TO)	1200.04	1200.61	1728677
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes1.cnf	? (TO)	1200.04	1200.72	1595658
crafted/Hard/contest02/ hgen3-v400-s553296708.sat05-471.reshuffled-07.cnf	? (TO)	1200.04	1200.71	1728889
crafted/Hard/contest03/others/ color-18-4.sat05-443.reshuffled-07.cnf	? (TO)	1200.04	1200.73	1729366
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.04-s736572600.sat05-546.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1726663
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-2.sat05-2264.reshuffled-07.cnf	? (TO)	1200.05	1200.61	1730956
CRAFTED/sgen/sat/ sgen1-sat-290-100.cnf	? (TO)	1200.05	1200.41	1737397
crafted/Hard/contest03/others/ color-11-3.sat05-445.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729101
CRAFTED/sgen/sat/ sgen1-sat-270-100.cnf	? (TO)	1200.05	1200.61	1737609
crafted/Hard/contest03/others/ hwb-n28-01-S136611085.sat05-491.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1729313
CRAFTED/rbsat/random/unforced/ rbsat-v1150c84314g2.cnf	? (TO)	1200.05	1200.42	1595110
crafted/Hard/contest05/QG/ QG7-dead-dnd001.sat05-3419.reshuffled-07.cnf	? (TO)	1200.05	1200.41	1727988
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf	? (TO)	1200.06	1200.91	1726451
CRAFTED/sgi/ new-difficult-26-243-24-70.cnf	? (TO)	1200.06	1200.42	1738245
crafted/Difficult/contest-02-03-04/ contest03-SGI_30_50_30_20_1-dir.sat05-439.reshuffled-07.cnf	? (TO)	1200.06	1200.72	1731327
CRAFTED/rbsat/crafted/ forced/rbsat-v1560c133795gyes9.cnf	? (TO)	1200.06	1200.04	1595604
crafted/Difficult/contest05/others/ linvrinv5.sat05-564.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1730744
CRAFTED/parity-games/ instance_n8_i8_pp_ci_ce.cnf	? (TO)	1200.06	1200.54	1737768
CRAFTED/modcircuits/ mod4block_2vars_8gates_u2.cnf	? (TO)	1200.06	1200.51	1594732
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2.cnf	? (TO)	1200.06	1200.63	1594702
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.02-s1099787414.sat05-542.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1726716
crafted/Hard/contest03/looksrandom/ hidden-k3-s0-r5-n700-01-S2069048075.sat05-488.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1729578
CRAFTED/sgen/unsat/ sgen1-unsat-97-100.cnf	? (TO)	1200.06	1206.11	1594642
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-all.used-as.sat04-986.sat05-4198.reshuffled-07.cnf	? (TO)	1200.06	1200.35	1727564
crafted/Difficult/contest05/sabharwal/ gt-ordering-sat-gt-040.sat05-1297.reshuffled-07.cnf	? (TO)	1200.06	1200.43	1730320
crafted/Hard/contest05/others/ eulcbip-8-UNSAT.sat05-3937.reshuffled-07.cnf	? (TO)	1200.06	1200.41	1728253
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes2.cnf	? (TO)	1200.07	1200.42	1595480
crafted/Hard/contest04/others/ equilarge_l4.sat05-521.reshuffled-07.cnf	? (TO)	1200.07	1200.61	1727193
CRAFTED/modcircuits/ mod3block_2vars_10gates_u2_autoenc.cnf	? (TO)	1200.07	1200.41	1594714
crafted/Hard/contest04/others/ CompositeRSA576.sat05-509.reshuffled-07.cnf	? (TO)	1200.07	1200.63	1726981
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf	? (TO)	1200.07	1200.64	1727617
CRAFTED/rbsat/crafted/forced/ rbsat-v945c61409gyes8.cnf	? (TO)	1200.07	1200.42	1595540
crafted/Hard/contest03/others/ 999999000001nw.sat05-447.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1729207
crafted/Difficult/contest05/others/ pmg-14-UNSAT.sat05-3942.reshuffled-07.cnf	? (TO)	1200.07	1200.71	1730850
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-280-3.sat05-2265.reshuffled-07.cnf	? (TO)	1200.07	1200.41	1731062
CRAFTED/modcircuits/ mod3block_4vars_11gates_b2_restricted.cnf	? (TO)	1200.07	1200.51	1594726
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s111845174.sat05-536.reshuffled-07.cnf	? (TO)	1200.07	1200.51	1726610
CRAFTED/parity-games/ instance_n8_i9_pp_ci_ce.cnf	? (TO)	1200.07	1200.34	1737980
crafted/Difficult/contest05/sabharwal/ counting-easier-php-018-014.sat05-1175.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1730426
crafted/Hard/contest03/others/ bqwh.40.reg.520.sat05-433.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1729260
crafted/Hard/contest02/ hgen3-v500-s1349121860.sat05-473.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729048
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g2.cnf	? (TO)	1200.08	1203.63	1595454
crafted/Hard/contest05/counting-clq/ unsat-set-b-clqcolor-16-11-14.sat05-1261.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1728624
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d-0.02-s383740539.sat05-534.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1726557
crafted/Hard/contest05/QG/ QG7-gensys-ukn003.sat05-3346.reshuffled-07.cnf	? (TO)	1200.08	1200.61	1727829
CRAFTED/parity-games/ instance_n7_i7_pp_ci_ce.cnf	? (TO)	1200.08	1200.42	1613318
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-philo.used-as.sat04-988.sat05-4195.reshuffled-07.cnf	? (TO)	1200.08	1200.44	1727352
CRAFTED/parity-games/ instance_n7_i8_pp_ci_ce.cnf	? (TO)	1200.08	1200.62	1613288
crafted/Hard/contest04/others/ Composite-048BitPrimes-1.sat05-504.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1727140
CRAFTED/sgen/sat/ sgen1-sat-230-100.cnf	? (TO)	1200.08	1200.41	1737503
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2_autoenc.cnf	? (TO)	1200.08	1200.71	1594734
crafted/Hard/contest04/others/ Composite-096BitPrimes-0.sat05-507.reshuffled-07.cnf	? (TO)	1200.08	1200.53	1727034
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-060.sat05-1312.reshuffled-07.cnf	? (TO)	1200.08	1200.67	1730267
CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf	? (TO)	1200.08	1200.56	1595288
crafted/Hard/contest03/looksrandom/ hgen8-n320-01-S1432474240.sat05-483.reshuffled-07.cnf	? (TO)	1200.08	1200.51	1729684
crafted/Hard/contest03/looksrandom/ hgen7-n390-02-S178568232.sat05-479.reshuffled-07.cnf	? (TO)	1200.08	1200.41	1729419
CRAFTED/edgematching/ compact/em_11_3_4_cmp.cnf	? (TO)	1200.08	1200.75	1731713
CRAFTED/edgematching/ compact/em_12_2_4_cmp.cnf	? (TO)	1200.08	1200.65	1731707
CRAFTED/sgi/ new-difficult-28-302-26-75.cnf	? (TO)	1200.08	1200.52	1738404
CRAFTED/sgi/ new-difficult-24-193-22-70.cnf	? (TO)	1200.09	1200.52	1738086
crafted/Difficult/contest05/sabharwal/ counting-harder-php-018-017.sat05-1189.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1730532
crafted/Hard/contest03/looksrandom/ hgen8-n320-02-S1127428711.sat05-484.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1729525
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727882
crafted/Medium/contest05/jarvisalo/ mod2-rand3bip-sat-250-3.sat05-2220.reshuffled-07.cnf	? (TO)	1200.09	1200.51	1726345
crafted/Hard/contest05/counting-php/ easier-fphp-035-029.sat05-1221.reshuffled-07.cnf	? (TO)	1200.09	1200.62	1728041
CRAFTED/modcircuits/ mod3block_4vars_12gates_b2.cnf	? (TO)	1200.09	1200.73	1594724
crafted/Hard/contest05/QG/ QG7a-gensys-ukn002.sat05-3842.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1727776
crafted/Hard/contest04/others/ equilarge_l3.sat05-520.reshuffled-07.cnf	? (TO)	1200.09	1200.41	1726769
crafted/Hard/contest04/others/ Composite-064BitPrimes-1.sat05-506.reshuffled-07.cnf	? (TO)	1200.09	1200.61	1726822
CRAFTED/sgen/sat/ sgen1-sat-300-100.cnf	? (TO)	1200.09	1200.41	1594674
CRAFTED/ramseycube/ Q3inK11.cnf	? (TO)	1200.09	1200.41	1594700
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g6.cnf	? (TO)	1200.09	1200.45	1594996
CRAFTED/sgen/unsat/ sgen1-unsat-145-100.cnf	? (TO)	1200.09	1200.51	1594650
CRAFTED/rbsat/crafted/ forced/rbsat-v2640c305320gyes8.cnf	? (TO)	1200.09	1200.45	1595560
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-FIFO.used-as.sat04-991.sat05-4192.reshuffled-07.cnf	? (TO)	1200.1	1200.45	1727511
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf	? (TO)	1200.1	1200.71	1726928
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-luckySeven.used-as.sat04-990.sat05-4196.reshuffled-07.cnf	? (TO)	1200.1	1200.53	1727246
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf	? (TO)	1200.1	1200.61	1727935
crafted/Hard/contest05/others/ linvrinv8.sat05-567.reshuffled-07.cnf	? (TO)	1200.1	1200.51	1728094
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-25-18-23.sat05-1287.reshuffled-07.cnf	? (TO)	1200.1	1200.64	1728571
CRAFTED/edgematching/ fbcolors/em_11_3_4_fbc.cnf	? (TO)	1200.1	1200.45	1731788
CRAFTED/edgematching/ fbcolors/em_8_4_5_fbc.cnf	? (TO)	1200.1	1200.72	1731767
CRAFTED/sgen/unsat/ sgen1-unsat-115-100.cnf	? (TO)	1200.1	1200.41	1737344
CRAFTED/parity-games/ instance_n9_i9_pp_ci_ce.cnf	? (TO)	1200.1	1200.65	1737927
CRAFTED/sgi/ new-difficult-21-168-19-90.cnf	? (TO)	1200.1	1200.61	1738192
CRAFTED/sgi/ new-difficult-23-189-21-75.cnf	? (TO)	1200.1	1200.61	1738351
CRAFTED/sgen/sat/ sgen1-sat-280-100.cnf	? (TO)	1200.1	1200.61	1594658
CRAFTED/sgen/unsat/ sgen1-unsat-133-100.cnf	? (TO)	1200.1	1200.61	1594646
CRAFTED/sgen/sat/ sgen1-sat-260-100.cnf	? (TO)	1200.1	1200.51	1594656
CRAFTED/modcircuits/ mod4block_2vars_9gates_u2.cnf	? (TO)	1200.1	1200.71	1594704
CRAFTED/rbsat/crafted/forced/ rbsat-v1150c84314gyes2.cnf	? (TO)	1200.1	1200.43	1595506
CRAFTED/sgen/sat/ sgen1-sat-200-100.cnf	? (TO)	1200.11	1200.61	1594680
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_m3.used-as.sat04-900.sat05-4186.reshuffled-07.cnf	? (TO)	1200.11	1200.73	1727458
CRAFTED/modcircuits/ mod4block_3vars_7gates.cnf	? (TO)	1200.11	1200.41	1594710
CRAFTED/sgen/unsat/ sgen1-unsat-103-100.cnf	? (TO)	1200.11	1200.41	1737715
CRAFTED/edgematching/ fbcolors/em_12_2_4_fbc.cnf	? (TO)	1200.11	1200.67	1731785
CRAFTED/edgematching/ fbcolors/em_7_3_6_fbc.cnf	? (TO)	1200.11	1200.61	1731776
CRAFTED/edgematching/ compact/em_9_3_5_cmp.cnf	? (TO)	1200.11	1200.42	1731710
crafted/Difficult/contest05/jarvisalo/ mod2-rand3bip-sat-270-2.sat05-2249.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1731009
CRAFTED/rbsat/random/unforced/ rbsat-v1820c171155g3.cnf	? (TO)	1200.11	1200.64	1595022
crafted/Difficult/contest05/sabharwal/ counting-harder-php-014-013.sat05-1187.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1730479
crafted/Hard/contest03/looksrandom/ hgen6-4-24-n650-03-S528656311.sat05-477.reshuffled-07.cnf	? (TO)	1200.11	1200.71	1729631
CRAFTED/rbsat/crafted/unforced/ rbsat-v1820c171155g4.cnf	? (TO)	1200.11	1200.44	1595434
crafted/Hard/contest02/ hgen2-v500-s1216665065.sat05-467.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1728783
CRAFTED/rbsat/crafted/unforced/ rbsat-v1375c111739g6.cnf	? (TO)	1200.11	1200.53	1595422
crafted/Hard/contest02/ hgen3-v400-s344840348.sat05-470.reshuffled-07.cnf	? (TO)	1200.11	1200.51	1728836
CRAFTED/rbsat/crafted/ forced/rbsat-v1820c171155gyes6.cnf	? (TO)	1200.11	1200.55	1595490
crafted/Hard/contest05/counting-clq/ unsat-set-b-fclqcolor-10-07-09.sat05-1282.reshuffled-07.cnf	? (TO)	1200.11	1200.61	1728518
crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n1200-d0.00-s1756632460.sat05-526.reshuffled-07.cnf	? (TO)	1200.11	1200.41	1726504
CRAFTED/rbsat/random/forced/ rbsat-v945c61409gyes4.cnf	? (TO)	1200.12	1200.42	1595162
CRAFTED/ramseycube/ Q3inK12.cnf	? (TO)	1200.12	1200.52	1594692
CRAFTED/rbsat/random/forced/ rbsat-v760c43649gyes1.cnf	? (TO)	1200.12	1200.71	1595210
crafted/Difficult/contest05/others/ sgp_5-5-6.sat05-2675.reshuffled-07.cnf	? (TO)	1200.12	1200.53	1730797
crafted/Hard/contest02/ ezfact256_1.sat05-464.reshuffled-07.cnf	? (TO)	1200.13	1200.8	1728730
CRAFTED/ramseycube/ Q3inK13.cnf	? (TO)	1200.13	1202.65	1594686
CRAFTED/edgematching/ fbcolors/em_9_3_5_fbc.cnf	? (TO)	1200.13	1200.73	1731770
crafted/Difficult/contest05/sabharwal/ gt-ordering-unsat-gt-045.sat05-1310.reshuffled-07.cnf	? (TO)	1200.13	1200.74	1730161
crafted/Hard/contest05/others/ strips-gripper-18t35.sat05-1147.reshuffled-07.cnf	? (TO)	1200.13	1200.63	1728465
CRAFTED/rbsat/crafted/unforced/ rbsat-v2640c305320g4.cnf	? (TO)	1200.15	1200.56	1595430
CRAFTED/parity-games/ instance_n9_i9_pp.cnf	? (TO)	1200.15	1200.76	1738033
crafted/Hard/contest05/others/ sgp_5-6-8.sat05-2669.reshuffled-07.cnf	? (TO)	1200.15	1200.69	1728306
CRAFTED/rbsat/random/unforced/ rbsat-v2640c305320g2.cnf	? (TO)	1200.15	1200.77	1595054
crafted/Hard/contest05/others/ sgp_9-8-8.sat05-2674.reshuffled-07.cnf	? (TO)	1200.16	1200.5	1728412
CRAFTED/rbsat/crafted/unforced/ rbsat-v2400c266431g5.cnf	? (TO)	1200.16	1200.46	1595450
CRAFTED/edgematching/ explicit/em_11_3_4_exp.cnf	? (TO)	1200.17	1200.68	1731725
CRAFTED/edgematching/ compact/em_14_7_3_cmp.cnf	? (TO)	1200.18	1200.48	1731716
CRAFTED/edgematching/ fbcolors/em_14_7_3_fbc.cnf	? (TO)	1200.32	1201.67	1731773

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

Result page for solver SAT07 reference solver: minisat SAT 2007 (complete)

Category "crafted instances" (CRAFTED)

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

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

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