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.114982	0.119543	3502164
gmus/nadel/ edn_20403_10.cnf_0.03000000.unsat.gcnf	UNSAT	0.143977	0.150145	3502176
gmus/nadel/ edn_9789_2.cnf_0.07000000.unsat.gcnf	UNSAT	0.371942	0.372577	3502195
gmus/nadel/ edn_20403_12.cnf_0.08000000.unsat.gcnf	UNSAT	0.411936	0.415979	3502181
gmus/nadel/ edn_2948_4.cnf_0.07000000.unsat.gcnf	UNSAT	0.418935	0.512204	3502159
gmus/nadel/ edn_20403_14.cnf_0.10000000.unsat.gcnf	UNSAT	0.515921	0.516453	3502173
gmus/nadel/ edn_20403_16.cnf_0.29000000.unsat.gcnf	UNSAT	0.532918	0.533869	3502175
gmus/nadel/ edn_25208_4.cnf_0.05000000.unsat.gcnf	UNSAT	0.596908	0.597354	3502161
gmus/nadel/ edn_5371_4.cnf_0.21000000.unsat.gcnf	UNSAT	0.615906	0.640309	3502204
gmus/nadel/ edn_22134_4.cnf_0.14000000.unsat.gcnf	UNSAT	0.639902	0.639858	3502160
gmus/nadel/ edn_20259_4.cnf_0.21000000.unsat.gcnf	UNSAT	0.691894	0.713395	3502196
gmus/nadel/ edn_2948_6.cnf_0.12000000.unsat.gcnf	UNSAT	0.937857	0.939513	3502167
gmus/nadel/ edn_5371_6.cnf_0.30000000.unsat.gcnf	UNSAT	1.22481	1.24506	3502187
gmus/nadel/ edn_24095_4.cnf_0.11000000.unsat.gcnf	UNSAT	1.26481	1.2653	3502182
gmus/nadel/ edn_24095_8.cnf_0.21000000.unsat.gcnf	UNSAT	1.47977	1.48243	3502163
gmus/nadel/ edn_25208_10.cnf_0.58000000.unsat.gcnf	UNSAT	1.52777	1.53191	3502168
gmus/nadel/ edn_20259_6.cnf_0.31000000.unsat.gcnf	UNSAT	1.55776	1.57171	3502179
gmus/nadel/ edn_2948_8.cnf_0.25000000.unsat.gcnf	UNSAT	1.64275	1.64487	3502190
gmus/nadel/ edn_24095_6.cnf_0.17000000.unsat.gcnf	UNSAT	1.70674	1.8523	3502193
gmus/nadel/ edn_25208_6.cnf_0.20000000.unsat.gcnf	UNSAT	2.05269	2.11323	3502201
gmus/nadel/ edn_20259_8.cnf_0.39000000.unsat.gcnf	UNSAT	2.49562	2.49944	3502188
gmus/nadel/ edn_25208_2.cnf_0.08000000.unsat.gcnf	UNSAT	2.55561	2.55649	3502183
gmus/nadel/ edn_28491_6.cnf_0.31000000.unsat.gcnf	UNSAT	2.80557	2.8064	3502197
gmus/nadel/ edn_9789_12.cnf_0.93000000.unsat.gcnf	UNSAT	3.00454	3.03231	3502156
gmus/nadel/ edn_22134_6.cnf_0.31000000.unsat.gcnf	UNSAT	3.14652	3.14815	3502202
gmus/nadel/ edn_2948_10.cnf_0.28000000.unsat.gcnf	UNSAT	3.42648	3.90772	3502157
gmus/nadel/ edn_5371_8.cnf_0.39000000.unsat.gcnf	UNSAT	3.45247	3.45416	3502199
gmus/nadel/ edn_24095_10.cnf_0.29000000.unsat.gcnf	UNSAT	3.45447	3.45771	3502191
gmus/nadel/ edn_20259_12.cnf_0.50000000.unsat.gcnf	UNSAT	3.47547	3.47872	3502170
gmus/nadel/ edn_25208_8.cnf_0.30000000.unsat.gcnf	UNSAT	3.63845	3.63928	3502169
gmus/nadel/ edn_28491_12.cnf_0.50000000.unsat.gcnf	UNSAT	3.69244	3.69372	3502177
gmus/nadel/ edn_28491_8.cnf_0.39000000.unsat.gcnf	UNSAT	3.82342	3.84304	3502203
gmus/nadel/ edn_28491_10.cnf_0.46000000.unsat.gcnf	UNSAT	3.83542	3.83552	3502162
gmus/nadel/ edn_9789_10.cnf_0.68000000.unsat.gcnf	UNSAT	3.87541	3.88122	3502198
gmus/nadel/ edn_22134_8.cnf_0.38000000.unsat.gcnf	UNSAT	3.9574	4.11413	3502205
gmus/nadel/ edn_22134_10.cnf_0.47000000.unsat.gcnf	UNSAT	4.04138	4.13733	3502172
gmus/nadel/ edn_22134_12.cnf_0.50000000.unsat.gcnf	UNSAT	4.53631	4.53704	3502200
gmus/nadel/ edn_20259_10.cnf_0.48000000.unsat.gcnf	UNSAT	4.55531	4.56025	3502185
gmus/nadel/ edn_5371_10.cnf_0.46000000.unsat.gcnf	UNSAT	4.63829	4.98291	3502194
gmus/nadel/ edn_20403_23.cnf_14.27000000.unsat.gcnf	UNSAT	4.75328	4.75537	3502166
gmus/nadel/ edn_9789_6.cnf_0.31000000.unsat.gcnf	UNSAT	4.78527	4.78752	3502174
gmus/nadel/ edn_9789_8.cnf_0.51000000.unsat.gcnf	UNSAT	5.96709	5.96844	3502192
gmus/nadel/ edn_5371_12.cnf_0.50000000.unsat.gcnf	UNSAT	7.26589	7.26646	3502171
gmus/nadel/ edn_20259_14.cnf_0.55000000.unsat.gcnf	UNSAT	7.54485	7.5506	3502184
gmus/nadel/ edn_2948_14.cnf_0.97000000.unsat.gcnf	UNSAT	10.2464	10.2478	3502189
gmus/belov/ pdtvisrethersqo1.aig.k25.gcnf	UNSAT	11.2843	11.2975	3502278
gmus/belov/ 2dlx_ca_mc_ex_bp_f_new.gcnf	UNSAT	11.7442	11.7626	3502314
gmus/belov/ 3pipe_1_ooo.gcnf	UNSAT	12.1991	12.2402	3502345
gmus/belov/ 3pipe_3_ooo.gcnf	UNSAT	17.7913	17.8019	3502243
gmus/nadel/ edn_24095_19.cnf_2.12000000.unsat.gcnf	UNSAT	18.0013	18.0028	3502158
gmus/belov/ pdtvisns2p3.aig.k15.gcnf	UNSAT	18.7781	18.7974	3502210
gmus/ belov/3pipe.gcnf	UNSAT	22.5946	22.603	3502155
gmus/belov/ 2dlx_cc_mc_ex_bp_f_new.gcnf	UNSAT	22.7665	22.7679	3502309
gmus/belov/ 3pipe_2_ooo.gcnf	UNSAT	23.7934	23.8035	3502224
gmus/belov/ pdtvisvending08.aig.k25.gcnf	UNSAT	26.7439	26.7524	3502305
gmus/belov/ pdtpmsgigamax.aig.k15.gcnf	UNSAT	27.7188	27.7424	3502233
gmus/nadel/ edn_9789_21.cnf_46.05000000.unsat.gcnf	UNSAT	27.8908	27.8929	3502186
gmus/belov/ mentorbm1p02.aig.k20.gcnf	UNSAT	27.9088	27.9119	3502313
gmus/belov/ pdtvisns3p19.aig.k20.gcnf	UNSAT	29.6725	29.6723	3502277
gmus/belov/ pdtvisvending02.aig.k25.gcnf	UNSAT	31.7612	31.7885	3502230
gmus/nadel/ edn_25208_14.cnf_37.38000000.unsat.gcnf	UNSAT	35.6506	37.9746	3502180
gmus/belov/ pdtvisgigamax1.aig.k20.gcnf	UNSAT	37.2033	37.2342	3502265
gmus/belov/ pdtvisgigamax5.aig.k20.gcnf	UNSAT	37.5413	37.5794	3502274
gmus/belov/ pdtvisns3p09.aig.k10.gcnf	UNSAT	39.0511	39.0827	3502301
gmus/belov/ pdtviseisenberg2.aig.k15.gcnf	UNSAT	39.9119	39.9397	3502308
gmus/belov/ pdtvisgigamax0.aig.k20.gcnf	UNSAT	40.1379	40.1502	3502221
gmus/belov/ pdtvisgigamax4.aig.k20.gcnf	UNSAT	40.6378	40.6712	3502276
gmus/belov/ pdtvisns3p10.aig.k15.gcnf	UNSAT	41.9036	41.9055	3502330
gmus/belov/ pdtvisns3p16.aig.k25.gcnf	UNSAT	42.0806	42.1133	3502264
gmus/belov/ pdtvisns3p08.aig.k10.gcnf	UNSAT	42.5195	42.5207	3502300
gmus/nadel/ edn_24095_17.cnf_4.40000000.unsat.gcnf	UNSAT	42.7675	42.7703	3502178
gmus/belov/ pdtvisgigamax3.aig.k20.gcnf	UNSAT	42.8645	42.9027	3502332
gmus/belov/ pdtvisgigamax2.aig.k20.gcnf	UNSAT	43.0115	43.0124	3502220
gmus/belov/ pdtvistimeout3.aig.k20.gcnf	UNSAT	44.3803	44.4152	3502239
gmus/belov/ pdtvistictactoe10.aig.k20.gcnf	UNSAT	46.169	46.2072	3502285
gmus/belov/ pdtvisns2p3.aig.k20.gcnf	UNSAT	46.4559	46.4761	3502284
gmus/belov/ bjrb07amba2andenv.aig.k20.gcnf	UNSAT	49.7004	49.7017	3502266
gmus/belov/ pdtvisns3p17.aig.k25.gcnf	UNSAT	49.8064	49.8062	3502267
gmus/belov/ pdtpmsgoodbakery.aig.k15.gcnf	UNSAT	50.1294	50.1691	3502241
gmus/belov/ pdtvisns3p19.aig.k25.gcnf	UNSAT	57.1983	57.2187	3502311
gmus/belov/ 4pipe_1_ooo.gcnf	UNSAT	58.0592	58.0943	3502341
gmus/belov/ pdtvisns3p18.aig.k25.gcnf	UNSAT	58.4671	58.4868	3502337
gmus/belov/ mentorbm1p02.aig.k25.gcnf	UNSAT	59.314	59.3144	3502344
gmus/belov/ pdtvispeterson.aig.k25.gcnf	UNSAT	61.5926	61.5924	3502234
gmus/belov/ pdtviseisenberg0.aig.k15.gcnf	UNSAT	62.1705	62.1784	3502261
gmus/belov/ pdtpmsvsa16a.aig.k10.gcnf	UNSAT	64.2302	64.2594	3502297
gmus/belov/ pdtvisns2p0.aig.k15.gcnf	UNSAT	70.5753	70.6133	3502238
gmus/belov/ 4pipe_2_ooo.gcnf	UNSAT	70.5873	70.5862	3502254
gmus/belov/ pdtvisgigamax1.aig.k25.gcnf	UNSAT	70.6743	70.7076	3502289
gmus/belov/ 4pipe_4_ooo.gcnf	UNSAT	70.7502	70.7491	3502310
gmus/belov/ pdtvistimeout2.aig.k25.gcnf	UNSAT	71.2432	71.7577	3502213
gmus/belov/ pdtswvibs16x4p2.aig.k25.gcnf	UNSAT	71.9811	72.0202	3502218
gmus/belov/ pdtvisgigamax3.aig.k25.gcnf	UNSAT	73.5308	73.6065	3502214
gmus/belov/ pdtvisgigamax5.aig.k25.gcnf	UNSAT	73.7458	73.7466	3502326
gmus/belov/ pdtvisgigamax2.aig.k25.gcnf	UNSAT	74.1857	74.2454	3502280
gmus/belov/ pdtvisgigamax4.aig.k25.gcnf	UNSAT	75.1926	75.2101	3502211
gmus/belov/ nusmvguidancep8.aig.k20.gcnf	UNSAT	75.4955	75.4941	3502350
gmus/belov/ pdtvisgoodbakery0.aig.k15.gcnf	UNSAT	75.8585	75.8588	3502212
gmus/belov/ pdtvisns2p3.aig.k25.gcnf	UNSAT	76.3664	76.3882	3502317
gmus/belov/ pdtvisbakery0.aig.k15.gcnf	UNSAT	76.7533	76.8066	3502291
gmus/belov/ pdtvistictactoe10.aig.k25.gcnf	UNSAT	76.9083	76.9578	3502253
gmus/belov/ intel005.aig.k20.gcnf	UNSAT	77.2553	77.2552	3502328
gmus/belov/ pdtvisgigamax0.aig.k25.gcnf	UNSAT	77.7392	77.74	3502247
gmus/belov/ pdtswvibs8x8p1.aig.k25.gcnf	UNSAT	77.8512	77.8704	3502232
gmus/belov/ pdtvisvsa16a29.aig.k25.gcnf	UNSAT	78.2471	78.3137	3502323
gmus/belov/ pdtvisns2p2.aig.k15.gcnf	UNSAT	78.4381	78.4392	3502250
gmus/belov/ pdtpmsgigamax.aig.k20.gcnf	UNSAT	78.837	78.8716	3502273
gmus/belov/ pdtvisns3p07.aig.k10.gcnf	UNSAT	80.5528	80.5539	3502348
gmus/belov/ pdtvistimeout3.aig.k25.gcnf	UNSAT	81.4766	81.5298	3502216
gmus/belov/ pdtvisns3p05.aig.k10.gcnf	UNSAT	90.2533	90.2515	3502349
gmus/belov/ pdtpmseisenberg.aig.k15.gcnf	UNSAT	93.0459	93.1048	3502228
gmus/belov/ nusmvguidancep2.aig.k20.gcnf	UNSAT	93.4008	93.4435	3502334
gmus/belov/ pdtvisns3p04.aig.k10.gcnf	UNSAT	95.0016	95.0286	3502260
gmus/belov/ pj2003.aig.k20.gcnf	UNSAT	95.4855	95.4975	3502208
gmus/belov/ 4pipe_3_ooo.gcnf	UNSAT	96.0124	96.0334	3502219
gmus/belov/ viscoherencep3.aig.k15.gcnf	UNSAT	98.1241	98.1943	3502263
gmus/belov/ pdtvisns3p06.aig.k10.gcnf	UNSAT	98.493	98.5452	3502299
gmus/belov/ pdtviseisenberg2.aig.k20.gcnf	UNSAT	103.524	103.523	3502282
gmus/belov/ mentorbm1p00.aig.k20.gcnf	UNSAT	104.685	104.724	3502281
gmus/belov/ pdtswvsam6x8p2.aig.k25.gcnf	UNSAT	106.149	106.207	3502333
gmus/belov/ pdtswvsam6x8p1.aig.k25.gcnf	UNSAT	108.118	108.118	3502256
gmus/belov/ pdtvisns2p1.aig.k15.gcnf	UNSAT	109.036	109.043	3502339
gmus/belov/ pdtswvibs8x8p2.aig.k25.gcnf	UNSAT	109.356	109.42	3502271
gmus/belov/ pdtswvtms14x8p1.aig.k20.gcnf	UNSAT	119.774	119.822	3502293
gmus/belov/ pdtviseisenberg1.aig.k20.gcnf	UNSAT	121.248	121.322	3502251
gmus/belov/ pdtswvtms12x8p1.aig.k20.gcnf	UNSAT	124.492	124.491	3502257
gmus/belov/ pdtviscoherence4.aig.k15.gcnf	UNSAT	124.557	124.636	3502320
gmus/belov/ intel049.aig.k25.gcnf	UNSAT	125.016	125.042	3502249
gmus/belov/ pdtswvsam4x8p2.aig.k25.gcnf	UNSAT	125.554	125.569	3502222
gmus/belov/ pdtviscoherence3.aig.k15.gcnf	UNSAT	132.992	133.064	3502286
gmus/belov/ pdtpmsrethersqo.aig.k20.gcnf	UNSAT	133.554	133.555	3502209
gmus/belov/ pdtviscoherence5.aig.k15.gcnf	UNSAT	138.775	138.772	3502347
gmus/belov/ pdtswvtms10x8p1.aig.k20.gcnf	UNSAT	139.537	139.59	3502322
gmus/belov/ pdtvisns3p10.aig.k20.gcnf	UNSAT	140.629	140.663	3502318
gmus/belov/ bjrb07amba2andenv.aig.k25.gcnf	UNSAT	144.13	144.125	3502327
gmus/belov/ pdtviseisenberg0.aig.k20.gcnf	UNSAT	152.581	152.579	3502268
gmus/belov/ pdtswvrod6x8p1.aig.k20.gcnf	UNSAT	156.571	156.592	3502231
gmus/belov/ pdtpmsgigamax.aig.k25.gcnf	UNSAT	162.051	162.05	3502351
gmus/belov/ pdtvissoap2.aig.k15.gcnf	UNSAT	167.164	167.198	3502302
gmus/belov/ pdtpmsheap.aig.k15.gcnf	UNSAT	172.339	172.392	3502270
gmus/belov/ pdtvisns3p10.aig.k25.gcnf	UNSAT	177.102	177.101	3502307
gmus/belov/ bjrb07amba5andenv.aig.k10.gcnf	UNSAT	179.625	179.694	3502287
gmus/belov/ bj08amba5g62.aig.k20.gcnf	UNSAT	181.805	181.834	3502319
gmus/belov/ pdtvisns3p08.aig.k15.gcnf	UNSAT	183.214	183.296	3502346
gmus/belov/ pdtswvsam4x8p4.aig.k25.gcnf	UNSAT	183.518	183.555	3502338
gmus/belov/ nusmvguidancep5.aig.k20.gcnf	UNSAT	185.458	185.493	3502292
gmus/belov/ bj08amba4g5.aig.k20.gcnf	UNSAT	186.273	186.295	3502306
gmus/belov/ pdtswvsam6x8p3.aig.k25.gcnf	UNSAT	193.546	193.612	3502303
gmus/belov/ kenflashp11.aig.k25.gcnf	UNSAT	203.305	203.311	3502242
gmus/belov/ pdtvisns2p0.aig.k20.gcnf	UNSAT	203.897	203.979	3502226
gmus/belov/ pdtvisbakery2.aig.k20.gcnf	UNSAT	207.861	207.858	3502335
gmus/belov/ pdtpmsvsar.aig.k15.gcnf	UNSAT	209.632	209.633	3502246
gmus/belov/ nusmvguidancep7.aig.k20.gcnf	UNSAT	210.687	210.761	3502244
gmus/ belov/4pipe.gcnf	UNSAT	225.656	225.67	3502165
gmus/belov/ pdtswvsam6x8p4.aig.k25.gcnf	UNSAT	226.255	226.287	3502296
gmus/belov/ nusmvguidancep8.aig.k25.gcnf	UNSAT	235.235	235.3	3502245
gmus/belov/ pdtvisgoodbakery1.aig.k20.gcnf	UNSAT	239.687	239.725	3502288
gmus/belov/ viscoherencep2.aig.k20.gcnf	UNSAT	241.9	241.947	3502240
gmus/belov/ pdtvisbakery0.aig.k20.gcnf	UNSAT	244.144	244.22	3502336
gmus/belov/ pdtvisgoodbakery0.aig.k20.gcnf	UNSAT	250.156	250.216	3502279
gmus/belov/ pdtvisbakery1.aig.k20.gcnf	UNSAT	254.253	255.628	3502207
gmus/belov/ mentorbm1p00.aig.k25.gcnf	UNSAT	257.982	258.249	3502258
gmus/belov/ pdtvisns3p00.aig.k10.gcnf	UNSAT	273.642	273.684	3502325
gmus/belov/ bjrb07amba4andenv.aig.k10.gcnf	UNSAT	280.745	280.743	3502294
gmus/belov/ pdtvisgoodbakery2.aig.k20.gcnf	UNSAT	283.673	283.724	3502343
gmus/belov/ pdtvisns3p09.aig.k15.gcnf	UNSAT	295.602	295.6	3502340
gmus/belov/ pj2006.aig.k10.gcnf	UNSAT	335.797	335.805	3502315
gmus/belov/ pdtpmsgoodbakery.aig.k20.gcnf	UNSAT	349.505	349.569	3502259
gmus/belov/ nusmvguidancep6.aig.k25.gcnf	UNSAT	374.063	374.091	3502342
gmus/belov/ pdtswvtms14x8p1.aig.k25.gcnf	UNSAT	399.545	399.655	3502262
gmus/belov/ bj08amba2g3f3.aig.k20.gcnf	UNSAT	404.135	404.127	3502225
gmus/belov/ nusmvguidancep5.aig.k25.gcnf	UNSAT	429.413	429.465	3502304
gmus/belov/ bj08amba4g5.aig.k25.gcnf	UNSAT	429.944	429.94	3502321
gmus/belov/ pj2007.aig.k20.gcnf	UNSAT	456.455	456.499	3502229
gmus/belov/ nusmvguidancep7.aig.k25.gcnf	UNSAT	457.757	457.748	3502275
gmus/belov/ pdtswvrod6x8p2.aig.k25.gcnf	UNSAT	560.63	560.732	3502295
gmus/belov/ nusmvguidancep2.aig.k25.gcnf	UNSAT	561.764	561.766	3502316
gmus/belov/ bj08amba5g62.aig.k25.gcnf	UNSAT	564.034	564.067	3502236
gmus/belov/ pdtvisgoodbakery2.aig.k25.gcnf	UNSAT	621.008	621.564	3502217
gmus/belov/ pdtvisns3p01.aig.k10.gcnf	UNSAT	631.543	631.544	3502237
gmus/belov/ pdtvisgoodbakery0.aig.k25.gcnf	UNSAT	637.637	637.764	3502252
gmus/belov/ pdtvisheap00.aig.k20.gcnf	UNSAT	647.15	647.729	3502272
gmus/belov/ pdtvisvending01.aig.k15.gcnf	UNSAT	676.981	676.989	3502215
gmus/belov/ pdtvisbakery1.aig.k25.gcnf	UNSAT	720.766	720.838	3502312
gmus/belov/ pj2010.aig.k20.gcnf	UNSAT	728.951	729.021	3502223
gmus/belov/ pj2007.aig.k25.gcnf	UNSAT	734.636	734.62	3502329
gmus/belov/ pdtvisvending07.aig.k25.gcnf	UNSAT	740.472	740.506	3502255
gmus/belov/ pdtvisvending05.aig.k25.gcnf	UNSAT	751.999	752.016	3502248
gmus/belov/ pdtvistimeout0.aig.k10.gcnf	UNSAT	767.284	767.276	3502324
gmus/belov/ viscoherencep3.aig.k20.gcnf	UNSAT	791.547	791.57	3502283
gmus/belov/ pdtswvrod6x8p1.aig.k25.gcnf	UNSAT	822.899	822.883	3502290
gmus/belov/ pj2008.aig.k20.gcnf	UNSAT	881.057	881.151	3502235
gmus/belov/ pdtvisns3p03.aig.k10.gcnf	UNSAT	1067.31	1067.37	3502298
gmus/belov/ pj2010.aig.k25.gcnf	UNSAT	1072.59	1072.57	3502269
gmus/belov/ pdtvisns3p02.aig.k10.gcnf	UNSAT	1113.1	1113.15	3502206
gmus/belov/ pdtvisvending00.aig.k20.gcnf	UNSAT	1307.11	1308.15	3502227
gmus/belov/ vis4arbitp1.aig.k25.gcnf	UNSAT	1410.95	1410.92	3502331

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) (197 runs) [Show/Hide]