PB'12 competition: satisfaction and optimization track: benchmarks results per solver
Result page for solver pwbo
2.0
(complete)
Category "no optimisation, small integers, linear constraints" (DEC-SMALLINT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (94 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb
UNSAT
0.001999
0.00627891
3704235
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb
UNSAT
0.002998
0.0103909
3704224
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-44s.smv.opb
UNSAT
0.004998
0.0100589
3704222
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
UNSAT
0.004998
0.016991
3704225
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb
UNSAT
0.008998
0.0182821
3704236
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-37s.smv.opb
UNSAT
0.009997
0.0174339
3704221
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
UNSAT
0.016996
0.016723
3704233
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j308_6-unsat.opb
UNSAT
0.022995
0.023548
3704288
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb
UNSAT
0.024995
0.0272919
3704226
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3042_5-unsat.opb
UNSAT
0.026995
0.0284859
3704283
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3011_9-unsat.opb
UNSAT
0.027994
0.030212
3704276
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j307_9-unsat.opb
UNSAT
0.028995
0.0298579
3704287
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-46s.smv.opb
UNSAT
0.030994
0.0283499
3704223
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3046_4-unsat.opb
UNSAT
0.034994
0.0449311
3704285
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
0.036994
0.0364391
3704227
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j607_4-unsat.opb
UNSAT
0.050991
0.0517831
3704305
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j601_8-unsat.opb
UNSAT
0.05699
0.0597711
3704293
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6010_7-unsat.opb
UNSAT
0.05899
0.0598109
3704290
/DEC-SMALLINT-LIN/oliveras/
j60/normalized-j6016_10-unsat.opb
UNSAT
0.06099
0.061751
3704292
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6032_1-unsat.opb
UNSAT
0.063989
0.0648829
3704300
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-25s.smv.opb
UNSAT
0.066989
0.0647611
3704220
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6027_9-unsat.opb
UNSAT
0.067989
0.0691851
3704295
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6028_9-unsat.opb
UNSAT
0.069988
0.0718579
3704297
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
0.079987
0.074568
3704237
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j908_8-unsat.opb
UNSAT
0.082986
0.0855319
3704319
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-22s.smv.opb
UNSAT
0.084986
0.081682
3704219
/DEC-SMALLINT-LIN/oliveras/
j90/normalized-j9010_10-unsat.opb
UNSAT
0.104983
0.105983
3704306
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1205_3-unsat.opb
UNSAT
0.110982
0.112677
3704332
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9015_7-unsat.opb
UNSAT
0.121981
0.122961
3704308
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9040_1-unsat.opb
UNSAT
0.12398
0.133234
3704314
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
0.12598
0.125188
3704241
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9014_1-unsat.opb
UNSAT
0.129979
0.137727
3704307
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9038_3-unsat.opb
UNSAT
0.169974
0.16934
3704312
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
0.173972
0.175269
3704228
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
UNSAT
0.188971
0.184736
3704234
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12059_3-unsat.opb
UNSAT
0.238962
0.240911
3704331
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12049_6-unsat.opb
UNSAT
0.25496
0.257078
3704329
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT
0.303953
0.300097
3704245
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
UNSAT
0.313951
0.309274
3704238
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j905_6-unsat.opb
UNSAT
0.502923
0.500357
3704318
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl.opb
UNSAT
0.504923
0.499954
3704239
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT
1.02284
1.01948
3704246
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
1.49177
1.49404
3704240
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967729.opb
UNSAT
2.05269
2.05985
3704171
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977780.opb
UNSAT
2.07268
2.07973
3704186
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219348.opb
UNSAT
2.48262
2.48768
3704191
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218955.opb
UNSAT
2.55261
2.55826
3704190
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb
UNSAT
2.55961
2.55823
3704146
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971697.opb
UNSAT
2.57261
2.57728
3704176
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT
2.81357
2.81893
3704187
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970631.opb
UNSAT
2.87256
2.88035
3704175
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226680.opb
UNSAT
2.95255
2.95683
3704199
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT
2.95855
2.96542
3704247
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976935.opb
UNSAT
2.99254
2.99835
3704184
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969170.opb
UNSAT
3.06253
3.06422
3704173
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222257.opb
UNSAT
3.35249
3.36419
3704195
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224255.opb
UNSAT
3.59245
3.59797
3704198
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216411.opb
UNSAT
3.67344
3.67516
3704188
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223220.opb
UNSAT
4.30235
4.31364
3704196
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972154.opb
UNSAT
4.48232
4.49465
3704177
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
UNSAT
5.22221
5.23304
3704181
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb
UNSAT
6.03808
6.05328
3704142
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
UNSAT
6.84396
6.83786
3704244
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975965.opb
UNSAT
7.2629
7.27948
3704183
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218308.opb
UNSAT
9.8
9.81155
3704189
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
13.7829
13.7797
3704230
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb
UNSAT
25.89
25.911
3704166
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb
UNSAT
26.174
26.2623
3704159
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb
UNSAT
29.37
29.4524
3704145
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb
UNSAT
30.0864
30.1597
3704170
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1206_8-unsat.opb
UNSAT
40.2049
40.2141
3704334
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb
UNSAT
56.08
56.1489
3704148
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb
UNSAT
66.46
66.5505
3704147
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb
UNSAT
75.76
75.8346
3704169
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb
UNSAT
86.76
86.8438
3704141
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb
UNSAT
142.73
142.893
3704149
/DEC-SMALLINT-LIN/lopes/
normalized-99.opb
UNSAT
201.26
201.325
3704369
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb
UNSAT
224.29
224.41
3704152
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb
UNSAT
261.22
261.323
3704162
/DEC-SMALLINT-LIN/lopes/
normalized-101.opb
UNSAT
261.33
261.452
3704340
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
295.02
295.195
3704091
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb
UNSAT
304.807
304.815
3704257
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb
UNSAT
309.18
309.316
3704157
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
426.55
426.784
3704164
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
UNSAT
542.301
542.345
3704248
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12048_4-unsat.opb
UNSAT
663.42
663.673
3704328
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb
UNSAT
699.48
699.726
3704144
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb
UNSAT
714.51
714.83
3704154
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb
UNSAT
856.4
856.605
3704258
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
UNSAT
862.861
862.989
3704229
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
UNSAT
890.61
890.876
3704092
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
UNSAT
992.09
992.354
3704232
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT
1077.05
1077.36
3704243
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
UNSAT
1202.76
1203.11
3704242
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (134 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
/DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1096.cudf.paranoid.opb
SAT
0
0.000999
0.00654195
3704275
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb
SAT
0
0.001999
0.00632299
3704105
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
0.001999
0.00638902
3704104
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
0
0.001999
0.0080689
3704107
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
SAT
0
0.002998
0.00636688
3704106
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb
SAT
0
0.002998
0.00636497
3704108
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb
SAT
0
0.002998
0.0064781
3704103
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb
SAT
0
0.004998
0.00779507
3704110
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb
SAT
0
0.006998
0.0143939
3704163
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
SAT
0
0.016996
0.0250861
3704116
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
SAT
0
0.022995
0.0331379
3704118
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3024_5-sat.opb
SAT
0
0.024995
0.0338339
3704280
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3017_6-sat.opb
SAT
0
0.024995
0.0348991
3704277
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j307_10-sat.opb
SAT
0
0.024996
0.0332381
3704286
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3043_8-sat.opb
SAT
0
0.028994
0.0397279
3704284
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3024_3-sat.opb
SAT
0
0.028995
0.0402591
3704279
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3024_2-sat.opb
SAT
0
0.029994
0.0379409
3704278
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
SAT
0
0.031995
0.0321689
3704114
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
SAT
0
0.035994
0.0339209
3704115
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.035994
0.030553
3704218
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
SAT
0
0.037993
0.0336461
3704117
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
SAT
0
0.047992
0.044265
3704113
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
SAT
0
0.048992
0.043794
3704112
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3030_6-sat.opb
SAT
0
0.048992
0.0479489
3704282
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3025_10-sat.opb
SAT
0
0.049992
0.0478681
3704281
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb
SAT
0
0.056991
0.0531031
3704151
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb
SAT
0
0.05799
0.059185
3704161
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j309_6-sat.opb
SAT
0
0.06099
0.0559409
3704289
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
0.066989
0.06456
3704213
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6030_8-sat.opb
SAT
0
0.080987
0.080197
3704299
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6020_9-sat.opb
SAT
0
0.080987
0.080804
3704294
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973863.opb
SAT
0
0.082987
0.0761809
3704180
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6040_3-sat.opb
SAT
0
0.082987
0.0825971
3704302
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6040_10-sat.opb
SAT
0
0.085986
0.0881851
3704301
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6014_2-sat.opb
SAT
0
0.090986
0.082708
3704291
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6043_4-sat.opb
SAT
0
0.091985
0.09286
3704304
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6042_2-sat.opb
SAT
0
0.093985
0.0869061
3704303
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6028_7-sat.opb
SAT
0
0.104984
0.097677
3704296
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
SAT
0
0.115982
0.111504
3704119
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb
SAT
0
0.116981
0.117852
3704158
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j901_6-sat.opb
SAT
0
0.12798
0.123545
3704310
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9016_7-sat.opb
SAT
0
0.130979
0.129964
3704309
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
0.144977
0.140474
3704120
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
0.150976
0.147806
3704251
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9040_1-sat.opb
SAT
0
0.178972
0.17331
3704313
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j902_5-sat.opb
SAT
0
0.179972
0.174272
3704311
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9048_9-sat.opb
SAT
0
0.182972
0.178811
3704317
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
0.187971
0.179676
3704249
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1204_7-sat.opb
SAT
0
0.18897
0.185687
3704330
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9042_4-sat.opb
SAT
0
0.197969
0.203794
3704315
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb
SAT
0
0.227965
0.228096
3704160
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb
SAT
0
0.269958
0.270594
3704168
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb
SAT
0
0.297954
0.296763
3704143
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12035_4-sat.opb
SAT
0
0.303953
0.302759
3704322
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
SAT
0
0.306953
0.312658
3704111
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.362944
0.362405
3704210
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
0.408937
0.407378
3704167
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
0.409937
0.409375
3704252
/DEC-SMALLINT-LIN/heinz/
normalized-neos808444.opb
SAT
0
0.424934
0.422575
3704339
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb
SAT
0
0.487925
0.491407
3704150
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K78.opb
SAT
0
0.502923
0.500655
3704383
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb
SAT
0
0.58691
0.586537
3704155
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.622904
0.620449
3704209
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219399.opb
SAT
0
0.822874
0.821109
3704192
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
0.903861
0.904635
3704122
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
0.904862
0.903907
3704123
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
0.905862
0.90377
3704121
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
0.906862
0.90751
3704124
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
0.91886
0.920542
3704125
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb
SAT
0
0.938856
0.939953
3704156
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968431.opb
SAT
0
0.953854
0.94719
3704172
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
0
1.22581
1.22941
3704231
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb
SAT
0
1.35679
1.36575
3704165
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223696.opb
SAT
0
1.55376
1.55657
3704197
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K79.opb
SAT
0
1.83272
1.83018
3704384
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
2.00769
2.01328
3704153
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
2.37064
2.3663
3704254
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K80.opb
SAT
0
2.51462
2.50806
3704385
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
2.79557
2.7952
3704129
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
2.79857
2.80326
3704130
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
2.79857
2.79688
3704126
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
2.80757
2.80628
3704128
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
2.93155
2.93171
3704127
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
3.3165
3.31883
3704137
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
3.78242
3.79244
3704185
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222080.opb
SAT
0
4.45232
4.46033
3704193
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227418.opb
SAT
0
4.69229
4.70831
3704200
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
4.83127
4.84846
3704182
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970277.opb
SAT
0
4.88226
4.89199
3704174
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222248.opb
SAT
0
5.47317
5.49127
3704194
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K75.opb
SAT
0
6.23205
6.2302
3704380
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972958.opb
SAT
0
6.77297
6.79281
3704178
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973478.opb
SAT
0
6.85296
6.86834
3704179
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K72.opb
SAT
0
7.2589
7.2815
3704377
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
7.29189
7.29782
3704131
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
7.29489
7.29939
3704135
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
7.33588
7.3305
3704134
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
7.35688
7.35998
3704133
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
7.66083
7.65517
3704132
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12bt.opb
SAT
0
7.8838
7.88128
3704211
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K74.opb
SAT
0
10.7324
10.7277
3704379
/DEC-SMALLINT-LIN/lopes/
normalized-107.opb
SAT
0
11.3013
11.333
3704341
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K77.opb
SAT
0
12.6531
12.6892
3704382
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
18.0873
18.1471
3704214
/DEC-SMALLINT-LIN/lopes/
normalized-117.opb
SAT
0
19.886
19.8791
3704344
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb
SAT
0
19.905
19.9538
3704109
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K71.opb
SAT
0
21.2868
21.2952
3704376
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K76.opb
SAT
0
24.1093
24.1196
3704381
/DEC-SMALLINT-LIN/lopes/
normalized-185.opb
SAT
0
27.3958
27.3986
3704358
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K70.opb
SAT
0
28.9786
28.9844
3704375
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K67.opb
SAT
0
29.5175
29.5252
3704372
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12028_8-sat.opb
SAT
0
50.07
50.15
3704320
/DEC-SMALLINT-LIN/heinz/
normalized-neos-849702.opb
SAT
0
55.47
55.5552
3704338
/DEC-SMALLINT-LIN/lopes/
normalized-170.opb
SAT
0
82.07
82.141
3704354
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K73.opb
SAT
0
115.079
115.096
3704378
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K106.opb
SAT
0
143.74
143.867
3704422
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
157.237
157.318
3704215
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12ls.opb
SAT
0
196.175
196.199
3704212
/DEC-SMALLINT-LIN/lopes/
normalized-164.opb
SAT
0
202.15
202.289
3704352
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14bt.opb
SAT
0
255.767
255.811
3704201
/DEC-SMALLINT-LIN/lopes/
normalized-31.opb
SAT
0
339.964
340.018
3704361
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K103.opb
SAT
0
367.501
367.57
3704419
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K102.opb
SAT
0
397.97
398.114
3704418
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K104.opb
SAT
0
529.65
529.874
3704420
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K69.opb
SAT
0
586.12
586.336
3704374
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K68.opb
SAT
0
599.73
599.942
3704373
/DEC-SMALLINT-LIN/lopes/
normalized-48.opb
SAT
0
834.481
834.628
3704363
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1208_6-sat.opb
SAT
0
974.557
974.65
3704335
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17bt.opb
SAT
0
1027.16
1027.41
3704203
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K108.opb
SAT
0
1082.49
1082.59
3704424
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K100.opb
SAT
0
1149.28
1149.69
3704416
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K107.opb
SAT
0
1378.77
1379.11
3704423
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K109.opb
SAT
0
1431.86
1432.28
3704425
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K105.opb
SAT
0
1491.94
1492.38
3704421
Solver didn't decide (UNKNOWN) (126 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
?
1799.42
1800.01
3704139
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K199.opb
?
1799.45
1800.01
3704414
/DEC-SMALLINT-LIN/lopes/
normalized-172.opb
?
1799.45
1800.05
3704355
/DEC-SMALLINT-LIN/lopes/
normalized-180.opb
?
1799.46
1800.06
3704357
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
?
1799.47
1800.02
3704216
/DEC-SMALLINT-LIN/lopes/
normalized-120.opb
?
1799.48
1800.01
3704345
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
?
1799.49
1800.01
3704250
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
?
1799.49
1800.02
3704138
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K148.opb
?
1799.49
1800.01
3704398
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_3-sat.opb
?
1799.49
1800.01
3704323
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
?
1799.5
1800.01
3704136
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K177.opb
?
1799.5
1800.01
3704408
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
?
1799.5
1800.01
3704274
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12047_6-sat.opb
?
1799.5
1800.01
3704327
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_7-unsat.opb
?
1799.51
1800.01
3704324
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
?
1799.51
1800.01
3704266
/DEC-SMALLINT-LIN/lopes/
normalized-122.opb
?
1799.51
1800.01
3704346
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21ls.opb
?
1799.52
1800.01
3704206
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1206_6-sat.opb
?
1799.52
1800
3704333
/DEC-SMALLINT-LIN/lopes/
normalized-91.opb
?
1799.52
1800.01
3704368
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
?
1799.52
1800.01
3704140
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K129.opb
?
1799.52
1800.01
3704389
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K183.opb
?
1799.53
1800.01
3704411
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K181.opb
?
1799.53
1800.01
3704410
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6029_8-unsat.opb
?
1799.53
1800.01
3704298
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
?
1799.53
1800.02
3704272
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
?
1799.53
1800.01
3704102
/DEC-SMALLINT-LIN/lopes/
normalized-167.opb
?
1799.54
1800.01
3704353
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
?
1799.54
1800.02
3704098
/DEC-SMALLINT-LIN/lopes/
normalized-112.opb
?
1799.54
1800.01
3704342
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K196.opb
?
1799.54
1800.01
3704413
/DEC-SMALLINT-LIN/lopes/
normalized-73.opb
?
1799.54
1800.01
3704366
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb
?
1799.54
1800.01
3704273
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K192.opb
?
1799.54
1800.01
3704412
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
?
1799.55
1800.01
3704269
/DEC-SMALLINT-LIN/lopes/
normalized-146.opb
?
1799.55
1800.03
3704350
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
?
1799.55
1800.03
3704268
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
?
1799.55
1800.01
3704263
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12046_2-sat.opb
?
1799.55
1800.01
3704326
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
?
1799.55
1800.01
3704097
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K167.opb
?
1799.55
1800.01
3704404
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
?
1799.56
1800.01
3704264
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K156.opb
?
1799.56
1800.01
3704400
/DEC-SMALLINT-LIN/lopes/
normalized-47.opb
?
1799.56
1800.02
3704362
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K152.opb
?
1799.56
1800.01
3704399
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K132.opb
?
1799.56
1800
3704391
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
?
1799.57
1800.01
3704096
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K94.opb
?
1799.57
1800
3704440
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K92.opb
?
1799.57
1800
3704438
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K83.opb
?
1799.57
1800.01
3704429
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12039_7-sat.opb
?
1799.57
1800.02
3704325
/DEC-SMALLINT-LIN/lopes/
normalized-61.opb
?
1799.57
1800.01
3704364
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K168.opb
?
1799.57
1800.01
3704405
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K143.opb
?
1799.57
1800
3704397
/DEC-SMALLINT-LIN/lopes/
normalized-76.opb
?
1799.58
1800.01
3704367
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K84.opb
?
1799.58
1800.01
3704430
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K93.opb
?
1799.59
1800.01
3704439
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K131.opb
?
1799.59
1800.01
3704390
/DEC-SMALLINT-LIN/lopes/
normalized-137.opb
?
1799.59
1800.02
3704349
/DEC-SMALLINT-LIN/heinz/
normalized-neos-820146.opb
?
1799.59
1800.01
3704336
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K160.opb
?
1799.59
1800.01
3704401
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K175.opb
?
1799.59
1800.01
3704406
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K140.opb
?
1799.59
1800
3704395
/DEC-SMALLINT-LIN/lopes/
normalized-21.opb
?
1799.59
1800.01
3704360
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K99.opb
?
1799.59
1800
3704445
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
?
1799.61
1800.09
3704217
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K81.opb
?
1799.61
1800.01
3704427
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
?
1799.61
1800.01
3704261
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K126.opb
?
1799.61
1800.01
3704387
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K98.opb
?
1799.61
1800.01
3704444
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K133.opb
?
1799.61
1800.01
3704392
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K101.opb
?
1799.61
1800
3704417
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K65.opb
?
1799.62
1800.01
3704370
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
?
1799.62
1800.01
3704207
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K95.opb
?
1799.62
1800
3704441
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K80.opb
?
1799.62
1800.01
3704426
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb
?
1799.62
1800.02
3704259
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K90.opb
?
1799.63
1800.01
3704436
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
?
1799.63
1800.01
3704094
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K87.opb
?
1799.63
1800.01
3704433
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K82.opb
?
1799.64
1800.01
3704428
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
?
1799.64
1800.01
3704095
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
?
1799.71
1800.01
3704100
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
?
1799.74
1800.03
3704253
/DEC-SMALLINT-LIN/lopes/
normalized-123.opb
?
1799.76
1800.01
3704347
/DEC-SMALLINT-LIN/lopes/
normalized-153.opb
?
1799.77
1800.01
3704351
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K141.opb
?
1799.78
1800.01
3704396
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_3-unsat.opb
?
1799.8
1800.01
3704321
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K86.opb
?
1799.8
1800
3704432
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K180.opb
?
1799.8
1800.02
3704409
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb
?
1799.8
1800.01
3704271
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
?
1799.8
1800.02
3704265
/DEC-SMALLINT-LIN/lopes/
normalized-129.opb
?
1799.81
1800.01
3704348
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K89.opb
?
1799.82
1800.01
3704435
/DEC-SMALLINT-LIN/lopes/
normalized-116.opb
?
1799.82
1800.02
3704343
/DEC-SMALLINT-LIN/lopes/
normalized-70.opb
?
1799.83
1800.01
3704365
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K200.opb
?
1799.83
1800.01
3704415
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
?
1799.84
1800.01
3704101
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
?
1799.84
1800.03
3704256
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17ls.opb
?
1799.84
1800.01
3704204
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14ls.opb
?
1799.84
1800.01
3704202
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K164.opb
?
1799.86
1800
3704403
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K176.opb
?
1799.86
1800.03
3704407
/DEC-SMALLINT-LIN/lopes/
normalized-175.opb
?
1799.86
1800.06
3704356
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K125.opb
?
1799.9
1800.01
3704386
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9045_1-sat.opb
?
1799.9
1800.01
3704316
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
?
1799.91
1800.01
3704093
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
?
1799.92
1800.43
3704267
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb
?
1799.92
1800.01
3704260
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K128.opb
?
1799.93
1800
3704388
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
?
1799.93
1800.01
3704099
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21bt.opb
?
1799.94
1800.01
3704205
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K163.opb
?
1799.94
1800.01
3704402
/DEC-SMALLINT-LIN/lopes/
normalized-20.opb
?
1799.95
1800
3704359
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K91.opb
?
1799.95
1800.01
3704437
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb
?
1799.95
1800.01
3704270
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K139.opb
?
1799.95
1800.01
3704394
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K138.opb
?
1799.96
1800.01
3704393
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb
?
1799.96
1800.01
3704262
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K97.opb
?
1799.97
1800
3704443
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24ls.opb
?
1799.98
1800.01
3704208
/DEC-SMALLINT-LIN/heinz/
normalized-neos-820157.opb
?
1799.98
1800.01
3704337
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K96.opb
?
1799.98
1800.01
3704442
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K88.opb
?
1799.99
1800.01
3704434
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K85.opb
?
1800
1800.01
3704431
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K66.opb
?
1800.02
1800.01
3704371
Solver timed out (no solution given) (1 run)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
? (TO)
1800.44
1800.65
3704255