PB'25 competition: benchmarks results per solver
Result page for solver roundingsat+pbsuma
63f22ad
(complete)
Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (262 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_4_1.opb
UNSAT
0.008568
0.021542
4514666
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_4_3.opb
UNSAT
0.008716
0.0212281
4514810
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb
UNSAT
0.009125
0.021539
4513550
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-2.opb
UNSAT
0.009488
0.0223541
4516430
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-1.opb
UNSAT
0.009746
0.0223769
4516394
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v011-n3.opb
UNSAT
0.010159
0.0227159
4514198
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb
UNSAT
0.010323
0.0228681
4516862
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid4_11.shuf-2.opb
UNSAT
0.010757
0.0236711
4516286
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb
UNSAT
0.010927
0.0244049
4516826
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid4_06.opb
UNSAT
0.01201
0.0242679
4516142
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r07_shuffle/normalized-domset-hexgrid_07_010.shuf-1.opb
UNSAT
0.012755
0.0256849
4543481
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-60.opb
UNSAT
0.01317
0.0256219
4516466
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-geq-random4regular-75.opb
UNSAT
0.014558
0.0270669
4513730
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r10-tiling/normalized-domset-hexgrid_10_007.opb
UNSAT
0.015026
0.0283021
4543442
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset-stargrid-9-split/normalized-domset-stargod_09_009.opb
UNSAT
0.016209
0.0336701
4543325
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.018271
0.0403429
4510152
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-9arraycomm_teq_tvars_greater.opb
UNSAT
0.019452
0.0364311
4517330
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_02_004.opb
UNSAT
0.019531
0.0318481
4544144
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-9diag_spec_less.opb
UNSAT
0.019642
0.0327791
4517402
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_6_5.opb
UNSAT
0.020652
0.033765
4514522
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-11-10.opb
UNSAT
0.02135
0.03712
4493016
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb
UNSAT
0.021709
0.035172
4543364
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974372.opb
UNSAT
0.021981
0.0344061
4495428
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977780.opb
UNSAT
0.02353
0.035681
4495392
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-extracted.pb.metafix.opb
UNSAT
0.025448
0.0420699
4509756
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v021-n1.opb
UNSAT
0.025871
0.038363
4514018
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-15-10.opb
UNSAT
0.027375
0.042185
4492728
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
UNSAT
0.027626
0.039846
4492692
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
UNSAT
0.027644
0.043202
4513622
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x10split.opb
UNSAT
0.02824
0.04183
4511484
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb
UNSAT
0.029698
0.045943
4509936
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-11array_diag_less.opb
UNSAT
0.030207
0.0430621
4517186
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb
UNSAT
0.032042
0.045467
4542311
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid10_27.shuf-3.opb
UNSAT
0.032095
0.044968
4516250
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP015.shuf-1.opb
UNSAT
0.032401
0.0446751
4515494
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n2.opb
UNSAT
0.032435
0.0448429
4514270
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v071-n1.opb
UNSAT
0.035283
0.0476701
4514054
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v090-n1.opb
UNSAT
0.036479
0.0523189
4513586
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v061-n3.opb
UNSAT
0.039178
0.0517521
4514162
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_03_094.opb
UNSAT
0.040753
0.0531781
4543208
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-3.opb
UNSAT
0.041053
0.0538039
4515782
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v070-n1.opb
UNSAT
0.043187
0.0554041
4513694
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v051-n2.opb
UNSAT
0.043326
0.0558871
4513982
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-blast-floppy1-8.ucl.opb
UNSAT
0.047982
0.060631
4491936
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3022_10-unsat.opb
UNSAT
0.048155
0.0624169
4502086
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-7_7_6.opb
UNSAT
0.05374
0.0666079
4514774
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb
UNSAT
0.055405
0.0685811
4510512
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_07_054.opb
UNSAT
0.064252
0.077542
4543559
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid6_85.shuf-3.opb
UNSAT
0.065018
0.0775359
4516070
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-6_6_8.opb
UNSAT
0.06631
0.079583
4514630
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x20split.opb
UNSAT
0.073247
0.086751
4511448
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-21-20.opb
UNSAT
0.079135
0.095151
4492872
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.079891
0.0948499
4509828
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb
UNSAT
0.086058
0.106701
4542974
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x20split.opb
UNSAT
0.08823
0.1072
4511052
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
UNSAT
0.093739
0.109455
4513658
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_004.opb
UNSAT
0.096853
0.119454
4544027
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
UNSAT
0.099373
0.117085
4513514
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v091-n3.opb
UNSAT
0.099385
0.117352
4514234
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb
UNSAT
0.099476
0.111973
4515854
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l010-r009-n1.opb
UNSAT
0.101843
0.115789
4513838
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x30split.opb
UNSAT
0.104147
0.11764
4511340
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224255.opb
UNSAT
0.104609
0.117285
4495680
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v091-n1.opb
UNSAT
0.105659
0.120042
4514090
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l010-r010-n1.opb
UNSAT
0.110534
0.138674
4510188
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb
UNSAT
0.113231
0.131196
4492260
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP025.shuf-1.opb
UNSAT
0.113486
0.126534
4515566
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb
UNSAT
0.116036
0.131131
4491792
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_11.opb
UNSAT
0.116137
0.132677
4514486
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v071-n2.opb
UNSAT
0.128763
0.146032
4514126
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT
0.130234
0.142772
4495284
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity3pyramidP0032.opb
UNSAT
0.134443
0.154151
4511592
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_4_250.opb
UNSAT
0.134731
0.157205
4542935
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
UNSAT
0.141304
0.154065
4491900
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_shuffle/normalized-domset-hexgrid_05_110.shuf-2.opb
UNSAT
0.147875
0.168577
4543169
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb
UNSAT
0.152059
0.165999
4516322
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-31-30.opb
UNSAT
0.166596
0.18626
4493052
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_05_100.opb
UNSAT
0.173398
0.187427
4543247
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb
UNSAT
0.177018
0.190793
4515998
PB24/normalized-PB15eval/DEC-LIN/
SUMINEQ/normalized-sumineqArity4pyramidP0032.opb
UNSAT
0.179227
0.198789
4511628
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.182622
0.212533
4509648
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_012.opb
UNSAT
0.182818
0.200693
4542896
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1000.shuf-2.opb
UNSAT
0.18788
0.205814
4516538
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111219348.opb
UNSAT
0.199041
0.212757
4495572
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-35-30.opb
UNSAT
0.201105
0.223549
4492908
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/noverticaledges-v1/normalized-grid4_27.opb
UNSAT
0.203332
0.216694
4516358
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb
UNSAT
0.20542
0.365927
4491468
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP035.opb
UNSAT
0.211852
0.226634
4515818
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l020-r019-n1.opb
UNSAT
0.216857
0.239651
4510224
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1000.shuf-3.opb
UNSAT
0.230707
0.244232
4516574
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb
UNSAT
0.235796
0.249216
4516718
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974180.opb
UNSAT
0.23635
0.251373
4495212
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6039_10-unsat.opb
UNSAT
0.241522
0.264353
4501870
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid8_60.opb
UNSAT
0.247553
0.271898
4516106
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x40split.opb
UNSAT
0.249445
0.263354
4511124
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP035.shuf-2.opb
UNSAT
0.25404
0.276667
4515674
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb
UNSAT
0.26293
0.276639
4492980
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb
UNSAT
0.265744
0.410207
4491504
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j907_8-unsat.opb
UNSAT
0.266023
0.291956
4501906
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.4.accl.ucl.opb
UNSAT
0.281361
0.299469
4491576
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x60split.opb
UNSAT
0.30388
0.321753
4511268
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x50split.opb
UNSAT
0.304757
0.318956
4511556
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb
UNSAT
0.307193
0.325172
4516502
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb
UNSAT
0.316458
0.329407
4492440
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x50split.cnf-extracted.pb.metafix.opb
UNSAT
0.317228
0.33034
4510440
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6019_8-unsat.opb
UNSAT
0.328895
0.385149
4501726
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height10_pigeons9_holes8.opb
UNSAT
0.333276
0.354016
4542623
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb
UNSAT
0.345689
0.360585
4516790
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_021.shuf-2.opb
UNSAT
0.352781
0.370182
4542818
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v4/normalized-grid10_66.opb
UNSAT
0.354879
0.381196
4516178
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb
UNSAT
0.370242
0.386843
4492404
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-45-40.opb
UNSAT
0.396834
0.411331
4493124
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l025-r024-n1.opb
UNSAT
0.402461
0.416719
4513802
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-41-40.opb
UNSAT
0.411344
0.425234
4493088
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968094.opb
UNSAT
0.425211
0.444362
4495464
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967142.opb
UNSAT
0.438891
0.457875
4495608
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_100.opb
UNSAT
0.448844
0.469817
4544261
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb
UNSAT
0.457779
0.480184
4492512
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973364.opb
UNSAT
0.467898
0.483471
4495248
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l030-r029-n1.cnf-extracted.pb.metafix.opb
UNSAT
0.476852
0.490746
4510872
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574.opb
UNSAT
0.507882
0.533959
4494780
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb
UNSAT
0.511268
0.532389
4491864
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT
0.529556
0.557401
4492224
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110978113.opb
UNSAT
0.53001
0.543578
4495356
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x80split.cnf-extracted.pb.metafix.opb
UNSAT
0.53965
0.569675
4510332
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x90split.cnf-extracted.pb.metafix.opb
UNSAT
0.565656
0.595321
4510296
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-2500.opb
UNSAT
0.56666
0.581254
4516610
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x80split.opb
UNSAT
0.567244
0.583475
4511520
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
UNSAT
0.583897
0.599616
4492944
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_19.opb
UNSAT
0.630114
0.645021
4514558
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-nve-large-v4/normalized-grid10_64.opb
UNSAT
0.638812
0.660108
4515890
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x70split.cnf-plain.pb.metafix.opb
UNSAT
0.649476
0.673171
4510728
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb
UNSAT
0.649981
0.664089
4510836
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.opb
UNSAT
0.654024
0.669419
4542389
PB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib3/normalized-p0201.0.u.opb
UNSAT
0.699275
0.713893
4514882
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset-hubgraph-opb/normalized-domset-hubgraph_068.opb
UNSAT
0.699355
0.721261
4543403
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x100split.opb
UNSAT
0.712772
0.727787
4511304
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb
UNSAT
0.806387
0.836076
4491828
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
UNSAT
0.807284
0.822204
4492620
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900564281.opb
UNSAT
0.860898
0.877
4494996
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x90split.cnf-plain.pb.metafix.opb
UNSAT
0.919403
0.938186
4510692
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb
UNSAT
0.950663
0.974709
4516682
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat98_identity_complement.opb
UNSAT
0.95779
0.974762
4544729
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_10_016.opb
UNSAT
1.03568
1.05527
4543949
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-75-70.opb
UNSAT
1.07407
1.09085
4492836
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-20-10-03-08_c24.opb
UNSAT
1.12528
1.15896
4545470
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900551347.opb
UNSAT
1.1551
1.17074
4494744
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb
UNSAT
1.18819
1.22018
4493232
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb
UNSAT
1.19405
1.20974
4517294
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat10_8_triangular.opb
UNSAT
1.22513
1.26068
4544690
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-4000.opb
UNSAT
1.23098
1.24743
4516646
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973670.opb
UNSAT
1.24091
1.26119
4495176
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb
UNSAT
1.30705
1.33099
4516754
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid4_121.shuf-1.opb
UNSAT
1.47667
1.49566
4515962
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-91-90.opb
UNSAT
1.62571
1.64868
4493196
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb
UNSAT
1.90444
1.92565
4492800
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6021_1-unsat.opb
UNSAT
1.93395
1.95455
4501834
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_51.shuf-3.opb
UNSAT
2.02739
2.04538
4516034
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l035-r034-n1.opb
UNSAT
2.07957
2.09711
4513766
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-105-100.opb
UNSAT
2.22829
2.25089
4492764
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900584219.opb
UNSAT
2.41886
2.44174
4494708
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x40split.opb
UNSAT
2.48976
2.50875
4511412
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-188.opb
UNSAT
3.26071
3.31716
4503388
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
3.34017
3.36353
4491612
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_7_15.opb
UNSAT
3.77999
3.80229
4514702
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb
UNSAT
3.80746
3.83214
4542701
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900579996.opb
UNSAT
3.89419
3.92352
4495104
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_9_triangular.opb
UNSAT
4.16342
4.19567
4544924
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb
UNSAT
4.16615
4.1903
4544222
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900577940.opb
UNSAT
4.39678
4.42059
4495032
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-stein45inf.0.d.opb
UNSAT
4.62426
4.64848
4514954
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb
UNSAT
4.83865
4.88977
4510260
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_shuffle/normalized-domset-hexgrid_03_084.shuf-1.opb
UNSAT
5.30604
5.33014
4543130
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb
UNSAT
5.39965
5.42606
4515530
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_048.opb
UNSAT
6.23348
6.26695
4544066
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height18_pigeons17_holes16.opb
UNSAT
6.4607
6.49826
4542116
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb
UNSAT
6.57148
6.60194
4515926
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-13array_diag_greater.opb
UNSAT
6.68459
6.71436
4517150
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
7.32107
7.35191
4494816
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x30split.opb
UNSAT
7.59792
7.62959
4511232
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-2.opb
UNSAT
7.85294
7.88668
4515458
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb
UNSAT
8.13194
8.16615
4493160
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq5/normalized-16array_alg_ineq5.opb
UNSAT
8.44893
8.48281
4517078
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-13array_ineq10.opb
UNSAT
9.12792
9.16553
4516898
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random4reg_split_350.opb
UNSAT
9.67287
9.72145
4544300
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height19_pigeons18_holes17.opb
UNSAT
10.948
11.0005
4542233
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP085.shuf-3.opb
UNSAT
11.4612
11.502
4515746
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_18.opb
UNSAT
11.6472
11.6934
4514738
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_220_219.opb
UNSAT
11.7885
11.8689
4543091
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb
UNSAT
12.1953
12.2379
4542779
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x50split.opb
UNSAT
12.4036
12.4468
4511196
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_10_triangular.opb
UNSAT
12.882
12.9274
4544846
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb
UNSAT
13.0147
13.0769
4542740
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_06_048.opb
UNSAT
13.2755
13.3234
4543871
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
UNSAT
13.5311
13.5767
4511016
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_230_229.opb
UNSAT
13.7444
13.8311
4543013
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559676.opb
UNSAT
14.7721
14.8237
4494636
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat10_9identity_complement.opb
UNSAT
15.5697
15.6201
4544495
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb
UNSAT
16.5101
16.5686
4491720
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_075.shuf-3.opb
UNSAT
17.5227
17.5754
4542857
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb
UNSAT
19.1975
19.2608
4542350
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-16array_diag_less.opb
UNSAT
19.4179
19.4737
4517222
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l045-r044-n1.opb
UNSAT
23.804
23.8703
4513946
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
UNSAT
25.7775
25.8537
4510908
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_170.opb
UNSAT
29.5892
29.6688
4544378
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-2.opb
UNSAT
31.0323
31.1357
4515602
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_18_044.opb
UNSAT
34.703
34.7906
4543988
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_390_389.opb
UNSAT
38.2214
38.331
4543052
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb
UNSAT
39.0118
39.1257
4510764
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.opb
UNSAT
39.3873
39.5139
4515710
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_30_092.opb
UNSAT
44.8495
44.9703
4543793
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
UNSAT
44.9429
45.0688
4544456
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_30_088.opb
UNSAT
46.0041
46.1497
4543910
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb
UNSAT
46.9334
47.0797
4515422
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb
UNSAT
48.5238
48.6536
4510944
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2003/normalized-disctom.0.u.opb
UNSAT
50.1458
50.2858
4514846
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_10_096.opb
UNSAT
51.7818
51.9192
4543832
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb
UNSAT
52.4373
52.5892
4515386
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x60split.opb
UNSAT
52.5776
52.7162
4511160
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_30_096.opb
UNSAT
55.4522
55.6006
4543715
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SocialGolfers-cnt-06-06-07_c24.opb
UNSAT
68.8039
68.9853
4545548
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_14_088.opb
UNSAT
69.817
69.9874
4543754
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
UNSAT
73.9022
74.0868
4542584
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb
UNSAT
75.9067
76.1521
4510548
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x80split.opb
UNSAT
86.01
86.2295
4511088
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
UNSAT
88.7623
88.9812
4510620
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-27array_alg_ineq8.opb
UNSAT
90.8757
91.1464
4516970
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
UNSAT
92.6446
92.8878
4510368
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_10_092.opb
UNSAT
96.5248
96.7669
4544105
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-28array_alg_ineq8.opb
UNSAT
104.549
104.855
4516934
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb
UNSAT
118.597
118.893
4510584
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-22array_ineq8.opb
UNSAT
123.711
124.077
4517042
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x100split.opb
UNSAT
139.725
140.072
4511376
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-PoolBallTriangle-07_c24.opb
UNSAT
158.899
159.34
4545587
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-21array_ineq8.opb
UNSAT
174.302
174.773
4517006
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb
UNSAT
181.216
181.761
4544417
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
UNSAT
190.952
191.444
4510404
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb
UNSAT
204.878
205.439
4515638
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
UNSAT
247.684
248.45
4491540
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat20_19_identity_complement.opb
UNSAT
287.004
287.759
4544963
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-15array_diag_greater.opb
UNSAT
288.373
289.116
4517114
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
UNSAT
305.642
306.475
4513442
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNSAT
322.078
322.963
4491684
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb
UNSAT
351.018
351.815
4544339
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
UNSAT
409.588
410.511
4542662
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
UNSAT
496.123
497.419
4513478
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
UNSAT
511.124
512.539
4513370
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-25.opb
UNSAT
523.092
524.815
4503424
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT
537.684
539.276
4491432
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
UNSAT
546.62
548.066
4513406
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
UNSAT
587.727
589.206
4510476
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb
UNSAT
588.926
590.819
4543286
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
UNSAT
674.111
675.674
4513334
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-38.opb
UNSAT
711.38
713.28
4503640
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb
UNSAT
739.927
741.95
4510008
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb
UNSAT
1139.09
1141.92
4510656
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb
UNSAT
1228.62
1231.53
4542272
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
UNSAT
1259.03
1261.97
4513910
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb
UNSAT
1645.57
1649.76
4542194
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n98-d3-i3-r1.cnf.gz-plain.pb.metafix.opb
UNSAT
2005.12
2010.01
4510116
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb
UNSAT
2772.43
2779.23
4510800
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_10.opb
UNSAT
3114.75
3122.28
4514378
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (126 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.010484
0.0230551
4502230
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_008.shuf-1.opb
SAT
0
0.011326
0.0244979
4543637
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb
SAT
0
0.015395
0.0285969
4543598
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
SAT
0
0.027811
0.0399271
4495716
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
0.029237
0.0415701
4495536
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111223689.opb
SAT
0
0.0319
0.04909
4495500
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-chromaticindex32-8.0.s.opb
SAT
0
0.051482
0.0659779
4515026
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561384.opb
SAT
0
0.056317
0.0688191
4494852
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_064.shuf-1.opb
SAT
0
0.059029
0.0725939
4543676
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
0.068782
0.0816041
4495644
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900574974.opb
SAT
0
0.073556
0.08662
4494924
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb
SAT
0
0.135166
0.147876
4492476
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb
SAT
0
0.153988
0.168666
4492548
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547461.opb
SAT
0
0.156946
0.171648
4495140
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb
SAT
0
0.165949
0.181304
4492332
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb
SAT
0
0.173301
0.186316
4492368
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973863.opb
SAT
0
0.180759
0.194176
4495320
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900547353.opb
SAT
0
0.190856
0.203883
4494888
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.207268
0.22326
4493772
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.216404
0.230167
4493268
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb
SAT
0
0.236552
0.251187
4492584
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb
SAT
0
0.240179
0.267436
4492296
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat99_identity_complement.opb
SAT
0
0.27805
0.293496
4544885
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
SAT
0
0.311482
0.32466
4493592
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582376.opb
SAT
0
0.314156
0.330844
4494960
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos808444.opb
SAT
0
0.315234
0.338193
4503100
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.321187
0.335417
4493484
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-777800.0.s.opb
SAT
0
0.328466
0.34317
4515278
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12020_5-sat.opb
SAT
0
0.365558
0.379717
4502194
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567003.opb
SAT
0
0.37551
0.390091
4494672
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_08_020.opb
SAT
0
0.383879
0.398135
4543520
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j907_2-sat.opb
SAT
0
0.436954
0.452279
4502050
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
0.463277
0.588704
4493376
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
SAT
0
0.533444
0.569625
4495896
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
SAT
0
0.541122
0.55471
4493736
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6033_7-sat.opb
SAT
0
0.588756
0.664317
4501798
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559641.opb
SAT
0
0.614398
0.632703
4495068
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
SAT
0
0.695279
0.715917
4493556
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6027_7-sat.opb
SAT
0
0.719584
0.768498
4501690
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
0.741873
0.761447
4492152
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
SAT
0
0.798608
0.812971
4493880
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
SAT
0
0.822282
0.837011
4495824
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat11_11_identity_complement.opb
SAT
0
0.904361
0.925965
4545002
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12bt.opb
SAT
0
1.06823
1.08549
4493628
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3013_3-sat.opb
SAT
0
1.20904
1.2287
4502122
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
1.41804
1.43954
4492188
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb
SAT
0
1.44546
1.46149
4495788
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww1.opb
SAT
0
1.46255
1.5003
4496184
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_10_triangular.opb
SAT
0
1.67532
1.69943
4544612
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_11_triangular.opb
SAT
0
1.92248
1.9417
4544768
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
2.35111
2.37128
4491972
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
SAT
0
2.3698
2.38864
4493700
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb
SAT
0
2.46508
2.4842
4511916
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat15_15_identity_complement.opb
SAT
0
2.68115
2.70316
4544573
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
SAT
0
2.81628
2.85008
4492656
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
2.8954
2.91969
4492080
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
3.64584
3.66732
4494024
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
3.67289
3.69744
4494276
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb
SAT
0
3.68499
3.70727
4511772
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb
SAT
0
3.72415
3.74778
4491648
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
4.01774
4.04304
4494420
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round21-3.opb
SAT
0
4.0271
4.05331
4513046
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
4.10944
4.13269
4494312
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
SAT
0
4.13403
4.15947
4511880
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-22-18-20-1_c24.opb
SAT
0
4.14205
4.17237
4545509
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
4.57445
4.59862
4493988
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
SAT
0
4.62567
4.66121
4511700
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb
SAT
0
4.77924
4.83677
4511808
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb
SAT
0
5.06686
5.102
4511844
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
SAT
0
5.93136
5.96692
4512132
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j605_7-sat.opb
SAT
0
7.32823
7.39089
4501762
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
SAT
0
7.47014
7.51679
4503172
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
SAT
0
9.53373
9.59228
4496148
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
10.5486
10.601
4494132
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
11.5978
11.698
4493952
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
12.309
12.3488
4494060
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
12.3648
12.435
4493916
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
12.3893
12.46
4494096
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
12.41
12.4495
4494204
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
12.4249
12.4692
4494240
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
12.5043
12.5586
4494348
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
12.6017
12.6457
4494168
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
12.7047
12.752
4494384
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb
SAT
0
14.4905
14.5562
4512168
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_15.opb
SAT
0
14.9537
15.0141
4514414
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
15.5078
15.5612
4492044
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
15.9263
15.9842
4494600
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm85p-dec.opb.negationfix.opb
SAT
0
16.6258
16.6783
4511952
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_14_triangular.opb
SAT
0
16.6596
16.725
4544651
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob2.opb
SAT
0
17.3234
17.4042
4496112
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm95p-dec.opb.negationfix.opb
SAT
0
19.3798
19.4381
4511988
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K76.opb
SAT
0
20.2208
20.3364
4507736
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
SAT
0
20.9357
21.0227
4512096
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
SAT
0
21.8723
21.9352
4512024
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob6.opb
SAT
0
23.5348
23.6164
4495968
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
SAT
0
24.5475
24.6234
4495752
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round21-6.opb
SAT
0
25.8022
25.8972
4513262
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
SAT
0
31.0976
31.2037
4493664
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
31.5069
31.617
4493412
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K75.opb
SAT
0
34.3282
34.4617
4507628
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-academictimetablesmall.0.s.opb
SAT
0
37.4544
37.5698
4514990
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K72.opb
SAT
0
40.2008
40.3222
4507772
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb
SAT
0
55.4031
55.5507
4511664
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
SAT
0
61.9316
62.0894
4493520
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
SAT
0
87.4424
87.6744
4493844
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
SAT
0
94.1344
94.4061
4494564
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round21-2.opb
SAT
0
101.564
101.845
4512938
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
SAT
0
165.657
166.09
4494492
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-5.opb
SAT
0
181.188
181.694
4545197
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-185.opb
SAT
0
187.283
187.74
4503460
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K71.opb
SAT
0
204.47
205.087
4507664
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
SAT
0
220.185
220.762
4496004
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat20_19_triangular.opb
SAT
0
231.906
232.52
4544534
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K69.opb
SAT
0
237.377
238.094
4507700
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-20_c24.opb
SAT
0
293.259
294.179
4545275
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
SAT
0
305.29
306.114
4493808
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-03.opb
SAT
0
328.732
329.708
4503280
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-164.opb
SAT
0
435.585
436.751
4503496
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
SAT
0
456.047
457.189
4495932
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K102.opb
SAT
0
664.771
666.805
4507412
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
754.86
757.015
4493340
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K96.opb
SAT
0
828.742
831.051
4507592
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K105.opb
SAT
0
835.26
837.57
4507556
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
SAT
0
907.964
910.128
4494528
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K98.opb
SAT
0
1835.91
1841.19
4507376
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K101.opb
SAT
0
1922.43
1928.11
4507448
Solver timed out (no solution given) (114 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
? (TO)
3600.03
3610.2
4495860
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
? (TO)
3600.03
3609.71
4496040
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-6_6_33.opb
? (TO)
3600.03
3610.21
4514594
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-6.opb
? (TO)
3600.03
3608.61
4513118
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-22diag_spec_greater.opb
? (TO)
3600.03
3609.71
4541999
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-16diag_spec_greater.opb
? (TO)
3600.03
3611.11
4517366
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.03
3608.9
4509972
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_11.opb
? (TO)
3600.04
3609.01
4514342
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-89.opb
? (TO)
3600.04
3609.92
4503244
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l080-r079-n1.opb
? (TO)
3600.04
3610.61
4513874
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb
? (TO)
3600.04
3609.21
4541765
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_10-sat.opb
? (TO)
3600.04
3612.03
4501978
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K174.opb
? (TO)
3600.04
3608.91
4507016
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-1.opb
? (TO)
3600.04
3609.11
4513082
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.04
3609.3
4509684
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.04
3609.6
4509792
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-MisteryShopper-mini-5-08-2-6-0_c24.opb
? (TO)
3600.04
3610.42
4545392
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K84.opb
? (TO)
3600.05
3610.71
4507340
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat12_11_identity_complement.opb
? (TO)
3600.05
3609.31
4544807
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-t1722.0.s.opb
? (TO)
3600.05
3608.92
4515206
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb
? (TO)
3600.05
3609.81
4510980
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K176.opb
? (TO)
3600.05
3609.91
4506872
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K92.opb
? (TO)
3600.05
3609.81
4507304
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-0.opb
? (TO)
3600.05
3609.81
4512794
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
? (TO)
3600.05
3609.5
4503136
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-6.opb
? (TO)
3600.05
3609.21
4513298
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-29array_ineq6.opb
? (TO)
3600.06
3609.01
4541648
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K155.opb
? (TO)
3600.06
3609.12
4507052
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-26array_diag_greater.opb
? (TO)
3600.06
3610.13
4541687
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K188.opb
? (TO)
3600.06
3611.13
4506836
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-4.opb
? (TO)
3600.06
3609.41
4512830
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
? (TO)
3600.06
3608.8
4514306
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.06
3609.6
4509900
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K182.opb
? (TO)
3600.06
3609.12
4507196
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K90.opb
? (TO)
3600.06
3610.21
4507268
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K133.opb
? (TO)
3600.06
3608.51
4506944
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v2/normalized-grid8_97.opb
? (TO)
3600.07
3609.7
4516214
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab71-20-100.0.u.opb
? (TO)
3600.07
3608.91
4515242
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb
? (TO)
3600.07
3611.4
4517258
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-6.opb
? (TO)
3600.07
3609.11
4512866
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_3-sat.opb
? (TO)
3600.07
3609.41
4501942
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
3609.9
4509864
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-4.opb
? (TO)
3600.07
3610.01
4513010
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb
? (TO)
3600.07
3609.81
4542038
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-20arraycomm_teq_less.opb
? (TO)
3600.07
3608.71
4541804
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
? (TO)
3600.07
3609.72
4493448
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K150.opb
? (TO)
3600.07
3608.62
4507088
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-31array_diag_less.opb
? (TO)
3600.07
3609.61
4541726
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K169.opb
? (TO)
3600.08
3610.22
4506764
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K159.opb
? (TO)
3600.08
3609.03
4506980
PB25/normalized-PB25/DEC-LIN/
wallon/normalized-FRB-45-21-3-mgd_c18.opb
? (TO)
3600.08
3609.81
4545236
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
3600.08
3610.21
4494456
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.08
3609.02
4510080
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-cvs16r70-62.0.s.opb
? (TO)
3600.08
3608.91
4515134
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-952987.0.d.opb
? (TO)
3600.08
3610.03
4515314
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-24diag_spec_greater.opb
? (TO)
3600.08
3610.21
4541960
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round23-3.opb
? (TO)
3600.08
3611.11
4513154
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-22arraycomm_teq_less.opb
? (TO)
3600.08
3609.91
4541843
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K177.opb
? (TO)
3600.08
3608.62
4507232
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K134.opb
? (TO)
3600.08
3610.02
4506728
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
? (TO)
3600.08
3610.12
4492008
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-2.opb
? (TO)
3600.09
3609.61
4512902
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.61
4492116
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-MisteryShopper-mini-5-10-2-6-0_c24.opb
? (TO)
3600.09
3608.93
4545431
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.1
3609.7
4510044
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-2.opb
? (TO)
3600.1
3609.41
4513226
PB25/normalized-PB25/DEC-LIN/
wallon/normalized-FRB-53-24-1-mgd_c18.opb
? (TO)
3600.1
3610.32
4545041
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-5.opb
? (TO)
3600.1
3609.71
4512974
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb
? (TO)
3600.1
3609.91
4541609
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb
? (TO)
3600.1
3610.12
4541882
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-20array_ineq6.opb
? (TO)
3600.1
3609.3
4541570
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
? (TO)
3600.1
3611.4
4496076
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.1
3610.02
4509720
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.u.opb
? (TO)
3600.1
3609.65
4515170
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820146.opb
? (TO)
3600.1
3610.11
4503208
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K87.opb
? (TO)
3600.11
3610.41
4507484
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K81.opb
? (TO)
3600.11
3610.61
4507520
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm/normalized-17arraycomm_less.opb
? (TO)
3600.11
3609.51
4541921
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
? (TO)
3600.11
3610.02
4491756
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-0.opb
? (TO)
3600.11
3609.21
4513190
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-AverageAvoiding-mini-40_c24.opb
? (TO)
3600.12
3609.17
4545119
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K196.opb
? (TO)
3600.12
3610.12
4507124
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_36.opb
? (TO)
3600.12
3611.21
4514450
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
3600.12
3609.03
4493304
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K194.opb
? (TO)
3600.12
3609.41
4507160
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq5/normalized-30array_ineq5.opb
? (TO)
3600.12
3609.91
4541531
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb
? (TO)
3600.12
3608.58
4544183
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_comm/normalized-27diagcomm_less_teq.opb
? (TO)
3600.13
3609.81
4542077
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SocialGolfers-08-04-08_c24.opb
? (TO)
3600.13
3610.1
4545314
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9029_2-sat.opb
? (TO)
3600.13
3609.52
4502014
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-192.opb
? (TO)
3600.13
3611.4
4503352
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K166.opb
? (TO)
3600.13
3609.02
4506908
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K138.opb
? (TO)
3600.13
3610.31
4506800
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-1.opb
? (TO)
3600.14
3609.84
4545353
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-73.opb
? (TO)
3600.14
3610.62
4503532
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12011_3-sat.opb
? (TO)
3600.14
3610.24
4502158
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-90.opb
? (TO)
3600.14
3611.14
4503316
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-seymour.0.u.opb
? (TO)
3600.15
3609.13
4514918
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-116.opb
? (TO)
3600.17
3611.48
4503676
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-134.opb
? (TO)
3600.17
3610.1
4503568
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ab51-40-100.0.s.opb
? (TO)
3600.17
3610.1
4515098
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-111.opb
? (TO)
3600.19
3611.77
4503748
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
? (TO)
3600.29
3609.08
4545080
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-147.opb
? (TO)
3600.3
3610.25
4503604
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-631710.0.u.opb
? (TO)
3600.32
3610.2
4515350
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
? (TO)
3600.33
3609.68
4542467
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
? (TO)
3600.34
3610
4542545
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm25p-dec.opb.negationfix.opb
? (TO)
3600.35
3609.03
4511736
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb
? (TO)
3600.37
3609.19
4542506
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
? (TO)
3600.45
3611.83
4503712
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-ivu59.0.u.opb
? (TO)
3600.49
3609.65
4515062
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/
normalized-hw512-vm100p-dec.opb.negationfix.opb
? (TO)
3600.54
3608.47
4512060
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
? (TO)
3600.55
3609.57
4542428
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb
? (TO)
3600.58
3609.99
4542155