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.433933	0.436517	3501179
gmus/nadel/ edn_20403_10.cnf_0.03000000.unsat.gcnf	UNSAT	0.648901	0.648868	3501191
gmus/nadel/ edn_20403_14.cnf_0.10000000.unsat.gcnf	UNSAT	1.36079	1.36101	3501188
gmus/nadel/ edn_20403_16.cnf_0.29000000.unsat.gcnf	UNSAT	1.44878	1.45126	3501190
gmus/nadel/ edn_20403_12.cnf_0.08000000.unsat.gcnf	UNSAT	1.52877	1.53071	3501196
gmus/nadel/ edn_9789_2.cnf_0.07000000.unsat.gcnf	UNSAT	2.18667	2.51614	3501210
gmus/nadel/ edn_2948_4.cnf_0.07000000.unsat.gcnf	UNSAT	3.57346	3.60645	3501174
gmus/nadel/ edn_20259_4.cnf_0.21000000.unsat.gcnf	UNSAT	4.26435	4.4764	3501211
gmus/nadel/ edn_25208_4.cnf_0.05000000.unsat.gcnf	UNSAT	4.28035	4.27988	3501176
gmus/nadel/ edn_22134_4.cnf_0.14000000.unsat.gcnf	UNSAT	4.56431	4.56471	3501175
gmus/nadel/ edn_5371_4.cnf_0.21000000.unsat.gcnf	UNSAT	5.10722	5.22575	3501219
gmus/nadel/ edn_2948_6.cnf_0.12000000.unsat.gcnf	UNSAT	6.65099	6.6589	3501182
gmus/nadel/ edn_2948_8.cnf_0.25000000.unsat.gcnf	UNSAT	7.83181	7.93419	3501205
gmus/nadel/ edn_24095_4.cnf_0.11000000.unsat.gcnf	UNSAT	8.10677	8.10633	3501197
gmus/nadel/ edn_25208_2.cnf_0.08000000.unsat.gcnf	UNSAT	9.25959	9.97933	3501198
gmus/nadel/ edn_25208_6.cnf_0.20000000.unsat.gcnf	UNSAT	9.30258	9.74865	3501216
gmus/nadel/ edn_20259_6.cnf_0.31000000.unsat.gcnf	UNSAT	10.8563	10.8566	3501194
gmus/nadel/ edn_5371_6.cnf_0.30000000.unsat.gcnf	UNSAT	11.5402	12.0654	3501202
gmus/nadel/ edn_25208_10.cnf_0.58000000.unsat.gcnf	UNSAT	11.6122	11.6128	3501183
gmus/nadel/ edn_20403_23.cnf_14.27000000.unsat.gcnf	UNSAT	11.7922	11.7996	3501181
gmus/nadel/ edn_24095_6.cnf_0.17000000.unsat.gcnf	UNSAT	11.8752	11.979	3501208
gmus/nadel/ edn_25208_8.cnf_0.30000000.unsat.gcnf	UNSAT	14.6238	14.6251	3501184
gmus/nadel/ edn_20259_8.cnf_0.39000000.unsat.gcnf	UNSAT	15.1367	15.8606	3501203
gmus/nadel/ edn_9789_12.cnf_0.93000000.unsat.gcnf	UNSAT	15.6606	15.669	3501171
gmus/nadel/ edn_24095_8.cnf_0.21000000.unsat.gcnf	UNSAT	15.7856	15.7867	3501178
gmus/nadel/ edn_9789_10.cnf_0.68000000.unsat.gcnf	UNSAT	15.8756	16.0572	3501213
gmus/nadel/ edn_28491_6.cnf_0.31000000.unsat.gcnf	UNSAT	16.6035	16.9546	3501212
gmus/nadel/ edn_9789_6.cnf_0.31000000.unsat.gcnf	UNSAT	16.7964	16.8007	3501189
gmus/nadel/ edn_2948_10.cnf_0.28000000.unsat.gcnf	UNSAT	17.9683	17.9905	3501172
gmus/nadel/ edn_28491_8.cnf_0.39000000.unsat.gcnf	UNSAT	18.3012	18.3104	3501218
gmus/nadel/ edn_22134_8.cnf_0.38000000.unsat.gcnf	UNSAT	18.3272	18.4472	3501220
gmus/nadel/ edn_5371_8.cnf_0.39000000.unsat.gcnf	UNSAT	19.548	19.6201	3501214
gmus/nadel/ edn_22134_10.cnf_0.47000000.unsat.gcnf	UNSAT	19.683	19.684	3501187
gmus/nadel/ edn_22134_6.cnf_0.31000000.unsat.gcnf	UNSAT	20.025	20.0682	3501217
gmus/nadel/ edn_28491_10.cnf_0.46000000.unsat.gcnf	UNSAT	20.1779	20.178	3501177
gmus/nadel/ edn_24095_10.cnf_0.29000000.unsat.gcnf	UNSAT	20.4309	20.4387	3501206
gmus/belov/ 2dlx_ca_mc_ex_bp_f_new.gcnf	UNSAT	21.0348	21.0367	3501329
gmus/nadel/ edn_5371_10.cnf_0.46000000.unsat.gcnf	UNSAT	23.4674	23.4744	3501209
gmus/nadel/ edn_2948_14.cnf_0.97000000.unsat.gcnf	UNSAT	24.2753	24.2805	3501204
gmus/nadel/ edn_22134_12.cnf_0.50000000.unsat.gcnf	UNSAT	26.561	26.5689	3501215
gmus/ belov/3pipe.gcnf	UNSAT	26.605	26.6043	3501170
gmus/nadel/ edn_28491_12.cnf_0.50000000.unsat.gcnf	UNSAT	30.9433	30.9441	3501192
gmus/belov/ pdtvisrethersqo1.aig.k25.gcnf	UNSAT	31.7832	31.8606	3501293
gmus/nadel/ edn_5371_12.cnf_0.50000000.unsat.gcnf	UNSAT	32.2351	32.2375	3501186
gmus/nadel/ edn_20259_12.cnf_0.50000000.unsat.gcnf	UNSAT	32.904	32.9066	3501185
gmus/nadel/ edn_20259_10.cnf_0.48000000.unsat.gcnf	UNSAT	33.4519	33.4603	3501200
gmus/belov/ 3pipe_2_ooo.gcnf	UNSAT	45.1501	45.1619	3501239
gmus/nadel/ edn_20259_14.cnf_0.55000000.unsat.gcnf	UNSAT	46.6129	46.6257	3501199
gmus/belov/ 2dlx_cc_mc_ex_bp_f_new.gcnf	UNSAT	47.0478	47.0468	3501324
gmus/belov/ 3pipe_1_ooo.gcnf	UNSAT	47.5788	47.5807	3501360
gmus/nadel/ edn_9789_8.cnf_0.51000000.unsat.gcnf	UNSAT	49.8804	49.9984	3501207
gmus/nadel/ edn_24095_19.cnf_2.12000000.unsat.gcnf	UNSAT	62.8324	62.8327	3501173
gmus/nadel/ edn_9789_21.cnf_46.05000000.unsat.gcnf	UNSAT	64.8221	64.8309	3501201
gmus/belov/ pdtvisns2p3.aig.k15.gcnf	UNSAT	67.1038	67.6823	3501225
gmus/nadel/ edn_25208_14.cnf_37.38000000.unsat.gcnf	UNSAT	69.5254	69.5264	3501195
gmus/belov/ 3pipe_3_ooo.gcnf	UNSAT	75.8185	75.8217	3501258
gmus/belov/ pdtvisvending08.aig.k25.gcnf	UNSAT	76.0654	76.0716	3501320
gmus/belov/ pdtpmsgigamax.aig.k15.gcnf	UNSAT	85.8999	85.8996	3501248
gmus/nadel/ edn_24095_17.cnf_4.40000000.unsat.gcnf	UNSAT	89.0675	89.0686	3501193
gmus/belov/ pdtpmsvsa16a.aig.k10.gcnf	UNSAT	104.042	104.042	3501312
gmus/belov/ pdtvisvending02.aig.k25.gcnf	UNSAT	110.957	110.977	3501245
gmus/belov/ pdtpmsvsar.aig.k15.gcnf	UNSAT	124.099	124.1	3501261
gmus/belov/ pdtvisgigamax1.aig.k20.gcnf	UNSAT	124.711	124.709	3501280
gmus/belov/ pdtvisgigamax2.aig.k20.gcnf	UNSAT	127.161	127.277	3501235
gmus/belov/ pdtvisgigamax5.aig.k20.gcnf	UNSAT	128.174	128.195	3501289
gmus/belov/ pdtpmsgoodbakery.aig.k15.gcnf	UNSAT	132.968	132.972	3501256
gmus/belov/ pdtvisgigamax4.aig.k20.gcnf	UNSAT	141.225	141.221	3501291
gmus/belov/ pdtvisgigamax3.aig.k20.gcnf	UNSAT	143.304	143.311	3501347
gmus/belov/ pdtvistictactoe10.aig.k20.gcnf	UNSAT	145.597	145.591	3501300
gmus/belov/ pdtvisgigamax0.aig.k20.gcnf	UNSAT	147.653	147.67	3501236
gmus/belov/ bjrb07amba2andenv.aig.k20.gcnf	UNSAT	157.375	157.377	3501281
gmus/belov/ pdtvisns2p3.aig.k20.gcnf	UNSAT	158.267	158.264	3501299
gmus/belov/ pdtvistimeout3.aig.k20.gcnf	UNSAT	161.445	161.448	3501254
gmus/belov/ nusmvguidancep8.aig.k20.gcnf	UNSAT	165.714	165.713	3501365
gmus/belov/ pdtpmsrethersqo.aig.k20.gcnf	UNSAT	167.215	167.985	3501224
gmus/belov/ pdtvistimeout2.aig.k25.gcnf	UNSAT	174.063	174.261	3501228
gmus/belov/ pdtvispeterson.aig.k25.gcnf	UNSAT	176.653	176.65	3501249
gmus/belov/ pdtviseisenberg0.aig.k15.gcnf	UNSAT	181.853	181.87	3501276
gmus/belov/ pdtpmsheap.aig.k15.gcnf	UNSAT	188.455	188.452	3501285
gmus/belov/ pdtvisns3p10.aig.k15.gcnf	UNSAT	199.982	199.997	3501345
gmus/belov/ pdtvisns3p19.aig.k20.gcnf	UNSAT	206.287	206.279	3501292
gmus/belov/ pdtvisgigamax0.aig.k25.gcnf	UNSAT	209.018	209.06	3501262
gmus/belov/ pdtvisvsa16a29.aig.k25.gcnf	UNSAT	212.763	212.758	3501338
gmus/belov/ pdtvisgigamax1.aig.k25.gcnf	UNSAT	216.291	216.285	3501304
gmus/belov/ pdtviseisenberg2.aig.k15.gcnf	UNSAT	218.893	218.893	3501323
gmus/belov/ intel049.aig.k25.gcnf	UNSAT	224.483	224.481	3501264
gmus/belov/ pdtvisns3p08.aig.k10.gcnf	UNSAT	224.517	224.512	3501315
gmus/belov/ pdtvisheap00.aig.k20.gcnf	UNSAT	224.566	224.583	3501287
gmus/belov/ pdtvisgigamax2.aig.k25.gcnf	UNSAT	225.645	225.658	3501295
gmus/belov/ viscoherencep3.aig.k15.gcnf	UNSAT	230.734	230.737	3501278
gmus/belov/ pdtvisgigamax4.aig.k25.gcnf	UNSAT	231.969	232.212	3501226
gmus/belov/ pdtvisgigamax3.aig.k25.gcnf	UNSAT	239.972	240.02	3501229
gmus/belov/ pdtvisns2p0.aig.k15.gcnf	UNSAT	245.694	245.687	3501253
gmus/belov/ pdtvistictactoe10.aig.k25.gcnf	UNSAT	254.991	255.024	3501268
gmus/belov/ pdtvisgigamax5.aig.k25.gcnf	UNSAT	256.145	256.186	3501341
gmus/belov/ pdtswvibs8x8p1.aig.k25.gcnf	UNSAT	272.889	272.923	3501247
gmus/belov/ nusmvguidancep2.aig.k20.gcnf	UNSAT	275.221	275.244	3501349
gmus/belov/ vis4arbitp1.aig.k25.gcnf	UNSAT	277.677	277.67	3501346
gmus/belov/ pdtvisns3p09.aig.k10.gcnf	UNSAT	277.869	277.865	3501316
gmus/belov/ pdtviscoherence3.aig.k15.gcnf	UNSAT	278.578	278.598	3501301
gmus/belov/ pdtvisvending05.aig.k25.gcnf	UNSAT	280.636	280.681	3501263
gmus/belov/ mentorbm1p02.aig.k20.gcnf	UNSAT	281.448	281.442	3501328
gmus/belov/ pdtvisns3p04.aig.k10.gcnf	UNSAT	285.095	285.111	3501275
gmus/belov/ pdtvistimeout3.aig.k25.gcnf	UNSAT	285.935	286.286	3501231
gmus/belov/ pdtvisns2p3.aig.k25.gcnf	UNSAT	291.486	291.481	3501332
gmus/belov/ nusmvguidancep5.aig.k20.gcnf	UNSAT	292.083	292.079	3501307
gmus/belov/ nusmvguidancep7.aig.k20.gcnf	UNSAT	293.066	293.067	3501259
gmus/belov/ pdtvisns3p16.aig.k25.gcnf	UNSAT	307.546	307.556	3501279
gmus/belov/ pdtswvtms14x8p1.aig.k20.gcnf	UNSAT	310.003	310.011	3501308
gmus/belov/ pdtvisns3p17.aig.k25.gcnf	UNSAT	316.566	316.595	3501282
gmus/belov/ pdtswvtms10x8p1.aig.k20.gcnf	UNSAT	320.844	320.86	3501337
gmus/belov/ pdtvisvending07.aig.k25.gcnf	UNSAT	321.29	321.282	3501270
gmus/belov/ pdtpmsgigamax.aig.k20.gcnf	UNSAT	321.719	321.713	3501288
gmus/belov/ pdtvisns3p05.aig.k10.gcnf	UNSAT	323.105	323.112	3501364
gmus/belov/ pdtvisns3p19.aig.k25.gcnf	UNSAT	324.982	324.971	3501326
gmus/belov/ pdtswvibs16x4p2.aig.k25.gcnf	UNSAT	325.905	325.946	3501233
gmus/belov/ pdtvisns3p18.aig.k25.gcnf	UNSAT	327.805	327.805	3501352
gmus/belov/ pdtvisns2p2.aig.k15.gcnf	UNSAT	327.979	327.997	3501265
gmus/belov/ pdtviscoherence4.aig.k15.gcnf	UNSAT	338.762	338.752	3501335
gmus/belov/ pdtvisns3p07.aig.k10.gcnf	UNSAT	347.21	347.204	3501363
gmus/belov/ bjrb07amba2andenv.aig.k25.gcnf	UNSAT	359.805	359.816	3501342
gmus/belov/ viscoherencep2.aig.k20.gcnf	UNSAT	365.561	365.571	3501255
gmus/belov/ 4pipe_1_ooo.gcnf	UNSAT	375.169	375.162	3501356
gmus/belov/ pdtvisns3p10.aig.k20.gcnf	UNSAT	375.558	375.558	3501333
gmus/belov/ pdtviseisenberg2.aig.k20.gcnf	UNSAT	377.964	377.97	3501297
gmus/belov/ pdtviscoherence5.aig.k15.gcnf	UNSAT	386.714	386.75	3501362
gmus/belov/ pdtswvtms12x8p1.aig.k20.gcnf	UNSAT	390.186	390.176	3501272
gmus/belov/ pdtvisgoodbakery0.aig.k15.gcnf	UNSAT	417.106	417.132	3501227
gmus/belov/ pdtpmseisenberg.aig.k15.gcnf	UNSAT	422.527	422.523	3501243
gmus/belov/ pdtviseisenberg1.aig.k20.gcnf	UNSAT	438.835	438.852	3501266
gmus/belov/ nusmvguidancep8.aig.k25.gcnf	UNSAT	452.897	452.917	3501260
gmus/belov/ pdtvisbakery0.aig.k15.gcnf	UNSAT	486.021	486.009	3501306
gmus/belov/ nusmvguidancep2.aig.k25.gcnf	UNSAT	494.092	494.117	3501331
gmus/belov/ pdtviseisenberg0.aig.k20.gcnf	UNSAT	523.11	523.118	3501283
gmus/belov/ mentorbm1p02.aig.k25.gcnf	UNSAT	532.114	532.109	3501359
gmus/belov/ pdtswvsam4x8p2.aig.k25.gcnf	UNSAT	532.207	532.338	3501237
gmus/belov/ pdtvisns3p06.aig.k10.gcnf	UNSAT	541.792	541.832	3501314
gmus/belov/ pdtswvsam6x8p2.aig.k25.gcnf	UNSAT	553.597	553.619	3501348
gmus/belov/ pdtswvrod6x8p1.aig.k20.gcnf	UNSAT	567.691	567.712	3501246
gmus/belov/ pdtswvsam6x8p1.aig.k25.gcnf	UNSAT	573.931	573.923	3501271
gmus/belov/ bj08amba2g3f3.aig.k20.gcnf	UNSAT	574.132	574.191	3501240
gmus/belov/ pdtswvibs8x8p2.aig.k25.gcnf	UNSAT	576.655	576.665	3501286
gmus/belov/ pdtvisvending00.aig.k20.gcnf	UNSAT	579.406	579.439	3501242
gmus/belov/ pdtswvsam6x8p3.aig.k25.gcnf	UNSAT	583.466	583.454	3501318
gmus/belov/ pdtvisns2p0.aig.k20.gcnf	UNSAT	596.029	596.025	3501241
gmus/belov/ nusmvguidancep6.aig.k25.gcnf	UNSAT	627.66	627.69	3501357
gmus/belov/ viscoherencep3.aig.k20.gcnf	UNSAT	668.993	669.014	3501298
gmus/belov/ pdtvisns3p10.aig.k25.gcnf	UNSAT	674.523	674.514	3501322
gmus/belov/ pdtvissoap2.aig.k15.gcnf	UNSAT	678.893	678.91	3501317
gmus/belov/ bjrb07amba4andenv.aig.k10.gcnf	UNSAT	688.162	688.171	3501309
gmus/belov/ pdtvisns2p1.aig.k15.gcnf	UNSAT	688.668	688.658	3501354
gmus/belov/ pdtvistimeout0.aig.k10.gcnf	UNSAT	705.339	705.318	3501339
gmus/belov/ intel005.aig.k20.gcnf	UNSAT	720.988	720.977	3501343
gmus/belov/ pdtpmsgigamax.aig.k25.gcnf	UNSAT	788.014	788.033	3501366
gmus/belov/ pdtvisns3p09.aig.k15.gcnf	UNSAT	817.658	817.654	3501355
gmus/belov/ nusmvguidancep7.aig.k25.gcnf	UNSAT	832.869	832.851	3501290
gmus/belov/ mentorbm1p00.aig.k20.gcnf	UNSAT	858.636	858.615	3501296
gmus/belov/ pdtvisvending01.aig.k15.gcnf	UNSAT	869.696	869.989	3501230
gmus/belov/ 4pipe_3_ooo.gcnf	UNSAT	882.008	882.004	3501234
gmus/belov/ 4pipe_4_ooo.gcnf	UNSAT	935.761	935.72	3501325
gmus/belov/ pdtswvtms14x8p1.aig.k25.gcnf	UNSAT	982.6	982.651	3501277
gmus/belov/ pdtswvsam4x8p4.aig.k25.gcnf	UNSAT	1019.21	1019.21	3501353
gmus/belov/ bjrb07amba5andenv.aig.k10.gcnf	UNSAT	1019.32	1019.31	3501302
gmus/ belov/4pipe.gcnf	UNSAT	1081.68	1081.67	3501180
gmus/belov/ pdtvisns3p00.aig.k10.gcnf	UNSAT	1156.13	1156.1	3501340
gmus/belov/ pdtvisgoodbakery0.aig.k20.gcnf	UNSAT	1212.33	1212.27	3501294
gmus/belov/ pj2003.aig.k20.gcnf	UNSAT	1243.15	1243.13	3501223
gmus/belov/ bj08amba4g5.aig.k20.gcnf	UNSAT	1256.77	1256.78	3501321
gmus/belov/ pdtswvsam6x8p4.aig.k25.gcnf	UNSAT	1350.85	1350.83	3501311
gmus/belov/ pdtvisbakery1.aig.k20.gcnf	UNSAT	1357.18	1357.55	3501222
gmus/belov/ pdtswvrod6x8p2.aig.k25.gcnf	UNSAT	1381.09	1381.06	3501310
gmus/belov/ pdtswvrod6x8p1.aig.k25.gcnf	UNSAT	1508.25	1508.22	3501305
gmus/belov/ pdtvisbakery0.aig.k20.gcnf	UNSAT	1527.63	1527.61	3501351
gmus/belov/ mentorbm1p00.aig.k25.gcnf	UNSAT	1566.93	1566.95	3501273
gmus/belov/ pdtvisgoodbakery1.aig.k20.gcnf	UNSAT	1586.6	1586.56	3501303
gmus/belov/ 4pipe_2_ooo.gcnf	UNSAT	1615.47	1615.45	3501269
gmus/belov/ pdtvisns3p02.aig.k10.gcnf	UNSAT	1634.01	1634.76	3501221
gmus/belov/ pdtvisbakery2.aig.k20.gcnf	UNSAT	1656.31	1656.32	3501350
gmus/belov/ bj08amba5g62.aig.k20.gcnf	UNSAT	1672.52	1672.5	3501334
gmus/belov/ pdtvisgoodbakery2.aig.k20.gcnf	UNSAT	1747.26	1747.2	3501358
gmus/belov/ pdtvisns3p08.aig.k15.gcnf	UNSAT	1750.54	1750.51	3501361

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
gmus/belov/ bj08amba5g62.aig.k25.gcnf	No Cert.	1800.03	1800.01	3501251
gmus/belov/ pj2010.aig.k20.gcnf	No Cert.	1800.04	1800.01	3501238
gmus/belov/ pj2007.aig.k20.gcnf	No Cert.	1800.04	1800.01	3501244
gmus/belov/ kenflashp11.aig.k25.gcnf	No Cert.	1800.04	1800.01	3501257
gmus/belov/ bj08amba4g5.aig.k25.gcnf	No Cert.	1800.05	1800.01	3501336
gmus/belov/ pdtvisgoodbakery2.aig.k25.gcnf	No Cert.	1800.05	1800.02	3501232
gmus/belov/ pj2008.aig.k20.gcnf	No Cert.	1800.05	1800.01	3501250
gmus/belov/ pj2010.aig.k25.gcnf	No Cert.	1800.06	1800.01	3501284
gmus/belov/ pdtvisbakery1.aig.k25.gcnf	No Cert.	1800.09	1800.03	3501327
gmus/belov/ pdtpmsgoodbakery.aig.k20.gcnf	No Cert.	1800.09	1800.08	3501274
gmus/belov/ pj2007.aig.k25.gcnf	No Cert.	1800.09	1800.11	3501344
gmus/belov/ pj2006.aig.k10.gcnf	No Cert.	1800.1	1800.11	3501330
gmus/belov/ nusmvguidancep5.aig.k25.gcnf	No Cert.	1800.1	1800.06	3501319
gmus/belov/ pdtvisns3p01.aig.k10.gcnf	No Cert.	1800.11	1800.13	3501252
gmus/belov/ pdtvisns3p03.aig.k10.gcnf	No Cert.	1800.12	1800.13	3501313
gmus/belov/ pdtvisgoodbakery0.aig.k25.gcnf	No Cert.	1800.14	1800.14	3501267

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

Result page for solver PicoGCNF 941 (complete)

Category "GMUS" (GMUS)

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

Solver answered SATISFIABLE but gave no complete certificate (16 runs) [Show/Hide]