PB'11 competition: satisfaction and optimization track: benchmarks results per solver
Result page for solver borg
pb-dec-11.04.03
(complete)
Category "no optimisation, small integers, linear constraints" (DEC-SMALLINT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (248 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb
UNSAT
0.45993
0.56834
3482786
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb
UNSAT
0.461928
0.568304
3482792
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb
UNSAT
0.462929
0.562019
3482775
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
UNSAT
0.466928
0.55992
3482717
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
0.467928
0.552156
3482696
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb
UNSAT
0.473927
0.573355
3482788
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
UNSAT
0.475926
0.575054
3482722
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
UNSAT
0.476926
0.639917
3482671
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb
UNSAT
0.477926
0.620095
3482790
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb
UNSAT
0.478927
0.576693
3482741
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-44s.smv.opb
UNSAT
0.480925
0.715928
3482737
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
UNSAT
0.482925
0.594884
3482781
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
UNSAT
0.488925
0.577647
3482703
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
UNSAT
0.493924
0.576807
3482713
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
UNSAT
0.495923
0.617981
3482793
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
UNSAT
0.500923
1.08167
3482689
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
UNSAT
0.502922
0.596332
3482694
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb
UNSAT
0.507922
5.9081
3482757
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb
UNSAT
0.508922
0.633374
3482762
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
UNSAT
0.510922
0.616786
3482691
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
UNSAT
0.516921
0.638021
3482732
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
UNSAT
0.51992
0.650692
3482758
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
UNSAT
0.52192
1.40888
3482699
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-37s.smv.opb
UNSAT
0.52392
0.602273
3482738
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
UNSAT
0.531918
0.69299
3482695
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-46s.smv.opb
UNSAT
0.532918
0.693512
3482729
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
UNSAT
0.547916
0.646901
3482776
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
UNSAT
0.547916
0.632546
3482697
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
UNSAT
0.567913
0.635829
3482743
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
UNSAT
0.572912
0.666546
3482777
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
UNSAT
0.573912
0.662317
3482787
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j308_1-unsat.opb
UNSAT
0.574912
0.643994
3482836
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
UNSAT
0.58391
1.07655
3482693
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
UNSAT
0.608907
0.883451
3482708
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
UNSAT
0.609906
0.696201
3482692
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
UNSAT
0.611906
0.718408
3482721
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
UNSAT
0.617905
1.03326
3482672
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j301_4-unsat.opb
UNSAT
0.623905
0.712068
3482823
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
UNSAT
0.631903
0.723671
3482749
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT
0.634902
1.42971
3482715
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
UNSAT
0.639902
0.73545
3482789
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3046_4-unsat.opb
UNSAT
0.645901
0.736568
3482834
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
UNSAT
0.656899
0.748032
3482780
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb
UNSAT
0.677896
0.938483
3482742
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
0.679895
0.77275
3482747
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
UNSAT
0.706892
0.885003
3482678
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
UNSAT
0.708891
1.12199
3482685
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3041_4-unsat.opb
UNSAT
0.722889
0.817645
3482833
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
UNSAT
0.725889
0.878031
3482684
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j602_7-unsat.opb
UNSAT
0.732888
1.53235
3482846
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-43s.smv.opb
UNSAT
0.733888
0.857035
3482746
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
0.752884
0.869731
3482735
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-25s.smv.opb
UNSAT
0.753885
0.972854
3482759
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j309_10-unsat.opb
UNSAT
0.769882
0.855626
3482838
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j606_1-unsat.opb
UNSAT
0.774881
0.862326
3482857
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb
UNSAT
0.774882
0.897508
3482774
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j603_2-unsat.opb
UNSAT
0.78188
0.89867
3482848
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
UNSAT
0.798878
0.880385
3482785
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-22s.smv.opb
UNSAT
0.809875
0.949125
3482754
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6027_4-unsat.opb
UNSAT
0.809876
0.911321
3482845
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
UNSAT
0.814875
0.906671
3482755
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb
UNSAT
0.827873
0.926857
3482756
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6010_2-unsat.opb
UNSAT
0.870867
0.967641
3482840
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb
UNSAT
0.894863
0.987166
3482784
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT
0.909861
1.61006
3482764
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j903_10-unsat.opb
UNSAT
0.915859
1.24967
3482866
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
UNSAT
0.91686
1.0159
3482779
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb
UNSAT
0.947854
1.84227
3482728
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j907_8-unsat.opb
UNSAT
0.950854
1.04533
3482874
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb
UNSAT
0.98485
0.988059
3482760
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
UNSAT
0.999847
1.10077
3482753
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
UNSAT
1.02884
1.11795
3482761
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb
UNSAT
1.04284
1.40269
3482604
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb
UNSAT
1.06184
1.39019
3482600
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb
UNSAT
1.06984
1.16604
3482782
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9012_2-unsat.opb
UNSAT
1.06984
1.15498
3482860
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl.opb
UNSAT
1.07384
1.3888
3482763
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9028_2-unsat.opb
UNSAT
1.08183
1.22323
3482865
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6033_2-unsat.opb
UNSAT
1.08283
1.24504
3482849
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6030_9-unsat.opb
UNSAT
1.09583
1.6126
3482847
/DEC-SMALLINT-LIN/oliveras/
j90/normalized-j9015_10-unsat.opb
UNSAT
1.14782
1.24279
3482863
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9039_3-unsat.opb
UNSAT
1.20382
1.4722
3482869
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9014_1-unsat.opb
UNSAT
1.21481
1.30592
3482862
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
UNSAT
1.21681
6.53555
3482783
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9010_6-unsat.opb
UNSAT
1.26681
1.34478
3482858
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9048_1-unsat.opb
UNSAT
1.2968
1.3655
3482872
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
UNSAT
1.3028
1.65861
3482750
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9035_1-unsat.opb
UNSAT
1.3108
1.81141
3482867
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
UNSAT
1.34679
1.42452
3482778
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb
UNSAT
1.43178
1.55512
3482740
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
UNSAT
1.44178
1.53876
3482791
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1205_1-unsat.opb
UNSAT
1.44978
1.74903
3482817
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12023_3-unsat.opb
UNSAT
1.49477
1.58473
3482802
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12015_3-unsat.opb
UNSAT
1.52177
2.17526
3482797
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb
UNSAT
1.55376
1.18906
3482748
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
1.72374
2.29347
3482736
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900563801.opb
UNSAT
1.81272
1.94617
3482622
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12013_1-unsat.opb
UNSAT
1.83672
2.12009
3482796
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
1.87071
1.78766
3482752
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT
1.89871
2.17602
3482739
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j605_1-unsat.opb
UNSAT
1.9327
2.193
3482855
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
1.9347
2.07257
3482745
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
UNSAT
2.11176
7.61175
3482744
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12041_4-unsat.opb
UNSAT
2.13168
2.45283
3482814
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT
2.26665
2.36602
3482734
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12027_7-unsat.opb
UNSAT
2.51062
2.64191
3482804
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3029_8-unsat.opb
UNSAT
2.52861
2.71243
3482830
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557574.opb
UNSAT
2.75358
2.93332
3482635
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb
UNSAT
2.84856
3.40041
3482575
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
UNSAT
2.87656
3.08328
3482733
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558106.opb
UNSAT
3.17252
3.27194
3482592
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb
UNSAT
3.41948
3.50532
3482650
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j605_10-unsat.opb
UNSAT
3.49547
4.07396
3482854
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb
UNSAT
3.69944
3.77151
3482633
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
3.88541
3.9833
3482730
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb
UNSAT
3.98139
4.05037
3482610
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb
UNSAT
4.34734
4.44005
3482766
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227326.opb
UNSAT
4.5823
4.67519
3482511
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976157.opb
UNSAT
4.69729
4.75552
3482533
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224059.opb
UNSAT
4.71528
16.3141
3482546
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970444.opb
UNSAT
4.80727
15.9493
3482470
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975607.opb
UNSAT
4.91425
4.97762
3482538
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb
UNSAT
4.97324
5.05346
3482597
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226368.opb
UNSAT
5.00424
5.07822
3482543
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973364.opb
UNSAT
5.20521
5.26686
3482509
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567024.opb
UNSAT
5.22521
5.35075
3482625
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967729.opb
UNSAT
5.43117
15.5932
3482474
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977780.opb
UNSAT
5.55215
5.64807
3482485
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218955.opb
UNSAT
5.55815
5.71303
3482512
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111225122.opb
UNSAT
5.55915
5.75252
3482532
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568706.opb
UNSAT
5.62414
7.73149
3482569
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974372.opb
UNSAT
5.74712
5.98314
3482492
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
UNSAT
5.79512
5.86781
3482765
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110966483.opb
UNSAT
6.02908
6.11841
3482539
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213670.opb
UNSAT
6.06508
7.25948
3482563
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111225605.opb
UNSAT
6.23705
6.45376
3482482
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110966688.opb
UNSAT
6.30204
7.12253
3482476
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971697.opb
UNSAT
6.37903
6.46291
3482486
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968094.opb
UNSAT
6.44802
6.52104
3482537
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb
UNSAT
6.48901
6.59098
3482596
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969577.opb
UNSAT
6.68998
6.80084
3482518
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971363.opb
UNSAT
6.74497
22.9624
3482465
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216823.opb
UNSAT
6.89895
9.24399
3482553
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226680.opb
UNSAT
7.02393
7.23688
3482520
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224929.opb
UNSAT
7.11792
16.8242
3482549
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976935.opb
UNSAT
7.2269
7.29095
3482505
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969170.opb
UNSAT
7.43287
7.55469
3482529
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224451.opb
UNSAT
7.48586
7.5359
3482502
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968898.opb
UNSAT
7.54485
7.61962
3482541
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb
UNSAT
7.55485
7.63377
3482638
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222257.opb
UNSAT
7.58585
7.73193
3482504
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222539.opb
UNSAT
7.58985
7.62392
3482508
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212923.opb
UNSAT
7.59085
7.89446
3482528
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226062.opb
UNSAT
7.60684
17.7286
3482473
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217392.opb
UNSAT
7.69183
7.84273
3482523
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968561.opb
UNSAT
7.78382
7.86948
3482522
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb
UNSAT
7.79181
8.0228
3482644
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb
UNSAT
7.8848
7.96975
3482646
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223220.opb
UNSAT
7.9018
8.22951
3482477
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT
7.91579
8.06097
3482490
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977273.opb
UNSAT
7.9168
8.06902
3482510
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224255.opb
UNSAT
7.93479
8.51814
3482498
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978334.opb
UNSAT
7.96479
8.18232
3482499
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb
UNSAT
8.05477
12.647
3482565
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219348.opb
UNSAT
8.07677
8.41045
3482479
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217555.opb
UNSAT
8.09777
8.26229
3482489
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227012.opb
UNSAT
8.16376
14.301
3482550
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227861.opb
UNSAT
8.23375
8.3356
3482488
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970631.opb
UNSAT
8.26974
19.8239
3482472
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219799.opb
UNSAT
8.47171
8.69772
3482493
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb
UNSAT
8.5307
8.72488
3482584
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb
UNSAT
8.5507
8.67038
3482588
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221624.opb
UNSAT
8.63269
8.71948
3482540
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223004.opb
UNSAT
8.64068
12.5364
3482559
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220546.opb
UNSAT
8.69668
8.97553
3482484
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220019.opb
UNSAT
8.78966
22.2388
3482564
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220767.opb
UNSAT
8.98063
9.09052
3482516
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212476.opb
UNSAT
9.32458
10.2023
3482527
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111228076.opb
UNSAT
9.34258
15.5883
3482561
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972763.opb
UNSAT
9.36658
25.7378
3482466
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972154.opb
UNSAT
9.47556
9.54045
3482491
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221203.opb
UNSAT
9.47556
9.6957
3482506
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216411.opb
UNSAT
9.72952
14.3382
3482558
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967523.opb
UNSAT
9.73052
9.78837
3482517
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb
UNSAT
9.78651
10.2832
3482607
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218024.opb
UNSAT
9.8885
16.8131
3482556
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb
UNSAT
9.95849
10.0226
3482636
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218757.opb
UNSAT
9.99948
16.91
3482555
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT
10.0695
10.1611
3482542
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
UNSAT
10.1549
10.7268
3482513
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973670.opb
UNSAT
10.2474
10.3804
3482515
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb
UNSAT
10.4974
10.5861
3482627
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976730.opb
UNSAT
10.6304
10.6804
3482536
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb
UNSAT
10.7024
10.7514
3482441
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969860.opb
UNSAT
10.8903
22.0191
3482469
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
10.9953
11.0545
3482767
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212272.opb
UNSAT
11.1493
11.3772
3482483
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975965.opb
UNSAT
11.1613
11.3453
3482495
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb
UNSAT
11.8112
11.9293
3482606
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978113.opb
UNSAT
11.8632
11.9094
3482535
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb
UNSAT
11.9872
17.7752
3482438
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb
UNSAT
12.7771
13.0589
3482634
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
UNSAT
13.013
13.2267
3482731
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557362.opb
UNSAT
13.9619
14.354
3482590
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967142.opb
UNSAT
15.2027
15.2684
3482525
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb
UNSAT
16.4695
16.5111
3482614
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218308.opb
UNSAT
16.5425
32.2771
3482468
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb
UNSAT
16.5455
16.6131
3482436
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb
UNSAT
17.0084
17.2145
3482578
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb
UNSAT
18.2282
18.7171
3482443
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb
UNSAT
18.3772
18.9616
3482583
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb
UNSAT
20.3019
20.31
3482598
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb
UNSAT
22.3156
22.3981
3482623
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb
UNSAT
22.4156
26.5452
3482566
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb
UNSAT
22.5716
22.6635
3482647
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb
UNSAT
22.8335
22.8604
3482444
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb
UNSAT
23.8834
23.9137
3482601
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
25.2032
30.744
3482439
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb
UNSAT
25.4681
25.9886
3482440
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb
UNSAT
26.7349
27.341
3482574
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb
UNSAT
27.1619
27.2181
3482616
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb
UNSAT
27.4028
27.3848
3482640
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb
UNSAT
29.1836
29.2854
3482433
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb
UNSAT
30.2214
30.3093
3482589
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb
UNSAT
30.3424
30.445
3482631
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb
UNSAT
31.0863
31.0653
3482617
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb
UNSAT
31.9071
32.1687
3482641
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900563250.opb
UNSAT
33.7849
33.8525
3482595
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb
UNSAT
41.4697
41.5121
3482442
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb
UNSAT
42.2976
42.3026
3482645
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb
UNSAT
44.2493
44.2092
3482613
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb
UNSAT
46.018
46.5845
3482570
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb
UNSAT
46.278
46.5437
3482579
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb
UNSAT
47.1708
47.5611
3482435
/DEC-SMALLINT-LIN/lopes/
normalized-188.opb
UNSAT
50.9193
51.0683
3482894
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb
UNSAT
54.9395
56.0184
3482430
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb
UNSAT
55.1646
55.8244
3482431
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb
UNSAT
56.6394
56.6051
3482432
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb
UNSAT
57.5163
57.5254
3482437
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb
UNSAT
58.96
59.0278
3482603
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
UNSAT
123.953
123.909
3482445
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1208_10-unsat.opb
UNSAT
162.429
161.847
3482821
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6013_2-unsat.opb
UNSAT
181.214
180.514
3482841
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12026_5-unsat.opb
UNSAT
343.264
340.404
3482803
/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12047_10-unsat.opb
UNSAT
568.125
565.744
3482816
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_8-unsat.opb
UNSAT
740.045
739.043
3482806
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12052_5-unsat.opb
UNSAT
865.494
862.492
3482818
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_3-unsat.opb
UNSAT
1463.52
1457.85
3482805
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (183 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb
SAT
0
0.460929
0.550494
3482690
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb
SAT
0
0.466928
0.629501
3482707
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb
SAT
0
0.475926
0.717055
3482705
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb
SAT
0
0.481926
0.58169
3482686
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb
SAT
0
0.486925
0.68105
3482726
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553644.opb
SAT
0
0.491924
1.39046
3482629
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb
SAT
0
0.501922
0.676228
3482639
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
0
0.501923
0.823039
3482680
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb
SAT
0
0.503923
0.630465
3482725
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb
SAT
0
0.505922
26.0911
3482581
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb
SAT
0
0.506922
1.1873
3482630
/DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1096.cudf.paranoid.opb
SAT
0
0.506922
0.738
3482794
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb
SAT
0
0.512921
0.717686
3482602
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb
SAT
0
0.52092
0.687034
3482587
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb
SAT
0
0.521919
0.802237
3482649
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
SAT
0
0.521919
1.21899
3482673
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb
SAT
0
0.537917
0.967177
3482576
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557413.opb
SAT
0
0.542917
0.977323
3482591
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb
SAT
0
0.547916
0.685897
3482585
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554375.opb
SAT
0
0.552915
0.687983
3482594
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb
SAT
0
0.552915
1.82479
3482621
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb
SAT
0
0.558914
0.792653
3482580
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb
SAT
0
0.559914
0.745338
3482599
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547334.opb
SAT
0
0.563913
0.67513
3482618
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb
SAT
0
0.566913
0.667772
3482615
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970277.opb
SAT
0
0.567912
17.4601
3482467
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567003.opb
SAT
0
0.573912
0.666481
3482612
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3048_8-sat.opb
SAT
0
0.575912
0.698894
3482835
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb
SAT
0
0.596908
0.780164
3482609
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574948.opb
SAT
0
0.598908
1.26886
3482573
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb
SAT
0
0.601908
1.27341
3482577
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3024_4-sat.opb
SAT
0
0.605907
0.713327
3482825
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j308_6-sat.opb
SAT
0
0.608907
0.924627
3482837
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3020_1-sat.opb
SAT
0
0.615905
0.728837
3482824
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb
SAT
0
0.620905
3.50148
3482572
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb
SAT
0
0.632902
0.747612
3482611
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
0.664898
0.769365
3482619
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3031_7-sat.opb
SAT
0
0.668897
0.760145
3482831
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j309_9-sat.opb
SAT
0
0.670897
0.949255
3482839
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3027_8-sat.opb
SAT
0
0.694894
4.30638
3482828
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb
SAT
0
0.695894
6.57902
3482568
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670756.opb
SAT
0
0.71689
1.11673
3482605
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3037_5-sat.opb
SAT
0
0.739886
0.997438
3482832
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb
SAT
0
0.748885
1.16083
3482648
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb
SAT
0
0.749885
0.855421
3482632
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb
SAT
0
0.752884
0.847273
3482620
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb
SAT
0
0.754885
0.844695
3482593
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb
SAT
0
0.779881
0.844138
3482710
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3025_7-sat.opb
SAT
0
0.785879
0.897523
3482827
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3025_1-sat.opb
SAT
0
0.802877
1.08169
3482826
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547353.opb
SAT
0
0.815875
0.927319
3482642
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
0.821874
0.995507
3482723
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
SAT
0
0.835872
1.20631
3482681
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6022_1-sat.opb
SAT
0
0.842871
0.93578
3482844
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb
SAT
0
0.85
1.25964
3482608
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb
SAT
0
0.85087
1.10463
3482675
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6018_3-sat.opb
SAT
0
0.880865
1.22428
3482843
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb
SAT
0
0.895863
1.22981
3482677
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
SAT
0
0.906861
0.947885
3482719
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb
SAT
0
0.91486
2.59256
3482727
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb
SAT
0
0.91786
0.818318
3482718
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb
SAT
0
0.958854
1.25277
3482676
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb
SAT
0
0.961853
0.837834
3482714
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6015_4-sat.opb
SAT
0
0.964852
1.04618
3482842
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6048_4-sat.opb
SAT
0
0.973851
1.06752
3482853
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6035_10-sat.opb
SAT
0
0.98285
1.24233
3482850
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
0.985849
7.30698
3482557
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
SAT
0
1.01484
1.21837
3482709
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217374.opb
SAT
0
1.02684
7.2739
3482562
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6040_1-sat.opb
SAT
0
1.02684
1.16203
3482851
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
SAT
0
1.08383
1.18201
3482712
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
1.08783
30.8617
3482450
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
SAT
0
1.09483
1.36138
3482682
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
1.12283
1.58101
3482626
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb
SAT
0
1.19382
1.46343
3482637
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb
SAT
0
1.19582
7.04219
3482567
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
1.22481
30.9387
3482448
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
1.23181
1.42947
3482771
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9010_8-sat.opb
SAT
0
1.23781
1.32547
3482859
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j906_2-sat.opb
SAT
0
1.25381
1.36792
3482873
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb
SAT
0
1.25481
1.42418
3482586
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
SAT
0
1.25681
1.06513
3482711
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12010_10-sat.opb
SAT
0
1.25681
1.37543
3482795
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9012_5-sat.opb
SAT
0
1.26681
1.34652
3482861
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9043_2-sat.opb
SAT
0
1.3138
1.48619
3482871
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb
SAT
0
1.3258
1.42799
3482582
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
SAT
0
1.37679
1.02881
3482687
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9035_5-sat.opb
SAT
0
1.40379
1.48936
3482868
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
0
1.40379
1.5205
3482679
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
1.46678
1.72428
3482683
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9027_5-sat.opb
SAT
0
1.48777
1.57018
3482864
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9042_5-sat.opb
SAT
0
1.52177
2.38152
3482870
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3029_6-sat.opb
SAT
0
1.55276
1.7742
3482829
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
SAT
0
1.55476
1.27177
3482700
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1203_2-sat.opb
SAT
0
1.55576
1.80291
3482807
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6041_4-sat.opb
SAT
0
1.55776
1.66736
3482852
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
SAT
0
1.56
1.37619
3482716
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
SAT
0
1.58691
1.90505
3482701
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219399.opb
SAT
0
1.58976
13.4558
3482548
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb
SAT
0
1.58976
1.68161
3482624
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
1.59376
30.4698
3482449
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
1.61275
1.85135
3482773
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
SAT
0
1.67
1.58872
3482704
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971766.opb
SAT
0
1.67
2.54742
3482475
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
SAT
0
1.74373
2.52564
3482720
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
SAT
0
1.74773
1.25986
3482702
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971097.opb
SAT
0
1.75373
1.9149
3482496
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12045_10-sat.opb
SAT
0
1.78873
2.19223
3482815
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567939.opb
SAT
0
1.79373
1.87863
3482643
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12022_9-sat.opb
SAT
0
1.80772
1.93547
3482801
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12034_4-sat.opb
SAT
0
1.82672
10.7589
3482809
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
SAT
0
1.82672
1.91317
3482698
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1201_5-sat.opb
SAT
0
1.84872
1.94886
3482798
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
SAT
0
1.89171
2.06837
3482674
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
1.9607
11.6976
3482552
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222248.opb
SAT
0
1.9647
2.31672
3482530
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223689.opb
SAT
0
2.03969
2.47407
3482544
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
2.04369
2.20833
3482501
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226241.opb
SAT
0
2.29665
2.71048
3482481
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12021_4-sat.opb
SAT
0
2.29765
2.96827
3482800
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
SAT
0
2.33
3.36203
3482724
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223416.opb
SAT
0
2.6006
2.75703
3482526
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
SAT
0
2.66159
2.56129
3482688
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972958.opb
SAT
0
2.67559
2.93082
3482480
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559416.opb
SAT
0
2.88956
3.02881
3482628
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968431.opb
SAT
0
2.91256
14.5171
3482545
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j605_7-sat.opb
SAT
0
3.03554
3.12747
3482856
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222080.opb
SAT
0
3.17852
7.08064
3482560
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223596.opb
SAT
0
3.28093
3.53719
3482514
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216188.opb
SAT
0
3.84941
3.98312
3482507
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
SAT
0
3.9484
4.0976
3482706
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb
SAT
0
4.17736
4.74612
3482571
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221953.opb
SAT
0
4.21336
5.49268
3482554
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224522.opb
SAT
0
4.41333
5.07333
3482478
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
4.48132
20.1333
3482458
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
0
4.52731
4.60908
3482751
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973478.opb
SAT
0
4.56631
4.70692
3482531
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970170.opb
SAT
0
4.71828
4.90497
3482494
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976735.opb
SAT
0
4.90925
5.09959
3482497
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217380.opb
SAT
0
5.8931
17.4696
3482471
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
6.18606
11.5097
3482768
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216864.opb
SAT
0
6.40902
6.4966
3482487
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223696.opb
SAT
0
6.74097
7.01085
3482521
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977266.opb
SAT
0
7.45887
7.57918
3482534
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
7.62284
7.67414
3482769
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227418.opb
SAT
0
7.77482
19.6158
3482547
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975678.opb
SAT
0
8.03178
8.26172
3482524
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967327.opb
SAT
0
8.75167
8.94093
3482500
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
9.42957
9.58726
3482658
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975832.opb
SAT
0
9.44956
15.6592
3482551
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
9.48556
9.61442
3482660
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
9.84
10.0697
3482656
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
9.8765
9.99651
3482661
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973863.opb
SAT
0
10.4174
10.5593
3482519
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
10.4574
10.5344
3482669
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
10.7004
35.8179
3482452
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
10.9673
11.1354
3482503
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12ls.opb
SAT
0
12.5091
36.6525
3482462
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12bt.opb
SAT
0
13.5789
38.127
3482460
/DEC-SMALLINT-LIN/heinz/
normalized-neos-849702.opb
SAT
0
21.4697
20.7842
3482878
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1209_4-sat.opb
SAT
0
21.6567
21.7057
3482822
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
24.55
23.0742
3482668
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
25.4163
24.305
3482670
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
26.6831
25.3113
3482659
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
26.8089
23.8036
3482665
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
26.8889
25.0416
3482666
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
29.2236
52.678
3482455
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
34.2618
34.3508
3482653
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14bt.opb
SAT
0
41.0198
56.4703
3482453
/DEC-SMALLINT-LIN/heinz/
normalized-neos808444.opb
SAT
0
48.2997
48.462
3482875
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14ls.opb
SAT
0
50.8543
68.5162
3482459
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17ls.opb
SAT
0
57.1358
73.3036
3482461
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24ls.opb
SAT
0
125.497
132.886
3482463
/DEC-SMALLINT-LIN/lopes/
normalized-107.opb
SAT
0
156.637
156.418
3482880
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17bt.opb
SAT
0
200.522
215.418
3482454
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
SAT
0
205.837
205.224
3482770
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
277.685
277.527
3482657
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
302.751
302.455
3482667
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
302.857
303.318
3482662
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
303.472
303.744
3482663
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
303.488
296.883
3482664
/DEC-SMALLINT-LIN/lopes/
normalized-162.opb
SAT
0
410.109
406.98
3482887
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
SAT
0
419.029
417.684
3482654
Solver timed out (no solution given) (9 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
/DEC-SMALLINT-LIN/lopes/
normalized-135.opb
? (TO)
271.72
1900.06
3482883
/DEC-SMALLINT-LIN/lopes/
normalized-130.opb
? (TO)
361.11
1905.49
3482882
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21bt.opb
? (TO)
1800.04
1805.48
3482457
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21ls.opb
? (TO)
1800.04
1799.27
3482464
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
? (TO)
1800.07
1807.69
3482456
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
? (TO)
1800.07
1821.96
3482434
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
1800.08
1791.26
3482651
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
1800.09
1816.18
3482451
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
? (TO)
1800.09
1793.66
3482655
Solver exceeded the memory limit (no solution given) (41 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
/DEC-SMALLINT-LIN/lopes/
normalized-41.opb
? (MO)
300.82
297.787
3482899
/DEC-SMALLINT-LIN/lopes/
normalized-40.opb
? (MO)
304.2
303.386
3482898
/DEC-SMALLINT-LIN/lopes/
normalized-37.opb
? (MO)
308.91
307.489
3482897
/DEC-SMALLINT-LIN/lopes/
normalized-27.opb
? (MO)
309.64
308.592
3482896
/DEC-SMALLINT-LIN/lopes/
normalized-24.opb
? (MO)
313.46
312.388
3482895
/DEC-SMALLINT-LIN/lopes/
normalized-147.opb
? (MO)
345.96
345.173
3482885
/DEC-SMALLINT-LIN/lopes/
normalized-178.opb
? (MO)
347.74
347.447
3482890
/DEC-SMALLINT-LIN/lopes/
normalized-05.opb
? (MO)
347.86
345.379
3482879
/DEC-SMALLINT-LIN/lopes/
normalized-181.opb
? (MO)
349.67
349.425
3482891
/DEC-SMALLINT-LIN/lopes/
normalized-116.opb
? (MO)
350.62
349.885
3482881
/DEC-SMALLINT-LIN/lopes/
normalized-91.opb
? (MO)
373.12
415.375
3482903
/DEC-SMALLINT-LIN/lopes/
normalized-89.opb
? (MO)
373.63
370.701
3482902
/DEC-SMALLINT-LIN/lopes/
normalized-53.opb
? (MO)
374.38
371.372
3482900
/DEC-SMALLINT-LIN/heinz/
normalized-neos-820157.opb
? (MO)
389.17
386.699
3482877
/DEC-SMALLINT-LIN/heinz/
normalized-neos-820146.opb
? (MO)
401.01
399.296
3482876
/DEC-SMALLINT-LIN/lopes/
normalized-164.opb
? (MO)
440.84
458.212
3482888
/DEC-SMALLINT-LIN/lopes/
normalized-60.opb
? (MO)
471.52
467.507
3482901
/DEC-SMALLINT-LIN/lopes/
normalized-154.opb
? (MO)
495.2
517.727
3482886
/DEC-SMALLINT-LIN/lopes/
normalized-141.opb
? (MO)
516.67
752.829
3482884
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_8-unsat.opb
? (MO)
525.93
521.4
3482813
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
? (MO)
526.07
522.196
3482772
/DEC-SMALLINT-LIN/lopes/
normalized-184.opb
? (MO)
536.99
537.021
3482893
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
? (MO)
569.23
567.188
3482426
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
? (MO)
577.9
574.399
3482447
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
? (MO)
581.53
577.602
3482424
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12033_3-sat.opb
? (MO)
582.87
579.405
3482808
/DEC-SMALLINT-LIN/lopes/
normalized-173.opb
? (MO)
733.61
732.92
3482889
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
? (MO)
1071.53
1066.99
3482428
/DEC-SMALLINT-LIN/lopes/
normalized-182.opb
? (MO)
1261.04
1260.97
3482892
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
? (MO)
1399.81
1392.18
3482425
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
? (MO)
1423.18
1415.79
3482446
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12058_4-sat.opb
? (MO)
1586.59
1576.41
3482820
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
? (MO)
1640.75
1634.39
3482429
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_3-sat.opb
? (MO)
1641.09
1634.2
3482810
/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12056_10-unsat.opb
? (MO)
1641.64
1634.59
3482819
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_4-sat.opb
? (MO)
1643.89
1636.69
3482811
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
? (MO)
1647.12
1639.7
3482427
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12016_4-sat.opb
? (MO)
1682.17
1673.11
3482799
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
? (MO)
1685.22
1677.51
3482652
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12037_7-sat.opb
? (MO)
1685.71
1676.51
3482812
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
? (MO)
1693
1685.35
3482423
Category "no optimisation, small integers, non linear constraints" (DEC-SMALLINT-NLC)
Solver proved unsatisfiability (UNSATISFIABLE) (20 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_2_8.opb
UNSAT
0.424935
0.546844
3482355
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_1_8.opb
UNSAT
0.439932
3.39364
3482358
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_4_8.opb
UNSAT
0.45393
0.550907
3482414
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_2_5.opb
UNSAT
0.45493
0.538486
3482382
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_3_8.opb
UNSAT
0.45493
0.544398
3482384
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_1_5.opb
UNSAT
0.455929
0.552549
3482413
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_5_8.opb
UNSAT
0.45593
0.540707
3482383
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_5_5.opb
UNSAT
0.464929
0.744505
3482396
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_3_5.opb
UNSAT
0.489925
0.769687
3482406
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_4_5.opb
UNSAT
0.492924
0.819944
3482353
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_1_15.opb
UNSAT
12.0422
12.2641
3482419
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_3_15.opb
UNSAT
15.9866
16.1929
3482402
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_4_15.opb
UNSAT
16.1585
16.3879
3482354
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_2_15.opb
UNSAT
16.8834
16.9202
3482338
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_5_15.opb
UNSAT
17.7733
21.2006
3482381
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_3_40.opb
UNSAT
955.345
949.689
3482394
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_2_40.opb
UNSAT
1144.81
1138.59
3482410
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_40.opb
UNSAT
1199.79
1193.99
3482359
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_1_40.opb
UNSAT
1393.7
1385.97
3482333
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_4_40.opb
UNSAT
1615.52
1606.75
3482341
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (53 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_1_5.opb
SAT
0
0.477927
0.57686
3482371
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_2_5.opb
SAT
0
0.484925
0.575762
3482345
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_5_5.opb
SAT
0
0.489925
0.866935
3482373
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_4_5.opb
SAT
0
0.510921
0.792146
3482397
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_2_15.opb
SAT
0
0.511921
0.635
3482335
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_3_15.opb
SAT
0
0.51892
0.716339
3482329
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_5_5.opb
SAT
0
0.552915
0.677452
3482336
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_4_5.opb
SAT
0
0.562913
0.634484
3482346
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_1_15.opb
SAT
0
0.565913
0.72664
3482348
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_5_15.opb
SAT
0
0.568912
0.719189
3482363
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_3_5.opb
SAT
0
0.570912
1.83607
3482339
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_2_5.opb
SAT
0
0.571912
0.664151
3482323
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_1_5.opb
SAT
0
0.572912
0.725836
3482378
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_4_15.opb
SAT
0
0.58591
0.764244
3482340
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_3_5.opb
SAT
0
0.600908
0.845131
3482369
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_3_15.opb
SAT
0
0.639902
0.714855
3482372
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_2_40.opb
SAT
0
0.642901
0.718891
3482370
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_1_40.opb
SAT
0
0.6519
0.735141
3482349
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_2_15.opb
SAT
0
0.656899
0.920672
3482380
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_4_40.opb
SAT
0
0.661899
0.884434
3482327
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_1_15.opb
SAT
0
0.667897
0.814148
3482377
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_5_15.opb
SAT
0
0.697893
0.94175
3482411
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_5_40.opb
SAT
0
0.721889
0.944352
3482386
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_4_15.opb
SAT
0
0.769882
1.06191
3482366
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_3_40.opb
SAT
0
0.834872
1.05618
3482361
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_1_15.opb
SAT
0
0.840871
1.03139
3482331
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_15.opb
SAT
0
0.876866
4.34502
3482360
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_15.opb
SAT
0
0.933857
0.978624
3482412
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_2_15.opb
SAT
0
0.936857
1.18628
3482393
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_4_15.opb
SAT
0
0.960853
1.16689
3482417
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_5_15.opb
SAT
0
2.33864
1.57449
3482337
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_4_15.opb
SAT
0
2.36964
1.70102
3482326
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_2_15.opb
SAT
0
2.40363
1.61985
3482421
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_1_15.opb
SAT
0
2.47962
1.68551
3482351
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_3_15.opb
SAT
0
2.54
1.88381
3482362
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_1_15.opb
SAT
0
3.44848
2.34365
3482409
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_4_15.opb
SAT
0
3.47947
3.61067
3482324
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_2_15.opb
SAT
0
3.50747
2.33914
3482403
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_3_15.opb
SAT
0
3.59845
2.76701
3482365
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_5_15.opb
SAT
0
3.79142
2.87752
3482364
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_4_15.opb
SAT
0
6.92794
6.85718
3482400
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_2_15.opb
SAT
0
7.26989
7.10801
3482420
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_5_15.opb
SAT
0
7.55885
7.39108
3482407
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_1_15.opb
SAT
0
8.04478
7.94716
3482375
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_2_80.opb
SAT
0
9.8295
9.817
3482325
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_5_80.opb
SAT
0
10.0655
10.0681
3482347
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_3_15.opb
SAT
0
29.6945
33.9186
3482385
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_1_80.opb
SAT
0
31.1093
31.0926
3482408
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_4_80.opb
SAT
0
33.2459
38.2961
3482367
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_3_80.opb
SAT
0
33.6739
37.1768
3482368
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_15.opb
SAT
0
911.504
907.213
3482374
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_4_15.opb
SAT
0
1512.64
1503.56
3482422
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_3_15.opb
SAT
0
1560.13
1550.71
3482356
Solver timed out (no solution given) (27 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_2_15.opb
? (TO)
1800.01
1790.78
3482415
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_1_40.opb
? (TO)
1800.01
1790.38
3482376
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_5_80.opb
? (TO)
1800.01
1791.37
3482334
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_4_40.opb
? (TO)
1800.01
1791.48
3482330
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_40.opb
? (TO)
1800.01
1792.08
3482352
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
? (TO)
1800.03
1790.08
3482328
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_5_15.opb
? (TO)
1800.03
1791.18
3482388
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_3_80.opb
? (TO)
1800.03
1797.75
3482342
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_4_15.opb
? (TO)
1800.04
1793.68
3482404
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_2_40.opb
? (TO)
1800.04
1791.49
3482344
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_1_80.opb
? (TO)
1800.04
1790.98
3482391
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_1_40.opb
? (TO)
1800.05
1792.18
3482390
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_3_40.opb
? (TO)
1800.06
1791.29
3482405
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_4_40.opb
? (TO)
1800.06
1790.9
3482392
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_3_15.opb
? (TO)
1800.06
1789.59
3482416
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_3_80.opb
? (TO)
1800.06
1790.68
3482389
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_1_15.opb
? (TO)
1800.06
1789.88
3482387
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_40.opb
? (TO)
1800.06
1790.68
3482379
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_1_80.opb
? (TO)
1800.07
1791.16
3482399
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_1_15.opb
? (TO)
1800.08
1791.2
3482357
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_2_40.opb
? (TO)
1800.08
1791.78
3482398
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_2_15.opb
? (TO)
1800.08
1790.09
3482332
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_4_80.opb
? (TO)
1800.09
1791.89
3482350
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_5_80.opb
? (TO)
1800.1
1796.05
3482343
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_2_80.opb
? (TO)
1800.1
1793.46
3482395
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_4_80.opb
? (TO)
1800.1
1792.98
3482418
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_5_40.opb
? (TO)
1800.1
1790.19
3482401