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.104983	0.374249	3501376
gmus/nadel/ edn_20403_10.cnf_0.03000000.unsat.gcnf	UNSAT	0.175973	0.773456	3501388
gmus/nadel/ edn_20403_12.cnf_0.08000000.unsat.gcnf	UNSAT	0.641902	0.894317	3501393
gmus/nadel/ edn_9789_2.cnf_0.07000000.unsat.gcnf	UNSAT	0.717889	1.75257	3501407
gmus/nadel/ edn_20403_14.cnf_0.10000000.unsat.gcnf	UNSAT	0.831873	1.44994	3501385
gmus/nadel/ edn_20403_16.cnf_0.29000000.unsat.gcnf	UNSAT	0.860868	1.67423	3501387
gmus/nadel/ edn_25208_4.cnf_0.05000000.unsat.gcnf	UNSAT	1.54776	2.5181	3501373
gmus/nadel/ edn_2948_4.cnf_0.07000000.unsat.gcnf	UNSAT	1.70174	2.8346	3501371
gmus/nadel/ edn_20259_4.cnf_0.21000000.unsat.gcnf	UNSAT	2.39364	3.09761	3501408
gmus/nadel/ edn_22134_4.cnf_0.14000000.unsat.gcnf	UNSAT	3.01854	3.64363	3501372
gmus/nadel/ edn_5371_4.cnf_0.21000000.unsat.gcnf	UNSAT	3.09053	3.32075	3501416
gmus/nadel/ edn_9789_12.cnf_0.93000000.unsat.gcnf	UNSAT	3.74543	3.88192	3501368
gmus/belov/ mentorbm1p02.aig.k20.gcnf	UNSAT	3.84741	3.84853	3501525
gmus/nadel/ edn_2948_6.cnf_0.12000000.unsat.gcnf	UNSAT	4.19336	4.87198	3501379
gmus/nadel/ edn_24095_4.cnf_0.11000000.unsat.gcnf	UNSAT	4.35434	5.0381	3501394
gmus/belov/ pdtvisrethersqo1.aig.k25.gcnf	UNSAT	4.6223	4.62424	3501490
gmus/nadel/ edn_25208_6.cnf_0.20000000.unsat.gcnf	UNSAT	5.02223	5.21971	3501413
gmus/nadel/ edn_25208_2.cnf_0.08000000.unsat.gcnf	UNSAT	5.76012	9.30512	3501395
gmus/nadel/ edn_9789_10.cnf_0.68000000.unsat.gcnf	UNSAT	6.30804	6.32296	3501410
gmus/nadel/ edn_9789_8.cnf_0.51000000.unsat.gcnf	UNSAT	6.83196	7.01613	3501404
gmus/belov/ pdtvisns3p19.aig.k20.gcnf	UNSAT	6.84996	6.85122	3501489
gmus/nadel/ edn_22134_6.cnf_0.31000000.unsat.gcnf	UNSAT	7.2379	7.4254	3501414
gmus/nadel/ edn_25208_10.cnf_0.58000000.unsat.gcnf	UNSAT	7.36688	7.51536	3501380
gmus/nadel/ edn_20259_6.cnf_0.31000000.unsat.gcnf	UNSAT	7.60284	7.64541	3501391
gmus/nadel/ edn_28491_6.cnf_0.31000000.unsat.gcnf	UNSAT	7.94179	8.66599	3501409
gmus/nadel/ edn_24095_6.cnf_0.17000000.unsat.gcnf	UNSAT	7.97479	8.50893	3501405
gmus/nadel/ edn_5371_6.cnf_0.30000000.unsat.gcnf	UNSAT	8.15376	8.32083	3501399
gmus/belov/ pj2003.aig.k20.gcnf	UNSAT	9.01463	9.04947	3501420
gmus/belov/ pdtvisns3p16.aig.k25.gcnf	UNSAT	9.16561	9.16755	3501476
gmus/nadel/ edn_2948_8.cnf_0.25000000.unsat.gcnf	UNSAT	9.2006	9.3701	3501402
gmus/nadel/ edn_25208_8.cnf_0.30000000.unsat.gcnf	UNSAT	9.49555	9.71384	3501381
gmus/belov/ pdtvisns3p17.aig.k25.gcnf	UNSAT	10.2884	10.2891	3501479
gmus/nadel/ edn_9789_6.cnf_0.31000000.unsat.gcnf	UNSAT	10.8613	11.3342	3501386
gmus/belov/ pdtvisns3p18.aig.k25.gcnf	UNSAT	10.9653	10.9683	3501549
gmus/nadel/ edn_24095_8.cnf_0.21000000.unsat.gcnf	UNSAT	12.0352	12.6161	3501375
gmus/nadel/ edn_28491_8.cnf_0.39000000.unsat.gcnf	UNSAT	13.8019	13.8218	3501415
gmus/nadel/ edn_20259_8.cnf_0.39000000.unsat.gcnf	UNSAT	13.9789	14.5675	3501400
gmus/belov/ 3pipe_1_ooo.gcnf	UNSAT	14.2418	14.2417	3501557
gmus/nadel/ edn_22134_8.cnf_0.38000000.unsat.gcnf	UNSAT	14.6448	14.6786	3501417
gmus/nadel/ edn_2948_14.cnf_0.97000000.unsat.gcnf	UNSAT	14.7308	14.7434	3501401
gmus/belov/ pdtvisns3p19.aig.k25.gcnf	UNSAT	15.1227	15.1247	3501523
gmus/belov/ pdtvisns2p3.aig.k15.gcnf	UNSAT	15.3977	16.8445	3501422
gmus/nadel/ edn_5371_8.cnf_0.39000000.unsat.gcnf	UNSAT	16.4145	16.6559	3501411
gmus/nadel/ edn_2948_10.cnf_0.28000000.unsat.gcnf	UNSAT	16.7075	17.1819	3501369
gmus/nadel/ edn_22134_10.cnf_0.47000000.unsat.gcnf	UNSAT	17.1774	17.2097	3501384
gmus/nadel/ edn_20403_23.cnf_14.27000000.unsat.gcnf	UNSAT	17.5183	19.4565	3501378
gmus/nadel/ edn_28491_10.cnf_0.46000000.unsat.gcnf	UNSAT	18.2292	18.2555	3501374
gmus/belov/ pdtvisbakery0.aig.k15.gcnf	UNSAT	18.2432	18.2447	3501503
gmus/belov/ mentorbm1p02.aig.k25.gcnf	UNSAT	18.3832	18.3832	3501556
gmus/belov/ mentorbm1p00.aig.k20.gcnf	UNSAT	19.978	19.9784	3501493
gmus/nadel/ edn_24095_10.cnf_0.29000000.unsat.gcnf	UNSAT	21.4137	21.4474	3501403
gmus/belov/ pdtvisgoodbakery0.aig.k15.gcnf	UNSAT	23.4064	23.6789	3501424
gmus/belov/ 3pipe_2_ooo.gcnf	UNSAT	23.6744	23.698	3501436
gmus/nadel/ edn_28491_12.cnf_0.50000000.unsat.gcnf	UNSAT	23.7934	24.2	3501389
gmus/nadel/ edn_5371_10.cnf_0.46000000.unsat.gcnf	UNSAT	23.8874	23.8962	3501406
gmus/nadel/ edn_22134_12.cnf_0.50000000.unsat.gcnf	UNSAT	24.6952	24.695	3501412
gmus/belov/ pdtvisns3p10.aig.k15.gcnf	UNSAT	25.0242	25.0255	3501542
gmus/belov/ kenflashp11.aig.k25.gcnf	UNSAT	25.5101	25.5117	3501454
gmus/nadel/ edn_5371_12.cnf_0.50000000.unsat.gcnf	UNSAT	25.5201	25.5285	3501383
gmus/nadel/ edn_20259_10.cnf_0.48000000.unsat.gcnf	UNSAT	26.412	26.4821	3501397
gmus/belov/ pdtswvibs16x4p2.aig.k25.gcnf	UNSAT	26.9039	26.9311	3501430
gmus/nadel/ edn_20259_12.cnf_0.50000000.unsat.gcnf	UNSAT	27.7678	27.7757	3501382
gmus/belov/ 2dlx_ca_mc_ex_bp_f_new.gcnf	UNSAT	30.3774	30.3771	3501526
gmus/belov/ pdtviseisenberg0.aig.k15.gcnf	UNSAT	34.5058	34.5046	3501473
gmus/belov/ pdtvisns3p10.aig.k20.gcnf	UNSAT	34.7217	34.7215	3501530
gmus/nadel/ edn_24095_19.cnf_2.12000000.unsat.gcnf	UNSAT	36.6124	36.6266	3501370
gmus/belov/ pdtswvibs8x8p2.aig.k25.gcnf	UNSAT	36.7874	36.7896	3501483
gmus/ belov/3pipe.gcnf	UNSAT	36.9794	36.9791	3501367
gmus/nadel/ edn_20259_14.cnf_0.55000000.unsat.gcnf	UNSAT	37.0644	37.0779	3501396
gmus/belov/ bj08amba4g5.aig.k20.gcnf	UNSAT	41.1217	41.1225	3501518
gmus/belov/ mentorbm1p00.aig.k25.gcnf	UNSAT	42.3966	42.396	3501470
gmus/belov/ 3pipe_3_ooo.gcnf	UNSAT	43.7314	43.7302	3501455
gmus/belov/ pdtpmsgoodbakery.aig.k15.gcnf	UNSAT	44.7972	44.7964	3501453
gmus/belov/ bj08amba5g62.aig.k20.gcnf	UNSAT	44.9372	44.9359	3501531
gmus/belov/ pdtvisns2p3.aig.k20.gcnf	UNSAT	46.35	46.3511	3501496
gmus/nadel/ edn_25208_14.cnf_37.38000000.unsat.gcnf	UNSAT	52.9629	52.9789	3501392
gmus/nadel/ edn_9789_21.cnf_46.05000000.unsat.gcnf	UNSAT	54.5187	54.52	3501398
gmus/belov/ bj08amba4g5.aig.k25.gcnf	UNSAT	58.0562	58.0581	3501533
gmus/belov/ pdtvistimeout2.aig.k25.gcnf	UNSAT	59.057	59.3341	3501425
gmus/belov/ pdtvisns2p3.aig.k25.gcnf	UNSAT	59.152	59.1516	3501529
gmus/belov/ pdtvisns3p10.aig.k25.gcnf	UNSAT	61.2867	61.2864	3501519
gmus/belov/ pdtvisvsa16a29.aig.k25.gcnf	UNSAT	62.4775	62.477	3501535
gmus/belov/ pj2006.aig.k10.gcnf	UNSAT	63.3444	63.3442	3501527
gmus/belov/ pj2010.aig.k20.gcnf	UNSAT	64.7232	64.7413	3501435
gmus/belov/ 2dlx_cc_mc_ex_bp_f_new.gcnf	UNSAT	67.5827	67.5846	3501521
gmus/belov/ pdtviseisenberg2.aig.k15.gcnf	UNSAT	75.7475	75.7466	3501520
gmus/belov/ pdtswvsam4x8p4.aig.k25.gcnf	UNSAT	81.5436	81.5416	3501550
gmus/belov/ pdtswvsam6x8p4.aig.k25.gcnf	UNSAT	85.1611	85.1599	3501508
gmus/nadel/ edn_24095_17.cnf_4.40000000.unsat.gcnf	UNSAT	88.6065	88.6198	3501390
gmus/belov/ bj08amba5g62.aig.k25.gcnf	UNSAT	90.2033	90.1998	3501448
gmus/belov/ pdtswvsam6x8p1.aig.k25.gcnf	UNSAT	90.2363	90.2365	3501468
gmus/belov/ pdtvisgigamax2.aig.k20.gcnf	UNSAT	93.9497	94.2577	3501432
gmus/belov/ nusmvguidancep8.aig.k20.gcnf	UNSAT	95.1995	95.1965	3501562
gmus/belov/ pdtvisgigamax1.aig.k20.gcnf	UNSAT	95.8924	95.8886	3501477
gmus/belov/ pdtvisgigamax0.aig.k20.gcnf	UNSAT	98.556	98.5765	3501433
gmus/belov/ pj2010.aig.k25.gcnf	UNSAT	99.4699	99.4705	3501481
gmus/belov/ pj2007.aig.k20.gcnf	UNSAT	102.101	102.113	3501441
gmus/belov/ pdtvisvending02.aig.k25.gcnf	UNSAT	106.157	106.198	3501442
gmus/belov/ pdtvisvending08.aig.k25.gcnf	UNSAT	107.039	107.036	3501517
gmus/belov/ pdtvisns2p0.aig.k15.gcnf	UNSAT	108.052	108.051	3501450
gmus/belov/ pdtswvsam6x8p2.aig.k25.gcnf	UNSAT	110.752	110.749	3501545
gmus/belov/ pdtvisgigamax4.aig.k20.gcnf	UNSAT	126.178	126.177	3501488
gmus/belov/ pdtvisgigamax3.aig.k20.gcnf	UNSAT	126.852	126.849	3501544
gmus/belov/ pdtswvibs8x8p1.aig.k25.gcnf	UNSAT	127.489	127.489	3501444
gmus/belov/ pdtswvrod6x8p1.aig.k20.gcnf	UNSAT	134.048	134.054	3501443
gmus/belov/ pdtpmsgigamax.aig.k15.gcnf	UNSAT	141.612	141.609	3501445
gmus/belov/ pdtvisgigamax5.aig.k20.gcnf	UNSAT	144.778	144.779	3501486
gmus/belov/ pj2008.aig.k20.gcnf	UNSAT	145.714	145.713	3501447
gmus/belov/ pdtvisns3p09.aig.k10.gcnf	UNSAT	149.066	149.063	3501513
gmus/belov/ pdtviseisenberg2.aig.k20.gcnf	UNSAT	150.364	150.36	3501494
gmus/belov/ pdtswvsam4x8p2.aig.k25.gcnf	UNSAT	161.662	161.684	3501434
gmus/belov/ pdtvistimeout3.aig.k20.gcnf	UNSAT	161.826	161.849	3501451
gmus/belov/ pdtvisgoodbakery1.aig.k20.gcnf	UNSAT	168.235	168.231	3501500
gmus/belov/ pdtswvtms10x8p1.aig.k20.gcnf	UNSAT	177.831	177.828	3501534
gmus/belov/ pdtswvtms14x8p1.aig.k20.gcnf	UNSAT	181.645	181.642	3501505
gmus/belov/ bjrb07amba2andenv.aig.k20.gcnf	UNSAT	184.091	184.089	3501478
gmus/belov/ pdtswvsam6x8p3.aig.k25.gcnf	UNSAT	190.231	190.225	3501515
gmus/belov/ pdtvisgigamax4.aig.k25.gcnf	UNSAT	194.513	194.84	3501423
gmus/belov/ pdtvisbakery1.aig.k20.gcnf	UNSAT	194.633	196.147	3501419
gmus/belov/ pdtvispeterson.aig.k25.gcnf	UNSAT	197.24	197.236	3501446
gmus/belov/ pdtvisgigamax5.aig.k25.gcnf	UNSAT	203.681	203.674	3501538
gmus/belov/ pdtvisns3p07.aig.k10.gcnf	UNSAT	209.908	209.901	3501560
gmus/belov/ nusmvguidancep2.aig.k20.gcnf	UNSAT	212.981	212.981	3501546
gmus/belov/ pdtviseisenberg1.aig.k20.gcnf	UNSAT	213.08	213.077	3501463
gmus/belov/ pdtvisbakery0.aig.k20.gcnf	UNSAT	213.691	213.696	3501548
gmus/belov/ pdtpmsvsa16a.aig.k10.gcnf	UNSAT	217.666	217.662	3501509
gmus/belov/ pdtswvtms12x8p1.aig.k20.gcnf	UNSAT	219.496	219.503	3501469
gmus/belov/ 4pipe_1_ooo.gcnf	UNSAT	220.077	220.073	3501553
gmus/belov/ pdtvisgoodbakery2.aig.k20.gcnf	UNSAT	222.061	222.068	3501555
gmus/belov/ pj2007.aig.k25.gcnf	UNSAT	238.419	238.419	3501541
gmus/belov/ pdtvisns3p08.aig.k10.gcnf	UNSAT	241.982	241.977	3501512
gmus/belov/ pdtvisgoodbakery0.aig.k20.gcnf	UNSAT	242.695	242.693	3501491
gmus/belov/ pdtvisbakery2.aig.k20.gcnf	UNSAT	244.663	244.658	3501547
gmus/belov/ pdtvisgigamax1.aig.k25.gcnf	UNSAT	253.274	253.266	3501501
gmus/belov/ 4pipe_3_ooo.gcnf	UNSAT	255.007	255.026	3501431
gmus/belov/ pdtvisgigamax0.aig.k25.gcnf	UNSAT	261.733	261.726	3501459
gmus/belov/ viscoherencep3.aig.k15.gcnf	UNSAT	264.804	264.808	3501475
gmus/belov/ pdtvisgigamax3.aig.k25.gcnf	UNSAT	308.267	308.279	3501426
gmus/belov/ pdtvisgigamax2.aig.k25.gcnf	UNSAT	311.484	311.477	3501492
gmus/belov/ pdtvistictactoe10.aig.k20.gcnf	UNSAT	328.22	328.213	3501497
gmus/belov/ pdtviseisenberg0.aig.k20.gcnf	UNSAT	330.296	330.294	3501480
gmus/belov/ bjrb07amba2andenv.aig.k25.gcnf	UNSAT	343.815	343.805	3501539
gmus/belov/ pdtvisns3p05.aig.k10.gcnf	UNSAT	345.308	345.317	3501561
gmus/belov/ 4pipe_4_ooo.gcnf	UNSAT	376.704	376.708	3501522
gmus/belov/ 4pipe_2_ooo.gcnf	UNSAT	389.064	389.064	3501466
gmus/belov/ pdtvistimeout3.aig.k25.gcnf	UNSAT	393.12	394.495	3501428
gmus/belov/ pdtvisns2p0.aig.k20.gcnf	UNSAT	397.842	397.837	3501438
gmus/belov/ pdtpmsgigamax.aig.k20.gcnf	UNSAT	406.879	406.874	3501485
gmus/belov/ pdtvisns3p04.aig.k10.gcnf	UNSAT	431.632	431.628	3501472
gmus/belov/ pdtviscoherence3.aig.k15.gcnf	UNSAT	431.849	431.854	3501498
gmus/belov/ pdtvisns2p2.aig.k15.gcnf	UNSAT	434.315	434.3	3501462
gmus/belov/ pdtvisns2p1.aig.k15.gcnf	UNSAT	434.641	434.632	3501551
gmus/belov/ bjrb07amba5andenv.aig.k10.gcnf	UNSAT	475.537	475.529	3501499
gmus/belov/ pdtswvrod6x8p2.aig.k25.gcnf	UNSAT	478.608	478.597	3501507
gmus/belov/ pdtviscoherence5.aig.k15.gcnf	UNSAT	482.879	482.861	3501559
gmus/belov/ pdtvisvending07.aig.k25.gcnf	UNSAT	508.727	508.711	3501467
gmus/belov/ pdtpmseisenberg.aig.k15.gcnf	UNSAT	519.125	519.14	3501440
gmus/belov/ pdtvisns3p06.aig.k10.gcnf	UNSAT	523.557	523.54	3501511
gmus/belov/ pdtvistictactoe10.aig.k25.gcnf	UNSAT	523.996	523.979	3501465
gmus/belov/ nusmvguidancep5.aig.k20.gcnf	UNSAT	550.881	550.868	3501504
gmus/belov/ vis4arbitp1.aig.k25.gcnf	UNSAT	564.463	564.45	3501543
gmus/belov/ nusmvguidancep7.aig.k20.gcnf	UNSAT	564.541	564.539	3501456
gmus/belov/ pdtpmsgigamax.aig.k25.gcnf	UNSAT	565.388	565.375	3501563
gmus/belov/ pdtpmsrethersqo.aig.k20.gcnf	UNSAT	567.157	567.488	3501421
gmus/belov/ pdtvisvending05.aig.k25.gcnf	UNSAT	596.331	596.32	3501460
gmus/belov/ pdtvisns3p00.aig.k10.gcnf	UNSAT	602.75	602.735	3501537
gmus/belov/ pdtvissoap2.aig.k15.gcnf	UNSAT	625.821	625.814	3501514
gmus/belov/ pdtpmsheap.aig.k15.gcnf	UNSAT	638.18	638.156	3501482
gmus/belov/ pdtviscoherence4.aig.k15.gcnf	UNSAT	663.569	663.553	3501532
gmus/belov/ bjrb07amba4andenv.aig.k10.gcnf	UNSAT	684.283	684.297	3501506
gmus/belov/ pdtpmsvsar.aig.k15.gcnf	UNSAT	694.044	694.032	3501458
gmus/belov/ nusmvguidancep6.aig.k25.gcnf	UNSAT	703.79	703.778	3501554
gmus/belov/ pdtvisvending00.aig.k20.gcnf	UNSAT	744.344	744.328	3501439
gmus/belov/ nusmvguidancep8.aig.k25.gcnf	UNSAT	851.814	851.837	3501457
gmus/belov/ pdtvisheap00.aig.k20.gcnf	UNSAT	856.608	856.585	3501484
gmus/belov/ pdtswvtms14x8p1.aig.k25.gcnf	UNSAT	959.882	959.891	3501474
gmus/belov/ pdtvisns3p01.aig.k10.gcnf	UNSAT	964.68	964.671	3501449
gmus/belov/ pdtvisns3p09.aig.k15.gcnf	UNSAT	1028.97	1028.97	3501552
gmus/belov/ pdtvisns3p02.aig.k10.gcnf	UNSAT	1041.13	1042.69	3501418
gmus/ belov/4pipe.gcnf	UNSAT	1042.3	1042.27	3501377
gmus/belov/ pdtvisns3p03.aig.k10.gcnf	UNSAT	1059.5	1059.47	3501510
gmus/belov/ pdtswvrod6x8p1.aig.k25.gcnf	UNSAT	1125.44	1125.43	3501502
gmus/belov/ nusmvguidancep2.aig.k25.gcnf	UNSAT	1133.03	1133	3501528
gmus/belov/ intel005.aig.k20.gcnf	UNSAT	1332.81	1332.78	3501540
gmus/belov/ pdtvisvending01.aig.k15.gcnf	UNSAT	1375.15	1375.15	3501427
gmus/belov/ pdtvistimeout0.aig.k10.gcnf	UNSAT	1379	1378.95	3501536
gmus/belov/ viscoherencep2.aig.k20.gcnf	UNSAT	1409.27	1409.23	3501452
gmus/belov/ bj08amba2g3f3.aig.k20.gcnf	UNSAT	1443.74	1443.72	3501437
gmus/belov/ pdtvisgoodbakery0.aig.k25.gcnf	UNSAT	1476.47	1476.43	3501464
gmus/belov/ pdtvisbakery1.aig.k25.gcnf	UNSAT	1641.69	1641.65	3501524
gmus/belov/ nusmvguidancep7.aig.k25.gcnf	UNSAT	1668.8	1668.73	3501487
gmus/belov/ pdtvisgoodbakery2.aig.k25.gcnf	UNSAT	1714.15	1714.2	3501429
gmus/belov/ intel049.aig.k25.gcnf	UNSAT	1730.79	1730.73	3501461
gmus/belov/ pdtpmsgoodbakery.aig.k20.gcnf	UNSAT	1797.32	1797.26	3501471

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
gmus/belov/ nusmvguidancep5.aig.k25.gcnf	No Cert.	1800.03	1800.04	3501516
gmus/belov/ viscoherencep3.aig.k20.gcnf	No Cert.	1800.1	1800.04	3501495
gmus/belov/ pdtvisns3p08.aig.k15.gcnf	No Cert.	1800.12	1800.06	3501558

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

Result page for solver MoUsSaka 2011-03-26 (complete)

Category "GMUS" (GMUS)

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

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