PB'10 competition: satisfaction and optimization track: benchmarks results per solver
Result page for solver borg-pb
10.05.30
(complete)
Category "no optimisation, small integers, linear constraints" (DEC-SMALLINT-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (236 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j907_8-unsat.opb
UNSAT
1.27181
1.39678
2685296
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9012_2-unsat.opb
UNSAT
1.27481
1.42596
2685170
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-7.ucl.opb
UNSAT
1.2798
1.6642
2676258
/DEC-SMALLINT-LIN/oliveras/
j90/normalized-j9015_10-unsat.opb
UNSAT
1.28081
1.41477
2685310
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-2.ucl.opb
UNSAT
1.2818
1.51798
2676278
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j301_4-unsat.opb
UNSAT
1.2838
1.52957
2684568
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6033_2-unsat.opb
UNSAT
1.2908
1.72711
2685380
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9028_2-unsat.opb
UNSAT
1.2958
1.73257
2685142
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9048_1-unsat.opb
UNSAT
1.2968
1.41314
2685338
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6027_4-unsat.opb
UNSAT
1.3008
1.49124
2685534
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j903_10-unsat.opb
UNSAT
1.3058
1.5616
2685240
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-4.ucl.opb
UNSAT
1.3258
1.58444
2676259
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6030_9-unsat.opb
UNSAT
1.3268
1.47566
2685590
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf7.ucl.opb
UNSAT
1.3268
1.45695
2676280
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9010_6-unsat.opb
UNSAT
1.3298
1.5009
2685324
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j308_1-unsat.opb
UNSAT
1.3388
1.71895
2684554
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6010_2-unsat.opb
UNSAT
1.3398
1.53974
2685520
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf6.ucl.opb
UNSAT
1.3418
1.55378
2676275
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-3.ucl.opb
UNSAT
1.34979
1.81895
2676260
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1205_1-unsat.opb
UNSAT
1.35879
1.57844
2684960
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-44s.smv.opb
UNSAT
1.36279
1.49669
2676255
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j603_2-unsat.opb
UNSAT
1.36279
1.52171
2685478
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12023_3-unsat.opb
UNSAT
1.36279
1.5071
2684778
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
UNSAT
1.36979
1.8959
2676250
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-8.ucl.opb
UNSAT
1.36979
1.833
2676266
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-25s.smv.opb
UNSAT
1.37679
1.71065
2676277
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3041_4-unsat.opb
UNSAT
1.37779
1.45978
2684652
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-floppy1-6.ucl.opb
UNSAT
1.37979
1.84594
2676276
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-37s.smv.opb
UNSAT
1.38079
1.5231
2676256
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9035_1-unsat.opb
UNSAT
1.38379
1.46396
2685128
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j602_7-unsat.opb
UNSAT
1.38579
1.49881
2685548
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv8.ucl.opb
UNSAT
1.38679
1.83394
2676261
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3046_4-unsat.opb
UNSAT
1.39279
2.04254
2684540
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9039_3-unsat.opb
UNSAT
1.39479
2.56238
2685184
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-46s.smv.opb
UNSAT
1.40279
1.79764
2676247
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12013_1-unsat.opb
UNSAT
1.41079
1.91828
2685100
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
1.41278
1.56186
2676270
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
1.41778
1.51603
2676253
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9014_1-unsat.opb
UNSAT
1.42878
2.41444
2685254
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
UNSAT
1.43478
1.55308
2676267
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv10.ucl.opb
UNSAT
1.44178
1.96148
2676246
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j606_1-unsat.opb
UNSAT
1.45278
2.5809
2685450
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
1.49377
1.92705
2676254
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12015_3-unsat.opb
UNSAT
1.50077
2.76735
2684834
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-22s.smv.opb
UNSAT
1.52477
1.95496
2676272
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
UNSAT
1.57776
1.69598
2676273
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
1.57776
1.68698
2676265
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j309_10-unsat.opb
UNSAT
1.63075
2.7494
2684498
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT
1.67374
2.0245
2676282
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem1.ucl.opb
UNSAT
1.69574
1.81098
2676271
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-43s.smv.opb
UNSAT
1.76673
1.86441
2676264
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
UNSAT
1.77673
1.86318
2676279
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564824.opb
UNSAT
1.82472
1.96195
2676118
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf9.ucl.opb
UNSAT
1.83772
1.98798
2676268
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12041_4-unsat.opb
UNSAT
1.9897
2.9197
2685058
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag8.ucl.opb
UNSAT
2.08468
2.15707
2676274
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558106.opb
UNSAT
2.15567
2.64193
2676110
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.2.accl.ucl.opb
UNSAT
2.42863
2.78922
2676281
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227326.opb
UNSAT
2.43163
2.77751
2676029
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12027_7-unsat.opb
UNSAT
2.43263
2.8853
2684974
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224059.opb
UNSAT
2.55061
2.78398
2676064
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110966483.opb
UNSAT
2.71459
2.91291
2676057
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226680.opb
UNSAT
2.79257
2.94802
2676038
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111225122.opb
UNSAT
2.79657
3.12983
2676050
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977273.opb
UNSAT
2.80357
3.46438
2676028
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226368.opb
UNSAT
2.82757
3.11693
2676061
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
UNSAT
2.83957
2.84931
2676262
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552423.opb
UNSAT
2.86556
2.92969
2676122
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970444.opb
UNSAT
2.89856
8.85741
2675988
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110966688.opb
UNSAT
2.90056
7.2691
2675994
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974372.opb
UNSAT
2.94955
7.50263
2676010
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969577.opb
UNSAT
2.97355
3.23636
2676036
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218955.opb
UNSAT
2.97355
3.26956
2676030
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216823.opb
UNSAT
2.99254
3.33693
2676071
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219348.opb
UNSAT
2.99854
7.11093
2675997
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970631.opb
UNSAT
3.02254
9.907
2675990
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973364.opb
UNSAT
3.06353
3.69491
2676027
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977780.opb
UNSAT
3.07153
6.62092
2676003
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976157.opb
UNSAT
3.10453
3.23973
2676051
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212923.opb
UNSAT
3.12152
3.695
2676046
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219799.opb
UNSAT
3.14952
7.9617
2676011
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226062.opb
UNSAT
3.19151
8.68778
2675991
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222257.opb
UNSAT
3.23451
3.53805
2676022
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224929.opb
UNSAT
3.2485
3.41994
2676067
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222539.opb
UNSAT
3.3045
3.60728
2676026
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224255.opb
UNSAT
3.3145
3.62752
2676016
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213670.opb
UNSAT
3.32249
3.75796
2676081
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224451.opb
UNSAT
3.33449
7.82826
2676020
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT
3.37549
7.16771
2676008
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973670.opb
UNSAT
3.41248
4.04465
2676033
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220767.opb
UNSAT
3.42148
3.85189
2676034
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220546.opb
UNSAT
3.42448
7.18756
2676002
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212272.opb
UNSAT
3.43048
7.37985
2676001
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976935.opb
UNSAT
3.47547
3.80886
2676023
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111225605.opb
UNSAT
3.48147
8.43859
2676000
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227861.opb
UNSAT
3.52646
8.16584
2676006
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968094.opb
UNSAT
3.55846
3.72876
2676055
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971697.opb
UNSAT
3.60845
7.40772
2676004
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223004.opb
UNSAT
3.61945
3.96589
2676077
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111212476.opb
UNSAT
3.63045
4.07889
2676045
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971363.opb
UNSAT
3.63845
13.1324
2675983
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978334.opb
UNSAT
3.66044
4.01007
2676017
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221203.opb
UNSAT
3.68744
4.03733
2676024
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j605_1-unsat.opb
UNSAT
3.69244
3.63589
2685394
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967729.opb
UNSAT
3.71943
10.0367
2675992
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT
3.73643
3.85698
2676257
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217555.opb
UNSAT
3.74443
7.44931
2676007
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217392.opb
UNSAT
3.79142
4.02709
2676041
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216411.opb
UNSAT
3.82542
3.9171
2676076
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967523.opb
UNSAT
3.83842
4.07491
2676035
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978113.opb
UNSAT
3.88841
3.90753
2676053
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111220019.opb
UNSAT
4.00439
4.13862
2676082
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221624.opb
UNSAT
4.04738
4.02831
2676058
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968561.opb
UNSAT
4.08138
4.25725
2676040
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218757.opb
UNSAT
4.12137
4.26263
2676073
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972154.opb
UNSAT
4.22636
7.91263
2676009
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972763.opb
UNSAT
4.25235
12.5318
2675984
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223220.opb
UNSAT
4.26235
9.5225
2675995
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969860.opb
UNSAT
4.28735
11.6237
2675987
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969170.opb
UNSAT
4.34834
4.69693
2676047
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968898.opb
UNSAT
4.40533
4.49995
2676059
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT
4.5893
4.68875
2676060
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
UNSAT
4.73128
5.03581
2676031
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111228076.opb
UNSAT
4.78227
4.85989
2676079
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218024.opb
UNSAT
4.81827
4.87393
2676074
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975965.opb
UNSAT
4.89625
5.24739
2676013
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976730.opb
UNSAT
4.90725
4.93285
2676054
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT
5.03223
5.19466
2676252
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967142.opb
UNSAT
5.2802
5.39194
2676043
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
5.41018
5.30597
2676263
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3029_8-unsat.opb
UNSAT
5.48317
6.21606
2684722
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975607.opb
UNSAT
5.93154
3.20095
2676056
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-elf.rf10.ucl.opb
UNSAT
6.09807
5.96218
2676284
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227012.opb
UNSAT
6.11852
5.4078
2676068
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900563801.opb
UNSAT
6.93994
6.88106
2676140
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j605_10-unsat.opb
UNSAT
7.2269
7.30614
2685422
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557574.opb
UNSAT
7.50286
7.53576
2676153
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670675.opb
UNSAT
8.36073
8.19995
2676114
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546076.opb
UNSAT
8.59869
8.45021
2676093
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb
UNSAT
8.78866
9.01957
2676145
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
UNSAT
9.10362
9.0622
2676251
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900570242.opb
UNSAT
9.75252
9.58648
2676128
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111218308.opb
UNSAT
9.79625
12.0017
2675986
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb
UNSAT
10.0725
10.0422
2676168
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567024.opb
UNSAT
11.2293
10.8209
2676143
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584106.opb
UNSAT
18.0842
17.288
2676115
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551864.opb
UNSAT
24.1743
23.1941
2676156
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb
UNSAT
24.6932
23.3217
2676151
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.rf10.ucl.opb
UNSAT
25.5991
26.3396
2676283
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567135.opb
UNSAT
25.7751
24.8544
2676083
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557362.opb
UNSAT
25.8631
24.6873
2676108
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568706.opb
UNSAT
26.145
25.0904
2676087
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554420.opb
UNSAT
26.279
24.9491
2676162
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568186.opb
UNSAT
27.7288
26.2581
2676106
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544484.opb
UNSAT
28.3357
27.0093
2676125
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900575442.opb
UNSAT
29.4245
27.7065
2676102
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb
UNSAT
29.8475
28.4637
2676152
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
30.4184
31.7351
2676248
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670167.opb
UNSAT
31.7442
30.3684
2676154
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554072.opb
UNSAT
32.695
31.2053
2675959
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574864.opb
UNSAT
35.8505
34.2181
2675956
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900562192.opb
UNSAT
36.6784
34.8237
2676124
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900569834.opb
UNSAT
37.5963
36.0041
2676164
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900556231.opb
UNSAT
44.8062
42.4127
2675958
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566157.opb
UNSAT
46.122
43.4376
2676134
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669797.opb
UNSAT
47.1258
44.7879
2675954
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb
UNSAT
47.4028
44.7933
2675961
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb
UNSAT
50.2884
47.3986
2676119
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571132.opb
UNSAT
50.6633
48.7055
2676116
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900545610.opb
UNSAT
52.311
49.3454
2676141
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565534.opb
UNSAT
52.791
50.3288
2676097
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
UNSAT
52.8
50.5877
2676249
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900563250.opb
UNSAT
53.2009
50.758
2676113
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
53.5269
50.8874
2676285
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
55.1916
51.8033
2675957
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb
UNSAT
56.3044
53.5044
2675962
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553647.opb
UNSAT
58.879
55.8889
2675951
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571761.opb
UNSAT
60.5208
57.2762
2676092
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb
UNSAT
61.6686
58.1041
2676101
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552735.opb
UNSAT
62.3125
58.5159
2676132
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550720.opb
UNSAT
63.3934
60.2817
2676165
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.RobRegValid_bar.ucl.opb
UNSAT
114.371
107.559
2675963
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581320.opb
UNSAT
160.67
152.079
2676084
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576360.opb
UNSAT
164.6
156.051
2676096
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb
UNSAT
180.562
171.221
2676158
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900667195.opb
UNSAT
184.282
173.372
2675960
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb
UNSAT
186.695
176.657
2676159
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900558739.opb
UNSAT
188.928
176.145
2676149
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900583053.opb
UNSAT
192.229
181.88
2676107
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900550006.opb
UNSAT
194.178
183.663
2676135
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576151.opb
UNSAT
203.568
192.473
2676131
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576927.opb
UNSAT
208.38
197.082
2676088
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577940.opb
UNSAT
208.517
197.312
2675953
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559676.opb
UNSAT
224.669
212.529
2676121
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670234.opb
UNSAT
483.153
455.607
2675948
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_21_pb.cnf.cr.opb
UNSAT
598.94
567.219
2676221
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr.opb
UNSAT
600.085
567.327
2676213
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb
UNSAT
600.231
566.428
2676189
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
UNSAT
600.797
567.939
2676209
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
UNSAT
600.836
567.789
2676210
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
UNSAT
600.987
568.699
2676212
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_31_pb.cnf.cr.opb
UNSAT
600.999
567.597
2676217
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr.opb
UNSAT
601.154
567.909
2676211
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_20_pb.cnf.cr.opb
UNSAT
601.272
566.649
2676240
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-21-20.opb
UNSAT
601.593
567.458
2676306
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-51-50.opb
UNSAT
601.891
567.576
2676305
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
UNSAT
602.011
568.172
2676298
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl15_25_pb.cnf.cr.opb
UNSAT
602.746
566.711
2676207
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-31-30.opb
UNSAT
602.775
568.59
2676299
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
UNSAT
602.978
565.879
2676215
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT
603.27
568.051
2676233
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
UNSAT
603.391
567.892
2676202
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
UNSAT
603.715
568.046
2676231
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb
UNSAT
603.747
566.618
2676239
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
UNSAT
604.982
568.529
2676226
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
605.879
572.796
2676214
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-81-80.opb
UNSAT
606.141
568.914
2676302
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-41-40.opb
UNSAT
606.771
567.259
2676311
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_15_pb.cnf.cr.opb
UNSAT
608.612
566.699
2676235
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-11-10.opb
UNSAT
608.837
567.51
2676304
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-25-20.opb
UNSAT
609.63
567.197
2676293
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-35-30.opb
UNSAT
609.878
568.081
2676308
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
UNSAT
610.81
567.843
2676190
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_51_pb.cnf.cr.opb
UNSAT
614.688
579.247
2676203
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
UNSAT
615.694
573.645
2676296
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-75-70.opb
UNSAT
622.164
580.649
2676292
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-45-40.opb
UNSAT
629.898
592.542
2676294
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-15-10.opb
UNSAT
651.78
566.682
2676310
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900548667.opb
UNSAT
956.748
902.052
2675955
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567985.opb
UNSAT
968.298
910.719
2675949
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900579996.opb
UNSAT
976.558
910.491
2676163
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561288.opb
UNSAT
1038.53
974.621
2675950
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12026_5-unsat.opb
UNSAT
1113.66
1050.68
2685016
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-55-50.opb
UNSAT
1234.56
1165.23
2676295
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-71-70.opb
UNSAT
1246.99
1171.24
2676303
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-61-60.opb
UNSAT
1258.65
1188.71
2676307
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (179 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
/DEC-SMALLINT-LIN/leberre/opb-paranoid/misc2010/
datasets/caixa/normalized-1096.cudf.paranoid.opb
SAT
0
1.2998
3.9271
2683159
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554154.opb
SAT
0
1.3208
6.21882
2676155
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
SAT
0
1.3268
1.62275
2676237
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_8_sat_pb.cnf.cr.opb
SAT
0
1.34679
1.97503
2676244
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
1.37079
2.50661
2675976
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_9_sat_pb.cnf.cr.opb
SAT
0
1.38779
1.78694
2676208
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
1.39879
2.07337
2675967
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561384.opb
SAT
0
1.41279
1.56279
2676139
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554067.opb
SAT
0
1.41778
1.62998
2676138
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j308_6-sat.opb
SAT
0
1.42778
1.70111
2684708
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga10_10_sat_pb.cnf.cr.opb
SAT
0
1.43378
1.51488
2676228
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227418.opb
SAT
0
1.45078
1.59497
2676065
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222248.opb
SAT
0
1.45578
4.91575
2676048
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223689.opb
SAT
0
1.46278
1.75284
2676062
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3048_8-sat.opb
SAT
0
1.47078
1.62401
2684624
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566270.opb
SAT
0
1.47278
1.63272
2676167
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3027_8-sat.opb
SAT
0
1.47478
2.00359
2684512
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
1.48777
2.11249
2676241
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_9_sat_pb.cnf.cr.opb
SAT
0
1.48777
1.91599
2676225
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552311.opb
SAT
0
1.49577
5.05664
2676120
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3024_4-sat.opb
SAT
0
1.49777
1.91593
2684638
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_10_sat_pb.cnf.cr.opb
SAT
0
1.49977
2.16044
2676223
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900581321.opb
SAT
0
1.50277
1.69096
2676095
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900564822.opb
SAT
0
1.50977
1.70752
2676105
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547427.opb
SAT
0
1.51377
1.76191
2676148
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3031_7-sat.opb
SAT
0
1.51877
1.66672
2684666
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557568.opb
SAT
0
1.52677
1.70973
2676103
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900571131.opb
SAT
0
1.52677
1.70337
2676090
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900549974.opb
SAT
0
1.53077
5.04086
2676086
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559641.opb
SAT
0
1.53677
1.65722
2676100
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
1.53877
2.74291
2675973
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga11_11_sat_pb.cnf.cr.opb
SAT
0
1.56176
1.99047
2676193
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574948.opb
SAT
0
1.57876
1.753
2676091
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554375.opb
SAT
0
1.58376
5.70479
2676112
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3020_1-sat.opb
SAT
0
1.58376
1.83995
2684596
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566263.opb
SAT
0
1.58476
1.96641
2676129
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217374.opb
SAT
0
1.58676
1.816
2676080
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216864.opb
SAT
0
1.58976
5.38679
2676005
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j309_9-sat.opb
SAT
0
1.61275
2.16445
2684582
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
1.61575
5.15576
2676075
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12bt.opb
SAT
0
1.62475
3.51724
2675978
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968431.opb
SAT
0
1.63375
3.96835
2676063
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554373.opb
SAT
0
1.64075
1.788
2676098
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219399.opb
SAT
0
1.64475
1.89803
2676066
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900574974.opb
SAT
0
1.64875
1.92044
2676157
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900566151.opb
SAT
0
1.65075
1.834
2676127
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
1.70174
5.27007
2676021
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6022_1-sat.opb
SAT
0
1.71174
2.10302
2685492
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3037_5-sat.opb
SAT
0
1.71574
2.9409
2684526
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14bt.opb
SAT
0
1.71974
2.56872
2675971
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971766.opb
SAT
0
1.72574
6.97495
2675993
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3025_1-sat.opb
SAT
0
1.76573
2.2059
2684694
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900577000.opb
SAT
0
1.76973
2.17482
2676133
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223416.opb
SAT
0
1.78273
2.16589
2676044
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567003.opb
SAT
0
1.78273
5.72492
2676130
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3025_7-sat.opb
SAT
0
1.78873
2.03546
2684610
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973478.opb
SAT
0
1.79972
1.99803
2676049
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224522.opb
SAT
0
1.80472
6.18204
2675996
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6048_4-sat.opb
SAT
0
1.80572
1.9478
2685464
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111221953.opb
SAT
0
1.80772
2.21998
2676072
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga12_12_sat_pb.cnf.cr.opb
SAT
0
1.82572
2.27184
2676195
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
1.83172
2.082
2676070
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
1.83572
2.23996
2676179
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900582376.opb
SAT
0
1.84072
1.96103
2676099
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
1.86871
2.28692
2676178
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
1.86871
2.26368
2676176
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6015_4-sat.opb
SAT
0
1.87271
2.11503
2685562
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6018_3-sat.opb
SAT
0
1.87471
1.99662
2685506
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559416.opb
SAT
0
1.87671
2.23089
2676146
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6040_1-sat.opb
SAT
0
1.88271
2.29267
2685366
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971097.opb
SAT
0
1.91171
6.39342
2676014
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976735.opb
SAT
0
1.91571
2.33094
2676015
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226241.opb
SAT
0
1.92571
6.93494
2675999
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
1.9417
2.31892
2676174
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
1.9567
2.37345
2676187
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
1.9577
2.18773
2676137
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977266.opb
SAT
0
1.9697
2.17598
2676052
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973863.opb
SAT
0
1.9897
6.4099
2676037
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900576918.opb
SAT
0
1.9927
5.04712
2676166
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900565527.opb
SAT
0
2.02069
2.23694
2676142
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900557413.opb
SAT
0
2.04469
5.5767
2676109
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_12_sat_pb.cnf.cr.opb
SAT
0
2.05669
2.1657
2676199
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
2.09668
2.54919
2676019
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547416.opb
SAT
0
2.10568
6.19396
2676111
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547461.opb
SAT
0
2.14067
2.48102
2676150
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900554389.opb
SAT
0
2.14167
2.28113
2676094
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547334.opb
SAT
0
2.15767
2.36931
2676136
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900547353.opb
SAT
0
2.15967
2.49293
2676160
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970277.opb
SAT
0
2.16067
10.1269
2675985
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111217380.opb
SAT
0
2.17067
8.64611
2675989
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9010_8-sat.opb
SAT
0
2.18767
2.56214
2685156
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110970170.opb
SAT
0
2.19567
2.70348
2676012
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900567939.opb
SAT
0
2.22766
2.28796
2676161
/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3029_6-sat.opb
SAT
0
2.24666
2.44193
2684680
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553644.opb
SAT
0
2.25166
2.54144
2676147
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army9.12ls.opb
SAT
0
2.30865
10.6527
2675980
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900670756.opb
SAT
0
2.31065
2.51197
2676123
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j906_2-sat.opb
SAT
0
2.32665
2.41667
2685198
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
2.34364
2.5736
2676289
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
2.34964
3.04404
2675968
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9043_2-sat.opb
SAT
0
2.36064
2.79415
2685226
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
2.36364
2.49186
2676144
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
0
2.36464
2.41165
2676198
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975678.opb
SAT
0
2.36964
2.74898
2676042
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9012_5-sat.opb
SAT
0
2.37664
2.45421
2685352
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army10.14ls.opb
SAT
0
2.39064
4.07568
2675977
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9027_5-sat.opb
SAT
0
2.43563
3.08649
2685212
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9042_5-sat.opb
SAT
0
2.48462
2.70115
2685282
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga13_13_sat_pb.cnf.cr.opb
SAT
0
2.49862
2.54626
2676245
/DEC-SMALLINT-LIN/oliveras/j90/
normalized-j9035_5-sat.opb
SAT
0
2.52661
2.67996
2685268
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12010_10-sat.opb
SAT
0
2.55561
4.06201
2685002
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223596.opb
SAT
0
2.5986
3.07383
2676032
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216188.opb
SAT
0
2.68259
3.02591
2676025
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1203_2-sat.opb
SAT
0
2.77958
4.042
2685086
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12034_4-sat.opb
SAT
0
2.79057
3.54338
2684946
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6041_4-sat.opb
SAT
0
2.80457
3.29279
2685436
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
2.80657
3.01796
2676177
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
2.81157
2.84897
2676184
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
2.82357
3.16916
2676188
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900561389.opb
SAT
0
2.85556
2.92897
2676104
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12045_10-sat.opb
SAT
0
2.87756
3.03656
2684848
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_13_sat_pb.cnf.cr.opb
SAT
0
2.88656
3.31188
2676232
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
2.89356
4.18397
2676186
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
2.96955
3.67881
2676183
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12022_9-sat.opb
SAT
0
2.98255
3.0694
2685114
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110972958.opb
SAT
0
2.99554
7.20353
2675998
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900553606.opb
SAT
0
3.02154
3.44363
2676126
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900544463.opb
SAT
0
3.03054
7.2135
2676117
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975832.opb
SAT
0
3.03454
6.37397
2676069
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1201_5-sat.opb
SAT
0
3.08553
3.16543
2684750
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967327.opb
SAT
0
3.14652
3.65689
2676018
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
3.33949
3.92673
2676171
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17ls.opb
SAT
0
3.36849
8.65396
2675979
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223696.opb
SAT
0
3.37549
5.41098
2676039
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
3.42848
3.3899
2676287
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6035_10-sat.opb
SAT
0
3.58272
3.21168
2685604
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111222080.opb
SAT
0
3.68544
4.05397
2676078
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12021_4-sat.opb
SAT
0
3.76343
4.16753
2684876
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
4.72428
4.83892
2676180
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
5.06423
5.61712
2676185
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
5.09822
5.39491
2676181
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
5.11022
5.51275
2676182
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/
dbst/normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
5.11222
5.54239
2676175
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
SAT
0
5.63014
5.84682
2676227
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
0
6.88095
6.87778
2676197
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j605_7-sat.opb
SAT
0
6.91495
7.59424
2685576
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
0
6.94394
7.32292
2676269
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
7.09692
7.09632
2676291
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900568952.opb
SAT
0
8.11477
8.07316
2676085
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga14_14_sat_pb.cnf.cr.opb
SAT
0
8.5817
8.34564
2676236
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb
SAT
0
10.1232
5.40554
2676089
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
13.7839
15.2076
2675966
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21ls.opb
SAT
0
30.5064
34.687
2675982
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
30.5204
29.3799
2676286
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_14_sat_pb.cnf.cr.opb
SAT
0
37.8482
36.2097
2676194
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army11.17bt.opb
SAT
0
39.1281
48.3692
2675972
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
SAT
0
65.3841
62.6539
2676191
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
SAT
0
65.3891
62.6463
2676218
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
SAT
0
65.4331
62.3566
2676229
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
SAT
0
65.536
62.7259
2676220
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_18_sat_pb.cnf.cr.opb
SAT
0
65.557
62.2954
2676243
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
SAT
0
65.579
62.7207
2676205
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
SAT
0
65.671
62.4171
2676222
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
SAT
0
65.718
62.8305
2676234
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
SAT
0
65.803
62.6821
2676206
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
SAT
0
65.981
62.7308
2676219
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
66.1359
62.3791
2676201
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
SAT
0
66.2389
62.1207
2676242
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
SAT
0
66.2569
62.8265
2676224
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_40_sat_pb.cnf.cr.opb
SAT
0
66.4389
62.7914
2676216
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga20_19_sat_pb.cnf.cr.opb
SAT
0
66.6029
63.0906
2676204
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
SAT
0
70.2143
66.523
2676230
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
SAT
0
73.0969
69.194
2676200
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
SAT
0
90.5992
86.0924
2676238
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1209_4-sat.opb
SAT
0
179.113
171.009
2684736
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
SAT
0
192.501
180.199
2676170
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga35_33_sat_pb.cnf.cr.opb
SAT
0
608.452
574.895
2676192
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24bt.opb
SAT
0
969.157
921.962
2675974
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
1171.93
1107.17
2675970
Solver timed out (no solution given) (37 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
? (TO)
1800
1692.42
2676309
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
? (TO)
1800.01
1694.02
2675944
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12038_8-unsat.opb
? (TO)
1800.01
1700.02
2684806
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12037_7-sat.opb
? (TO)
1800.01
1700.12
2684890
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_3-unsat.opb
? (TO)
1800.02
1699.53
2684932
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-91-90.opb
? (TO)
1800.02
1691.62
2676300
/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12047_10-unsat.opb
? (TO)
1800.02
1684.42
2684918
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
? (TO)
1800.02
1672.52
2676173
/DEC-SMALLINT-LIN/oliveras/
j120/normalized-j12056_10-unsat.opb
? (TO)
1800.02
1699.82
2684764
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
? (TO)
1800.03
1698.52
2675947
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j1208_10-unsat.opb
? (TO)
1800.03
1700.82
2684820
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin16.opb
? (TO)
1800.03
1704.42
2675952
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-95-90.opb
? (TO)
1800.04
1700.72
2676301
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
? (TO)
1800.04
1696.82
2676172
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army13.24ls.opb
? (TO)
1800.04
1679.83
2675981
normalized-PB06/SATUNSAT-SMALLINT/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
? (TO)
1800.05
1694.22
2675941
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
1800.05
1695.62
2675969
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12058_4-sat.opb
? (TO)
1800.05
1699.12
2685030
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
? (TO)
1800.06
1675.33
2675943
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12052_5-unsat.opb
? (TO)
1800.06
1674.33
2685044
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
? (TO)
1800.06
1680.52
2676288
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_3-sat.opb
? (TO)
1800.06
1701.92
2685072
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
? (TO)
1800.07
1699.32
2675945
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl50_55_pb.cnf.cr.opb
? (TO)
1800.07
1728.82
2676196
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.8.accl.ucl.opb
? (TO)
1800.07
1698.12
2675965
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
? (TO)
1800.07
1696.32
2675942
normalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-85-80.opb
? (TO)
1800.08
1675.82
2676297
normalized-PB06/SATUNSAT-SMALLINT/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
? (TO)
1800.08
1700.42
2676290
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
1800.08
1697.92
2676169
/DEC-SMALLINT-LIN/oliveras/j60/
normalized-j6013_2-unsat.opb
? (TO)
1800.09
1694.82
2685408
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12032_8-unsat.opb
? (TO)
1800.09
1690.42
2684904
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12036_4-sat.opb
? (TO)
1800.09
1699.22
2684988
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12016_4-sat.opb
? (TO)
1800.09
1701.73
2684792
normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
prestwich/armies/normalized-army12.21bt.opb
? (TO)
1800.09
1700.63
2675975
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.unbounded.all.ucl.opb
? (TO)
1800.11
1697.82
2675964
/DEC-SMALLINT-LIN/oliveras/j120/
normalized-j12033_3-sat.opb
? (TO)
1800.11
1696.82
2684862
normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
? (TO)
1800.11
1577.42
2675946
Category "no optimisation, small integers, non linear constraints" (DEC-SMALLINT-NLC)
Solver proved unsatisfiability (UNSATISFIABLE) (10 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_1_8.opb
UNSAT
1.70174
1.84447
2675876
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_3_8.opb
UNSAT
1.73273
1.84338
2675902
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_5_8.opb
UNSAT
1.73873
1.85797
2675901
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_2_8.opb
UNSAT
1.76973
2.1656
2675873
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_4_8.opb
UNSAT
3.26074
2.10582
2675932
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_5_15.opb
UNSAT
457.831
431.774
2675899
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_1_15.opb
UNSAT
461.912
429.039
2675937
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_4_15.opb
UNSAT
467.134
440.421
2675872
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_3_15.opb
UNSAT
468.618
440.8
2675920
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_2_15.opb
UNSAT
491.102
456.205
2675856
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (17 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_10_1_15.opb
SAT
0
220.137
206.328
2675866
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_1_15.opb
SAT
0
220.301
207.606
2675895
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_2_15.opb
SAT
0
221.181
208.406
2675898
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_5_15.opb
SAT
0
221.634
208.078
2675929
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_4_15.opb
SAT
0
221.845
207.581
2675858
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_3_15.opb
SAT
0
222.008
207.484
2675890
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_3_40.opb
SAT
0
222.306
207.719
2675879
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_3_15.opb
SAT
0
222.313
207.264
2675847
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_5_40.opb
SAT
0
223.402
209.063
2675904
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_4_40.opb
SAT
0
235.544
218.124
2675845
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_1_15.opb
SAT
0
237.133
222.685
2675849
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_15.opb
SAT
0
238.669
222.762
2675878
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_1_15.opb
SAT
0
239.897
224.187
2675869
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_4_15.opb
SAT
0
239.91
225.993
2675844
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_4_15.opb
SAT
0
240.501
223.657
2675935
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_2_15.opb
SAT
0
241.198
225.719
2675939
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_3_15.opb
SAT
0
241.498
226.535
2675880
Solver didn't decide (UNKNOWN) (24 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_3_15.opb
?
683.107
644.315
2675903
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_1_15.opb
?
683.461
644.135
2675927
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_3_40.opb
?
684.078
645.906
2675912
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_4_15.opb
?
684.114
642.892
2675842
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_2_40.opb
?
684.621
642.288
2675916
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_1_40.opb
?
684.926
643.003
2675894
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_1_15.opb
?
685.29
644.751
2675893
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_4_40.opb
?
685.655
644.439
2675848
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_4_15.opb
?
686.023
647.525
2675922
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_4_15.opb
?
686.126
647.935
2675918
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_2_40.opb
?
686.202
645.766
2675928
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_4_40.opb
?
686.606
642.833
2675910
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_2_15.opb
?
686.799
646.77
2675938
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_1_40.opb
?
686.992
645.642
2675908
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_2_15.opb
?
687.058
645.687
2675921
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_15.opb
?
687.298
643.719
2675892
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_40.opb
?
687.422
646.284
2675877
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_3_15.opb
?
689.822
646.135
2675934
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_4_15.opb
?
690.397
645.206
2675940
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_2_15.opb
?
690.676
648.367
2675850
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_4_40.opb
?
693.608
643.77
2675859
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_3_15.opb
?
695.32
645.606
2675883
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_5_15.opb
?
696.582
646.098
2675925
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_5_40.opb
?
697.849
643.716
2675870
Solver answered SATISFIABLE but gave no complete certificate (49 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_5_5.opb
No Cert.
1.78373
2.22418
2675914
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_4_5.opb
No Cert.
1.82672
2.24845
2675871
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_2_5.opb
No Cert.
1.86172
2.05898
2675863
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_5_5.opb
No Cert.
1.86971
2.32358
2675891
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_1_5.opb
No Cert.
1.87671
2.3116
2675931
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_3_5.opb
No Cert.
1.88271
2.1337
2675857
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_4_5.opb
No Cert.
1.89171
2.12402
2675915
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_4_5.opb
No Cert.
1.9787
2.07888
2675864
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_1_5.opb
No Cert.
2.03969
2.20715
2675889
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_2_5.opb
No Cert.
2.04969
2.49104
2675841
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_5_5.opb
No Cert.
2.13168
2.36836
2675854
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_3_5.opb
No Cert.
2.17567
2.29345
2675887
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_5_15.opb
No Cert.
2.19167
2.20037
2675906
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_25_1_5.opb
No Cert.
2.21066
2.54261
2675896
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_5_15.opb
No Cert.
2.28565
2.62919
2675881
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_2_15.opb
No Cert.
2.58561
2.56226
2675933
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_1_15.opb
No Cert.
2.85656
6.16094
2675905
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_1_40.opb
No Cert.
3.09453
3.27492
2675867
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_4_15.opb
No Cert.
3.15652
3.35219
2675884
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_3_5.opb
No Cert.
3.17875
2.10507
2675924
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_10_4_2_5.opb
No Cert.
3.37073
2.10555
2675900
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_2_40.opb
No Cert.
3.39748
3.45203
2675862
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_3_40.opb
No Cert.
3.42048
3.58966
2675923
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_10_2_40.opb
No Cert.
3.69844
4.03061
2675888
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_5_40.opb
No Cert.
3.70244
4.25616
2675919
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_3_80.opb
No Cert.
8.06677
7.81625
2675886
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_4_80.opb
No Cert.
8.40672
8.86564
2675885
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_2_15.opb
No Cert.
8.67168
8.08515
2675911
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_2_80.opb
No Cert.
8.96364
8.66762
2675843
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_3_15.opb
No Cert.
9.63154
9.34684
2675874
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_5_15.opb
No Cert.
9.96948
9.90466
2675882
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_3_80.opb
No Cert.
12.0782
11.4934
2675907
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_1_80.opb
No Cert.
12.1072
11.4393
2675926
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_40.opb
No Cert.
14.7798
13.7816
2675897
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_1_80.opb
No Cert.
15.2537
14.4413
2675909
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_4_80.opb
No Cert.
15.4836
14.9107
2675868
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_5_80.opb
No Cert.
15.5896
15.3831
2675861
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_4_80.opb
No Cert.
15.6426
15.4732
2675936
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_1_80.opb
No Cert.
16.1345
16.9624
2675917
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_3_80.opb
No Cert.
16.1695
15.9431
2675860
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_60_2_80.opb
No Cert.
17.3074
16.6674
2675913
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_5_80.opb
No Cert.
29.5165
28.2166
2675852
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_1_40.opb
No Cert.
29.7415
27.927
2675851
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_10_2_15.opb
No Cert.
31.0383
29.459
2675853
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_5_80.opb
No Cert.
47.8307
52.4393
2675865
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_15.opb
No Cert.
112.955
106.337
2675930
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_25_2_80.opb
No Cert.
144.538
134.983
2675846
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_500_10_5_15.opb
No Cert.
151.051
142.734
2675855
normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_50_10_1_15.opb
No Cert.
156.452
146.818
2675875