PB'12 competition: satisfaction and optimization track: benchmarks results per solver
Result page for solver pwbo
2.02
(complete)
Category "no optimisation, small integers, linear constraints" (DEC-SMALLINT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (95 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.001998
0.00648598
3726536
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb
UNSAT
0.002998
0.0097801
3726525
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-44s.smv.opb
UNSAT
0.003998
0.00991191
3726523
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
UNSAT
0.004998
0.016007
3726526
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-37s.smv.opb
UNSAT
0.008997
0.017094
3726522
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb
UNSAT
0.010997
0.01564
3726537
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
UNSAT
0.016997
0.0170061
3726534
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j308_6-unsat.opb
UNSAT
0.018996
0.020776
3726589
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j307_9-unsat.opb
UNSAT
0.023995
0.02632
3726588
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb
UNSAT
0.024995
0.027647
3726527
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3042_5-unsat.opb
UNSAT
0.024995
0.0247759
3726584
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3046_4-unsat.opb
UNSAT
0.031994
0.041114
3726586
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3011_9-unsat.opb
UNSAT
0.033994
0.034118
3726577
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-46s.smv.opb
UNSAT
0.033994
0.029788
3726524
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
0.035993
0.0363559
3726528
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j607_4-unsat.opb
UNSAT
0.049991
0.0565349
3726606
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6010_7-unsat.opb
UNSAT
0.063989
0.0652451
3726591
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j601_8-unsat.opb
UNSAT
0.06399
0.0662449
3726594
/DEC-SMALLINT-LIN/oliveras/
j60/normalized-j6016_10-unsat.opb
UNSAT
0.064989
0.065039
3726593
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-25s.smv.opb
UNSAT
0.066988
0.0589091
3726521
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6032_1-unsat.opb
UNSAT
0.069988
0.0710369
3726601
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6028_9-unsat.opb
UNSAT
0.070988
0.071688
3726598
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6027_9-unsat.opb
UNSAT
0.071988
0.073061
3726596
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j908_8-unsat.opb
UNSAT
0.080987
0.0846941
3726620
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
0.082986
0.0761359
3726538
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-22s.smv.opb
UNSAT
0.083986
0.0845041
3726520
/DEC-SMALLINT-LIN/oliveras/
j90/normalized-j9010_10-unsat.opb
UNSAT
0.093985
0.101056
3726607
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9015_7-unsat.opb
UNSAT
0.109983
0.115946
3726609
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1205_3-unsat.opb
UNSAT
0.111982
0.113576
3726633
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9014_1-unsat.opb
UNSAT
0.119981
0.120754
3726608
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9040_1-unsat.opb
UNSAT
0.12498
0.127758
3726615
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
0.12698
0.125012
3726542
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9038_3-unsat.opb
UNSAT
0.157975
0.153163
3726613
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
0.181971
0.183421
3726529
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
UNSAT
0.200969
0.196749
3726535
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12059_3-unsat.opb
UNSAT
0.220965
0.223643
3726632
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12049_6-unsat.opb
UNSAT
0.238963
0.240253
3726630
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT
0.304952
0.299381
3726546
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
UNSAT
0.312952
0.30789
3726539
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j905_6-unsat.opb
UNSAT
0.491925
0.493496
3726619
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl.opb
UNSAT
0.506922
0.499635
3726540
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT
1.01584
1.01269
3726547
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
1.49077
1.49364
3726541
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb
UNSAT
1.70974
1.70416
3726443
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967729.opb
UNSAT
2.07268
2.06737
3726472
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977780.opb
UNSAT
2.33364
2.32579
3726487
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970631.opb
UNSAT
2.40263
2.39689
3726476
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218955.opb
UNSAT
2.44263
2.4444
3726491
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219348.opb
UNSAT
2.51262
2.50819
3726492
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976935.opb
UNSAT
2.5946
2.59518
3726485
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT
2.96255
2.9577
3726548
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb
UNSAT
2.96755
2.96813
3726447
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969170.opb
UNSAT
2.99254
2.99177
3726474
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971697.opb
UNSAT
3.2815
3.26861
3726477
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226680.opb
UNSAT
3.46247
3.45799
3726500
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224255.opb
UNSAT
3.52246
3.51489
3726499
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223220.opb
UNSAT
3.63345
3.62959
3726497
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT
3.77343
3.7688
3726488
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972154.opb
UNSAT
4.69329
4.68665
3726478
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216411.opb
UNSAT
5.14222
5.13742
3726489
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
UNSAT
6.40302
6.40643
3726482
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975965.opb
UNSAT
6.84196
6.83944
3726484
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
UNSAT
7.09392
7.11292
3726545
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222257.opb
UNSAT
8.49235
4.30524
3726496
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218308.opb
UNSAT
10.2814
10.287
3726490
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
13.6259
13.6218
3726531
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb
UNSAT
24.8132
24.8793
3726446
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1206_8-unsat.opb
UNSAT
42.27
42.3333
3726635
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb
UNSAT
44.5612
44.5724
3726471
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb
UNSAT
52.68
52.7889
3726460
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb
UNSAT
57.7832
57.7853
3726442
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb
UNSAT
63.4134
63.4175
3726449
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb
UNSAT
66.9528
66.9527
3726448
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb
UNSAT
89.5994
89.6066
3726470
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb
UNSAT
106.676
106.694
3726467
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb
UNSAT
123.952
123.979
3726450
/DEC-SMALLINT-LIN/lopes/
normalized-99.opb
UNSAT
171.714
171.714
3726670
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb
UNSAT
204.003
204.034
3726453
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
241.74
243.198
3726465
/DEC-SMALLINT-LIN/lopes/
normalized-101.opb
UNSAT
282.485
282.539
3726641
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb
UNSAT
290.377
290.451
3726458
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
298.93
299.106
3726392
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb
UNSAT
318.105
318.169
3726463
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb
UNSAT
327.278
327.288
3726558
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb
UNSAT
327.992
327.985
3726445
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
UNSAT
433.508
433.501
3726549
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
UNSAT
499.68
499.805
3726393
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12048_4-unsat.opb
UNSAT
788.644
788.793
3726629
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb
UNSAT
821.878
822.069
3726455
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
UNSAT
830.598
830.678
3726530
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb
UNSAT
948.58
948.847
3726559
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
UNSAT
1144.15
1144.27
3726543
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT
1331.34
1331.37
3726544
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
UNSAT
1344.86
1345.16
3726533
/DEC-SMALLINT-LIN/lopes/
normalized-21.opb
UNSAT
1729.43
1729.59
3726661
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (131 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb
SAT
0
0.000999
0.00623598
3726406
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
0.001998
0.00934196
3726405
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
0
0.001999
0.00744611
3726408
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb
SAT
0
0.001999
0.00635789
3726404
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb
SAT
0
0.002998
0.006398
3726409
/DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1096.cudf.paranoid.opb
SAT
0
0.002999
0.00630111
3726576
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
SAT
0
0.002999
0.0112469
3726407
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb
SAT
0
0.003999
0.0074579
3726411
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb
SAT
0
0.004998
0.0132019
3726410
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb
SAT
0
0.007998
0.0163441
3726457
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
SAT
0
0.015997
0.021819
3726417
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j307_10-sat.opb
SAT
0
0.020996
0.0293589
3726587
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3024_5-sat.opb
SAT
0
0.021995
0.0302211
3726581
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
SAT
0
0.022995
0.0301911
3726419
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3024_2-sat.opb
SAT
0
0.024995
0.0340519
3726579
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
SAT
0
0.026995
0.023702
3726414
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3017_6-sat.opb
SAT
0
0.026995
0.0356069
3726578
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
SAT
0
0.027995
0.0240591
3726413
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3043_8-sat.opb
SAT
0
0.029994
0.040178
3726585
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3024_3-sat.opb
SAT
0
0.029994
0.0429429
3726580
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
SAT
0
0.030995
0.0285599
3726415
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.036994
0.0311231
3726519
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
SAT
0
0.037994
0.0297281
3726418
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3025_10-sat.opb
SAT
0
0.045992
0.0453929
3726582
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3030_6-sat.opb
SAT
0
0.048992
0.042728
3726583
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb
SAT
0
0.049992
0.04223
3726466
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j309_6-sat.opb
SAT
0
0.055991
0.0534981
3726590
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb
SAT
0
0.056991
0.0546769
3726462
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
0.073988
0.080901
3726421
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6020_9-sat.opb
SAT
0
0.079987
0.0792399
3726595
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6040_3-sat.opb
SAT
0
0.082987
0.0811889
3726603
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6030_8-sat.opb
SAT
0
0.085986
0.085246
3726600
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6040_10-sat.opb
SAT
0
0.085986
0.0873941
3726602
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6014_2-sat.opb
SAT
0
0.095985
0.0885841
3726592
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6028_7-sat.opb
SAT
0
0.096984
0.0908201
3726597
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6042_2-sat.opb
SAT
0
0.098984
0.093173
3726604
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6043_4-sat.opb
SAT
0
0.106983
0.099273
3726605
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb
SAT
0
0.107983
0.100188
3726459
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j901_6-sat.opb
SAT
0
0.127979
0.122591
3726611
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9016_7-sat.opb
SAT
0
0.129979
0.124165
3726610
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb
SAT
0
0.167974
0.16078
3726452
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j902_5-sat.opb
SAT
0
0.169973
0.167728
3726612
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
0.170973
0.163711
3726552
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1204_7-sat.opb
SAT
0
0.178972
0.177251
3726631
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9040_1-sat.opb
SAT
0
0.179972
0.17209
3726614
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9048_9-sat.opb
SAT
0
0.182971
0.176616
3726618
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
SAT
0
0.19397
0.18936
3726420
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9042_4-sat.opb
SAT
0
0.194969
0.19905
3726616
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb
SAT
0
0.228965
0.226722
3726461
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb
SAT
0
0.236963
0.239035
3726444
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
0.237963
0.239031
3726550
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12035_4-sat.opb
SAT
0
0.298954
0.291008
3726623
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb
SAT
0
0.307953
0.310916
3726456
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
SAT
0
0.345947
0.350777
3726412
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb
SAT
0
0.347946
0.348943
3726464
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
0.349946
0.34802
3726454
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
0.374942
0.375744
3726514
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
0.38994
0.386469
3726553
/DEC-SMALLINT-LIN/heinz/
normalized-neos808444.opb
SAT
0
0.414936
0.412864
3726640
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb
SAT
0
0.447931
0.449189
3726469
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223696.opb
SAT
0
0.492925
0.487733
3726498
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.563914
0.571351
3726510
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
0.579911
0.578189
3726468
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970277.opb
SAT
0
0.581911
0.579888
3726475
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K77.opb
SAT
0
0.871867
0.877037
3726683
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
0.906861
0.90601
3726425
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
0.906861
0.905167
3726426
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
0.907861
0.905966
3726424
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
0.918859
0.916884
3726422
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
0.91986
0.918491
3726423
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968431.opb
SAT
0
1.03384
1.03379
3726473
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
0
1.22981
1.22438
3726532
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
1.46078
1.46263
3726555
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972958.opb
SAT
0
1.84272
1.83855
3726479
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb
SAT
0
1.9967
2.00024
3726451
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219399.opb
SAT
0
2.31265
2.31267
3726493
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K80.opb
SAT
0
2.67359
2.67787
3726686
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
2.79757
2.79875
3726428
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
2.79857
2.8003
3726427
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
2.79957
2.80328
3726429
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
2.81257
2.80988
3726431
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K79.opb
SAT
0
2.86256
2.86279
3726685
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
2.95455
2.94878
3726430
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
3.2655
3.26955
3726438
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
3.3135
3.30996
3726483
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
3.32249
3.32842
3726511
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
3.35549
3.35311
3726486
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227418.opb
SAT
0
3.54146
3.54632
3726501
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973863.opb
SAT
0
3.85341
3.84747
3726481
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222080.opb
SAT
0
4.83226
4.83108
3726494
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222248.opb
SAT
0
5.19221
5.19335
3726495
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973478.opb
SAT
0
5.2822
5.28449
3726480
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K78.opb
SAT
0
5.32219
5.33583
3726684
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K76.opb
SAT
0
6.10507
6.12123
3726682
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
7.29489
7.29664
3726432
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
7.38188
7.38212
3726436
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
7.46287
7.45908
3726435
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
7.46287
7.4588
3726434
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
7.48186
7.48205
3726433
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K75.opb
SAT
0
8.28074
8.31037
3726681
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
SAT
0
9.25659
9.26216
3726416
/DEC-SMALLINT-LIN/lopes/
normalized-107.opb
SAT
0
9.43257
9.42001
3726642
/DEC-SMALLINT-LIN/lopes/
normalized-117.opb
SAT
0
19.3291
19.3328
3726645
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K71.opb
SAT
0
20.4909
20.5478
3726677
/DEC-SMALLINT-LIN/lopes/
normalized-185.opb
SAT
0
21.9657
21.9804
3726659
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
22.1176
22.1295
3726515
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12bt.opb
SAT
0
42.98
43.0437
3726512
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K72.opb
SAT
0
44.2903
44.4027
3726678
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K74.opb
SAT
0
48.15
48.2171
3726680
/DEC-SMALLINT-LIN/lopes/
normalized-170.opb
SAT
0
58.4911
58.5025
3726655
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1208_6-sat.opb
SAT
0
78.48
78.5681
3726636
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12028_8-sat.opb
SAT
0
80.38
80.4881
3726621
/DEC-SMALLINT-LIN/heinz/
normalized-neos-849702.opb
SAT
0
129.49
129.519
3726639
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K68.opb
SAT
0
153.63
153.773
3726674
/DEC-SMALLINT-LIN/lopes/
normalized-164.opb
SAT
0
159.93
160.04
3726653
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K109.opb
SAT
0
241.56
241.716
3726726
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14bt.opb
SAT
0
263.227
263.254
3726502
/DEC-SMALLINT-LIN/lopes/
normalized-31.opb
SAT
0
301.68
301.877
3726662
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K102.opb
SAT
0
302.766
302.908
3726719
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K105.opb
SAT
0
381.98
382.06
3726722
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K104.opb
SAT
0
441.03
441.237
3726721
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K100.opb
SAT
0
443.32
443.59
3726717
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K73.opb
SAT
0
495.46
495.677
3726679
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K98.opb
SAT
0
571.8
572.01
3726745
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K108.opb
SAT
0
681.34
681.671
3726725
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K107.opb
SAT
0
759
759.277
3726724
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K69.opb
SAT
0
860.11
860.316
3726675
/DEC-SMALLINT-LIN/lopes/
normalized-48.opb
SAT
0
874.495
874.516
3726664
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
1008.86
1009.24
3726516
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K70.opb
SAT
0
1556.94
1557.35
3726676
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K92.opb
SAT
0
1783.6
1784.11
3726739
Solver didn't decide (UNKNOWN) (129 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
/DEC-SMALLINT-LIN/lopes/
normalized-129.opb
?
1799.42
1800.01
3726649
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
?
1799.43
1800
3726567
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
?
1799.44
1800.01
3726569
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K192.opb
?
1799.44
1800.03
3726713
/DEC-SMALLINT-LIN/lopes/
normalized-116.opb
?
1799.44
1800.01
3726644
/DEC-SMALLINT-LIN/lopes/
normalized-172.opb
?
1799.44
1800.04
3726656
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
?
1799.45
1800.03
3726551
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_3-sat.opb
?
1799.46
1800.01
3726624
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K200.opb
?
1799.47
1800.01
3726716
/DEC-SMALLINT-LIN/lopes/
normalized-123.opb
?
1799.48
1800.01
3726648
/DEC-SMALLINT-LIN/lopes/
normalized-47.opb
?
1799.48
1800.01
3726663
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
?
1799.49
1800.02
3726401
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
?
1799.49
1800.01
3726398
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12046_2-sat.opb
?
1799.49
1800
3726627
/DEC-SMALLINT-LIN/lopes/
normalized-122.opb
?
1799.49
1800.01
3726647
/DEC-SMALLINT-LIN/lopes/
normalized-112.opb
?
1799.51
1800.01
3726643
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K163.opb
?
1799.51
1800.01
3726703
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
?
1799.51
1800.01
3726557
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
?
1799.52
1800.02
3726566
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K181.opb
?
1799.52
1800.02
3726711
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K196.opb
?
1799.52
1800.01
3726714
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
?
1799.52
1800.01
3726397
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12039_7-sat.opb
?
1799.52
1800.01
3726626
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K183.opb
?
1799.52
1800.01
3726712
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K156.opb
?
1799.53
1800.01
3726701
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K175.opb
?
1799.53
1800.02
3726707
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K133.opb
?
1799.53
1800.02
3726693
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K167.opb
?
1799.53
1800.02
3726705
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
?
1799.54
1800.01
3726564
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
?
1799.54
1800
3726441
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K132.opb
?
1799.54
1800.01
3726692
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
?
1799.54
1800.03
3726518
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
?
1799.54
1800.02
3726400
/DEC-SMALLINT-LIN/lopes/
normalized-137.opb
?
1799.54
1800.02
3726650
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
?
1799.54
1800.01
3726565
/DEC-SMALLINT-LIN/lopes/
normalized-153.opb
?
1799.54
1800.02
3726652
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
?
1799.55
1800.02
3726573
/DEC-SMALLINT-LIN/lopes/
normalized-120.opb
?
1799.55
1800.01
3726646
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6029_8-unsat.opb
?
1799.55
1800.01
3726599
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
?
1799.56
1800.03
3726556
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K143.opb
?
1799.56
1800.02
3726698
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21ls.opb
?
1799.56
1800.01
3726507
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K85.opb
?
1799.56
1800.01
3726732
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K87.opb
?
1799.56
1800.01
3726734
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
?
1799.56
1800.03
3726570
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K101.opb
?
1799.57
1800.01
3726718
/DEC-SMALLINT-LIN/lopes/
normalized-76.opb
?
1799.57
1800.01
3726668
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
?
1799.57
1800.02
3726396
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12047_6-sat.opb
?
1799.57
1800.01
3726628
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17ls.opb
?
1799.57
1800.01
3726505
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K83.opb
?
1799.57
1800.01
3726730
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24ls.opb
?
1799.58
1800.01
3726509
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14ls.opb
?
1799.58
1800.01
3726503
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K67.opb
?
1799.58
1800.01
3726673
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K140.opb
?
1799.59
1800.02
3726696
/DEC-SMALLINT-LIN/lopes/
normalized-146.opb
?
1799.59
1800.02
3726651
/DEC-SMALLINT-LIN/lopes/
normalized-20.opb
?
1799.59
1800.01
3726660
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21bt.opb
?
1799.6
1800.01
3726506
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K97.opb
?
1799.6
1800.01
3726744
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
?
1799.6
1800.01
3726395
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K66.opb
?
1799.6
1800.01
3726672
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K84.opb
?
1799.61
1800.01
3726731
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K128.opb
?
1799.61
1800.01
3726689
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K96.opb
?
1799.62
1800.03
3726743
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
?
1799.62
1800.01
3726440
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K91.opb
?
1799.62
1800.01
3726738
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12ls.opb
?
1799.62
1800.01
3726513
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb
?
1799.63
1800
3726563
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K88.opb
?
1799.63
1800.01
3726735
/DEC-SMALLINT-LIN/sroussel/ShortestPathBA/
normalized-BeauxArts_K65.opb
?
1799.64
1800.01
3726671
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K90.opb
?
1799.64
1800.01
3726737
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
?
1799.66
1800.01
3726394
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
?
1799.66
1800.01
3726562
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
?
1799.73
1800.01
3726568
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9045_1-sat.opb
?
1799.76
1800.01
3726617
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1206_6-sat.opb
?
1799.78
1800.01
3726634
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
?
1799.78
1800
3726439
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K95.opb
?
1799.79
1800
3726742
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
?
1799.79
1800.01
3726399
/DEC-SMALLINT-LIN/lopes/
normalized-73.opb
?
1799.81
1800.01
3726667
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
?
1799.81
1800.01
3726437
/DEC-SMALLINT-LIN/lopes/
normalized-70.opb
?
1799.81
1800.01
3726666
/DEC-SMALLINT-LIN/lopes/
normalized-180.opb
?
1799.81
1800.05
3726658
/DEC-SMALLINT-LIN/lopes/
normalized-61.opb
?
1799.82
1800.01
3726665
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K180.opb
?
1799.82
1800.01
3726710
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K103.opb
?
1799.82
1800.02
3726720
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K148.opb
?
1799.82
1800.01
3726699
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K176.opb
?
1799.82
1800.01
3726708
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K94.opb
?
1799.83
1800
3726741
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
?
1799.83
1800.02
3726402
/DEC-SMALLINT-LIN/lopes/
normalized-167.opb
?
1799.83
1800.01
3726654
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb
?
1799.83
1800.02
3726574
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K80.opb
?
1799.83
1800.01
3726727
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
?
1799.84
1800.01
3726508
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_7-unsat.opb
?
1799.84
1800.01
3726625
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K164.opb
?
1799.84
1800.01
3726704
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb
?
1799.85
1800.01
3726572
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
?
1799.85
1800.02
3726554
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K81.opb
?
1799.86
1800.01
3726728
/DEC-SMALLINT-LIN/heinz/
normalized-neos-820157.opb
?
1799.86
1800.01
3726638
/DEC-SMALLINT-LIN/lopes/
normalized-91.opb
?
1799.87
1800.01
3726669
/DEC-SMALLINT-LIN/lopes/
normalized-175.opb
?
1799.88
1800.06
3726657
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K141.opb
?
1799.88
1800.01
3726697
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
?
1799.88
1800.01
3726575
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb
?
1799.89
1800.02
3726561
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K177.opb
?
1799.89
1800.03
3726709
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
?
1799.9
1800.02
3726517
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb
?
1799.9
1800.01
3726571
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K199.opb
?
1799.91
1800.02
3726715
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K160.opb
?
1799.92
1800.02
3726702
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_3-unsat.opb
?
1799.92
1800.01
3726622
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
?
1799.92
1800.01
3726403
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K99.opb
?
1799.93
1800.02
3726746
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K131.opb
?
1799.93
1800
3726691
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K168.opb
?
1799.94
1800.02
3726706
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K125.opb
?
1799.95
1800.01
3726687
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K106.opb
?
1799.95
1800.01
3726723
/DEC-SMALLINT-LIN/heinz/
normalized-neos-820146.opb
?
1799.96
1800.01
3726637
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K129.opb
?
1799.96
1800.01
3726690
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17bt.opb
?
1799.97
1800.02
3726504
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K89.opb
?
1799.97
1800.01
3726736
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K138.opb
?
1799.97
1800
3726694
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K152.opb
?
1799.97
1800.01
3726700
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K139.opb
?
1799.98
1800.01
3726695
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K82.opb
?
1799.98
1800
3726729
/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K126.opb
?
1799.99
1800.01
3726688
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K93.opb
?
1800.02
1800.01
3726740
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb
?
1800.02
1800.01
3726560
/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K86.opb
?
1800.03
1800
3726733