PB'25 competition: benchmarks results per solver
Result page for solver roundingsat-ls
63f22ad
(complete)
Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (253 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-2.opb
UNSAT
0.00729
0.019259
4516428
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-1.opb
UNSAT
0.007424
0.0168749
4516392
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid4_06.opb
UNSAT
0.007481
0.016983
4516140
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-extracted.pb.metafix.opb
UNSAT
0.008
0.0170181
4509754
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid4_11.shuf-2.opb
UNSAT
0.008333
0.0174791
4516284
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-11-10.opb
UNSAT
0.008579
0.0230609
4493014
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_004.opb
UNSAT
0.008588
0.0176299
4544025
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_02_004.opb
UNSAT
0.009099
0.0184959
4544142
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-15-10.opb
UNSAT
0.009212
0.0186261
4492726
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb
UNSAT
0.009225
0.020921
4516860
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb
UNSAT
0.009574
0.023656
4516824
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
0.01014
0.0240929
4492690
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r07_shuffle/normalized-domset-hexgrid_07_010.shuf-1.opb
UNSAT
0.010319
0.0197029
4543479
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r10-tiling/normalized-domset-hexgrid_10_007.opb
UNSAT
0.010659
0.0200461
4543440
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-60.opb
UNSAT
0.01073
0.023269
4516464
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset-stargrid-9-split/normalized-domset-stargod_09_009.opb
UNSAT
0.011278
0.0211369
4543323
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n34-d3-i2-r2.cnf.gz-plain.pb.metafix.opb
UNSAT
0.014183
0.023324
4510150
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb
UNSAT
0.014751
0.154946
4509934
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_4_1.opb
UNSAT
0.015659
0.027144
4514664
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_4_3.opb
UNSAT
0.016392
0.028297
4514808
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/noverticaledges-v1/normalized-grid4_27.opb
UNSAT
0.016446
0.0257629
4516356
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-9diag_spec_less.opb
UNSAT
0.017399
0.0267449
4517400
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-9arraycomm_teq_tvars_greater.opb
UNSAT
0.017635
0.0363649
4517328
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb
UNSAT
0.017648
0.026917
4543362
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb
UNSAT
0.017976
0.028397
4513548
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb
UNSAT
0.019275
0.028945
4542309
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v011-n3.opb
UNSAT
0.019722
0.030517
4514196
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974372.opb
UNSAT
0.020312
0.0337959
4495426
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP015.shuf-1.opb
UNSAT
0.020363
0.0297559
4515492
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977780.opb
UNSAT
0.020637
0.0302979
4495390
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x10split.opb
UNSAT
0.023423
0.032423
4511482
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-3.opb
UNSAT
0.025277
0.0346521
4515780
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n32-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
UNSAT
0.025475
0.0347399
4509826
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl.opb
UNSAT
0.025656
0.0350099
4491934
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-11array_diag_less.opb
UNSAT
0.027706
0.0366859
4517184
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid10_27.shuf-3.opb
UNSAT
0.029224
0.038361
4516248
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
UNSAT
0.030058
0.0388981
4492258
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_03_094.opb
UNSAT
0.030231
0.0391891
4543206
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3022_10-unsat.opb
UNSAT
0.030526
0.216174
4502084
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-geq-random4regular-75.opb
UNSAT
0.033193
0.048273
4513728
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-31-30.opb
UNSAT
0.03476
0.044901
4493050
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-35-30.opb
UNSAT
0.037847
0.0640811
4492906
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6039_10-unsat.opb
UNSAT
0.043367
0.0553351
4501868
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j907_8-unsat.opb
UNSAT
0.044423
0.0547881
4501904
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity3pyramidP0032.opb
UNSAT
0.048075
0.0569631
4511590
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid8_60.opb
UNSAT
0.048422
0.0626781
4516104
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_07_054.opb
UNSAT
0.050591
0.0599979
4543557
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_6_5.opb
UNSAT
0.051941
0.0648341
4514520
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-f.cnf.gz-plain.pb.metafix.opb
UNSAT
0.057115
0.0676559
4509646
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb
UNSAT
0.057928
0.0677911
4510510
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l010-r010-n1.opb
UNSAT
0.058452
0.067762
4510186
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid6_85.shuf-3.opb
UNSAT
0.061518
0.0734
4516068
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_10_016.opb
UNSAT
0.065426
0.074715
4543947
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP025.shuf-1.opb
UNSAT
0.065667
0.0749239
4515564
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-41-40.opb
UNSAT
0.065883
0.0788359
4493086
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-45-40.opb
UNSAT
0.066674
0.07746
4493122
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x20split.opb
UNSAT
0.066967
0.0764651
4511446
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity4pyramidP0032.opb
UNSAT
0.067684
0.076603
4511626
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v021-n1.opb
UNSAT
0.067828
0.0788649
4514016
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
UNSAT
0.071254
0.0819871
4513620
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-nve-large-v4/normalized-grid10_64.opb
UNSAT
0.074477
0.0837121
4515888
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
UNSAT
0.074577
0.087495
4492438
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6019_8-unsat.opb
UNSAT
0.07889
0.0886929
4501724
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid10_66.opb
UNSAT
0.083296
0.0939481
4516176
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP035.opb
UNSAT
0.086081
0.0952669
4515816
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n2.opb
UNSAT
0.08669
0.098342
4514268
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
UNSAT
0.091352
0.100707
4492402
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v071-n1.opb
UNSAT
0.093023
0.107622
4514052
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb
UNSAT
0.095755
0.107028
4515852
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_05_100.opb
UNSAT
0.096375
0.106363
4543245
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v090-n1.opb
UNSAT
0.098222
0.110179
4513584
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224255.opb
UNSAT
0.103304
0.125767
4495678
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_4_250.opb
UNSAT
0.103732
0.114735
4542933
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v061-n3.opb
UNSAT
0.105962
0.118187
4514160
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
UNSAT
0.108727
0.124199
4491790
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v051-n2.opb
UNSAT
0.116962
0.130223
4513980
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v070-n1.opb
UNSAT
0.11843
0.129449
4513692
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
0.121705
0.131296
4491898
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT
0.127721
0.137349
4495282
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x30split.opb
UNSAT
0.128213
0.137734
4511338
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-7_7_6.opb
UNSAT
0.132618
0.159
4514772
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
UNSAT
0.133217
0.142673
4492510
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP035.shuf-2.opb
UNSAT
0.133311
0.142938
4515672
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_shuffle/normalized-domset-hexgrid_05_110.shuf-2.opb
UNSAT
0.146449
0.155523
4543167
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb
UNSAT
0.147421
0.157209
4516320
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x20split.opb
UNSAT
0.148173
0.158007
4511050
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT
0.149233
0.158764
4492222
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l020-r019-n1.opb
UNSAT
0.155433
0.166622
4510222
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-6_6_8.opb
UNSAT
0.159288
0.171423
4514628
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb
UNSAT
0.175369
0.184903
4515996
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1000.shuf-2.opb
UNSAT
0.177134
0.186977
4516536
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x40split.opb
UNSAT
0.179598
0.195303
4511122
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l010-r009-n1.opb
UNSAT
0.180676
0.192342
4513836
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
UNSAT
0.184343
0.360689
4491466
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219348.opb
UNSAT
0.199576
0.215709
4495570
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb
UNSAT
0.210444
0.221269
4516716
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1000.shuf-3.opb
UNSAT
0.216735
0.232251
4516572
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
0.225475
0.406474
4491502
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
UNSAT
0.234909
0.244881
4495210
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
UNSAT
0.252433
0.262058
4492618
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
0.263189
0.286234
4491574
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
UNSAT
0.267718
0.280202
4513656
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_012.opb
UNSAT
0.270342
0.281653
4542894
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x50split.cnf-extracted.pb.metafix.opb
UNSAT
0.273628
0.285228
4510438
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_11.opb
UNSAT
0.275667
0.304059
4514484
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v091-n3.opb
UNSAT
0.277613
0.293206
4514232
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
UNSAT
0.278703
0.32671
4513512
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb
UNSAT
0.286424
0.299722
4516500
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-75-70.opb
UNSAT
0.290972
0.307756
4492834
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v091-n1.opb
UNSAT
0.299811
0.312256
4514088
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x50split.opb
UNSAT
0.308823
0.335472
4511554
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb
UNSAT
0.327295
0.338658
4516788
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_021.shuf-2.opb
UNSAT
0.345061
0.359019
4542816
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v071-n2.opb
UNSAT
0.357391
0.370072
4514124
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x60split.opb
UNSAT
0.364716
0.394198
4511266
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height10_pigeons9_holes8.opb
UNSAT
0.382285
0.399146
4542621
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_100.opb
UNSAT
0.414246
0.427649
4544259
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset-hubgraph-opb/normalized-domset-hubgraph_068.opb
UNSAT
0.420743
0.430865
4543401
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968094.opb
UNSAT
0.423597
0.454806
4495462
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l030-r029-n1.cnf-extracted.pb.metafix.opb
UNSAT
0.430605
0.441027
4510870
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967142.opb
UNSAT
0.437233
0.449951
4495606
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281.opb
UNSAT
0.44807
0.459988
4494994
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973364.opb
UNSAT
0.466695
0.477016
4495246
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT
0.472569
0.483026
4491862
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-2500.opb
UNSAT
0.539428
0.555952
4516608
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb
UNSAT
0.548238
0.560935
4510834
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x80split.opb
UNSAT
0.559367
0.569564
4511518
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574.opb
UNSAT
0.559423
0.573594
4494778
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978113.opb
UNSAT
0.569097
0.588325
4495354
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x90split.cnf-extracted.pb.metafix.opb
UNSAT
0.600554
0.610976
4510294
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_048.opb
UNSAT
0.639574
0.650313
4544064
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x80split.cnf-extracted.pb.metafix.opb
UNSAT
0.644801
0.659941
4510330
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-91-90.opb
UNSAT
0.660188
0.683344
4493194
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x70split.cnf-plain.pb.metafix.opb
UNSAT
0.688519
0.699007
4510726
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT
0.692483
0.7058
4491826
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_06_048.opb
UNSAT
0.769854
0.781937
4543869
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
UNSAT
0.779996
0.793428
4492762
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x100split.opb
UNSAT
0.806169
0.823744
4511302
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.opb
UNSAT
0.860295
0.871994
4542387
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb
UNSAT
0.924361
0.936146
4516680
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x30split.opb
UNSAT
0.956127
0.967874
4511230
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x90split.cnf-plain.pb.metafix.opb
UNSAT
1.0005
1.01394
4510690
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973670.opb
UNSAT
1.10537
1.12031
4495174
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-4000.opb
UNSAT
1.18398
1.19702
4516644
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb
UNSAT
1.20111
1.24336
4517292
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6021_1-unsat.opb
UNSAT
1.22272
1.23997
4501832
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l025-r024-n1.opb
UNSAT
1.24582
1.26216
4513800
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb
UNSAT
1.27998
1.29233
4516752
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb
UNSAT
1.30173
1.31959
4542972
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_19.opb
UNSAT
1.37959
1.39653
4514556
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584219.opb
UNSAT
1.43031
1.45519
4494706
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid4_121.shuf-1.opb
UNSAT
1.43288
1.4497
4515960
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347.opb
UNSAT
1.70145
1.72633
4494742
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v2/normalized-grid8_97.opb
UNSAT
1.79494
1.80845
4516212
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-20-10-03-08_c24.opb
UNSAT
1.9847
2.02301
4545468
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_51.shuf-3.opb
UNSAT
2.01449
2.03123
4516032
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559676.opb
UNSAT
2.15436
2.1792
4494634
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_18_044.opb
UNSAT
2.25498
2.26936
4543986
PB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib3/normalized-p0201.0.u.opb
UNSAT
2.49461
2.57487
4514880
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
3.10948
3.14576
4491610
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-188.opb
UNSAT
3.18285
3.2141
4503386
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb
UNSAT
3.76362
3.78164
4542699
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb
UNSAT
4.0705
4.09453
4544220
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_170.opb
UNSAT
4.53135
4.55162
4544376
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_shuffle/normalized-domset-hexgrid_03_084.shuf-1.opb
UNSAT
5.34461
5.36702
4543128
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-stein45inf.0.d.opb
UNSAT
5.49379
5.52243
4514952
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900579996.opb
UNSAT
6.11289
6.17142
4495102
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_7_15.opb
UNSAT
6.11836
6.14985
4514700
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb
UNSAT
6.46958
6.4952
4515924
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-13array_diag_greater.opb
UNSAT
6.64859
6.67355
4517148
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb
UNSAT
6.88952
6.91394
4515528
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_10_096.opb
UNSAT
7.66621
7.69098
4543830
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l035-r034-n1.opb
UNSAT
7.67512
7.72395
4513764
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_10_092.opb
UNSAT
8.13796
8.17351
4544103
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb
UNSAT
8.14376
8.17468
4510258
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq5/normalized-16array_alg_ineq5.opb
UNSAT
8.44073
8.47174
4517076
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb
UNSAT
8.71706
8.75373
4544337
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-2.opb
UNSAT
8.891
8.91986
4515456
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_220_219.opb
UNSAT
8.9171
8.95057
4543089
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-13array_ineq10.opb
UNSAT
9.11458
9.14788
4516896
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_14_088.opb
UNSAT
9.35086
9.38279
4543752
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random4reg_split_350.opb
UNSAT
9.60582
9.63786
4544298
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat98_identity_complement.opb
UNSAT
10.1308
10.1656
4544727
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_230_229.opb
UNSAT
10.4072
10.444
4543011
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP085.shuf-3.opb
UNSAT
10.9801
11.0187
4515744
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_18.opb
UNSAT
11.7314
11.7726
4514736
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb
UNSAT
12.1
12.1421
4542777
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb
UNSAT
13.0334
13.0746
4542738
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x50split.opb
UNSAT
13.1665
13.2134
4511194
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940.opb
UNSAT
13.4657
13.5088
4495030
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height18_pigeons17_holes16.opb
UNSAT
13.688
13.7326
4542114
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-2.opb
UNSAT
14.9067
14.9525
4515600
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
UNSAT
16.3005
16.354
4491718
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_075.shuf-3.opb
UNSAT
17.4065
17.4611
4542855
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat10_8_triangular.opb
UNSAT
17.4296
17.4835
4544688
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb
UNSAT
18.1921
18.244
4515420
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height19_pigeons18_holes17.opb
UNSAT
18.6076
18.6676
4542231
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-16array_diag_less.opb
UNSAT
19.4763
19.5335
4517220
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
21.1939
21.3241
4494814
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.opb
UNSAT
29.248
29.327
4515708
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x40split.opb
UNSAT
33.4742
33.5612
4511410
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb
UNSAT
37.2566
37.3553
4542348
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
UNSAT
38.5541
38.6615
4511086
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_30_088.opb
UNSAT
39.1198
39.2153
4543908
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb
UNSAT
40.1345
40.244
4515384
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb
UNSAT
41.2169
41.3172
4510762
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
UNSAT
43.6203
43.7427
4510618
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_30_092.opb
UNSAT
44.5253
44.6299
4543791
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l045-r044-n1.opb
UNSAT
50.5819
50.7144
4513944
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
UNSAT
51.8807
52.0231
4511014
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2003/normalized-disctom.0.u.opb
UNSAT
52.7673
52.9811
4514844
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_390_389.opb
UNSAT
53.4797
53.6337
4543050
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_30_096.opb
UNSAT
55.153
55.2942
4543713
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
UNSAT
55.595
55.7399
4510906
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SocialGolfers-cnt-06-06-07_c24.opb
UNSAT
71.897
72.1141
4545546
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat10_9identity_complement.opb
UNSAT
72.4679
72.6773
4544493
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
UNSAT
82.0224
82.2407
4510366
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb
UNSAT
89.8124
90.0381
4515636
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-27array_alg_ineq8.opb
UNSAT
90.1267
90.3708
4516968
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-28array_alg_ineq8.opb
UNSAT
102.631
102.896
4516932
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
UNSAT
109.271
109.555
4510546
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_9_triangular.opb
UNSAT
111.328
111.621
4544922
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-22array_ineq8.opb
UNSAT
122.987
123.309
4517040
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x60split.opb
UNSAT
126.614
126.951
4511158
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-PoolBallTriangle-07_c24.opb
UNSAT
160.093
160.582
4545585
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb
UNSAT
161.497
161.887
4544415
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
UNSAT
164.193
164.586
4510402
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
UNSAT
165.84
166.236
4542582
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-21array_ineq8.opb
UNSAT
172.984
173.416
4517004
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb
UNSAT
193.981
194.413
4510582
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
UNSAT
209.948
210.493
4513440
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
UNSAT
265.552
266.466
4491538
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-15array_diag_greater.opb
UNSAT
292.381
293.119
4517112
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x100split.opb
UNSAT
304.938
305.727
4511374
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNSAT
320.925
321.823
4491682
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
UNSAT
329.865
330.893
4513404
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
UNSAT
336.133
337.094
4513368
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb
UNSAT
371.442
372.376
4510942
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
UNSAT
412.081
413.02
4542660
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-25.opb
UNSAT
506.703
508.332
4503422
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT
519.914
521.45
4491430
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
UNSAT
533.627
535.167
4513332
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
UNSAT
575.982
577.456
4513476
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
UNSAT
595.118
596.757
4543284
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb
UNSAT
719.07
721.049
4510006
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
UNSAT
746.769
748.544
4510474
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-38.opb
UNSAT
747.763
750.144
4503638
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_10_triangular.opb
UNSAT
1112.2
1115.54
4544844
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb
UNSAT
1233.59
1236.86
4542270
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb
UNSAT
1381.14
1384.64
4510654
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
UNSAT
1642.74
1647.01
4542192
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n98-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
UNSAT
1991.32
1995.85
4510114
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
UNSAT
3299.54
3308.64
4513908
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (127 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB10/DEC-LIN/leberre/opb-paranoid/
misc2010/datasets/caixa/normalized-1096.cudf.paranoid.opb
SAT
0
0.00638
0.0156041
4502228
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_008.shuf-1.opb
SAT
0
0.007599
0.0190691
4543635
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb
SAT
0
0.012826
0.022011
4543596
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
0.014601
0.023603
4492582
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
SAT
0
0.018687
0.028123
4492330
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
0
0.019991
0.0293779
4492474
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
SAT
0
0.02215
0.032099
4492366
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.023667
0.0335529
4493482
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_08_020.opb
SAT
0
0.02405
0.0338741
4543518
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
SAT
0
0.025669
0.03665
4495714
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
0.027074
0.0458439
4495642
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
0.027305
0.03925
4495534
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223689.opb
SAT
0
0.028607
0.040666
4495498
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973863.opb
SAT
0
0.030662
0.050478
4495318
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
SAT
0
0.031903
0.041056
4492546
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
SAT
0
0.037083
0.0462871
4493734
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.03837
0.0513951
4493266
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900574974.opb
SAT
0
0.040857
0.052553
4494922
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561384.opb
SAT
0
0.041503
0.05844
4494850
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
SAT
0
0.041557
0.05068
4492294
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-chromaticindex32-8.0.s.opb
SAT
0
0.051744
0.061947
4515024
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_064.shuf-1.opb
SAT
0
0.056014
0.0654991
4543674
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547353.opb
SAT
0
0.063124
0.072457
4494886
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
0.087448
0.0968261
4492186
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
SAT
0
0.091068
0.102524
4492654
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
0.094903
0.109812
4493374
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-777800.0.s.opb
SAT
0
0.140047
0.160335
4515276
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6033_7-sat.opb
SAT
0
0.178795
0.198134
4501796
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559641.opb
SAT
0
0.193755
0.205243
4495066
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582376.opb
SAT
0
0.20255
0.212217
4494958
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos808444.opb
SAT
0
0.203065
0.213193
4503098
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.203496
0.213039
4493770
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6027_7-sat.opb
SAT
0
0.223186
0.235287
4501688
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12020_5-sat.opb
SAT
0
0.251469
0.269207
4502192
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
SAT
0
0.25938
0.271602
4493554
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567003.opb
SAT
0
0.266772
0.276752
4494670
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob6.opb
SAT
0
0.288445
0.298786
4495966
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
0.290659
0.300571
4492150
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_10_triangular.opb
SAT
0
0.348447
0.360921
4544610
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j907_2-sat.opb
SAT
0
0.348603
0.537547
4502048
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
0.37914
0.389088
4492078
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
0.405452
0.41824
4491970
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat99_identity_complement.opb
SAT
0
0.471812
0.508379
4544883
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
SAT
0
0.528463
0.538892
4495894
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
SAT
0
0.563097
0.575855
4493590
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_11_triangular.opb
SAT
0
0.56952
0.588936
4544766
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww1.opb
SAT
0
0.644169
0.655737
4496182
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
0.69816
0.714957
4493410
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547461.opb
SAT
0
0.732405
0.743288
4495138
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat11_11_identity_complement.opb
SAT
0
0.765501
0.785652
4545000
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
SAT
0
0.796445
0.814893
4493878
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb
SAT
0
0.805832
0.823374
4511662
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm25p-dec.opb.negationfix.opb
SAT
0
0.815846
0.841862
4511734
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
SAT
0
0.82106
0.837863
4495822
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12bt.opb
SAT
0
1.06374
1.08127
4493626
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3013_3-sat.opb
SAT
0
1.15075
1.17302
4502120
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat15_15_identity_complement.opb
SAT
0
1.31007
1.35349
4544571
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb
SAT
0
1.43738
1.45364
4495786
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb
SAT
0
1.58732
1.60057
4511914
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-22-18-20-1_c24.opb
SAT
0
1.65965
1.6772
4545507
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_14_triangular.opb
SAT
0
1.75989
1.77684
4544649
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
SAT
0
2.06969
2.10517
4494562
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
SAT
0
2.26848
2.30257
4503170
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
SAT
0
2.31338
2.3279
4511770
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
SAT
0
2.54714
2.56165
4493842
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
SAT
0
2.58733
2.60449
4511878
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
SAT
0
2.94313
2.95932
4511698
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
SAT
0
3.06659
3.08288
4511806
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
3.16498
3.18243
4494022
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
3.19597
3.21486
4494274
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb
SAT
0
3.33101
3.36303
4511842
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
3.49818
3.51889
4494418
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
3.60456
3.62512
4494310
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
0
3.76914
3.81083
4491646
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round21-3.opb
SAT
0
4.02518
4.05164
4513044
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
SAT
0
4.1159
4.13603
4512130
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
4.22343
4.244
4493986
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j605_7-sat.opb
SAT
0
6.69712
6.72607
4501760
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
7.40586
7.43955
4494598
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
7.59351
7.6204
4494094
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
7.5984
7.62547
4494238
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
7.66815
7.69625
4494058
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
7.74436
7.77322
4494346
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
7.9554
7.9849
4494202
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
SAT
0
8.65593
8.70047
4496146
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
8.70066
8.73229
4494130
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb
SAT
0
8.86687
8.89864
4512166
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat20_19_triangular.opb
SAT
0
8.94588
8.98651
4544532
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
SAT
0
9.63575
9.66963
4493698
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
9.99428
10.0321
4493950
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm85p-dec.opb.negationfix.opb
SAT
0
10.0316
10.0667
4511950
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
10.5238
10.5638
4493914
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
10.8983
10.94
4494382
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
10.9135
10.9539
4494166
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K75.opb
SAT
0
11.5514
11.6004
4507626
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm95p-dec.opb.negationfix.opb
SAT
0
11.9049
11.9477
4511986
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K76.opb
SAT
0
12.1004
12.1507
4507734
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
12.6651
12.7798
4493338
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
SAT
0
12.925
12.9693
4512094
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
SAT
0
13.8301
13.8784
4512022
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob2.opb
SAT
0
16.158
16.213
4496110
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-academictimetablesmall.0.s.opb
SAT
0
18.3221
18.3829
4514988
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
20.0443
20.1059
4492042
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
SAT
0
24.3113
24.3883
4495750
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round21-6.opb
SAT
0
25.9049
25.9759
4513260
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-cvs16r70-62.0.s.opb
SAT
0
26.0632
26.1413
4515132
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
SAT
0
31.0478
31.1322
4493662
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
SAT
0
37.9468
38.0443
4493446
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K71.opb
SAT
0
53.9162
54.1007
4507662
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K102.opb
SAT
0
60.4611
60.6421
4507410
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
SAT
0
61.906
62.0766
4493518
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_15.opb
SAT
0
64.5336
64.7364
4514412
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round21-2.opb
SAT
0
100.413
100.705
4512936
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K72.opb
SAT
0
112.282
112.559
4507770
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K69.opb
SAT
0
120.268
120.583
4507698
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-5.opb
SAT
0
174.539
175.048
4545195
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-185.opb
SAT
0
188.248
188.821
4503458
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
SAT
0
224.539
225.214
4496002
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-20_c24.opb
SAT
0
293.53
294.381
4545273
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
SAT
0
295.437
296.144
4493806
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
SAT
0
341.026
341.968
4495930
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-03.opb
SAT
0
348.827
349.94
4503278
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-164.opb
SAT
0
477.906
479.368
4503494
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K105.opb
SAT
0
875.722
878.384
4507554
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K101.opb
SAT
0
1183.4
1186.86
4507446
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
SAT
0
1337.34
1340.75
4494490
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K96.opb
SAT
0
1887.15
1892.81
4507590
Solver timed out (no solution given) (122 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-0.opb
? (TO)
3600.01
3609.11
4513188
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-seymour.0.u.opb
? (TO)
3600.02
3609.81
4514916
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb
? (TO)
3600.02
3610.11
4517256
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l080-r079-n1.opb
? (TO)
3600.02
3610.91
4513872
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-6.opb
? (TO)
3600.02
3609.51
4512864
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
? (TO)
3600.02
3609.01
4510978
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-4.opb
? (TO)
3600.02
3608.8
4513008
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K177.opb
? (TO)
3600.03
3610.13
4507230
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K98.opb
? (TO)
3600.03
3611.31
4507374
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.03
3608.9
4509718
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n230-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.03
3610.11
4510078
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.03
3608.7
4509898
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K133.opb
? (TO)
3600.03
3611.61
4506942
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
? (TO)
3600.03
3612.4
4496074
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_10-sat.opb
? (TO)
3600.04
3609.51
4501976
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K81.opb
? (TO)
3600.04
3610.31
4507518
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-26array_diag_greater.opb
? (TO)
3600.04
3609.52
4541685
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-1.opb
? (TO)
3600.04
3609.04
4545351
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat12_11_identity_complement.opb
? (TO)
3600.04
3610.21
4544805
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-6.opb
? (TO)
3600.04
3609.21
4513116
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K182.opb
? (TO)
3600.04
3609.91
4507194
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb
? (TO)
3600.05
3609.21
4492798
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_10.opb
? (TO)
3600.05
3610.5
4514376
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb
? (TO)
3600.05
3610.22
4541880
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-21-20.opb
? (TO)
3600.05
3608.91
4492870
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
? (TO)
3600.05
3609.51
4493230
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
? (TO)
3600.05
3609.61
4491754
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
? (TO)
3600.05
3610.31
4541763
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.05
3608.6
4510042
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
3600.06
3609.7
4494454
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K169.opb
? (TO)
3600.06
3611.03
4506762
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-1.opb
? (TO)
3600.06
3609.11
4513080
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-6.opb
? (TO)
3600.06
3609.02
4513296
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-2.opb
? (TO)
3600.06
3608.91
4512900
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K166.opb
? (TO)
3600.07
3610.52
4506906
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-22arraycomm_teq_less.opb
? (TO)
3600.07
3609.61
4541841
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-29array_ineq6.opb
? (TO)
3600.07
3609.72
4541646
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.07
3608.3
4509862
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
? (TO)
3600.07
3609.61
4514304
PB25/normalized-PB25/DEC-LIN/
wallon/normalized-FRB-53-24-1-mgd_c18.opb
? (TO)
3600.07
3610.02
4545039
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb
? (TO)
3600.07
3608.9
4510798
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-3.opb
? (TO)
3600.07
3609.72
4513152
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-MisteryShopper-mini-5-10-2-6-0_c24.opb
? (TO)
3600.07
3610.53
4545429
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K194.opb
? (TO)
3600.07
3609.02
4507158
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K150.opb
? (TO)
3600.07
3608.72
4507086
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-2.opb
? (TO)
3600.08
3609.71
4513224
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-16diag_spec_greater.opb
? (TO)
3600.08
3608.5
4517364
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb
? (TO)
3600.08
3609.03
4493158
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_36.opb
? (TO)
3600.08
3611.3
4514448
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820146.opb
? (TO)
3600.08
3611.21
4503206
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-24diag_spec_greater.opb
? (TO)
3600.08
3610.91
4541958
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-22diag_spec_greater.opb
? (TO)
3600.08
3608.9
4541997
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K87.opb
? (TO)
3600.08
3609.91
4507482
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K84.opb
? (TO)
3600.08
3610.91
4507338
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n258-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.08
3610.01
4509682
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm/normalized-17arraycomm_less.opb
? (TO)
3600.08
3609.71
4541919
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-20array_ineq6.opb
? (TO)
3600.08
3610.71
4541568
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-mini-40_c24.opb
? (TO)
3600.08
3609.05
4545117
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_33.opb
? (TO)
3600.08
3609.81
4514592
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
3600.09
3609.12
4493302
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
? (TO)
3600.09
3609.51
4492114
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
? (TO)
3600.09
3609.02
4492006
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-MisteryShopper-mini-5-08-2-6-0_c24.opb
? (TO)
3600.09
3609.41
4545390
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K134.opb
? (TO)
3600.09
3610.43
4506726
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-89.opb
? (TO)
3600.09
3610.42
4503242
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K196.opb
? (TO)
3600.09
3610.42
4507122
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K92.opb
? (TO)
3600.09
3610.31
4507302
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab71-20-100.0.u.opb
? (TO)
3600.09
3609.42
4515240
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
? (TO)
3600.09
3610.32
4515312
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
? (TO)
3600.09
3609.4
4503134
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K174.opb
? (TO)
3600.09
3610.13
4507014
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
? (TO)
3600.09
3611.9
4495858
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-20arraycomm_teq_less.opb
? (TO)
3600.09
3609.6
4541802
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K176.opb
? (TO)
3600.09
3609.82
4506870
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K138.opb
? (TO)
3600.1
3611.13
4506798
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat20_19_identity_complement.opb
? (TO)
3600.1
3610.56
4544961
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_11.opb
? (TO)
3600.1
3609.32
4514340
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.1
3608.01
4509790
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SocialGolfers-08-04-08_c24.opb
? (TO)
3600.1
3610.65
4545312
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_comm/normalized-27diagcomm_less_teq.opb
? (TO)
3600.1
3610.51
4542075
PB25/normalized-PB25/DEC-LIN/
wallon/normalized-FRB-45-21-3-mgd_c18.opb
? (TO)
3600.1
3609.31
4545234
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-31array_diag_less.opb
? (TO)
3600.1
3610.13
4541724
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K188.opb
? (TO)
3600.1
3610.31
4506834
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
? (TO)
3600.1
3610.21
4542036
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-t1722.0.s.opb
? (TO)
3600.1
3608.92
4515204
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_3-sat.opb
? (TO)
3600.11
3609.02
4501940
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.11
3608.6
4509970
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K155.opb
? (TO)
3600.11
3609.32
4507050
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
? (TO)
3600.11
3609.01
4492942
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-134.opb
? (TO)
3600.11
3610.2
4503566
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
? (TO)
3600.11
3609.9
4496038
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-5.opb
? (TO)
3600.11
3610.91
4512972
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb
? (TO)
3600.12
3609.12
4541607
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-73.opb
? (TO)
3600.12
3611.03
4503530
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12011_3-sat.opb
? (TO)
3600.12
3609.73
4502156
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K90.opb
? (TO)
3600.12
3610.02
4507266
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-192.opb
? (TO)
3600.12
3610.9
4503350
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq5/normalized-30array_ineq5.opb
? (TO)
3600.12
3609.91
4541529
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
? (TO)
3600.13
3610.83
4544454
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-90.opb
? (TO)
3600.14
3610.27
4503314
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9029_2-sat.opb
? (TO)
3600.14
3609.03
4502012
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb
? (TO)
3600.16
3609.67
4544181
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb
? (TO)
3600.16
3609.17
4492978
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-631710.0.u.opb
? (TO)
3600.16
3609.24
4515348
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-116.opb
? (TO)
3600.17
3610.89
4503674
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.s.opb
? (TO)
3600.19
3611.83
4515096
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.u.opb
? (TO)
3600.2
3609.25
4515168
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-111.opb
? (TO)
3600.28
3611.67
4503746
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-147.opb
? (TO)
3600.29
3609.64
4503602
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
? (TO)
3600.32
3609.91
4545078
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
? (TO)
3600.36
3608.87
4542465
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
? (TO)
3600.37
3609.91
4542543
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
? (TO)
3600.38
3609.63
4542426
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb
? (TO)
3600.39
3609.48
4542153
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb
? (TO)
3600.39
3609.4
4542504
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
? (TO)
3600.46
3610.51
4503710
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-4.opb
? (TO)
3600.49
3609.68
4512828
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/
normalized-hw512-vm100p-dec.opb.negationfix.opb
? (TO)
3600.53
3609.48
4512058
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ivu59.0.u.opb
? (TO)
3600.53
3610
4515060
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K159.opb
? (TO)
3601.94
3612.34
4506978
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-0.opb
? (TO)
3602.01
3611.91
4512792
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
? (TO)
3602.06
3612.2
4494526