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.338948
0.338995
3501967
gmus/nadel/
edn_20403_10.cnf_0.03000000.unsat.gcnf
UNSAT
0.442932
0.44393
3501979
gmus/nadel/
edn_20403_12.cnf_0.08000000.unsat.gcnf
UNSAT
0.684894
0.68609
3501984
gmus/nadel/
edn_20403_14.cnf_0.10000000.unsat.gcnf
UNSAT
0.752884
0.757876
3501976
gmus/nadel/
edn_20403_16.cnf_0.29000000.unsat.gcnf
UNSAT
0.935857
0.937755
3501978
gmus/nadel/
edn_9789_2.cnf_0.07000000.unsat.gcnf
UNSAT
1.41478
1.41549
3501998
gmus/nadel/
edn_25208_2.cnf_0.08000000.unsat.gcnf
UNSAT
1.9527
1.95373
3501986
gmus/nadel/
edn_2948_4.cnf_0.07000000.unsat.gcnf
UNSAT
2.07568
2.13918
3501962
gmus/nadel/
edn_25208_6.cnf_0.20000000.unsat.gcnf
UNSAT
2.28665
2.30255
3502004
gmus/nadel/
edn_25208_4.cnf_0.05000000.unsat.gcnf
UNSAT
2.37564
2.40011
3501964
gmus/nadel/
edn_22134_4.cnf_0.14000000.unsat.gcnf
UNSAT
2.53961
2.5387
3501963
gmus/nadel/
edn_9789_6.cnf_0.31000000.unsat.gcnf
UNSAT
2.57461
2.57571
3501977
gmus/belov/
pdtvisrethersqo1.aig.k25.gcnf
UNSAT
2.65559
2.67264
3502081
gmus/nadel/
edn_20403_23.cnf_14.27000000.unsat.gcnf
UNSAT
2.70159
2.71385
3501969
gmus/nadel/
edn_20259_4.cnf_0.21000000.unsat.gcnf
UNSAT
2.73258
2.7343
3501999
gmus/nadel/
edn_5371_4.cnf_0.21000000.unsat.gcnf
UNSAT
2.76758
2.76744
3502007
gmus/nadel/
edn_24095_4.cnf_0.11000000.unsat.gcnf
UNSAT
2.79257
2.79775
3501985
gmus/nadel/
edn_2948_6.cnf_0.12000000.unsat.gcnf
UNSAT
3.05853
3.08361
3501970
gmus/nadel/
edn_25208_8.cnf_0.30000000.unsat.gcnf
UNSAT
3.66744
3.68246
3501972
gmus/nadel/
edn_24095_6.cnf_0.17000000.unsat.gcnf
UNSAT
3.9154
3.9269
3501996
gmus/nadel/
edn_28491_6.cnf_0.31000000.unsat.gcnf
UNSAT
4.05438
4.05944
3502000
gmus/nadel/
edn_22134_6.cnf_0.31000000.unsat.gcnf
UNSAT
4.19636
4.1971
3502005
gmus/nadel/
edn_9789_8.cnf_0.51000000.unsat.gcnf
UNSAT
4.25835
4.26053
3501995
gmus/nadel/
edn_2948_8.cnf_0.25000000.unsat.gcnf
UNSAT
4.72028
4.7217
3501993
gmus/nadel/
edn_25208_10.cnf_0.58000000.unsat.gcnf
UNSAT
4.84726
4.86068
3501971
gmus/nadel/
edn_9789_10.cnf_0.68000000.unsat.gcnf
UNSAT
4.87126
4.8712
3502001
gmus/nadel/
edn_20259_6.cnf_0.31000000.unsat.gcnf
UNSAT
4.91125
4.91159
3501982
gmus/nadel/
edn_20259_8.cnf_0.39000000.unsat.gcnf
UNSAT
5.2762
5.27724
3501991
gmus/nadel/
edn_5371_6.cnf_0.30000000.unsat.gcnf
UNSAT
5.39518
5.39712
3501990
gmus/nadel/
edn_22134_8.cnf_0.38000000.unsat.gcnf
UNSAT
5.63914
5.63919
3502008
gmus/nadel/
edn_24095_8.cnf_0.21000000.unsat.gcnf
UNSAT
5.72213
5.72197
3501966
gmus/nadel/
edn_28491_8.cnf_0.39000000.unsat.gcnf
UNSAT
5.74513
5.74572
3502006
gmus/nadel/
edn_9789_12.cnf_0.93000000.unsat.gcnf
UNSAT
5.9311
5.95716
3501959
gmus/nadel/
edn_5371_8.cnf_0.39000000.unsat.gcnf
UNSAT
6.20006
6.20086
3502002
gmus/nadel/
edn_2948_10.cnf_0.28000000.unsat.gcnf
UNSAT
6.45702
6.51064
3501960
gmus/nadel/
edn_28491_10.cnf_0.46000000.unsat.gcnf
UNSAT
7.02793
7.0548
3501965
gmus/nadel/
edn_22134_10.cnf_0.47000000.unsat.gcnf
UNSAT
7.1929
7.19382
3501975
gmus/nadel/
edn_24095_10.cnf_0.29000000.unsat.gcnf
UNSAT
7.2439
7.24339
3501994
gmus/nadel/
edn_5371_10.cnf_0.46000000.unsat.gcnf
UNSAT
7.35488
7.35549
3501997
gmus/nadel/
edn_2948_14.cnf_0.97000000.unsat.gcnf
UNSAT
7.85581
7.85629
3501992
gmus/nadel/
edn_28491_12.cnf_0.50000000.unsat.gcnf
UNSAT
8.11777
8.14128
3501980
gmus/nadel/
edn_22134_12.cnf_0.50000000.unsat.gcnf
UNSAT
8.20475
8.23177
3502003
gmus/nadel/
edn_20259_10.cnf_0.48000000.unsat.gcnf
UNSAT
8.21275
8.21419
3501988
gmus/nadel/
edn_20259_12.cnf_0.50000000.unsat.gcnf
UNSAT
9.16961
9.17677
3501973
gmus/nadel/
edn_5371_12.cnf_0.50000000.unsat.gcnf
UNSAT
9.58954
9.60102
3501974
gmus/belov/
pdtvisns2p3.aig.k15.gcnf
UNSAT
10.2804
10.2847
3502013
gmus/nadel/
edn_20259_14.cnf_0.55000000.unsat.gcnf
UNSAT
10.9223
10.9471
3501987
gmus/belov/
pdtvisns3p19.aig.k20.gcnf
UNSAT
14.0829
14.1003
3502080
gmus/nadel/
edn_24095_19.cnf_2.12000000.unsat.gcnf
UNSAT
14.6808
14.6857
3501961
gmus/belov/
mentorbm1p02.aig.k20.gcnf
UNSAT
14.8657
14.8685
3502116
gmus/belov/
3pipe_2_ooo.gcnf
UNSAT
15.1877
15.2027
3502027
gmus/nadel/
edn_24095_17.cnf_4.40000000.unsat.gcnf
UNSAT
16.0196
16.0425
3501981
gmus/belov/
pdtviseisenberg2.aig.k15.gcnf
UNSAT
16.2765
16.2958
3502111
gmus/nadel/
edn_9789_21.cnf_46.05000000.unsat.gcnf
UNSAT
16.3135
16.3141
3501989
gmus/nadel/
edn_25208_14.cnf_37.38000000.unsat.gcnf
UNSAT
16.3415
16.353
3501983
gmus/belov/
3pipe_1_ooo.gcnf
UNSAT
17.3804
17.3882
3502148
gmus/belov/
pdtvisns3p10.aig.k15.gcnf
UNSAT
18.4152
18.4374
3502133
gmus/belov/
pdtvisns3p17.aig.k25.gcnf
UNSAT
19.3571
19.3857
3502070
gmus/belov/
pdtvisns3p16.aig.k25.gcnf
UNSAT
21.2108
21.2367
3502067
gmus/belov/
pdtvisns2p3.aig.k20.gcnf
UNSAT
21.7737
21.7765
3502087
gmus/belov/
pdtvisns3p18.aig.k25.gcnf
UNSAT
23.8404
23.8636
3502140
gmus/belov/
2dlx_ca_mc_ex_bp_f_new.gcnf
UNSAT
24.0073
24.01
3502117
gmus/belov/
3pipe_3_ooo.gcnf
UNSAT
24.3803
24.4
3502046
gmus/belov/
pdtswvibs16x4p2.aig.k25.gcnf
UNSAT
25.6831
25.6999
3502021
gmus/belov/
mentorbm1p02.aig.k25.gcnf
UNSAT
26.573
26.5788
3502147
gmus/belov/
pdtvisns3p19.aig.k25.gcnf
UNSAT
26.6319
26.6315
3502114
gmus/belov/
2dlx_cc_mc_ex_bp_f_new.gcnf
UNSAT
34.8987
34.913
3502112
gmus/belov/
pdtpmsgoodbakery.aig.k15.gcnf
UNSAT
42.9735
42.9792
3502044
gmus/belov/
pj2003.aig.k20.gcnf
UNSAT
44.2213
44.2236
3502011
gmus/belov/
pdtvisns3p10.aig.k20.gcnf
UNSAT
45.5281
45.5504
3502121
gmus/belov/
pdtpmsgigamax.aig.k15.gcnf
UNSAT
45.756
45.7588
3502036
gmus/belov/
pdtvisgoodbakery0.aig.k15.gcnf
UNSAT
47.0298
47.0296
3502015
gmus/belov/
pdtvisvending08.aig.k25.gcnf
UNSAT
47.8487
47.8481
3502108
gmus/belov/
pdtvisns2p3.aig.k25.gcnf
UNSAT
48.8816
48.924
3502120
gmus/belov/
pdtvisvending02.aig.k25.gcnf
UNSAT
49.8844
49.9152
3502033
gmus/
belov/3pipe.gcnf
UNSAT
52.0341
52.054
3501958
gmus/belov/
nusmvguidancep8.aig.k20.gcnf
UNSAT
52.928
52.9722
3502153
gmus/belov/
pdtvisns3p08.aig.k10.gcnf
UNSAT
60.0689
60.0691
3502103
gmus/belov/
pdtswvibs8x8p2.aig.k25.gcnf
UNSAT
61.7576
61.795
3502074
gmus/belov/
mentorbm1p00.aig.k20.gcnf
UNSAT
62.6725
62.6926
3502084
gmus/belov/
pdtvisgigamax2.aig.k20.gcnf
UNSAT
63.5373
63.5377
3502023
gmus/belov/
pdtvistimeout2.aig.k25.gcnf
UNSAT
64.5242
64.5806
3502016
gmus/belov/
pdtvisgigamax3.aig.k20.gcnf
UNSAT
65.476
65.4782
3502135
gmus/belov/
pdtswvibs8x8p1.aig.k25.gcnf
UNSAT
68.7076
68.7347
3502035
gmus/belov/
pdtvisgigamax4.aig.k20.gcnf
UNSAT
68.7535
68.7544
3502079
gmus/belov/
pdtvisgigamax5.aig.k20.gcnf
UNSAT
68.8225
68.8565
3502077
gmus/belov/
pdtvisgigamax0.aig.k20.gcnf
UNSAT
69.2755
69.2755
3502024
gmus/belov/
pdtvisns3p09.aig.k10.gcnf
UNSAT
70.5333
70.5357
3502104
gmus/belov/
pdtvisbakery0.aig.k15.gcnf
UNSAT
70.8132
70.8441
3502094
gmus/belov/
pdtvisgigamax1.aig.k20.gcnf
UNSAT
77.9841
78.0065
3502068
gmus/belov/
kenflashp11.aig.k25.gcnf
UNSAT
80.0068
80.0508
3502045
gmus/belov/
bjrb07amba2andenv.aig.k20.gcnf
UNSAT
80.2688
80.2817
3502069
gmus/belov/
pdtpmsrethersqo.aig.k20.gcnf
UNSAT
81.8526
81.8858
3502012
gmus/belov/
pdtpmseisenberg.aig.k15.gcnf
UNSAT
83.4093
83.472
3502031
gmus/belov/
pdtvistimeout3.aig.k20.gcnf
UNSAT
85.359
85.407
3502042
gmus/belov/
pdtvisns3p10.aig.k25.gcnf
UNSAT
86.3389
86.3362
3502110
gmus/belov/
vis4arbitp1.aig.k25.gcnf
UNSAT
89.9103
89.911
3502134
gmus/belov/
bj08amba4g5.aig.k20.gcnf
UNSAT
93.1968
93.2185
3502109
gmus/belov/
pdtvisns3p07.aig.k10.gcnf
UNSAT
103.213
103.216
3502151
gmus/belov/
pdtvisgigamax3.aig.k25.gcnf
UNSAT
104.381
104.415
3502017
gmus/belov/
pdtvisgigamax4.aig.k25.gcnf
UNSAT
104.925
104.986
3502014
gmus/belov/
intel005.aig.k20.gcnf
UNSAT
105.994
105.994
3502131
gmus/belov/
pdtvisns3p05.aig.k10.gcnf
UNSAT
107.256
107.3
3502152
gmus/belov/
pdtvistictactoe10.aig.k20.gcnf
UNSAT
107.617
107.662
3502088
gmus/belov/
bj08amba5g62.aig.k20.gcnf
UNSAT
107.883
107.879
3502122
gmus/belov/
pdtvisns2p0.aig.k15.gcnf
UNSAT
110.231
110.282
3502041
gmus/belov/
bjrb07amba4andenv.aig.k10.gcnf
UNSAT
115.105
115.144
3502097
gmus/belov/
pdtswvsam6x8p2.aig.k25.gcnf
UNSAT
116.764
116.798
3502136
gmus/belov/
nusmvguidancep2.aig.k20.gcnf
UNSAT
117.299
117.301
3502137
gmus/belov/
pdtvisns3p06.aig.k10.gcnf
UNSAT
117.474
117.473
3502102
gmus/belov/
pdtviseisenberg0.aig.k15.gcnf
UNSAT
118.089
118.122
3502064
gmus/belov/
pdtpmsgigamax.aig.k20.gcnf
UNSAT
118.24
118.265
3502076
gmus/belov/
pdtpmsvsa16a.aig.k10.gcnf
UNSAT
119.306
119.338
3502100
gmus/belov/
pdtvisgigamax5.aig.k25.gcnf
UNSAT
120.804
120.84
3502129
gmus/belov/
mentorbm1p00.aig.k25.gcnf
UNSAT
122.405
122.447
3502061
gmus/belov/
pdtswvsam6x8p1.aig.k25.gcnf
UNSAT
127.377
127.43
3502059
gmus/belov/
4pipe_2_ooo.gcnf
UNSAT
128.067
128.084
3502057
gmus/belov/
pdtvisns3p04.aig.k10.gcnf
UNSAT
130.66
130.715
3502063
gmus/belov/
bjrb07amba5andenv.aig.k10.gcnf
UNSAT
132.502
132.547
3502090
gmus/belov/
pdtvisgigamax2.aig.k25.gcnf
UNSAT
132.908
132.958
3502083
gmus/belov/
pdtvissoap2.aig.k15.gcnf
UNSAT
133.692
133.699
3502105
gmus/belov/
pdtvisgigamax0.aig.k25.gcnf
UNSAT
135.772
135.773
3502050
gmus/belov/
pdtswvsam6x8p4.aig.k25.gcnf
UNSAT
137.05
137.051
3502099
gmus/belov/
pdtswvsam4x8p4.aig.k25.gcnf
UNSAT
138.109
138.167
3502141
gmus/belov/
pj2006.aig.k10.gcnf
UNSAT
138.183
138.204
3502118
gmus/belov/
4pipe_4_ooo.gcnf
UNSAT
138.988
139.001
3502113
gmus/belov/
pdtvisgigamax1.aig.k25.gcnf
UNSAT
146.515
146.512
3502092
gmus/belov/
pdtvisns2p2.aig.k15.gcnf
UNSAT
150.958
150.956
3502053
gmus/belov/
pdtswvrod6x8p1.aig.k20.gcnf
UNSAT
152.073
152.085
3502034
gmus/belov/
pdtswvsam6x8p3.aig.k25.gcnf
UNSAT
152.162
152.25
3502106
gmus/belov/
pj2010.aig.k20.gcnf
UNSAT
152.603
152.671
3502026
gmus/belov/
intel049.aig.k25.gcnf
UNSAT
159.533
159.528
3502052
gmus/belov/
pdtvisns2p1.aig.k15.gcnf
UNSAT
164.582
164.582
3502142
gmus/belov/
pdtvistimeout3.aig.k25.gcnf
UNSAT
164.848
164.91
3502019
gmus/belov/
pj2007.aig.k20.gcnf
UNSAT
166.804
166.802
3502032
gmus/belov/
pdtvisvending01.aig.k15.gcnf
UNSAT
167.668
167.714
3502018
gmus/belov/
viscoherencep3.aig.k15.gcnf
UNSAT
169.243
169.24
3502066
gmus/belov/
pdtviscoherence4.aig.k15.gcnf
UNSAT
175.45
175.499
3502123
gmus/belov/
pdtvistimeout0.aig.k10.gcnf
UNSAT
184.469
184.488
3502127
gmus/belov/
4pipe_3_ooo.gcnf
UNSAT
190.075
190.07
3502022
gmus/belov/
bj08amba4g5.aig.k25.gcnf
UNSAT
192.802
192.828
3502124
gmus/belov/
pdtvisheap00.aig.k20.gcnf
UNSAT
192.903
192.902
3502075
gmus/belov/
pj2010.aig.k25.gcnf
UNSAT
202.327
202.325
3502072
gmus/belov/
pdtviscoherence3.aig.k15.gcnf
UNSAT
202.56
202.552
3502089
gmus/belov/
pdtvispeterson.aig.k25.gcnf
UNSAT
213.291
213.347
3502037
gmus/belov/
pdtpmsheap.aig.k15.gcnf
UNSAT
221.651
221.645
3502073
gmus/belov/
pdtvisbakery0.aig.k20.gcnf
UNSAT
222.878
222.927
3502139
gmus/belov/
pdtvisns3p00.aig.k10.gcnf
UNSAT
238.444
238.5
3502128
gmus/belov/
pdtvisbakery1.aig.k20.gcnf
UNSAT
239.142
239.219
3502010
gmus/belov/
bj08amba5g62.aig.k25.gcnf
UNSAT
243.43
243.425
3502039
gmus/belov/
4pipe_1_ooo.gcnf
UNSAT
245.546
245.569
3502144
gmus/belov/
pdtvisns3p03.aig.k10.gcnf
UNSAT
247.563
247.599
3502101
gmus/belov/
pdtvisgoodbakery0.aig.k20.gcnf
UNSAT
250.109
250.166
3502082
gmus/belov/
pdtviscoherence5.aig.k15.gcnf
UNSAT
252.448
252.494
3502150
gmus/belov/
pdtvisns3p01.aig.k10.gcnf
UNSAT
255.303
255.295
3502040
gmus/belov/
pdtvisgoodbakery2.aig.k20.gcnf
UNSAT
259.173
259.211
3502146
gmus/belov/
nusmvguidancep5.aig.k20.gcnf
UNSAT
265.655
265.704
3502095
gmus/belov/
bjrb07amba2andenv.aig.k25.gcnf
UNSAT
266.33
266.418
3502130
gmus/belov/
pdtvisvending05.aig.k25.gcnf
UNSAT
275.482
275.48
3502051
gmus/belov/
pdtpmsgigamax.aig.k25.gcnf
UNSAT
284.333
284.33
3502154
gmus/belov/
pdtvisbakery2.aig.k20.gcnf
UNSAT
287.05
287.117
3502138
gmus/belov/
nusmvguidancep7.aig.k20.gcnf
UNSAT
296.687
296.684
3502047
gmus/belov/
pdtvisgoodbakery1.aig.k20.gcnf
UNSAT
301.001
301.089
3502091
gmus/belov/
pdtvistictactoe10.aig.k25.gcnf
UNSAT
322.117
322.117
3502056
gmus/belov/
pdtviseisenberg2.aig.k20.gcnf
UNSAT
324.639
324.7
3502085
gmus/belov/
nusmvguidancep2.aig.k25.gcnf
UNSAT
326.582
326.584
3502119
gmus/belov/
pj2008.aig.k20.gcnf
UNSAT
336.788
336.869
3502038
gmus/belov/
pdtvisns3p02.aig.k10.gcnf
UNSAT
342.057
342.107
3502009
gmus/belov/
pj2007.aig.k25.gcnf
UNSAT
342.734
342.779
3502132
gmus/belov/
pdtswvtms14x8p1.aig.k20.gcnf
UNSAT
356.731
356.812
3502096
gmus/belov/
pdtvisns3p08.aig.k15.gcnf
UNSAT
361.438
361.503
3502149
gmus/belov/
pdtvisns2p0.aig.k20.gcnf
UNSAT
361.927
361.992
3502029
gmus/belov/
pdtswvtms10x8p1.aig.k20.gcnf
UNSAT
375.857
375.929
3502125
gmus/belov/
pdtvisvending07.aig.k25.gcnf
UNSAT
409.467
409.501
3502058
gmus/belov/
pdtpmsvsar.aig.k15.gcnf
UNSAT
428.286
428.324
3502049
gmus/belov/
nusmvguidancep8.aig.k25.gcnf
UNSAT
477.226
477.275
3502048
gmus/belov/
pdtvisvsa16a29.aig.k25.gcnf
UNSAT
479.968
480.023
3502126
gmus/belov/
pdtvisvending00.aig.k20.gcnf
UNSAT
497.979
497.973
3502030
gmus/belov/
pdtviseisenberg1.aig.k20.gcnf
UNSAT
519.044
519.143
3502054
gmus/belov/
pdtswvtms12x8p1.aig.k20.gcnf
UNSAT
532.43
532.517
3502060
gmus/belov/
nusmvguidancep6.aig.k25.gcnf
UNSAT
560.439
560.423
3502145
gmus/belov/
viscoherencep2.aig.k20.gcnf
UNSAT
560.78
560.819
3502043
gmus/belov/
pdtviseisenberg0.aig.k20.gcnf
UNSAT
581.52
581.539
3502071
gmus/belov/
viscoherencep3.aig.k20.gcnf
UNSAT
623.931
623.987
3502086
gmus/belov/
pdtswvsam4x8p2.aig.k25.gcnf
UNSAT
654.674
654.739
3502025
gmus/belov/
pdtvisns3p09.aig.k15.gcnf
UNSAT
662.846
662.831
3502143
gmus/belov/
bj08amba2g3f3.aig.k20.gcnf
UNSAT
736.177
736.224
3502028
gmus/belov/
nusmvguidancep7.aig.k25.gcnf
UNSAT
782.36
782.339
3502078
gmus/belov/
pdtvisbakery1.aig.k25.gcnf
UNSAT
921.117
921.092
3502115
gmus/belov/
pdtpmsgoodbakery.aig.k20.gcnf
UNSAT
985.32
985.306
3502062
gmus/belov/
pdtswvrod6x8p1.aig.k25.gcnf
UNSAT
1085.24
1085.21
3502093
gmus/belov/
pdtswvrod6x8p2.aig.k25.gcnf
UNSAT
1100.18
1100.23
3502098
gmus/belov/
pdtvisgoodbakery0.aig.k25.gcnf
UNSAT
1111.99
1111.97
3502055
gmus/belov/
nusmvguidancep5.aig.k25.gcnf
UNSAT
1142.8
1142.83
3502107
gmus/belov/
pdtswvtms14x8p1.aig.k25.gcnf
UNSAT
1250.18
1250.21
3502065
gmus/belov/
pdtvisgoodbakery2.aig.k25.gcnf
UNSAT
1610.97
1610.97
3502020
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.08
1800.03
3501968