SAT 2011 Competition: group-oriented MUS track: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
gmus/nadel/ edn_20403_8.cnf_0.03000000.unsat.gcnf	UNSAT	0.272957	0.273421	3501573
gmus/nadel/ edn_20403_10.cnf_0.03000000.unsat.gcnf	UNSAT	0.463928	0.464067	3501585
gmus/nadel/ edn_2948_4.cnf_0.07000000.unsat.gcnf	UNSAT	0.58291	0.67662	3501568
gmus/nadel/ edn_20403_12.cnf_0.08000000.unsat.gcnf	UNSAT	0.6509	0.652591	3501590
gmus/nadel/ edn_20403_14.cnf_0.10000000.unsat.gcnf	UNSAT	0.803877	0.824526	3501582
gmus/nadel/ edn_20403_16.cnf_0.29000000.unsat.gcnf	UNSAT	0.928858	0.929729	3501584
gmus/nadel/ edn_5371_4.cnf_0.21000000.unsat.gcnf	UNSAT	1.11983	1.12115	3501613
gmus/nadel/ edn_20259_4.cnf_0.21000000.unsat.gcnf	UNSAT	1.14782	1.14934	3501605
gmus/nadel/ edn_2948_6.cnf_0.12000000.unsat.gcnf	UNSAT	1.2818	1.30261	3501576
gmus/nadel/ edn_9789_2.cnf_0.07000000.unsat.gcnf	UNSAT	1.35679	1.35991	3501604
gmus/nadel/ edn_2948_8.cnf_0.25000000.unsat.gcnf	UNSAT	1.88571	1.88764	3501599
gmus/belov/ pdtvisrethersqo1.aig.k25.gcnf	UNSAT	1.91571	1.91949	3501687
gmus/nadel/ edn_25208_2.cnf_0.08000000.unsat.gcnf	UNSAT	2.01569	2.01797	3501592
gmus/nadel/ edn_25208_6.cnf_0.20000000.unsat.gcnf	UNSAT	2.20866	2.20984	3501610
gmus/nadel/ edn_25208_4.cnf_0.05000000.unsat.gcnf	UNSAT	2.46062	2.46147	3501570
gmus/nadel/ edn_22134_4.cnf_0.14000000.unsat.gcnf	UNSAT	2.55361	2.55595	3501569
gmus/nadel/ edn_24095_4.cnf_0.11000000.unsat.gcnf	UNSAT	2.5916	2.59873	3501591
gmus/nadel/ edn_9789_6.cnf_0.31000000.unsat.gcnf	UNSAT	2.6226	2.64524	3501583
gmus/nadel/ edn_20403_23.cnf_14.27000000.unsat.gcnf	UNSAT	2.82157	2.82209	3501575
gmus/nadel/ edn_25208_8.cnf_0.30000000.unsat.gcnf	UNSAT	3.74043	3.74331	3501578
gmus/nadel/ edn_24095_6.cnf_0.17000000.unsat.gcnf	UNSAT	3.80042	3.83167	3501602
gmus/nadel/ edn_9789_8.cnf_0.51000000.unsat.gcnf	UNSAT	3.80242	3.80438	3501601
gmus/nadel/ edn_22134_6.cnf_0.31000000.unsat.gcnf	UNSAT	3.9264	3.94655	3501611
gmus/nadel/ edn_28491_6.cnf_0.31000000.unsat.gcnf	UNSAT	3.9644	3.96644	3501606
gmus/nadel/ edn_20259_6.cnf_0.31000000.unsat.gcnf	UNSAT	4.49232	4.49247	3501588
gmus/nadel/ edn_5371_6.cnf_0.30000000.unsat.gcnf	UNSAT	4.5903	4.59946	3501596
gmus/nadel/ edn_25208_10.cnf_0.58000000.unsat.gcnf	UNSAT	4.95325	4.95397	3501577
gmus/nadel/ edn_9789_10.cnf_0.68000000.unsat.gcnf	UNSAT	5.01524	5.0308	3501607
gmus/belov/ pdtvisns2p3.aig.k15.gcnf	UNSAT	5.11822	5.11935	3501619
gmus/nadel/ edn_28491_8.cnf_0.39000000.unsat.gcnf	UNSAT	5.31819	5.32672	3501612
gmus/nadel/ edn_24095_8.cnf_0.21000000.unsat.gcnf	UNSAT	5.38918	5.38964	3501572
gmus/nadel/ edn_20259_8.cnf_0.39000000.unsat.gcnf	UNSAT	5.59415	5.59525	3501597
gmus/nadel/ edn_22134_8.cnf_0.38000000.unsat.gcnf	UNSAT	5.78312	5.78611	3501614
gmus/nadel/ edn_5371_8.cnf_0.39000000.unsat.gcnf	UNSAT	5.97109	5.97172	3501608
gmus/nadel/ edn_2948_10.cnf_0.28000000.unsat.gcnf	UNSAT	5.99009	6.01068	3501566
gmus/nadel/ edn_9789_12.cnf_0.93000000.unsat.gcnf	UNSAT	6.15306	6.17402	3501565
gmus/belov/ pdtvisns3p19.aig.k20.gcnf	UNSAT	6.81096	6.82732	3501686
gmus/nadel/ edn_24095_10.cnf_0.29000000.unsat.gcnf	UNSAT	6.91595	6.92697	3501600
gmus/nadel/ edn_22134_10.cnf_0.47000000.unsat.gcnf	UNSAT	7.11592	7.11603	3501581
gmus/nadel/ edn_28491_10.cnf_0.46000000.unsat.gcnf	UNSAT	7.14291	7.14442	3501571
gmus/nadel/ edn_20259_10.cnf_0.48000000.unsat.gcnf	UNSAT	7.2299	7.23341	3501594
gmus/nadel/ edn_5371_10.cnf_0.46000000.unsat.gcnf	UNSAT	7.34388	7.34484	3501603
gmus/belov/ 2dlx_ca_mc_ex_bp_f_new.gcnf	UNSAT	7.34588	7.34684	3501723
gmus/belov/ 3pipe_2_ooo.gcnf	UNSAT	8.08877	8.09179	3501633
gmus/belov/ 3pipe_3_ooo.gcnf	UNSAT	8.34573	8.36189	3501652
gmus/nadel/ edn_2948_14.cnf_0.97000000.unsat.gcnf	UNSAT	8.38572	8.38541	3501598
gmus/nadel/ edn_22134_12.cnf_0.50000000.unsat.gcnf	UNSAT	8.38772	8.38959	3501609
gmus/nadel/ edn_28491_12.cnf_0.50000000.unsat.gcnf	UNSAT	8.60669	8.62537	3501586
gmus/nadel/ edn_20259_12.cnf_0.50000000.unsat.gcnf	UNSAT	9.09362	9.09487	3501579
gmus/nadel/ edn_5371_12.cnf_0.50000000.unsat.gcnf	UNSAT	9.94249	9.94447	3501580
gmus/belov/ 3pipe_1_ooo.gcnf	UNSAT	10.1125	10.1212	3501754
gmus/nadel/ edn_20259_14.cnf_0.55000000.unsat.gcnf	UNSAT	10.3424	10.3434	3501593
gmus/belov/ mentorbm1p02.aig.k20.gcnf	UNSAT	10.3814	10.3906	3501722
gmus/belov/ pdtvisns2p3.aig.k20.gcnf	UNSAT	10.6074	10.6284	3501693
gmus/belov/ pdtvisns3p10.aig.k15.gcnf	UNSAT	10.6264	10.6751	3501739
gmus/belov/ pdtvisns3p16.aig.k25.gcnf	UNSAT	10.9993	11.0111	3501673
gmus/nadel/ edn_25208_14.cnf_37.38000000.unsat.gcnf	UNSAT	11.3963	11.3974	3501589
gmus/belov/ pdtvisns3p17.aig.k25.gcnf	UNSAT	11.5023	11.5189	3501676
gmus/belov/ pdtviseisenberg0.aig.k15.gcnf	UNSAT	11.8132	11.815	3501670
gmus/belov/ pdtvisns3p18.aig.k25.gcnf	UNSAT	13.135	13.1633	3501746
gmus/belov/ pdtvisns3p08.aig.k10.gcnf	UNSAT	14.5138	14.5161	3501709
gmus/belov/ pj2007.aig.k20.gcnf	UNSAT	15.0257	15.0332	3501638
gmus/belov/ 2dlx_cc_mc_ex_bp_f_new.gcnf	UNSAT	15.2227	15.224	3501718
gmus/belov/ pdtvisns3p19.aig.k25.gcnf	UNSAT	15.2287	15.2296	3501720
gmus/nadel/ edn_24095_17.cnf_4.40000000.unsat.gcnf	UNSAT	15.7776	15.7803	3501587
gmus/ belov/3pipe.gcnf	UNSAT	16.3685	16.3692	3501564
gmus/nadel/ edn_24095_19.cnf_2.12000000.unsat.gcnf	UNSAT	16.7874	16.7894	3501567
gmus/nadel/ edn_9789_21.cnf_46.05000000.unsat.gcnf	UNSAT	17.1044	17.1057	3501595
gmus/belov/ pdtvisvsa16a29.aig.k25.gcnf	UNSAT	18.2602	18.2628	3501732
gmus/belov/ pdtswvibs16x4p2.aig.k25.gcnf	UNSAT	18.5382	18.5397	3501627
gmus/belov/ pdtvistimeout2.aig.k25.gcnf	UNSAT	19.922	19.9228	3501622
gmus/belov/ pdtvisgoodbakery0.aig.k15.gcnf	UNSAT	19.991	20.014	3501621
gmus/belov/ pdtvisgigamax1.aig.k20.gcnf	UNSAT	20.8998	20.9007	3501674
gmus/belov/ pdtvisns3p10.aig.k20.gcnf	UNSAT	20.9468	20.9803	3501727
gmus/belov/ mentorbm1p02.aig.k25.gcnf	UNSAT	21.2058	21.2115	3501753
gmus/belov/ pdtvisns2p3.aig.k25.gcnf	UNSAT	22.0217	22.063	3501726
gmus/belov/ pdtvisgigamax4.aig.k20.gcnf	UNSAT	22.1466	22.1796	3501685
gmus/belov/ pdtvisgigamax2.aig.k20.gcnf	UNSAT	22.2496	22.251	3501629
gmus/belov/ pdtvisgigamax3.aig.k20.gcnf	UNSAT	22.6246	22.668	3501741
gmus/belov/ pdtvisgigamax0.aig.k20.gcnf	UNSAT	23.1655	23.202	3501630
gmus/belov/ pdtvisgigamax5.aig.k20.gcnf	UNSAT	23.2535	23.2578	3501683
gmus/belov/ pdtswvibs8x8p1.aig.k25.gcnf	UNSAT	23.5444	23.5864	3501641
gmus/belov/ pdtvisbakery0.aig.k15.gcnf	UNSAT	23.5874	23.591	3501700
gmus/belov/ pdtvisns2p0.aig.k15.gcnf	UNSAT	23.6364	23.7158	3501647
gmus/belov/ nusmvguidancep8.aig.k20.gcnf	UNSAT	23.9714	23.9732	3501759
gmus/belov/ pdtviseisenberg2.aig.k15.gcnf	UNSAT	23.9904	23.9921	3501717
gmus/belov/ pdtpmsgoodbakery.aig.k15.gcnf	UNSAT	24.4973	24.5291	3501650
gmus/belov/ pdtvisns3p09.aig.k10.gcnf	UNSAT	26.22	26.2399	3501710
gmus/belov/ pj2003.aig.k20.gcnf	UNSAT	28.1847	28.1886	3501617
gmus/belov/ pdtvisvending08.aig.k25.gcnf	UNSAT	29.9374	29.9591	3501714
gmus/belov/ pdtvisns2p2.aig.k15.gcnf	UNSAT	31.4962	31.5434	3501659
gmus/belov/ pdtvistimeout3.aig.k20.gcnf	UNSAT	32.873	32.9298	3501648
gmus/belov/ pdtviseisenberg2.aig.k20.gcnf	UNSAT	33.3239	33.3258	3501691
gmus/belov/ pdtvispeterson.aig.k25.gcnf	UNSAT	33.9918	33.9932	3501643
gmus/belov/ intel005.aig.k20.gcnf	UNSAT	34.0928	34.1623	3501737
gmus/belov/ intel049.aig.k25.gcnf	UNSAT	35.1866	35.1888	3501658
gmus/belov/ bjrb07amba2andenv.aig.k20.gcnf	UNSAT	35.3206	35.3733	3501675
gmus/belov/ pj2008.aig.k20.gcnf	UNSAT	36.2235	36.2255	3501644
gmus/belov/ pdtswvsam6x8p1.aig.k25.gcnf	UNSAT	36.7904	36.8164	3501665
gmus/belov/ pdtswvsam6x8p2.aig.k25.gcnf	UNSAT	37.2543	37.2553	3501742
gmus/belov/ pdtswvibs8x8p2.aig.k25.gcnf	UNSAT	37.6443	37.7025	3501680
gmus/belov/ mentorbm1p00.aig.k20.gcnf	UNSAT	40.1609	40.1813	3501690
gmus/belov/ pdtvisns2p1.aig.k15.gcnf	UNSAT	40.1639	40.1665	3501748
gmus/belov/ pdtvisns3p07.aig.k10.gcnf	UNSAT	41.3807	41.3813	3501757
gmus/belov/ pdtswvsam6x8p3.aig.k25.gcnf	UNSAT	42.4186	42.4184	3501712
gmus/belov/ pdtswvsam4x8p2.aig.k25.gcnf	UNSAT	42.9045	42.9066	3501631
gmus/belov/ pdtswvsam4x8p4.aig.k25.gcnf	UNSAT	44.2993	44.3457	3501747
gmus/belov/ 4pipe_4_ooo.gcnf	UNSAT	44.9782	45.0313	3501719
gmus/belov/ pdtvisgigamax4.aig.k25.gcnf	UNSAT	46.329	46.3735	3501620
gmus/belov/ pdtvisns3p10.aig.k25.gcnf	UNSAT	47.3438	47.3809	3501716
gmus/belov/ 4pipe_3_ooo.gcnf	UNSAT	48.0407	48.0735	3501628
gmus/belov/ pdtvisgigamax5.aig.k25.gcnf	UNSAT	48.5176	48.5199	3501735
gmus/belov/ nusmvguidancep7.aig.k20.gcnf	UNSAT	48.9566	49.0223	3501653
gmus/belov/ pdtswvtms14x8p1.aig.k20.gcnf	UNSAT	49.9914	50.0681	3501702
gmus/belov/ pdtvisgigamax3.aig.k25.gcnf	UNSAT	50.5193	50.5252	3501623
gmus/belov/ bjrb07amba4andenv.aig.k10.gcnf	UNSAT	51.1592	51.2344	3501703
gmus/belov/ pdtvistictactoe10.aig.k25.gcnf	UNSAT	51.5612	51.6298	3501662
gmus/belov/ pdtvisgigamax1.aig.k25.gcnf	UNSAT	52.2981	52.3716	3501698
gmus/belov/ pdtvisgigamax0.aig.k25.gcnf	UNSAT	53.8708	53.924	3501656
gmus/belov/ pdtswvsam6x8p4.aig.k25.gcnf	UNSAT	53.9448	53.9933	3501705
gmus/belov/ pdtvisgigamax2.aig.k25.gcnf	UNSAT	54.2767	54.3427	3501689
gmus/belov/ pdtswvtms12x8p1.aig.k20.gcnf	UNSAT	54.3737	54.4371	3501666
gmus/belov/ 4pipe_2_ooo.gcnf	UNSAT	54.7017	54.7045	3501663
gmus/belov/ pdtvisns2p0.aig.k20.gcnf	UNSAT	55.4116	55.5133	3501635
gmus/belov/ pdtvisns3p05.aig.k10.gcnf	UNSAT	60.2758	60.2748	3501758
gmus/belov/ pdtpmsvsa16a.aig.k10.gcnf	UNSAT	60.8258	60.851	3501706
gmus/belov/ pdtswvtms10x8p1.aig.k20.gcnf	UNSAT	61.4996	61.6025	3501731
gmus/belov/ pdtvisns3p04.aig.k10.gcnf	UNSAT	61.9206	61.9687	3501669
gmus/belov/ pdtviseisenberg0.aig.k20.gcnf	UNSAT	62.2475	62.3129	3501677
gmus/belov/ kenflashp11.aig.k25.gcnf	UNSAT	63.4823	63.4867	3501651
gmus/belov/ pdtviseisenberg1.aig.k20.gcnf	UNSAT	64.5972	64.6627	3501660
gmus/belov/ bj08amba4g5.aig.k20.gcnf	UNSAT	65.988	65.9893	3501715
gmus/belov/ pdtvisgoodbakery2.aig.k20.gcnf	UNSAT	68.1156	68.1658	3501752
gmus/belov/ pdtvisvending02.aig.k25.gcnf	UNSAT	68.1586	68.2347	3501639
gmus/belov/ 4pipe_1_ooo.gcnf	UNSAT	68.3346	68.3582	3501750
gmus/belov/ bjrb07amba5andenv.aig.k10.gcnf	UNSAT	68.8025	68.8029	3501696
gmus/belov/ pdtvissoap2.aig.k15.gcnf	UNSAT	68.9675	69.0296	3501711
gmus/belov/ pdtswvrod6x8p1.aig.k20.gcnf	UNSAT	70.0524	70.0833	3501640
gmus/belov/ pj2006.aig.k10.gcnf	UNSAT	72.261	72.2913	3501724
gmus/belov/ pj2010.aig.k25.gcnf	UNSAT	75.7065	75.7749	3501678
gmus/belov/ pdtvisbakery2.aig.k20.gcnf	UNSAT	79.3169	79.3664	3501744
gmus/belov/ nusmvguidancep8.aig.k25.gcnf	UNSAT	82.1085	82.1077	3501654
gmus/belov/ pdtvisbakery1.aig.k20.gcnf	UNSAT	82.4545	82.547	3501616
gmus/belov/ pdtpmsrethersqo.aig.k20.gcnf	UNSAT	87.2157	87.2591	3501618
gmus/belov/ pdtvistimeout3.aig.k25.gcnf	UNSAT	90.1473	90.2074	3501625
gmus/belov/ bj08amba5g62.aig.k20.gcnf	UNSAT	92.306	92.3315	3501728
gmus/belov/ nusmvguidancep2.aig.k20.gcnf	UNSAT	92.8639	92.9227	3501743
gmus/belov/ pdtvisgoodbakery0.aig.k20.gcnf	UNSAT	98.2231	98.3122	3501688
gmus/belov/ pj2007.aig.k25.gcnf	UNSAT	100.174	100.172	3501738
gmus/belov/ pdtvisbakery0.aig.k20.gcnf	UNSAT	102.938	102.938	3501745
gmus/belov/ pdtvisgoodbakery1.aig.k20.gcnf	UNSAT	117.411	117.512	3501697
gmus/belov/ bj08amba4g5.aig.k25.gcnf	UNSAT	122.147	122.146	3501730
gmus/belov/ viscoherencep3.aig.k15.gcnf	UNSAT	128.22	128.25	3501672
gmus/belov/ pdtviscoherence3.aig.k15.gcnf	UNSAT	128.537	128.632	3501695
gmus/belov/ pj2010.aig.k20.gcnf	UNSAT	132.695	132.746	3501632
gmus/belov/ pdtpmsheap.aig.k15.gcnf	UNSAT	147.544	147.584	3501679
gmus/belov/ pdtpmsvsar.aig.k15.gcnf	UNSAT	156.87	156.888	3501655
gmus/belov/ bj08amba5g62.aig.k25.gcnf	UNSAT	177.242	177.237	3501645
gmus/belov/ pdtviscoherence4.aig.k15.gcnf	UNSAT	178.949	178.948	3501729
gmus/ belov/4pipe.gcnf	UNSAT	182.675	182.685	3501574
gmus/belov/ bjrb07amba2andenv.aig.k25.gcnf	UNSAT	185.737	185.809	3501736
gmus/belov/ pdtvisns3p00.aig.k10.gcnf	UNSAT	191.003	191.038	3501734
gmus/belov/ pdtviscoherence5.aig.k15.gcnf	UNSAT	213.596	213.59	3501756
gmus/belov/ pdtvisgoodbakery2.aig.k25.gcnf	UNSAT	242.467	242.484	3501626
gmus/belov/ pdtvisns3p06.aig.k10.gcnf	UNSAT	263.694	263.763	3501708
gmus/belov/ pdtvisgoodbakery0.aig.k25.gcnf	UNSAT	269.007	269.002	3501661
gmus/belov/ pdtswvrod6x8p2.aig.k25.gcnf	UNSAT	292.583	292.671	3501704
gmus/belov/ nusmvguidancep2.aig.k25.gcnf	UNSAT	294.091	294.188	3501725
gmus/belov/ pdtvisbakery1.aig.k25.gcnf	UNSAT	315.676	315.75	3501721
gmus/belov/ pdtswvtms14x8p1.aig.k25.gcnf	UNSAT	348.542	348.536	3501671
gmus/belov/ pdtpmsgigamax.aig.k20.gcnf	UNSAT	419.509	419.498	3501682
gmus/belov/ nusmvguidancep7.aig.k25.gcnf	UNSAT	448.963	449.028	3501684
gmus/belov/ pdtvistimeout0.aig.k10.gcnf	UNSAT	462.524	462.598	3501733
gmus/belov/ pdtvisheap00.aig.k20.gcnf	UNSAT	552.512	552.56	3501681
gmus/belov/ pdtswvrod6x8p1.aig.k25.gcnf	UNSAT	688.545	688.583	3501699
gmus/belov/ pdtvisns3p01.aig.k10.gcnf	UNSAT	701.008	701.11	3501646
gmus/belov/ pdtvisns3p03.aig.k10.gcnf	UNSAT	733.843	733.881	3501707
gmus/belov/ bj08amba2g3f3.aig.k20.gcnf	UNSAT	774.714	774.867	3501634
gmus/belov/ nusmvguidancep6.aig.k25.gcnf	UNSAT	1403.56	1403.51	3501751
gmus/belov/ pdtvisns3p02.aig.k10.gcnf	UNSAT	1797.02	1797.04	3501615

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
gmus/belov/ pdtvisvending07.aig.k25.gcnf	? (TO)	1800.04	1800.03	3501664
gmus/belov/ pdtvisvending00.aig.k20.gcnf	? (TO)	1800.05	1800.02	3501636
gmus/belov/ nusmvguidancep5.aig.k25.gcnf	? (TO)	1800.05	1800.03	3501713
gmus/belov/ nusmvguidancep5.aig.k20.gcnf	? (TO)	1800.06	1800.03	3501701
gmus/belov/ viscoherencep3.aig.k20.gcnf	? (TO)	1800.06	1800.02	3501692
gmus/belov/ pdtpmsgigamax.aig.k25.gcnf	? (TO)	1800.09	1800.11	3501760
gmus/belov/ vis4arbitp1.aig.k25.gcnf	? (TO)	1800.1	1800.06	3501740
gmus/belov/ viscoherencep2.aig.k20.gcnf	? (TO)	1800.11	1800.12	3501649
gmus/belov/ pdtvisvending05.aig.k25.gcnf	? (TO)	1800.12	1800.13	3501657
gmus/belov/ pdtvisvending01.aig.k15.gcnf	? (TO)	1800.12	1800.08	3501624

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
gmus/belov/ pdtvistictactoe10.aig.k20.gcnf	Wrong Cert.	25.2692	25.314	3501694
gmus/belov/ pdtpmseisenberg.aig.k15.gcnf	Wrong Cert.	26.189	26.2196	3501637
gmus/belov/ pdtpmsgigamax.aig.k15.gcnf	Wrong Cert.	28.7256	28.7299	3501642
gmus/belov/ mentorbm1p00.aig.k25.gcnf	Wrong Cert.	91.0971	91.1267	3501667
gmus/belov/ pdtvisns3p09.aig.k15.gcnf	Wrong Cert.	152.749	152.824	3501749
gmus/belov/ pdtvisns3p08.aig.k15.gcnf	Wrong Cert.	199.056	199.055	3501755
gmus/belov/ pdtpmsgoodbakery.aig.k20.gcnf	Wrong Cert.	436.816	436.82	3501668

SAT 2011 Competition: group-oriented MUS track: benchmarks results per solver

Result page for solver Haifa-HLMUC 2011-04-07 (complete)

Category "GMUS" (GMUS)

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

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

Solver gave a wrong solution (7 runs) [Show/Hide]