PB'26 competition: benchmarks results per solver
Result page for solver roundingsat-satsuma-liftedcover
2026-06-11 (cert)
(complete)
Solver command line
./run-lcc.sh --proof-log=CERTNAME BENCHNAME
Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)
Solver proved unsatisfiability and generated a good certificate (235 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_3.opb
UNSAT cert.
0.005652
0.0160099
4834800
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-11-10.opb
UNSAT cert.
0.007521
0.0209171
4834946
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-15-10.opb
UNSAT cert.
0.009083
0.02864
4834947
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-25-20.opb
UNSAT cert.
0.009148
0.029261
4834941
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n28-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.009952
0.041738
4834710
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
UNSAT cert.
0.018687
0.031058
4834479
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n108-d3-i3-f.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.02287
0.0702269
4834702
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6028_8-unsat.opb
UNSAT cert.
0.023167
0.062942
4834607
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-geq-fixedbandwidth-30.opb
UNSAT cert.
0.023292
0.0336129
4834732
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v020-n1.opb
UNSAT cert.
0.024414
0.0348941
4834716
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-eq-fixedbandwidth-70.opb
UNSAT cert.
0.025842
0.036392
4834731
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-65.opb
UNSAT cert.
0.026439
0.0419939
4834742
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-65.shuf-1.opb
UNSAT cert.
0.026476
0.038638
4834743
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-2.opb
UNSAT cert.
0.026664
0.0403739
4834744
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-80.shuf-1.opb
UNSAT cert.
0.027261
0.046827
4834745
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-51-50.opb
UNSAT cert.
0.02843
0.05159
4834942
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v011-n3.opb
UNSAT cert.
0.030106
0.040482
4834722
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v021-n2.opb
UNSAT cert.
0.031547
0.0422599
4834723
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v031-n1.opb
UNSAT cert.
0.037279
0.0478539
4834718
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-61-60.opb
UNSAT cert.
0.041597
0.0590269
4834943
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height3_pigeons2_holes1.opb
UNSAT cert.
0.046149
0.102394
4834919
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-13-1.cnf.gz-extracted.pb.metafix.opb
UNSAT cert.
0.047811
0.132505
4834698
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-11array_ineq7.opb
UNSAT cert.
0.04796
0.116083
4834937
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n1.opb
UNSAT cert.
0.048891
0.060687
4834724
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v060-n1.opb
UNSAT cert.
0.049472
0.138315
4834717
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_3_6.opb
UNSAT cert.
0.050354
0.061006
4834799
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n1.opb
UNSAT cert.
0.051096
0.0656579
4834727
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_wallace/normalized-10array_wallace_less_teq.opb
UNSAT cert.
0.051606
0.062338
4834931
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v051-n3.opb
UNSAT cert.
0.053436
0.0709761
4834726
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-extracted.pb.metafix.opb
UNSAT cert.
0.056268
0.0709891
4834963
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-10arraycomm_teq_tvars_less.opb
UNSAT cert.
0.056766
0.067401
4834807
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
ebits/benchmarks/normalized-16ebits_0.opb
UNSAT cert.
0.057714
0.069263
4834806
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-stein15inf.0.d.opb
UNSAT cert.
0.058888
0.0938511
4834861
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_6_4.opb
UNSAT cert.
0.062972
0.0762751
4834801
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n200-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.063236
0.110898
4834703
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-11arraycomm_teq_less.opb
UNSAT cert.
0.06344
0.0787619
4834927
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v3/normalized-grid6_11.opb
UNSAT cert.
0.06475
0.0817261
4834771
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n226-d3-i2-f.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.066034
0.121839
4834704
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb
UNSAT cert.
0.067277
0.078561
4834956
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
ebits/zeroth_bit/normalized-26ebits_0.opb
UNSAT cert.
0.075816
0.0865289
4834926
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/random_large_opb/normalized-ECrand6reg_151.opb
UNSAT cert.
0.080153
0.113705
4834888
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
UNSAT cert.
0.08278
0.100091
4834719
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n238-d3-i2-r2.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.083087
0.120438
4834705
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT cert.
0.087317
0.106775
4834577
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb
UNSAT cert.
0.087652
0.100449
4834924
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n12-d4-i1.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.092248
0.144832
4834697
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_spec/normalized-9array_spec_less.opb
UNSAT cert.
0.09257
0.103032
4834812
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid4_23.shuf-1.opb
UNSAT cert.
0.094285
0.112815
4834764
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-9diag_spec_greater.opb
UNSAT cert.
0.094966
0.106651
4834813
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-12arraycomm_teq_tvars_less.opb
UNSAT cert.
0.098213
0.111984
4834808
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-41-40.opb
UNSAT cert.
0.098413
0.114956
4834948
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n248-d3-i2-f.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.100528
0.14316
4834706
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
UNSAT cert.
0.113831
0.141218
4834949
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n272-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.122616
0.202465
4834707
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height6_pigeons5_holes4.opb
UNSAT cert.
0.122811
0.752288
4834925
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l020-r019-n1.opb
UNSAT cert.
0.127518
0.163675
4834669
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n282-d3-i1-f.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.134555
0.179441
4834708
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP005.shuf-2.opb
UNSAT cert.
0.140515
0.42303
4834750
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x10split.opb
UNSAT cert.
0.146605
0.168406
4834680
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n288-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
0.147646
0.207928
4834709
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid4_27.shuf-1.opb
UNSAT cert.
0.14973
0.165514
4834774
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-extracted.pb.metafix.opb
UNSAT cert.
0.150669
0.18238
4834957
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-10array_ineq10.opb
UNSAT cert.
0.151049
0.169296
4834814
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_05_050.opb
UNSAT cert.
0.163684
0.947907
4834878
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
UNSAT cert.
0.169522
0.189439
4834480
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP005.opb
UNSAT cert.
0.171655
0.186149
4834754
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP005.shuf-1.opb
UNSAT cert.
0.177309
0.215325
4834755
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-1500.opb
UNSAT cert.
0.179015
0.202774
4834739
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n3.opb
UNSAT cert.
0.179612
0.234373
4834728
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb/normalized-subsetcard-geq-fixedbandwidth-3750.opb
UNSAT cert.
0.180648
0.230404
4834733
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_06_047.opb
UNSAT cert.
0.185182
26.6446
4834879
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb
UNSAT cert.
0.186218
0.213761
4834950
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
UNSAT cert.
0.202763
0.237247
4834720
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-plain.pb.metafix.opb
UNSAT cert.
0.216987
0.243304
4834958
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v101-n2.opb
UNSAT cert.
0.224465
0.248873
4834729
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_49.shuf-3.opb
UNSAT cert.
0.247105
0.264288
4834766
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n2.opb
UNSAT cert.
0.261681
0.293842
4834725
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r06-tiling/normalized-domset-hexgrid_06_062.opb
UNSAT cert.
0.272607
107.266
4834873
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/
normalized-sumineqArity3houseP016.opb
UNSAT cert.
0.275578
0.369388
4834746
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-1.opb
UNSAT cert.
0.297052
0.333332
4834756
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT cert.
0.304943
0.324286
4834481
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP025.opb
UNSAT cert.
0.320389
0.367262
4834748
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l030-r029-n1.opb
UNSAT cert.
0.321766
0.358148
4834670
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l030-r029-n1.cnf-plain.pb.metafix.opb
UNSAT cert.
0.326287
0.345247
4834664
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x60split.cnf-extracted.pb.metafix.opb
UNSAT cert.
0.339959
0.372209
4834961
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_057.opb
UNSAT cert.
0.341585
1.48586
4834875
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/
normalized-sumineqArity5houseP016.opb
UNSAT cert.
0.346402
0.433922
4834747
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2250.shuf-1.opb
UNSAT cert.
0.369645
0.397892
4834735
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb
UNSAT cert.
0.377273
0.409687
4834951
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v1_shuffle/normalized-grid6_49.shuf-2.opb
UNSAT cert.
0.400792
0.431793
4834772
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x50split.opb
UNSAT cert.
0.40818
0.435771
4834676
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
UNSAT cert.
0.418877
0.440137
4834583
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-2750.opb
UNSAT cert.
0.421402
0.439727
4834740
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP035.shuf-1.opb
UNSAT cert.
0.436494
0.470059
4834751
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x50split.cnf-plain.pb.metafix.opb
UNSAT cert.
0.442492
0.465782
4834960
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_51.shuf-1.opb
UNSAT cert.
0.466083
1.0009
4834769
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x40split.cnf-plain.pb.metafix.opb
UNSAT cert.
0.477939
0.541923
4834959
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb
UNSAT cert.
0.504863
0.654423
4834721
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-20-10-05-10_c24.opb
UNSAT cert.
0.518465
0.544556
4834839
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-71-70.opb
UNSAT cert.
0.540523
0.563885
4834952
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_037.shuf-3.opb
UNSAT cert.
0.571573
0.678069
4834867
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v111-n2.opb
UNSAT cert.
0.602247
0.74483
4834730
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl.opb
UNSAT cert.
0.602813
0.633804
4834581
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
UNSAT cert.
0.673907
0.73052
4834582
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x70split.opb
UNSAT cert.
0.677946
0.724477
4834677
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random4reg_split_100.opb
UNSAT cert.
0.693873
0.710482
4834894
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2750.shuf-3.opb
UNSAT cert.
0.708417
0.730563
4834736
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_075.opb
UNSAT cert.
0.73458
2.59837
4834877
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid8_61.shuf-3.opb
UNSAT cert.
0.752205
0.981138
4834765
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-81-80.opb
UNSAT cert.
0.782253
0.970096
4834953
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x80split.cnf-plain.pb.metafix.opb
UNSAT cert.
0.792904
0.829052
4834962
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_038.shuf-1.opb
UNSAT cert.
0.838903
1.00811
4834868
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224059.opb
UNSAT cert.
0.842763
0.857918
4834555
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP045.shuf-3.opb
UNSAT cert.
0.844365
0.962541
4834757
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v2_shuffle/normalized-grid8_63.shuf-1.opb
UNSAT cert.
0.853153
0.907346
4834773
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT cert.
0.877862
0.90192
4834547
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227861.opb
UNSAT cert.
0.887747
0.915657
4834557
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975607.opb
UNSAT cert.
0.896503
0.917301
4834549
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-3500.shuf-1.opb
UNSAT cert.
0.906976
0.927066
4834741
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-3500.shuf-3.opb
UNSAT cert.
0.913357
0.942296
4834737
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x90split.opb
UNSAT cert.
0.93405
0.984127
4834678
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-2.opb
UNSAT cert.
0.953696
0.973654
4834738
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT cert.
0.970794
1.01007
4834553
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-nve-large-v1/normalized-grid8_97.opb
UNSAT cert.
0.973146
1.02254
4834775
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_91.shuf-2.opb
UNSAT cert.
1.01769
1.28455
4834770
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2250.shuf-1.opb
UNSAT cert.
1.07488
1.10747
4834734
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/larger/vc-nve-large-v3/normalized-grid6_171.opb
UNSAT cert.
1.10569
2.53746
4834763
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-91-90.opb
UNSAT cert.
1.17201
1.23349
4834954
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v3_shuffle/normalized-grid8_111.shuf-3.opb
UNSAT cert.
1.19778
2.32959
4834761
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat98_identity_complement.opb
UNSAT cert.
1.26496
1.5378
4834834
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
UNSAT cert.
1.27872
1.35704
4834955
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid6_51.shuf-1.opb
UNSAT cert.
1.35815
1.43981
4834767
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_06_036.opb
UNSAT cert.
1.56844
1.67206
4834901
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-clauses-101-100.opb
UNSAT cert.
1.646
1.69102
4834944
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/larger/vc-lines-v4_shuffle/normalized-grid10_200.shuf-3.opb
UNSAT cert.
1.71574
2.25666
4834762
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-clauses-105-100.opb
UNSAT cert.
1.77723
1.82463
4834945
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl.opb
UNSAT cert.
1.98017
2.02931
4834576
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968561.opb
UNSAT cert.
2.06464
2.11509
4834544
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_02_096.opb
UNSAT cert.
2.12338
2.2039
4834900
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP055.shuf-2.opb
UNSAT cert.
2.15002
2.25654
4834752
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242.opb
UNSAT cert.
2.23401
2.28872
4834534
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_018.shuf-3.opb
UNSAT cert.
2.27631
2.41815
4834881
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558106.opb
UNSAT cert.
2.29168
2.41194
4834529
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l030-r029-n1.opb
UNSAT cert.
2.37474
2.46078
4834673
PB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib2/normalized-air02.0.u.opb
UNSAT cert.
2.69395
2.7813
4834862
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-14array_alg_ineq10.opb
UNSAT cert.
2.8178
2.99995
4834815
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_036.opb
UNSAT cert.
3.39449
3.86991
4834896
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
UNSAT cert.
3.51447
3.56208
4834580
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_3_180.opb
UNSAT cert.
3.54082
3.84211
4834886
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Rlfap-ext-scen-11-f09_c18.opb
UNSAT cert.
3.59246
3.64851
4834843
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_070.opb
UNSAT cert.
3.63329
3.6881
4834892
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq9/normalized-18array_ineq9.opb
UNSAT cert.
3.98854
4.32718
4834940
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_06_130.opb
UNSAT cert.
4.3046
4.42769
4834890
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT cert.
4.54683
4.63432
4834589
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_210.opb
UNSAT cert.
5.05707
5.29808
4834893
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_350_349.opb
UNSAT cert.
5.77296
8.53501
4834908
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb
UNSAT cert.
6.37867
6.70149
4834964
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_370_369.opb
UNSAT cert.
6.72625
8.22878
4834909
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
UNSAT cert.
7.95779
8.43392
4834830
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_390_389.opb
UNSAT cert.
7.9859
10.2007
4834910
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT cert.
8.22355
8.35394
4834584
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900575442.opb
UNSAT cert.
8.60627
8.8335
4834537
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat10_9identity_complement.opb
UNSAT cert.
8.74756
8.87623
4834822
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_270.opb
UNSAT cert.
9.61238
10.0181
4834889
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_19.opb
UNSAT cert.
15.3076
15.5578
4834803
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
UNSAT cert.
15.4043
16.2305
4834965
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_6_19.opb
UNSAT cert.
15.4545
15.6649
4834805
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_033.shuf-1.opb
UNSAT cert.
15.9127
18.0102
4834883
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_26.opb
UNSAT cert.
16.1465
16.3433
4834802
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_07_100.opb
UNSAT cert.
16.1651
16.4276
4834891
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT cert.
17.3213
17.6269
4834590
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
UNSAT cert.
17.9745
18.4724
4834665
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height15_pigeons14_holes13.opb
UNSAT cert.
19.1533
19.6753
4834911
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_26_048.opb
UNSAT cert.
20.6881
22.564
4834899
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l090-r089-n1.opb
UNSAT cert.
21.8134
22.8342
4834672
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l090-r089-n1.cnf-extracted.pb.metafix.opb
UNSAT cert.
22.0495
22.7057
4834666
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_87.shuf-3.opb
UNSAT cert.
22.073
23.2536
4834768
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797.opb
UNSAT cert.
23.2425
23.6028
4834542
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random8reg_split_350.opb
UNSAT cert.
23.4543
24.6526
4834895
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_042.shuf-3.opb
UNSAT cert.
23.6422
24.8192
4834882
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l045-r044-n1.opb
UNSAT cert.
28.0375
28.5978
4834674
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_5_050.opb
UNSAT cert.
28.3532
30.5967
4834887
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FastMatrixMultiplication-mini-2-2-2-05.opb
UNSAT cert.
29.6284
31.4398
4834836
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_096.opb
UNSAT cert.
31.3488
35.8138
4834898
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9037_9-unsat.opb
UNSAT cert.
32.8419
33.0397
4834611
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat10_8_triangular.opb
UNSAT cert.
34.0201
34.3741
4834821
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
UNSAT cert.
35.3552
38.406
4834969
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l070-r069-n1.opb
UNSAT cert.
36.2416
37.968
4834671
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192.opb
UNSAT cert.
36.4527
37.6129
4834532
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571761.opb
UNSAT cert.
38.7373
39.9727
4834536
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
UNSAT cert.
43.6179
47.2413
4834970
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
UNSAT cert.
46.2786
48.4206
4834967
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb
UNSAT cert.
84.3029
86.2114
4834913
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132.opb
UNSAT cert.
84.9696
87.2564
4834535
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height27_pigeons26_holes25.opb
UNSAT cert.
89.9652
91.9212
4834917
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195.opb
UNSAT cert.
90.2175
91.8541
4834540
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height22_pigeons21_holes20.opb
UNSAT cert.
93.0188
99.9561
4834914
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height23_pigeons22_holes21.opb
UNSAT cert.
103.802
107.512
4834915
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT cert.
108.066
108.711
4834579
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
UNSAT cert.
108.664
111.537
4834916
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-08.opb
UNSAT cert.
119.158
119.843
4834616
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-27array_alg_ineq8.opb
UNSAT cert.
119.749
124.207
4834817
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
UNSAT cert.
125.976
133.778
4834918
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x100split.opb
UNSAT cert.
126.721
130.369
4834679
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.opb
UNSAT cert.
129.383
130.153
4834759
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb
UNSAT cert.
162.74
166.822
4834966
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_11_076.opb
UNSAT cert.
193.463
236.974
4834880
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
UNSAT cert.
203.718
207.5
4834712
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_8.opb
UNSAT cert.
210.452
213.358
4834794
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT cert.
212.447
217.761
4834539
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat20_19_identity_complement.opb
UNSAT cert.
261.266
263.92
4834833
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_9_triangular.opb
UNSAT cert.
279.063
281.775
4834825
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
310.081
316.649
4834699
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height42_pigeons41_holes40.opb
UNSAT cert.
315.837
319.788
4834920
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-30array_alg_ineq8.opb
UNSAT cert.
347.138
360.298
4834819
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-36.opb
UNSAT cert.
417.229
419.366
4834627
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j909_2-unsat.opb
UNSAT cert.
487.151
489.429
4834612
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
UNSAT cert.
506.776
520.936
4834968
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
UNSAT cert.
518.489
521.192
4834921
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
UNSAT cert.
522.291
529.149
4834711
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9025_4-unsat.opb
UNSAT cert.
550.136
556.851
4834610
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561288.opb
UNSAT cert.
571.895
583.832
4834531
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
UNSAT cert.
620.547
624.294
4834922
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_6.opb
UNSAT cert.
690.921
697.251
4834797
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-859770.0.d.opb
UNSAT cert.
693.127
699.7
4834851
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
UNSAT cert.
729.152
739.302
4834713
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
UNSAT cert.
768.192
779.505
4834714
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
UNSAT cert.
807.305
812.468
4834578
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
UNSAT cert.
849.399
859.964
4834715
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-38.cnf.gz-plain.pb.metafix.opb
UNSAT cert.
895.99
922.76
4834696
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
UNSAT cert.
1035.06
1042.66
4834923
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
UNSAT cert.
1184.77
1191.03
4834587
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-3.opb
UNSAT cert.
1214.84
1221.44
4834760
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNSAT cert.
1498.38
1508.7
4834586
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT cert.
3237.79
3255.74
4834588
Solver proved unsatisfiability (UNSATISFIABLE) (13 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP085.opb
UNSAT
3.76631
3.9845
4834749
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP085.shuf-2.opb
UNSAT
4.38314
4.6311
4834753
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-3.opb
UNSAT
7.12234
7.3472
4834758
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height16_pigeons15_holes14.opb
UNSAT
24.1302
25.0472
4834912
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_092.opb
UNSAT
48.7906
58.0957
4834897
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_084.opb
UNSAT
299.286
322.694
4834884
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_045.shuf-1.opb
UNSAT
369.45
390.766
4834885
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-28array_ineq8.opb
UNSAT
444.738
460.19
4834818
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-32array_alg_ineq8.opb
UNSAT
1075.72
1275.94
4834820
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
UNSAT
1271.38
1288
4834675
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq10/normalized-17array_ineq10.opb
UNSAT
1583.6
1672.13
4834935
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-18array_alg_ineq6.opb
UNSAT
2960.96
3100.85
4834936
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-19array_ineq7.opb
UNSAT
3597.91
3669.41
4834938
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (141 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.005619
0.026625
4834597
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
0.028796
0.0404551
4834552
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
0.029714
0.044924
4834548
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977266.opb
SAT
0
0.029977
0.0435759
4834551
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-stein27.0.s.opb
SAT
0
0.030056
0.0460091
4834865
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_036.opb
SAT
0
0.030242
0.043931
4834876
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971766.opb
SAT
0
0.03366
0.045393
4834546
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
0.033723
0.0452401
4834545
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
0.034577
0.048642
4834556
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_048.shuf-1.opb
SAT
0
0.035376
0.205729
4834869
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.036693
0.0558921
4834567
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r03_shuffle/normalized-domset-hexgrid_03_056.shuf-3.opb
SAT
0
0.037656
0.051407
4834866
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3027_9-sat.opb
SAT
0
0.064332
0.099948
4834605
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
0
0.065295
0.093201
4834482
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581321.opb
SAT
0
0.066706
0.083398
4834538
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553644.opb
SAT
0
0.066982
0.588999
4834528
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
SAT
0
0.0679
0.092917
4834561
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.069662
0.567343
4834566
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
SAT
0
0.070199
0.088112
4834559
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
0.078849
0.092012
4834541
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216188.opb
SAT
0
0.091331
0.113692
4834554
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
SAT
0
0.103872
0.135153
4834565
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_052.opb
SAT
0
0.143894
0.728591
4834874
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r05_shuffle/normalized-domset-hexgrid_05_048.shuf-2.opb
SAT
0
0.165759
0.179823
4834870
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967327.opb
SAT
0
0.175303
0.197905
4834543
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_064.shuf-3.opb
SAT
0
0.179089
0.347985
4834871
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-HyperSudoku-03_c24.opb
SAT
0
0.181754
0.199865
4834841
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_068.shuf-3.opb
SAT
0
0.186304
0.321364
4834872
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
SAT
0
0.223681
0.262521
4834483
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3042_9-sat.opb
SAT
0
0.246269
0.433601
4834606
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
SAT
0
0.260605
0.310403
4834485
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_18.opb
SAT
0
0.270963
0.29416
4834793
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-20-25-20-1_c24.opb
SAT
0
0.352599
0.370713
4834844
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
SAT
0
0.3618
0.419107
4834484
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975678.opb
SAT
0
0.362704
0.424366
4834550
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.367352
0.44847
4834575
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
SAT
0
0.37349
0.427699
4834487
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
0.377216
0.395272
4834530
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
SAT
0
0.406975
0.474295
4834486
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
SAT
0
0.410503
0.451113
4834569
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
SAT
0
0.505299
0.592408
4834488
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_10_triangular.opb
SAT
0
0.507996
0.53027
4834823
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
SAT
0
0.538973
0.583052
4834558
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
SAT
0
0.542227
0.642384
4834490
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat99_identity_complement.opb
SAT
0
0.559079
0.675776
4834835
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
SAT
0
0.635493
0.707212
4834560
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat11_11_identity_complement.opb
SAT
0
0.684025
0.779
4834824
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.748116
0.787022
4834594
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
SAT
0
0.754035
0.857404
4834489
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
SAT
0
0.755857
0.85734
4834492
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
SAT
0
0.785562
0.825443
4834563
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_11_triangular.opb
SAT
0
0.806991
0.834432
4834826
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
SAT
0
0.81937
0.954828
4834491
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
0.837211
0.989289
4834570
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob6.opb
SAT
0
0.854633
0.871435
4834525
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
0.867482
0.994911
4834493
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
0.980523
1.07498
4834592
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_190_189.opb
SAT
0
1.13414
1.30669
4834905
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
SAT
0
1.14718
1.19556
4834524
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
1.19478
1.29659
4834593
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_26.opb
SAT
0
1.45042
1.53948
4834796
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
1.82501
2.45962
4834571
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
SAT
0
1.83901
2.0059
4834564
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb
SAT
0
1.93886
2.19586
4834682
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
2.28075
2.30502
4834498
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567939.opb
SAT
0
2.28174
2.32755
4834533
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
2.41702
2.45159
4834494
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FRB-30-15-1_c18.opb
SAT
0
2.47267
2.54481
4834838
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
2.49632
2.52337
4834495
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
2.50903
2.53754
4834496
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat15_15_identity_complement.opb
SAT
0
2.66724
3.00763
4834829
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
2.68797
2.71912
4834497
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww1.opb
SAT
0
3.37178
3.43035
4834514
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_14_triangular.opb
SAT
0
3.70775
3.78477
4834828
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_23.opb
SAT
0
3.86861
3.91517
4834795
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K76.opb
SAT
0
3.95102
4.10931
4834635
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-neos-827015.0.u.opb
SAT
0
3.95225
4.10796
4834856
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
SAT
0
4.0407
4.1237
4834517
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
4.80335
4.95555
4834596
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-28-30-20-1_c24.opb
SAT
0
5.23492
5.32091
4834845
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
5.6012
5.64096
4834503
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
6.108
6.15322
4834499
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
SAT
0
6.13126
6.32607
4834562
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat19_19_identity_complement.opb
SAT
0
6.34461
6.77801
4834831
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
SAT
0
6.36921
6.62711
4834516
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
SAT
0
6.61476
6.79128
4834519
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
6.69293
6.73359
4834500
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
6.71411
6.75401
4834501
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K75.opb
SAT
0
7.23632
7.45293
4834634
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
7.28879
7.33569
4834502
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12bt.opb
SAT
0
7.39166
7.78701
4834568
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_390_389.opb
SAT
0
8.66515
9.3092
4834906
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round21-3.opb
SAT
0
9.16983
9.47931
4834776
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_410_409.opb
SAT
0
9.77545
10.8384
4834902
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
9.94147
10.0005
4834504
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
9.98051
10.0367
4834506
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
10.118
10.1843
4834508
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
10.1573
10.2143
4834507
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
10.2156
10.2745
4834505
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
12.6945
12.7847
4834510
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
SAT
0
13.2345
13.4285
4834520
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_450_449.opb
SAT
0
13.3893
14.5026
4834903
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_480_479.opb
SAT
0
15.5478
16.9341
4834907
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_500_499.opb
SAT
0
17.8133
19.7836
4834904
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-dec.opb.negationfix.opb
SAT
0
19.4587
20.4805
4834683
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-cdc7-4-3-2.0.u.opb
SAT
0
20.2233
28.5181
4834854
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
SAT
0
21.3405
21.736
4834527
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm85p-dec.opb.negationfix.opb
SAT
0
22.3871
23.9808
4834684
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob2.opb
SAT
0
23.2793
23.6522
4834521
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K73.opb
SAT
0
26.8694
27.8319
4834632
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-dec.opb.negationfix.opb
SAT
0
28.5924
29.3834
4834685
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm95p-dec.opb.negationfix.opb
SAT
0
30.2738
31.677
4834686
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FastMatrixMultiplication-table-3-1-3-09.opb
SAT
0
31.7148
32.8767
4834837
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
SAT
0
32.5833
34.1942
4834687
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb
SAT
0
39.1925
52.7571
4834692
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K74.opb
SAT
0
48.1971
52.4807
4834633
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb
SAT
0
50.5702
51.9821
4834523
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin14.opb
SAT
0
50.7512
54.2985
4834572
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb
SAT
0
71.7112
97.6073
4834693
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-109.opb
SAT
0
71.976
72.3356
4834617
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-30-24-20-1_c24.opb
SAT
0
73.9583
76.3507
4834846
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K108.opb
SAT
0
100.988
103.283
4834637
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
SAT
0
108.966
111.385
4834615
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
SAT
0
136.928
161.362
4834689
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
SAT
0
141.303
173.856
4834691
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round21-0.opb
SAT
0
145.208
152.12
4834789
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K107.opb
SAT
0
146.046
150.123
4834636
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
SAT
0
146.62
149.717
4834526
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
SAT
0
155.34
188.898
4834690
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-162.opb
SAT
0
170.243
171.1
4834622
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
SAT
0
171.976
172.775
4834509
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round21-7.opb
SAT
0
426.055
444.96
4834784
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K69.opb
SAT
0
505.797
523.9
4834631
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K109.opb
SAT
0
549.127
564.425
4834638
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_15.opb
SAT
0
858.974
868.46
4834792
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-7.opb
SAT
0
871.036
900.628
4834848
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-9.opb
SAT
0
1294.18
1324.1
4834847
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
SAT
0
1679.06
1687.42
4834512
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K95.opb
SAT
0
1856.93
1919.62
4834645
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
SAT
0
2029.78
2083.1
4834591
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
SAT
0
3596.72
3649.12
4834849
Solver timed out (no solution given) (92 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-1.opb
? (TO)
3334.3
3700.04
4834781
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-neos-4954274-beardy.0.u.opb
? (TO)
3375.5
3700.06
4834855
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-tanglegram1.0.s.opb
? (TO)
3464.04
3700.04
4834852
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round23-0.opb
? (TO)
3485.64
3700.04
4834790
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-22array_alg_ineq7.opb
? (TO)
3531.45
3700.03
4834939
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb
? (TO)
3539.14
3700.03
4834663
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-58-2.cnf.gz-plain.pb.metafix.opb
? (TO)
3542.43
3700.03
4834701
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-25diag_spec_greater.opb
? (TO)
3542.86
3700.03
4834932
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-almost3reg-l100-r099-n1.opb
? (TO)
3548.04
3700.03
4834668
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
? (TO)
3548.44
3700.03
4834662
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
? (TO)
3550.59
3700.03
4834661
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-almost3reg-l090-r089-n1.opb
? (TO)
3553.64
3700.03
4834667
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-2.opb
? (TO)
3557.43
3700.04
4834782
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-0.opb
? (TO)
3557.8
3700.04
4834783
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq/normalized-17arraycomm_teq_greater.opb
? (TO)
3558.83
3700.03
4834928
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-5.opb
? (TO)
3558.84
3700.04
4834787
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-9.opb
? (TO)
3559.09
3700.04
4834780
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round23-9.opb
? (TO)
3559.93
3700.04
4834786
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-8.opb
? (TO)
3563.47
3700.05
4834785
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-8.opb
? (TO)
3572.13
3700.04
4834778
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq_tvars/normalized-29arraycomm_teq_tvars_greater.opb
? (TO)
3575.29
3700.06
4834929
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq5/normalized-24array_ineq5.opb
? (TO)
3576.48
3700.03
4834816
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K94.opb
? (TO)
3592.28
3700.04
4834644
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-19array_diag_less.opb
? (TO)
3593.82
3700.03
4834930
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K82.opb
? (TO)
3596.1
3700.03
4834640
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
? (TO)
3600.02
3634.62
4834614
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-33-3.cnf.gz-plain.pb.metafix.opb
? (TO)
3600.03
3693.03
4834700
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-25wallace_spec_greater_tvars.opb
? (TO)
3600.03
3698.03
4834934
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K147.opb
? (TO)
3600.03
3675.32
4834651
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
? (TO)
3600.04
3672.52
4834595
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-16arraycomm_teq_tvars_less.opb
? (TO)
3600.04
3694.81
4834809
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j1207_4-sat.opb
? (TO)
3600.04
3623.73
4834604
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K91.opb
? (TO)
3600.05
3699.31
4834641
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
? (TO)
3600.05
3634.02
4834518
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Pentominoes-03-40_c24.opb
? (TO)
3600.05
3697.14
4834842
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-8.opb
? (TO)
3600.05
3699.73
4834779
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K195.opb
? (TO)
3600.06
3639.74
4834659
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K199.opb
? (TO)
3600.06
3685.04
4834660
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12059_1-sat.opb
? (TO)
3600.06
3625.03
4834602
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12026_4-sat.opb
? (TO)
3600.06
3623.25
4834598
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
? (TO)
3600.07
3627.71
4834515
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-9.opb
? (TO)
3600.07
3694.43
4834788
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
? (TO)
3600.07
3624.51
4834513
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
? (TO)
3600.07
3634.21
4834798
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
? (TO)
3600.07
3668.15
4834574
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-18wallace_spec_greater_tvars.opb
? (TO)
3600.07
3669.42
4834933
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K92.opb
? (TO)
3600.07
3691.32
4834642
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K131.opb
? (TO)
3600.07
3675.64
4834647
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
? (TO)
3600.08
3615.72
4834511
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K145.opb
? (TO)
3600.08
3654.33
4834650
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12056_2-sat.opb
? (TO)
3600.08
3620.98
4834600
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j1206_5-sat.opb
? (TO)
3600.08
3619.15
4834603
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_30.opb
? (TO)
3600.08
3637.14
4834804
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-rail01.0.s.opb
? (TO)
3600.08
3692.57
4834857
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K188.opb
? (TO)
3600.09
3665.44
4834657
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6029_4-unsat.opb
? (TO)
3600.09
3619.03
4834608
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-14array_diag_less.opb
? (TO)
3600.09
3691.82
4834811
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K157.opb
? (TO)
3600.09
3656.43
4834652
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K93.opb
? (TO)
3600.09
3674.72
4834643
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K80.opb
? (TO)
3600.09
3685.42
4834639
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round22-3.opb
? (TO)
3600.1
3693.92
4834777
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
? (TO)
3600.1
3623.52
4834585
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
? (TO)
3600.1
3699.53
4834810
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K136.opb
? (TO)
3600.1
3680.83
4834648
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_8-unsat.opb
? (TO)
3600.1
3621.62
4834609
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_14.opb
? (TO)
3600.11
3647.51
4834791
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K173.opb
? (TO)
3600.11
3653.62
4834655
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K141.opb
? (TO)
3600.11
3668.53
4834649
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12056_9-sat.opb
? (TO)
3600.11
3615.12
4834601
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-30-15-07-14_c24.opb
? (TO)
3600.11
3633.44
4834840
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
? (TO)
3600.11
3630.81
4834522
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
? (TO)
3600.12
3691.93
4834573
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820146.opb
? (TO)
3600.12
3633.32
4834613
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K170.opb
? (TO)
3600.13
3673.54
4834654
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12052_3-unsat.opb
? (TO)
3600.13
3624.43
4834599
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K181.opb
? (TO)
3600.15
3640.45
4834656
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K163.opb
? (TO)
3600.15
3679.55
4834653
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_13_triangular.opb
? (TO)
3600.16
3614.77
4834827
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-81.opb
? (TO)
3600.17
3617.77
4834630
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-17.opb
? (TO)
3600.18
3618.57
4834625
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-190.opb
? (TO)
3600.21
3614.03
4834626
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-69.opb
? (TO)
3600.22
3614.91
4834629
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-57.opb
? (TO)
3600.22
3617.43
4834628
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat20_18_triangular.opb
? (TO)
3600.26
3616.48
4834832
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-125.opb
? (TO)
3600.36
3621.74
4834619
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-121.opb
? (TO)
3600.36
3622.03
4834618
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-133.opb
? (TO)
3600.4
3620.01
4834620
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K191.opb
? (TO)
3600.44
3659.03
4834658
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K127.opb
? (TO)
3600.61
3676.33
4834646
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-138.opb
? (TO)
3600.86
3623.75
4834621
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
? (TO)
3601.38
3618.1
4834624
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-169.opb
? (TO)
3601.68
3620.78
4834623
Solver didn't output a solution line and terminated with an unexpected exit code (11 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-WordSquare-tab2-11-ogd2008_c24.opb
? (exit code)
443.491
678.513
4834850
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-scpj4scip.0.s.opb
? (exit code)
1277.46
1507.34
4834860
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw128/
normalized-hw128-vm100p-dec.opb.negationfix.opb
? (exit code)
1315.51
1524.23
4834681
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-rmine21.0.u.opb
? (exit code)
1783.04
1940.47
4834859
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-bab2.0.s.opb
? (exit code)
2127.02
2352.75
4834853
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/
normalized-hw256-vm100p-dec.opb.negationfix.opb
? (exit code)
2188.5
2389.87
4834688
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
? (exit code)
2671.7
2903.23
4834695
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-fast0507.0.s.opb
? (exit code)
2721.98
2931.04
4834863
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
? (exit code)
2740.43
2959.92
4834694
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-seymour.0.u.opb
? (exit code)
3128.4
3469.22
4834864
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-reblock354.0.u.opb
? (exit code)
3202.15
3539.03
4834858