SAT 2011 Competition: group-oriented MUS track: benchmarks results per solver
Result page for solver Haifa-HLMUC-A
2011-04-07
(complete)
Category "GMUS" (GMUS)
Solver proved unsatisfiability (UNSATISFIABLE) (196 runs)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
gmus/nadel/
edn_20403_8.cnf_0.03000000.unsat.gcnf
UNSAT
0.364943
0.365885
3501770
gmus/nadel/
edn_20403_10.cnf_0.03000000.unsat.gcnf
UNSAT
0.435932
0.436112
3501782
gmus/nadel/
edn_20403_12.cnf_0.08000000.unsat.gcnf
UNSAT
0.666897
0.668252
3501787
gmus/nadel/
edn_20403_14.cnf_0.10000000.unsat.gcnf
UNSAT
0.824874
0.844925
3501779
gmus/nadel/
edn_20403_16.cnf_0.29000000.unsat.gcnf
UNSAT
0.982849
0.984602
3501781
gmus/nadel/
edn_9789_2.cnf_0.07000000.unsat.gcnf
UNSAT
1.45778
1.48571
3501801
gmus/nadel/
edn_25208_2.cnf_0.08000000.unsat.gcnf
UNSAT
1.9777
1.98192
3501789
gmus/nadel/
edn_2948_4.cnf_0.07000000.unsat.gcnf
UNSAT
2.08668
2.25059
3501765
gmus/nadel/
edn_25208_6.cnf_0.20000000.unsat.gcnf
UNSAT
2.29265
2.30088
3501807
gmus/nadel/
edn_5371_4.cnf_0.21000000.unsat.gcnf
UNSAT
2.50162
2.50725
3501810
gmus/nadel/
edn_20259_4.cnf_0.21000000.unsat.gcnf
UNSAT
2.51162
2.52703
3501802
gmus/nadel/
edn_22134_4.cnf_0.14000000.unsat.gcnf
UNSAT
2.6006
2.60113
3501766
gmus/nadel/
edn_25208_4.cnf_0.05000000.unsat.gcnf
UNSAT
2.6076
2.627
3501767
gmus/nadel/
edn_2948_6.cnf_0.12000000.unsat.gcnf
UNSAT
2.79557
2.80195
3501773
gmus/nadel/
edn_9789_6.cnf_0.31000000.unsat.gcnf
UNSAT
2.82157
2.83583
3501780
gmus/nadel/
edn_24095_4.cnf_0.11000000.unsat.gcnf
UNSAT
2.87956
2.88055
3501788
gmus/nadel/
edn_20403_23.cnf_14.27000000.unsat.gcnf
UNSAT
3.09953
3.10073
3501772
gmus/nadel/
edn_9789_8.cnf_0.51000000.unsat.gcnf
UNSAT
3.90441
3.90513
3501798
gmus/nadel/
edn_24095_6.cnf_0.17000000.unsat.gcnf
UNSAT
3.90541
3.90571
3501799
gmus/nadel/
edn_25208_8.cnf_0.30000000.unsat.gcnf
UNSAT
4.01439
4.01555
3501775
gmus/nadel/
edn_28491_6.cnf_0.31000000.unsat.gcnf
UNSAT
4.07138
4.08705
3501803
gmus/nadel/
edn_2948_8.cnf_0.25000000.unsat.gcnf
UNSAT
4.39833
4.42914
3501796
gmus/nadel/
edn_22134_6.cnf_0.31000000.unsat.gcnf
UNSAT
4.49132
4.49324
3501808
gmus/nadel/
edn_25208_10.cnf_0.58000000.unsat.gcnf
UNSAT
4.85526
4.87905
3501774
gmus/nadel/
edn_5371_6.cnf_0.30000000.unsat.gcnf
UNSAT
4.92825
4.92937
3501793
gmus/nadel/
edn_20259_6.cnf_0.31000000.unsat.gcnf
UNSAT
4.93925
4.94103
3501785
gmus/nadel/
edn_9789_10.cnf_0.68000000.unsat.gcnf
UNSAT
5.30919
5.31022
3501804
gmus/nadel/
edn_24095_8.cnf_0.21000000.unsat.gcnf
UNSAT
5.33319
5.33566
3501769
gmus/nadel/
edn_5371_8.cnf_0.39000000.unsat.gcnf
UNSAT
5.69513
5.70291
3501805
gmus/nadel/
edn_28491_8.cnf_0.39000000.unsat.gcnf
UNSAT
5.75312
5.78738
3501809
gmus/nadel/
edn_20259_8.cnf_0.39000000.unsat.gcnf
UNSAT
5.78912
5.79039
3501794
gmus/nadel/
edn_9789_12.cnf_0.93000000.unsat.gcnf
UNSAT
5.80512
5.85854
3501762
gmus/nadel/
edn_2948_10.cnf_0.28000000.unsat.gcnf
UNSAT
5.86611
5.88655
3501763
gmus/belov/
pdtvisrethersqo1.aig.k25.gcnf
UNSAT
6.09407
6.11337
3501884
gmus/nadel/
edn_22134_8.cnf_0.38000000.unsat.gcnf
UNSAT
6.12007
6.13376
3501811
gmus/nadel/
edn_28491_10.cnf_0.46000000.unsat.gcnf
UNSAT
7.04693
7.06783
3501768
gmus/nadel/
edn_22134_10.cnf_0.47000000.unsat.gcnf
UNSAT
7.15191
7.15333
3501778
gmus/nadel/
edn_5371_10.cnf_0.46000000.unsat.gcnf
UNSAT
7.32888
7.33578
3501800
gmus/nadel/
edn_24095_10.cnf_0.29000000.unsat.gcnf
UNSAT
7.83681
7.86046
3501797
gmus/nadel/
edn_2948_14.cnf_0.97000000.unsat.gcnf
UNSAT
7.84681
7.85882
3501795
gmus/nadel/
edn_22134_12.cnf_0.50000000.unsat.gcnf
UNSAT
8.09477
8.09703
3501806
gmus/nadel/
edn_20259_10.cnf_0.48000000.unsat.gcnf
UNSAT
8.14976
8.15085
3501791
gmus/nadel/
edn_28491_12.cnf_0.50000000.unsat.gcnf
UNSAT
8.20075
8.20103
3501783
gmus/nadel/
edn_5371_12.cnf_0.50000000.unsat.gcnf
UNSAT
8.96364
8.96349
3501777
gmus/nadel/
edn_20259_12.cnf_0.50000000.unsat.gcnf
UNSAT
9.08762
9.08745
3501776
gmus/nadel/
edn_20259_14.cnf_0.55000000.unsat.gcnf
UNSAT
10.7954
10.8091
3501790
gmus/nadel/
edn_25208_14.cnf_37.38000000.unsat.gcnf
UNSAT
11.0323
11.0777
3501786
gmus/belov/
pdtvisns2p3.aig.k15.gcnf
UNSAT
11.1633
11.1784
3501816
gmus/belov/
pdtvisns3p19.aig.k20.gcnf
UNSAT
12.0492
12.0513
3501883
gmus/
belov/3pipe.gcnf
UNSAT
12.5521
12.5572
3501761
gmus/nadel/
edn_24095_19.cnf_2.12000000.unsat.gcnf
UNSAT
14.5438
14.5921
3501764
gmus/belov/
mentorbm1p02.aig.k20.gcnf
UNSAT
15.1967
15.2004
3501919
gmus/nadel/
edn_24095_17.cnf_4.40000000.unsat.gcnf
UNSAT
15.4117
15.412
3501784
gmus/nadel/
edn_9789_21.cnf_46.05000000.unsat.gcnf
UNSAT
15.4906
15.492
3501792
gmus/belov/
3pipe_1_ooo.gcnf
UNSAT
16.4925
16.5067
3501951
gmus/belov/
3pipe_2_ooo.gcnf
UNSAT
16.6405
16.6645
3501830
gmus/belov/
2dlx_ca_mc_ex_bp_f_new.gcnf
UNSAT
19.3201
19.321
3501920
gmus/belov/
pdtvisns3p16.aig.k25.gcnf
UNSAT
19.3761
19.3799
3501870
gmus/belov/
3pipe_3_ooo.gcnf
UNSAT
19.71
19.7112
3501849
gmus/belov/
pdtvisns3p17.aig.k25.gcnf
UNSAT
20.7458
20.7476
3501873
gmus/belov/
pdtvisns3p18.aig.k25.gcnf
UNSAT
22.3966
22.3977
3501943
gmus/belov/
pdtvisns3p10.aig.k15.gcnf
UNSAT
22.5766
22.6009
3501936
gmus/belov/
pdtvisns3p19.aig.k25.gcnf
UNSAT
24.0913
24.111
3501917
gmus/belov/
mentorbm1p02.aig.k25.gcnf
UNSAT
25.4201
25.4333
3501950
gmus/belov/
2dlx_cc_mc_ex_bp_f_new.gcnf
UNSAT
36.0885
36.1061
3501915
gmus/belov/
pdtpmsgoodbakery.aig.k15.gcnf
UNSAT
39.282
39.3205
3501847
gmus/belov/
pj2003.aig.k20.gcnf
UNSAT
40.1169
40.1394
3501814
gmus/belov/
pdtvisns2p3.aig.k20.gcnf
UNSAT
42.0676
42.0916
3501890
gmus/belov/
pdtvisbakery0.aig.k15.gcnf
UNSAT
42.3616
42.4038
3501897
gmus/belov/
pdtvisvending02.aig.k25.gcnf
UNSAT
42.4775
42.5069
3501836
gmus/belov/
pdtswvibs8x8p1.aig.k25.gcnf
UNSAT
42.8945
42.9402
3501838
gmus/belov/
pdtvisgoodbakery0.aig.k15.gcnf
UNSAT
45.7011
45.7359
3501818
gmus/belov/
pdtviseisenberg2.aig.k15.gcnf
UNSAT
46.3579
46.3913
3501914
gmus/belov/
pdtvisns3p10.aig.k20.gcnf
UNSAT
48.9736
49.0217
3501924
gmus/belov/
pdtpmsgigamax.aig.k15.gcnf
UNSAT
51.5532
51.5533
3501839
gmus/belov/
pdtvisns2p3.aig.k25.gcnf
UNSAT
51.7261
51.726
3501923
gmus/belov/
nusmvguidancep8.aig.k20.gcnf
UNSAT
52.2371
52.2524
3501956
gmus/belov/
pdtvisvending08.aig.k25.gcnf
UNSAT
58.8111
58.837
3501911
gmus/belov/
mentorbm1p00.aig.k20.gcnf
UNSAT
62.0696
62.0862
3501887
gmus/belov/
pdtvisns3p08.aig.k10.gcnf
UNSAT
66.3369
66.3729
3501906
gmus/belov/
pdtviseisenberg0.aig.k15.gcnf
UNSAT
66.4529
66.489
3501867
gmus/belov/
pdtvistimeout3.aig.k20.gcnf
UNSAT
67.2688
67.3443
3501845
gmus/belov/
pdtvistimeout2.aig.k25.gcnf
UNSAT
68.1706
68.1699
3501819
gmus/belov/
pdtvisgigamax4.aig.k20.gcnf
UNSAT
69.3265
69.3244
3501882
gmus/belov/
bjrb07amba5andenv.aig.k10.gcnf
UNSAT
75.2016
75.2404
3501893
gmus/belov/
pdtvisgigamax0.aig.k20.gcnf
UNSAT
75.5515
75.5511
3501827
gmus/belov/
pdtvisgigamax1.aig.k20.gcnf
UNSAT
76.1554
76.1903
3501871
gmus/belov/
pdtvisgigamax2.aig.k20.gcnf
UNSAT
76.2444
76.2459
3501826
gmus/belov/
kenflashp11.aig.k25.gcnf
UNSAT
77.3802
77.4067
3501848
gmus/belov/
pdtvisgigamax3.aig.k20.gcnf
UNSAT
79.045
79.058
3501938
gmus/belov/
pdtvisns3p10.aig.k25.gcnf
UNSAT
83.6383
83.6779
3501913
gmus/belov/
pdtvisgigamax5.aig.k20.gcnf
UNSAT
86.8138
86.8529
3501880
gmus/belov/
pdtswvsam4x8p4.aig.k25.gcnf
UNSAT
88.5885
88.6462
3501944
gmus/belov/
bjrb07amba2andenv.aig.k20.gcnf
UNSAT
89.3354
89.3367
3501872
gmus/belov/
bj08amba4g5.aig.k20.gcnf
UNSAT
90.5782
90.6101
3501912
gmus/belov/
pdtpmsrethersqo.aig.k20.gcnf
UNSAT
93.6738
93.6757
3501815
gmus/belov/
pdtvisns3p09.aig.k10.gcnf
UNSAT
98.542
98.5477
3501907
gmus/belov/
pdtvisns2p0.aig.k15.gcnf
UNSAT
100.986
101.069
3501844
gmus/belov/
pdtswvsam6x8p4.aig.k25.gcnf
UNSAT
101.548
101.589
3501902
gmus/belov/
4pipe_1_ooo.gcnf
UNSAT
103.129
103.16
3501947
gmus/belov/
bjrb07amba4andenv.aig.k10.gcnf
UNSAT
110.794
110.844
3501900
gmus/belov/
pdtswvibs8x8p2.aig.k25.gcnf
UNSAT
111.913
111.948
3501877
gmus/belov/
pdtswvsam6x8p2.aig.k25.gcnf
UNSAT
112.164
112.199
3501939
gmus/belov/
pdtvisgigamax3.aig.k25.gcnf
UNSAT
114.532
114.531
3501820
gmus/belov/
pdtvisgigamax5.aig.k25.gcnf
UNSAT
114.669
114.737
3501932
gmus/belov/
pdtswvibs16x4p2.aig.k25.gcnf
UNSAT
115.921
115.954
3501824
gmus/belov/
mentorbm1p00.aig.k25.gcnf
UNSAT
116.481
116.508
3501864
gmus/belov/
pdtvisns3p05.aig.k10.gcnf
UNSAT
117.24
117.295
3501955
gmus/belov/
nusmvguidancep2.aig.k20.gcnf
UNSAT
117.655
117.653
3501940
gmus/belov/
bj08amba5g62.aig.k20.gcnf
UNSAT
119.681
119.68
3501925
gmus/belov/
pj2006.aig.k10.gcnf
UNSAT
121.377
121.405
3501921
gmus/belov/
pdtvisgigamax1.aig.k25.gcnf
UNSAT
124.023
124.091
3501895
gmus/belov/
pdtpmsgigamax.aig.k20.gcnf
UNSAT
125.226
125.225
3501879
gmus/belov/
pj2010.aig.k20.gcnf
UNSAT
126.125
126.176
3501829
gmus/belov/
pdtvisns3p07.aig.k10.gcnf
UNSAT
128.369
128.368
3501954
gmus/belov/
pdtvisgigamax4.aig.k25.gcnf
UNSAT
131.713
131.772
3501817
gmus/belov/
intel005.aig.k20.gcnf
UNSAT
139.539
139.538
3501934
gmus/belov/
pdtvisgigamax2.aig.k25.gcnf
UNSAT
140.589
140.585
3501886
gmus/belov/
pdtswvsam6x8p1.aig.k25.gcnf
UNSAT
142.767
142.767
3501862
gmus/belov/
pdtvistimeout3.aig.k25.gcnf
UNSAT
145.344
145.341
3501822
gmus/belov/
vis4arbitp1.aig.k25.gcnf
UNSAT
147.172
147.191
3501937
gmus/belov/
pdtvisns3p06.aig.k10.gcnf
UNSAT
153.078
153.134
3501905
gmus/belov/
pdtvisns2p2.aig.k15.gcnf
UNSAT
155.927
155.926
3501856
gmus/belov/
pdtvisgigamax0.aig.k25.gcnf
UNSAT
157.5
157.502
3501853
gmus/belov/
pdtvisns3p04.aig.k10.gcnf
UNSAT
158.11
158.107
3501866
gmus/belov/
4pipe_4_ooo.gcnf
UNSAT
159.856
159.883
3501916
gmus/belov/
pdtswvrod6x8p1.aig.k20.gcnf
UNSAT
160.523
160.522
3501837
gmus/belov/
pdtvistictactoe10.aig.k20.gcnf
UNSAT
165.409
165.409
3501891
gmus/belov/
pj2007.aig.k20.gcnf
UNSAT
168.054
168.095
3501835
gmus/belov/
intel049.aig.k25.gcnf
UNSAT
168.561
168.607
3501855
gmus/belov/
pdtpmseisenberg.aig.k15.gcnf
UNSAT
169.92
169.982
3501834
gmus/belov/
nusmvguidancep5.aig.k20.gcnf
UNSAT
171.495
171.497
3501898
gmus/belov/
pdtswvsam6x8p3.aig.k25.gcnf
UNSAT
178.069
178.121
3501909
gmus/belov/
pdtvisheap00.aig.k20.gcnf
UNSAT
179.671
179.71
3501878
gmus/belov/
pdtvisgoodbakery1.aig.k20.gcnf
UNSAT
185.113
185.165
3501894
gmus/belov/
pdtpmsvsa16a.aig.k10.gcnf
UNSAT
185.776
185.793
3501903
gmus/belov/
bj08amba4g5.aig.k25.gcnf
UNSAT
193.809
193.841
3501927
gmus/belov/
4pipe_3_ooo.gcnf
UNSAT
199.567
199.586
3501825
gmus/belov/
nusmvguidancep7.aig.k20.gcnf
UNSAT
202.208
202.283
3501850
gmus/belov/
pj2010.aig.k25.gcnf
UNSAT
207.792
207.807
3501875
gmus/belov/
pdtvisbakery1.aig.k20.gcnf
UNSAT
213.768
213.806
3501813
gmus/belov/
pdtvispeterson.aig.k25.gcnf
UNSAT
217.259
217.342
3501840
gmus/belov/
viscoherencep3.aig.k15.gcnf
UNSAT
224.987
224.982
3501869
gmus/belov/
pdtvissoap2.aig.k15.gcnf
UNSAT
226.704
226.698
3501908
gmus/belov/
pdtviscoherence4.aig.k15.gcnf
UNSAT
230.091
230.087
3501926
gmus/belov/
pdtvisvending01.aig.k15.gcnf
UNSAT
233.246
233.251
3501821
gmus/belov/
pdtvisgoodbakery2.aig.k20.gcnf
UNSAT
241.544
241.54
3501949
gmus/belov/
pdtviscoherence5.aig.k15.gcnf
UNSAT
242.273
242.341
3501953
gmus/belov/
bj08amba5g62.aig.k25.gcnf
UNSAT
250.26
250.297
3501842
gmus/belov/
pdtvisbakery2.aig.k20.gcnf
UNSAT
258.793
258.869
3501941
gmus/belov/
pdtvisbakery0.aig.k20.gcnf
UNSAT
259.576
259.57
3501942
gmus/belov/
bjrb07amba2andenv.aig.k25.gcnf
UNSAT
260.896
260.932
3501933
gmus/belov/
pdtswvsam4x8p2.aig.k25.gcnf
UNSAT
269.064
269.153
3501828
gmus/belov/
pdtviscoherence3.aig.k15.gcnf
UNSAT
269.487
269.541
3501892
gmus/belov/
pdtvisns3p03.aig.k10.gcnf
UNSAT
275.159
275.221
3501904
gmus/belov/
pdtvistimeout0.aig.k10.gcnf
UNSAT
285.361
285.368
3501930
gmus/belov/
pdtvisns2p1.aig.k15.gcnf
UNSAT
286.692
286.696
3501945
gmus/belov/
pdtvisns3p00.aig.k10.gcnf
UNSAT
297.666
297.659
3501931
gmus/belov/
pdtpmsheap.aig.k15.gcnf
UNSAT
302.279
302.331
3501876
gmus/belov/
pj2008.aig.k20.gcnf
UNSAT
311.989
312.047
3501841
gmus/belov/
pdtvisns3p01.aig.k10.gcnf
UNSAT
316.719
316.736
3501843
gmus/belov/
pdtvisgoodbakery0.aig.k20.gcnf
UNSAT
327.144
327.151
3501885
gmus/belov/
pdtpmsgigamax.aig.k25.gcnf
UNSAT
327.661
327.665
3501957
gmus/belov/
nusmvguidancep2.aig.k25.gcnf
UNSAT
330.796
330.8
3501922
gmus/belov/
pdtvisns3p02.aig.k10.gcnf
UNSAT
340.498
340.554
3501812
gmus/belov/
pj2007.aig.k25.gcnf
UNSAT
356.674
356.775
3501935
gmus/belov/
4pipe_2_ooo.gcnf
UNSAT
360.173
360.203
3501860
gmus/belov/
pdtvisvending05.aig.k25.gcnf
UNSAT
371.827
371.818
3501854
gmus/belov/
pdtswvtms12x8p1.aig.k20.gcnf
UNSAT
381.224
381.216
3501863
gmus/belov/
pdtviseisenberg1.aig.k20.gcnf
UNSAT
407.932
408.016
3501857
gmus/belov/
pdtvisns3p09.aig.k15.gcnf
UNSAT
452.344
452.394
3501946
gmus/belov/
pdtviseisenberg2.aig.k20.gcnf
UNSAT
460.253
460.24
3501888
gmus/belov/
pdtswvtms10x8p1.aig.k20.gcnf
UNSAT
470.032
470.097
3501928
gmus/belov/
pdtvisns3p08.aig.k15.gcnf
UNSAT
475.228
475.219
3501952
gmus/belov/
nusmvguidancep8.aig.k25.gcnf
UNSAT
478.065
478.047
3501851
gmus/belov/
pdtvisvending07.aig.k25.gcnf
UNSAT
498.032
498.063
3501861
gmus/belov/
nusmvguidancep6.aig.k25.gcnf
UNSAT
521.993
522.002
3501948
gmus/belov/
pdtvisvending00.aig.k20.gcnf
UNSAT
555.87
555.917
3501833
gmus/belov/
pdtpmsgoodbakery.aig.k20.gcnf
UNSAT
660.45
660.502
3501865
gmus/belov/
pdtviseisenberg0.aig.k20.gcnf
UNSAT
675.152
675.203
3501874
gmus/belov/
pdtvistictactoe10.aig.k25.gcnf
UNSAT
676.318
676.36
3501859
gmus/belov/
pdtpmsvsar.aig.k15.gcnf
UNSAT
695.026
695.011
3501852
gmus/belov/
viscoherencep2.aig.k20.gcnf
UNSAT
699.814
699.826
3501846
gmus/belov/
pdtswvrod6x8p2.aig.k25.gcnf
UNSAT
738.109
738.154
3501901
gmus/belov/
viscoherencep3.aig.k20.gcnf
UNSAT
754.228
754.257
3501889
gmus/belov/
pdtvisgoodbakery2.aig.k25.gcnf
UNSAT
807.7
807.785
3501823
gmus/belov/
bj08amba2g3f3.aig.k20.gcnf
UNSAT
823.594
823.576
3501831
gmus/belov/
nusmvguidancep7.aig.k25.gcnf
UNSAT
929.885
929.913
3501881
gmus/belov/
pdtswvtms14x8p1.aig.k20.gcnf
UNSAT
944.675
944.725
3501899
gmus/belov/
pdtvisvsa16a29.aig.k25.gcnf
UNSAT
973.067
973.108
3501929
gmus/belov/
pdtswvrod6x8p1.aig.k25.gcnf
UNSAT
1090.07
1090.12
3501896
gmus/belov/
pdtvisbakery1.aig.k25.gcnf
UNSAT
1131.27
1131.24
3501918
gmus/belov/
pdtvisgoodbakery0.aig.k25.gcnf
UNSAT
1136.22
1136.3
3501858
gmus/belov/
nusmvguidancep5.aig.k25.gcnf
UNSAT
1235.45
1235.46
3501910
gmus/belov/
pdtswvtms14x8p1.aig.k25.gcnf
UNSAT
1442.1
1442.17
3501868
gmus/belov/
pdtvisns2p0.aig.k20.gcnf
UNSAT
1448.05
1448.09
3501832
Solver timed out (no solution given) (1 run)
[Show/Hide]
Benchmark Name
Answer
CPU time
Wall clock time
TraceID
gmus/
belov/4pipe.gcnf
? (TO)
1800.04
1800.02
3501771