PB'26 competition: benchmarks results per solver
Result page for solver SynLSRS
2026-06-06
(complete)
Solver command line
./SynLSRS BENCHNAME TIMEOUT TMPDIR MEMLIMIT
Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)
Solver proved unsatisfiability (UNSATISFIABLE) (228 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_spec/normalized-9array_spec_less.opb
UNSAT
0.02691
0.141466
4813513
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-large-v3/normalized-grid6_11.opb
UNSAT
0.027604
0.0854891
4811889
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP005.shuf-1.opb
UNSAT
0.027937
0.112844
4811367
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-65.shuf-1.opb
UNSAT
0.028125
0.086729
4812991
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP005.shuf-2.opb
UNSAT
0.028178
0.0887741
4811193
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-geq-fixedbandwidth-30.opb
UNSAT
0.028238
0.104414
4802693
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v3_shuffle/normalized-grid4_27.shuf-1.opb
UNSAT
0.028473
0.120597
4811773
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-10arraycomm_teq_tvars_less.opb
UNSAT
0.028728
0.0840849
4813571
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-75.shuf-2.opb
UNSAT
0.028773
0.087558
4812933
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-80.shuf-1.opb
UNSAT
0.029229
0.0866179
4812962
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/diag_spec/normalized-9diag_spec_greater.opb
UNSAT
0.029388
0.0879019
4813687
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-65.opb
UNSAT
0.029708
0.0920149
4813020
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111224059.opb
UNSAT
0.031148
0.107571
4798717
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-13-1.cnf.gz-extracted.pb.metafix.opb
UNSAT
0.03207
0.135663
4801293
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_4_3.opb
UNSAT
0.032286
0.182281
4809482
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP005.opb
UNSAT
0.035385
0.124147
4811251
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_05_050.opb
UNSAT
0.035828
0.0995501
4812324
PB24/normalized-PB16/DEC-LIN/elffers/
subsetcard/normalized-subsetcard-eq-fixedbandwidth-70.opb
UNSAT
0.037438
0.206381
4802721
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_wallace/normalized-10array_wallace_less_teq.opb
UNSAT
0.03775
0.126125
4809801
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-1.opb
UNSAT
0.039385
0.112092
4811396
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random4reg_split_100.opb
UNSAT
0.039618
0.114396
4812846
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_06_047.opb
UNSAT
0.039829
0.118545
4812382
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_51.shuf-1.opb
UNSAT
0.039844
0.142325
4811831
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-11array_ineq7.opb
UNSAT
0.043785
0.150372
4809598
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v3_shuffle/normalized-grid8_111.shuf-3.opb
UNSAT
0.045661
0.10961
4811628
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v3_shuffle/normalized-grid8_91.shuf-2.opb
UNSAT
0.056326
0.11734
4811860
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
UNSAT
0.057715
0.425532
4796841
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6028_8-unsat.opb
UNSAT
0.060278
0.116009
4799305
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP025.opb
UNSAT
0.065082
0.135339
4811454
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/
normalized-sumineqArity5houseP016.opb
UNSAT
0.090332
0.823355
4808612
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/larger/vc-lines-v4_shuffle/normalized-grid10_200.shuf-3.opb
UNSAT
0.097352
0.151584
4811657
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-blast-floppy1-7.ucl.opb
UNSAT
0.10118
0.40523
4796197
PB24/normalized-PB15eval/DEC-LIN/SUMINEQ/
normalized-sumineqArity3houseP016.opb
UNSAT
0.102288
0.911752
4808583
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP035.shuf-1.opb
UNSAT
0.142486
0.233073
4811222
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-25-20.opb
UNSAT
0.164189
0.707081
4807771
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/larger/vc-nve-large-v3/normalized-grid6_171.opb
UNSAT
0.180367
0.264744
4811599
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl35_36_pb.cnf.cr.opb
UNSAT
0.184127
0.520886
4796869
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-blast-tlan3.ucl.opb
UNSAT
0.207834
0.536096
4796365
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb/normalized-subsetcard-geq-fixedbandwidth-3750.opb
UNSAT
0.734024
0.831349
4813136
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v020-n1.opb
UNSAT
0.749268
0.824895
4802581
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/
normalized-ECrand4regsplit-v060-n1.opb
UNSAT
0.788512
0.923442
4802637
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x10split.opb
UNSAT
0.878419
0.955921
4801825
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v011-n3.opb
UNSAT
0.883872
0.990513
4802973
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n12-d4-i1.cnf.gz-plain.pb.metafix.opb
UNSAT
0.892516
0.998942
4801321
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v021-n2.opb
UNSAT
0.905195
0.975836
4802889
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n28-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
UNSAT
0.923551
0.985678
4801125
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-extracted.pb.metafix.opb
UNSAT
0.971641
1.99218
4808525
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n1.opb
UNSAT
0.97587
1.6911
4803029
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v041-n2.opb
UNSAT
0.993252
1.69601
4803001
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2250.shuf-1.opb
UNSAT
1.01423
1.09353
4813165
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v031-n1.opb
UNSAT
1.02051
1.10577
4802609
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
ebits/benchmarks/normalized-16ebits_0.opb
UNSAT
1.03793
1.11352
4813716
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb
UNSAT
1.06265
2.06432
4808438
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb
UNSAT
1.10674
1.85993
4802665
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v051-n3.opb
UNSAT
1.122
1.18541
4802917
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-2750.shuf-3.opb
UNSAT
1.12926
1.21213
4813281
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-2750.opb
UNSAT
1.13877
1.24541
4813107
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb
UNSAT
1.19849
1.25834
4810033
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height3_pigeons2_holes1.opb
UNSAT
1.20236
1.2738
4809946
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n1.opb
UNSAT
1.21747
1.30041
4802833
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-3500.shuf-3.opb
UNSAT
1.25827
1.36032
4813223
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/
normalized-composed_pebbling_php_pyramid_height6_pigeons5_holes4.opb
UNSAT
1.26386
1.32434
4810265
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-extracted.pb.metafix.opb
UNSAT
1.30012
1.64667
4808177
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/
larger/fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-4000.shuf-2.opb
UNSAT
1.31747
1.40308
4813194
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v101-n2.opb
UNSAT
1.33572
1.45489
4802861
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-1500.opb
UNSAT
1.35529
1.44384
4813078
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v111-n2.opb
UNSAT
1.3977
1.49871
4803057
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v111-n1.opb
UNSAT
1.43134
1.55851
4802525
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-2250.shuf-1.opb
UNSAT
1.45349
1.56355
4813252
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-10array_ineq10.opb
UNSAT
1.46662
1.55852
4813339
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x30split.cnf-plain.pb.metafix.opb
UNSAT
1.46898
1.79614
4808322
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-2_3_6.opb
UNSAT
1.59212
1.75523
4809453
PB24/normalized-PB16/DEC-LIN/
quimper/SyncCodes/d_n_k/normalized-3_6_4.opb
UNSAT
1.63233
1.81199
4809337
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x40split.cnf-plain.pb.metafix.opb
UNSAT
1.68318
2.05472
4808148
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x50split.cnf-plain.pb.metafix.opb
UNSAT
1.70159
2.08799
4808380
PB24/normalized-PB16/DEC-LIN/elffers/
rand6reg/normalized-rand6reg-v081-n3.opb
UNSAT
1.84213
1.9681
4802945
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-12arraycomm_teq_tvars_less.opb
UNSAT
1.94726
2.00683
4813629
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-51-50.opb
UNSAT
2.00028
2.35273
4807800
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x80split.cnf-plain.pb.metafix.opb
UNSAT
2.02913
2.94753
4808554
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x50split.opb
UNSAT
2.0379
2.10397
4801937
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
ebits/zeroth_bit/normalized-26ebits_0.opb
UNSAT
2.13591
2.19783
4809917
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/random_large_opb/normalized-ECrand6reg_151.opb
UNSAT
2.16072
2.25932
4810932
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-stein15inf.0.d.opb
UNSAT
2.20323
2.30307
4810671
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-11-10.opb
UNSAT
2.23168
2.57572
4807887
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-15-10.opb
UNSAT
2.36931
2.71642
4808003
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid3x60split.cnf-extracted.pb.metafix.opb
UNSAT
2.39081
2.76692
4808206
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-3500.shuf-1.opb
UNSAT
2.47942
2.56442
4813049
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x70split.opb
UNSAT
2.58687
2.68444
4801853
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/
FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb
UNSAT
2.70705
2.82099
4796617
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-cardinality-61-60.opb
UNSAT
2.74557
3.04079
4807713
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_018.shuf-3.opb
UNSAT
2.79395
2.87858
4810845
PB24/normalized-PB16/DEC-LIN/elffers/
EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb
UNSAT
2.90222
3.08148
4802553
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-20-10-05-10_c24.opb
UNSAT
2.99827
3.08823
4814499
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP085.opb
UNSAT
3.01129
3.1027
4811483
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP055.shuf-2.opb
UNSAT
3.17333
3.25106
4811135
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height15_pigeons14_holes13.opb
UNSAT
3.18273
3.25559
4810120
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_038.shuf-1.opb
UNSAT
3.24462
3.3299
4812469
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_037.shuf-3.opb
UNSAT
3.3808
3.45192
4812498
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP045.shuf-3.opb
UNSAT
3.45269
3.56253
4811280
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid3x90split.opb
UNSAT
3.47681
3.5578
4801881
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110973163.opb
UNSAT
3.59647
3.67844
4798549
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111227861.opb
UNSAT
3.71275
3.81952
4798465
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975607.opb
UNSAT
3.71552
3.79782
4798605
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-16arraycomm_teq_tvars_less.opb
UNSAT
3.78119
3.85146
4813600
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110968561.opb
UNSAT
3.8362
3.93627
4798773
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111213868.opb
UNSAT
3.92628
4.00636
4798661
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_036.opb
UNSAT
3.98546
4.06674
4812585
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_06_036.opb
UNSAT
4.06517
4.15056
4812556
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height16_pigeons15_holes14.opb
UNSAT
4.12481
4.20829
4810178
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid4_23.shuf-1.opb
UNSAT
4.22368
4.30162
4811512
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900558106.opb
UNSAT
4.30207
4.37462
4798353
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq9/normalized-18array_ineq9.opb
UNSAT
4.59417
4.70426
4809540
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_comm/arraycomm_teq/normalized-11arraycomm_teq_less.opb
UNSAT
4.77432
4.86756
4809743
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r06-tiling/normalized-domset-hexgrid_06_062.opb
UNSAT
4.85566
4.94505
4812150
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900570242.opb
UNSAT
4.89743
4.98199
4798129
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_057.opb
UNSAT
5.49268
5.57236
4812266
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat98_identity_complement.opb
UNSAT
5.62539
5.89865
4813948
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_diag/normalized-14array_diag_less.opb
UNSAT
5.86364
5.93959
4813542
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-dlx1c.ucl.opb
UNSAT
5.88772
6.34681
4796337
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-dlx1c.rwmem1.ucl.opb
UNSAT
6.11929
6.51442
4796253
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq10/normalized-14array_alg_ineq10.opb
UNSAT
6.50197
6.60823
4813310
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP085.shuf-2.opb
UNSAT
6.67485
6.78686
4811164
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-51-50.opb
UNSAT
6.94507
7.29274
4808090
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-41-40.opb
UNSAT
6.9656
7.30788
4807916
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_075.opb
UNSAT
7.03081
7.12151
4812208
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb
UNSAT
7.14562
7.56807
4807858
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-dlx1c.rwmem.ucl.opb
UNSAT
7.23195
7.64213
4796001
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v2_02_096.opb
UNSAT
7.48894
7.58373
4812643
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l020-r019-n1.opb
UNSAT
7.89355
8.20444
4801545
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat10_8_triangular.opb
UNSAT
8.09191
8.35937
4813890
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq/normalized-17arraycomm_teq_greater.opb
UNSAT
9.4779
9.59276
4809714
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l030-r029-n1.opb
UNSAT
9.70566
9.97228
4802749
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb
UNSAT
10.1405
11.2461
4808235
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid4_49.shuf-3.opb
UNSAT
10.2508
10.3527
4811686
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.3.accl.ucl.opb
UNSAT
10.5098
10.9258
4796141
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l030-r029-n1.cnf-plain.pb.metafix.opb
UNSAT
10.5698
10.882
4801741
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l030-r029-n1.opb
UNSAT
10.5912
10.9216
4801629
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_3_180.opb
UNSAT
10.7823
10.9073
4811019
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb
UNSAT
12.0887
12.1794
4810062
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-65-60.opb
UNSAT
12.3677
13.075
4808032
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v1_shuffle/normalized-grid6_49.shuf-2.opb
UNSAT
12.9646
13.0787
4811570
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571761.opb
UNSAT
13.5232
13.6332
4798241
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_092.opb
UNSAT
13.6298
13.7604
4812672
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Ic22arity.ucl.opb
UNSAT
13.9979
14.4165
4796085
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid6_51.shuf-1.opb
UNSAT
14.3028
14.4089
4811744
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900575442.opb
UNSAT
14.3114
14.4145
4798409
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v1_shuffle/normalized-grid8_61.shuf-3.opb
UNSAT
14.4297
14.5473
4811541
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_06_096.opb
UNSAT
15.058
15.1628
4812701
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height22_pigeons21_holes20.opb
UNSAT
15.2039
15.2993
4810004
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.rf9.ucl.opb
UNSAT
15.5207
16.19
4796169
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-71-70.opb
UNSAT
15.8756
17.3902
4807742
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-nve-large-v1/normalized-grid8_97.opb
UNSAT
18.1165
18.2562
4811802
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height23_pigeons22_holes21.opb
UNSAT
18.2448
18.3442
4810294
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_19.opb
UNSAT
18.2547
19.5386
4809424
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb
UNSAT
18.3618
18.7442
4796225
PB24/normalized-PB06/DEC-LIN/web/
uclid_pb_benchmarks/normalized-cache.inv12.ucl.opb
UNSAT
18.9213
19.4005
4796113
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_070.opb
UNSAT
19.139
19.269
4812875
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_9_triangular.opb
UNSAT
19.4764
19.7713
4814064
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669797.opb
UNSAT
19.8492
19.9812
4798045
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat10_9identity_complement.opb
UNSAT
21.3598
21.713
4813774
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900562192.opb
UNSAT
21.9523
22.0912
4798437
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-exit/normalized-phpexit_v1_26_048.opb
UNSAT
23.3353
23.4746
4812614
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_26.opb
UNSAT
23.8696
25.4977
4809395
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_350_349.opb
UNSAT
25.2061
25.3549
4812005
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_370_369.opb
UNSAT
25.2169
25.3509
4811947
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-7_6_19.opb
UNSAT
25.4488
26.6758
4809366
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9037_9-unsat.opb
UNSAT
25.894
26.045
4799389
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l090-r089-n1.cnf-extracted.pb.metafix.opb
UNSAT
28.5231
28.7531
4801685
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900571132.opb
UNSAT
28.9128
29.1052
4798185
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-original/normalized-php_390_389.opb
UNSAT
29.4316
29.6055
4811976
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-grids-v2_shuffle/normalized-grid8_87.shuf-3.opb
UNSAT
31.2007
31.3875
4811715
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/
random_norational_opb/normalized-ec_random_norational_random8reg_split_350.opb
UNSAT
31.7752
31.9482
4812817
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_07_100.opb
UNSAT
32.2653
32.4431
4812730
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_033.shuf-1.opb
UNSAT
34.5383
34.7234
4810903
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_270.opb
UNSAT
36.2132
36.3803
4812759
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900582300.opb
UNSAT
37.2021
37.4128
4798269
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l070-r069-n1.opb
UNSAT
38.4655
38.8524
4801489
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_06_130.opb
UNSAT
40.2056
40.3977
4812788
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
vertex-cover/vc-lines-v2_shuffle/normalized-grid8_63.shuf-1.opb
UNSAT
40.6318
40.8351
4811918
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FastMatrixMultiplication-mini-2-2-2-05.opb
UNSAT
41.9976
42.3791
4814180
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Rlfap-ext-scen-11-f09_c18.opb
UNSAT
45.023
45.295
4814354
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb
UNSAT
46.6976
46.861
4810236
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
UNSAT
50.1622
50.5736
4801713
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-3.opb
UNSAT
57.9707
58.2749
4811425
PB24/normalized-PB24/DEC-LIN/nordstrom/
MIPLIB01/dec/miplib2/normalized-air02.0.u.opb
UNSAT
62.8888
63.2106
4810787
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_210.opb
UNSAT
63.7435
64.0438
4812904
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-left3reg-l090-r089-n1.opb
UNSAT
65.8448
66.2945
4801517
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_042.shuf-3.opb
UNSAT
67.6739
67.9964
4810816
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l045-r044-n1.opb
UNSAT
72.7523
73.1139
4802805
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-19array_ineq7.opb
UNSAT
78.3491
79.5263
4809627
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb
UNSAT
78.627
79.2823
4808293
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height27_pigeons26_holes25.opb
UNSAT
95.1048
95.3733
4810323
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/grids_large_opb/normalized-ECgrid_split_5_050.opb
UNSAT
108.83
109.336
4810990
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-08.opb
UNSAT
127.686
128.209
4800005
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_045.shuf-1.opb
UNSAT
129.32
129.859
4810874
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-full.all.ucl.opb
UNSAT
133.98
134.804
4796029
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb
UNSAT
178.604
179.188
4808467
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900667195.opb
UNSAT
232.28
233.043
4798073
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb
UNSAT
297.997
298.841
4810352
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_8.opb
UNSAT
309.458
310.616
4809192
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-27-2.cnf.gz-plain.pb.metafix.opb
UNSAT
338.282
339.731
4801377
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb
UNSAT
375.654
377.419
4796281
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
domset/domset_large/normalized-domset-hexgrid_11_076.opb
UNSAT
527.985
529.823
4812353
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb
UNSAT
541.006
543.101
4808351
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x80split.cnf-extracted.pb.metafix.opb
UNSAT
543.628
545.904
4808264
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LdValue.ucl.opb
UNSAT
623.244
625.656
4796057
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9025_4-unsat.opb
UNSAT
648.847
650.681
4799333
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb
UNSAT
676.003
680.615
4808496
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-neos-859770.0.d.opb
UNSAT
686.876
689.522
4810729
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-36.opb
UNSAT
737.729
740.398
4799921
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/array_diag/normalized-19array_diag_less.opb
UNSAT
738.444
740.864
4809685
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n108-d3-i3-f.cnf.gz-plain.pb.metafix.opb
UNSAT
775.966
778.29
4801153
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
UNSAT
787.336
790.256
4802469
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-1.opb
UNSAT
896.997
900.217
4811309
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_6.opb
UNSAT
911.044
914.091
4809221
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900561288.opb
UNSAT
931.419
934.786
4798213
PB24/normalized-PB15eval/DEC-LIN/
EC_ODD_GRIDS/normalized-ECgrid5x100split.opb
UNSAT
1173.52
1177.22
4801909
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/
normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb
UNSAT
1246.97
1251.26
4808409
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.ex.mem.LsqHdStrong.ucl.opb
UNSAT
1630.42
1635.39
4795973
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height42_pigeons41_holes40.opb
UNSAT
1892.37
1897.9
4809975
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb
UNSAT
2094.35
2098.91
4810149
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j909_2-unsat.opb
UNSAT
2206.49
2212.45
4799361
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-27array_alg_ineq8.opb
UNSAT
2441.84
2449.57
4813368
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x130split.opb
UNSAT
2557.67
2566.82
4802413
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x120split.opb
UNSAT
2665.71
2673.94
4802441
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x140split.opb
UNSAT
3297.09
3305.28
4802497
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/
normalized-3col-almost3reg-l060-r059-n1.opb
UNSAT
3504.06
3510.55
4802777
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb
UNSAT
3574.1
3584.54
4810207
Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (149 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.024949
0.093156
4799697
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977266.opb
SAT
0
0.029306
0.081111
4798521
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110969933.opb
SAT
0
0.029838
0.129566
4798689
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110977464.opb
SAT
0
0.031373
0.0871949
4798577
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111226284.opb
SAT
0
0.033489
0.158963
4798829
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110974553.opb
SAT
0
0.033811
0.107599
4798801
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1111216188.opb
SAT
0
0.033951
0.157035
4798633
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110971766.opb
SAT
0
0.034376
0.127528
4798493
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110975678.opb
SAT
0
0.037753
0.152342
4798857
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110967327.opb
SAT
0
0.040178
0.136874
4798745
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900581321.opb
SAT
0
0.04047
0.0972471
4798297
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900553644.opb
SAT
0
0.044391
0.133488
4798101
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900669299.opb
SAT
0
0.044792
0.101801
4798325
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_048.shuf-1.opb
SAT
0
0.045271
0.12646
4812527
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900559365.opb
SAT
0
0.047786
0.121589
4798381
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9ls.opb
SAT
0
0.049139
0.505614
4797149
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12bt.opb
SAT
0
0.053573
0.296702
4797261
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army9.12ls.opb
SAT
0
0.056947
0.360543
4797205
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900567939.opb
SAT
0
0.057483
0.136948
4798157
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17ls.opb
SAT
0
0.057913
0.218922
4797233
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r03_shuffle/normalized-domset-hexgrid_03_056.shuf-3.opb
SAT
0
0.062474
0.119153
4812179
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3027_9-sat.opb
SAT
0
0.063079
0.1198
4799445
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww1.opb
SAT
0
0.067043
0.124135
4799249
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24ls.opb
SAT
0
0.069163
0.187505
4797317
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/armies/normalized-army8.9bt.opb
SAT
0
0.075063
0.17746
4797373
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob6.opb
SAT
0
0.076742
0.132229
4799081
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21ls.opb
SAT
0
0.080914
0.184888
4797429
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_04_036.opb
SAT
0
0.089852
0.151903
4812237
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r05_shuffle/normalized-domset-hexgrid_05_048.shuf-2.opb
SAT
0
0.10311
0.1585
4812121
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14bt.opb
SAT
0
0.105785
0.226064
4797457
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-stein27.0.s.opb
SAT
0
0.111289
0.168723
4810439
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army10.14ls.opb
SAT
0
0.146651
0.260333
4797345
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga13_11_sat_pb.cnf.cr.opb
SAT
0
0.181451
0.296838
4796673
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army11.17bt.opb
SAT
0
0.189599
0.603941
4797177
PB24/normalized-PB10/DEC-LIN/oliveras/
j30/normalized-j3042_9-sat.opb
SAT
0
0.192961
0.273014
4799473
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-HyperSudoku-03_c24.opb
SAT
0
0.193174
0.347882
4814296
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_064.shuf-3.opb
SAT
0
0.233594
0.298853
4812440
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat99_identity_complement.opb
SAT
0
0.280833
0.546081
4814035
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
SAT
0
0.328808
0.406941
4796589
PB24/normalized-PB24/DEC-LIN/nordstrom/
CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r08-tiling/normalized-domset-hexgrid_08_052.opb
SAT
0
0.328923
0.410116
4812295
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_39_sat_pb.cnf.cr.opb
SAT
0
0.37941
0.510676
4796729
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin8.opb
SAT
0
0.394299
0.784718
4796981
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga40_38_sat_pb.cnf.cr.opb
SAT
0
0.396242
0.949134
4796757
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_43_sat_pb.cnf.cr.opb
SAT
0
0.412682
0.949799
4796785
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga35_35_sat_pb.cnf.cr.opb
SAT
0
0.414224
0.561171
4796897
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_29_sat_pb.cnf.cr.opb
SAT
0
0.420477
0.546631
4796701
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob10.opb
SAT
0
0.464511
0.545047
4798913
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_18.opb
SAT
0
0.478377
0.55122
4809105
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb
SAT
0
0.486283
0.628208
4796953
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob1.opb
SAT
0
0.511498
0.571126
4799221
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb
SAT
0
0.51496
0.669659
4796561
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob4.opb
SAT
0
0.555046
0.627276
4798941
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K75.opb
SAT
0
0.640454
0.700079
4800957
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_28_sat_pb.cnf.cr.opb
SAT
0
0.675877
0.927823
4796813
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/
domset-fixedrows-r06_shuffle/normalized-domset-hexgrid_06_068.shuf-3.opb
SAT
0
0.76994
0.854404
4812411
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww4.opb
SAT
0
0.779121
0.858352
4799053
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat11_10_triangular.opb
SAT
0
0.837086
1.09446
4813832
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_190_189.opb
SAT
0
0.928293
0.996253
4812034
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
SAT
0
0.989179
1.07381
4796449
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K109.opb
SAT
0
1.0187
1.08868
4800901
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/
~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb
SAT
0
1.06441
1.34164
4796393
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-12,16.opb
SAT
0
1.06953
1.31726
4796533
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_26.opb
SAT
0
1.122
1.84329
4809163
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FRB-30-15-1_c18.opb
SAT
0
1.31355
1.40312
4814267
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K95.opb
SAT
0
1.34544
1.42782
4800761
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
SAT
0
1.50492
1.5916
4796477
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K76.opb
SAT
0
1.65506
1.71807
4801041
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob8.opb
SAT
0
1.73738
1.80116
4799137
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army13.24bt.opb
SAT
0
1.75333
1.84126
4797289
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga35_34_sat_pb.cnf.cr.opb
SAT
0
1.91751
2.09659
4796925
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb
SAT
0
1.95201
2.07615
4796421
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat12_11_triangular.opb
SAT
0
1.9661
2.18483
4814006
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/
benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
SAT
0
2.00121
2.16178
4796505
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb
SAT
0
2.23585
2.32301
4802049
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww2.opb
SAT
0
2.24563
2.32031
4798997
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-cdc7-4-3-2.0.u.opb
SAT
0
2.32207
2.38883
4810468
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_14_triangular.opb
SAT
0
2.40552
2.62532
4813861
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_15.opb
SAT
0
2.67916
3.23805
4809279
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K107.opb
SAT
0
2.82803
2.93326
4800873
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob5.opb
SAT
0
2.92476
3.01093
4799025
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K73.opb
SAT
0
3.03127
3.1017
4800929
PB24/normalized-PB06/DEC-LIN/submitted-PB05/
aloul/FPGA_SAT05/normalized-fpga30_30_sat_pb.cnf.cr.opb
SAT
0
3.64448
3.75851
4796645
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K94.opb
SAT
0
5.69835
5.77363
4800845
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_410_409.opb
SAT
0
5.72538
5.82896
4811077
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb
SAT
0
5.96771
6.13964
4797541
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb
SAT
0
6.37821
6.56305
4797569
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat11_11_identity_complement.opb
SAT
0
6.53334
6.79199
4814151
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin10.opb
SAT
0
6.59506
7.04777
4797065
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb
SAT
0
6.99197
7.10884
4797765
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat19_19_identity_complement.opb
SAT
0
7.08945
7.35536
4814122
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_23.opb
SAT
0
7.62435
8.20986
4809250
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb
SAT
0
7.71556
7.82608
4797877
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat15_15_identity_complement.opb
SAT
0
7.90414
8.17102
4813803
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb
SAT
0
7.90614
8.0256
4797793
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_390_389.opb
SAT
0
8.12694
8.22334
4812092
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-109.opb
SAT
0
9.17604
9.26379
4800033
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb
SAT
0
9.24661
9.33333
4802217
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb
SAT
0
11.1191
11.2248
4802161
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-30-24-20-1_c24.opb
SAT
0
12.0332
12.1769
4814238
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm85p-dec.opb.negationfix.opb
SAT
0
12.9248
13.0462
4802133
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-28-30-20-1_c24.opb
SAT
0
14.6775
14.814
4814557
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm90p-dec.opb.negationfix.opb
SAT
0
15.583
15.6868
4801993
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm75p-dec.opb.negationfix.opb
SAT
0
15.8606
15.996
4802077
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb
SAT
0
15.9449
16.0624
4802357
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm95p-dec.opb.negationfix.opb
SAT
0
18.9776
19.1147
4802105
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l6_n1500.opb
SAT
0
19.6279
19.7532
4798017
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-849702.opb
SAT
0
19.7546
19.8813
4799753
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_500_499.opb
SAT
0
20.2989
20.4484
4811048
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole/normalized-php_missinghole_450_449.opb
SAT
0
20.6869
20.8193
4811106
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw128/normalized-hw128-vm98p-dec.opb.negationfix.opb
SAT
0
20.9828
21.1239
4801965
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-FastMatrixMultiplication-table-3-1-3-09.opb
SAT
0
21.5697
21.7189
4814441
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb
SAT
0
22.2305
22.4155
4797485
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb
SAT
0
22.4072
22.5622
4797681
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Soccer-20-25-20-1_c24.opb
SAT
0
22.4663
22.6968
4814383
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb
SAT
0
22.4825
22.6509
4797849
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb
SAT
0
22.8233
22.9898
4797653
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb
SAT
0
23.1174
23.2923
4797513
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm50p-dec.opb.negationfix.opb
SAT
0
29.5335
29.6908
4802329
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww3.opb
SAT
0
35.4403
35.6448
4798885
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
php-missinghole-random/normalized-php_missinghole_random_480_479.opb
SAT
0
40.0943
40.308
4812063
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K74.opb
SAT
0
40.7205
40.9069
4801013
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k3_l5_n550.opb
SAT
0
41.6135
41.8419
4797989
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb
SAT
0
46.0203
46.2968
4797597
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb
SAT
0
46.8401
47.1074
4797821
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb
SAT
0
50.0477
50.2829
4797737
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb
SAT
0
51.4804
51.7353
4797625
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin12.opb
SAT
0
51.8196
52.3899
4797093
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/
normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb
SAT
0
52.8158
53.1082
4797709
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K108.opb
SAT
0
53.7444
54.2392
4800733
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-7.opb
SAT
0
60.9792
61.2776
4814412
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm90p-dec.opb.negationfix.opb
SAT
0
65.4027
65.6737
4802301
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathBA/normalized-BeauxArts_K69.opb
SAT
0
66.1243
66.3814
4800985
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression32_14.opb
SAT
0
68.2021
68.7608
4809134
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round21-0.opb
SAT
0
74.9575
75.1982
4808960
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-162.opb
SAT
0
80.6952
81.0108
4800201
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-neos-827015.0.u.opb
SAT
0
83.7253
84.0227
4810584
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k6_l3_n170.opb
SAT
0
227.464
228.402
4797905
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K91.opb
SAT
0
234.044
234.922
4800789
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round21-3.opb
SAT
0
262.815
264.735
4808670
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/prestwich/armies/normalized-army12.21bt.opb
SAT
0
294.616
295.759
4797401
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob2.opb
SAT
0
330.749
331.953
4799193
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K199.opb
SAT
0
394.634
395.996
4800565
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K191.opb
SAT
0
405.147
406.203
4800229
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K195.opb
SAT
0
504.626
506.393
4800397
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K92.opb
SAT
0
517.737
519.847
4800705
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k4_l4_n360.opb
SAT
0
555.035
556.675
4797961
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K93.opb
SAT
0
739.628
742.196
4800649
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K188.opb
SAT
0
2495.82
2504.72
4800369
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-rmine21.0.u.opb
SAT
0
2880.6
2890.2
4810700
Solver didn't decide (UNKNOWN) (91 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n226-d3-i2-f.cnf.gz-plain.pb.metafix.opb
?
3579.39
3595.59
4801349
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round23-9.opb
?
3579.77
3595.17
4809047
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-9.opb
?
3580.33
3595.83
4808641
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/
normalized-ooo.burch_dill.6.accl.ucl.opb
?
3581.26
3596.52
4796309
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq6/normalized-18array_alg_ineq6.opb
?
3581.77
3596.47
4809569
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-69.opb
?
3581.97
3597.26
4799977
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-seymour.0.u.opb
?
3582.01
3595.11
4810410
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob7.opb
?
3582.04
3595.08
4798969
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq10/normalized-17array_ineq10.opb
?
3582.05
3596.49
4809511
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820157.opb
?
3582.12
3595.18
4799725
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-18wallace_spec_greater_tvars.opb
?
3582.22
3595.12
4809888
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K80.opb
?
3582.33
3595.37
4800817
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/diag_spec/normalized-25diag_spec_greater.opb
?
3582.33
3595.1
4809830
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-almost3reg-l090-r089-n1.opb
?
3582.34
3595.44
4801573
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb
?
3582.49
3595.43
4801769
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-bab2.0.s.opb
?
3582.5
3597.09
4810613
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-28array_ineq8.opb
?
3582.53
3595.14
4813455
PB24/normalized-PB15eval/DEC-LIN/3COL/
normalized-3col-almost3reg-l100-r099-n1.opb
?
3582.57
3595.5
4801601
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb
?
3582.61
3595.42
4801657
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-9.opb
?
3582.64
3595.17
4808873
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round23-0.opb
?
3582.64
3595.09
4808902
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size128-round22-8.opb
?
3582.65
3596.26
4808728
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K181.opb
?
3582.75
3595.43
4800453
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-prob3.opb
?
3582.82
3595.09
4799165
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-32array_alg_ineq8.opb
?
3582.83
3595.13
4813426
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin14.opb
?
3582.94
3595.94
4797037
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-1.opb
?
3582.97
3595.88
4808786
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size96-round23-0.opb
?
3583.06
3595.1
4808844
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/
array_comm/arraycomm_teq_tvars/normalized-29arraycomm_teq_tvars_greater.opb
?
3583.08
3595.09
4809772
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq8/normalized-30array_alg_ineq8.opb
?
3583.24
3595.1
4813397
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-table-3-3-9.opb
?
3583.35
3595.37
4814209
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
inequalities/ineq5/normalized-24array_ineq5.opb
?
3583.36
3595.09
4813484
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
equalities/wallace_spec/normalized-25wallace_spec_greater_tvars.opb
?
3583.38
3595.21
4809859
PB24/normalized-PB12/DEC-LIN/sroussel/
ShortestPathTate/normalized-TateBritain_K82.opb
?
3583.68
3595.43
4800677
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_084.opb
?
3583.71
3595.15
4810961
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-fixed-bandwidth-38.cnf.gz-plain.pb.metafix.opb
?
3583.8
3595.5
4801405
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n200-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
?
3583.87
3595.61
4801433
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-57.opb
?
3584.04
3595.64
4800117
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K157.opb
?
3584.16
3595.36
4800341
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
manquiho/Aardal_1/normalized-cuww5.opb
?
3584.17
3595.08
4799109
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw256/
normalized-hw256-vm100p-dec.opb.negationfix.opb
?
3584.18
3596.24
4802189
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin18.opb
?
3584.23
3595.42
4797009
PB24/normalized-PB16/DEC-LIN/elffers/
EC_ODD_GRIDS/normalized-ECgrid5x150split.opb
?
3584.27
3595.13
4802385
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/
inequalities/OPB/ineq7/normalized-22array_alg_ineq7.opb
?
3584.3
3595.56
4809656
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round21-7.opb
?
3584.33
3596.21
4808757
PB24/normalized-PB11/DEC-LIN/
heinz/normalized-neos-820146.opb
?
3584.45
3595.11
4799781
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12052_3-unsat.opb
?
3584.46
3595.16
4799641
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-33-3.cnf.gz-plain.pb.metafix.opb
?
3584.5
3595.14
4801069
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size80-round23-5.opb
?
3584.5
3595.88
4808815
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-reblock354.0.u.opb
?
3584.55
3595.09
4810497
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/
normalized-3col-almost3reg-l100-r099-n1.cnf-extracted.pb.metafix.opb
?
3584.6
3595.18
4801797
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size144-round22-2.opb
?
3584.62
3595.09
4808931
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n282-d3-i1-f.cnf.gz-plain.pb.metafix.opb
?
3584.63
3595.25
4801097
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size160-round22-8.opb
?
3584.65
3595.08
4808989
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round22-3.opb
?
3584.66
3596.31
4808699
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-clauses-101-100.opb
?
3584.71
3596.04
4808061
PB24/normalized-PB16/DEC-LIN/nossum/
normalized-sha1-size112-round23-8.opb
?
3584.8
3595.17
4809018
PB24/normalized-PB16/DEC-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_30.opb
?
3584.91
3596.65
4809308
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
prestwich/robin/normalized-robin16.opb
?
3585.06
3595.94
4797121
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-scpj4scip.0.s.opb
?
3585.23
3596.19
4810526
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2017/normalized-rail01.0.s.opb
?
3585.42
3596
4810555
PB24/normalized-PB15eval/DEC-LIN/
ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-58-2.cnf.gz-plain.pb.metafix.opb
?
3585.45
3595.17
4801181
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib3/normalized-fast0507.0.s.opb
?
3585.47
3595.77
4810381
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-81.opb
?
3585.55
3595.24
4800145
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw128/
normalized-hw128-vm100p-dec.opb.negationfix.opb
?
3585.62
3596
4802021
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Hamming-30-15-07-14_c24.opb
?
3585.66
3595.19
4814325
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-WordSquare-tab2-11-ogd2008_c24.opb
?
3585.74
3595.63
4814470
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/
equalities/array_comm/normalized-23arraycomm_teq_tvars_greater.opb
?
3585.81
3595.1
4813658
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb
?
3585.95
3596.08
4802245
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/
hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb
?
3585.99
3596.09
4802273
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n248-d3-i2-f.cnf.gz-plain.pb.metafix.opb
?
3586.2
3595.52
4801461
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-91-90.opb
?
3586.22
3596
4808119
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/
dec/miplib2010/normalized-tanglegram1.0.s.opb
?
3586.23
3595.17
4810758
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n272-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
?
3586.31
3595.26
4801237
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-SolitairePattern-dec2-3-3-9.opb
?
3586.36
3595.46
4814586
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/
d-equals-n_k/normalized-compression64_8.opb
?
3586.43
3596.28
4809076
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K145.opb
?
3586.45
3595.11
4800285
PB25/normalized-PB25/DEC-LIN/wallon/
normalized-Pentominoes-03-40_c24.opb
?
3586.52
3595.17
4814528
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n288-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
?
3586.53
3595.27
4801209
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-95-90.opb
?
3586.65
3596.1
4807945
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/
dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb
?
3587.2
3595.78
4810091
PB24/normalized-PB06/DEC-LIN/
submitted-PB06/roussel/normalized-pigeon-clauses-81-80.opb
?
3587.21
3595.68
4807974
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K141.opb
?
3587.42
3595.12
4800257
PB24/normalized-PB10/DEC-LIN/oliveras/
j60/normalized-j6029_4-unsat.opb
?
3587.65
3599.66
4799277
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
roussel/normalized-pigeon-clauses-105-100.opb
?
3588.7
3599.89
4807829
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat16_15_identity_complement.opb
?
3588.75
3596.83
4813745
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n238-d3-i2-r2.cnf.gz-plain.pb.metafix.opb
?
3589.17
3595.3
4801265
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12026_4-sat.opb
?
3589.86
3602.75
4799501
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K147.opb
?
3591.59
3602.66
4800537
PB25/normalized-PB25/DEC-LIN/koops/
normalized-mat20_19_identity_complement.opb
?
3596.38
3606.73
4814093
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12059_1-sat.opb
?
3597.95
3609.89
4799669
Solver timed out (no solution given) (24 runs)
[Show/Hide]
Benchmark Name
Answer
objective function
CPU time
Wall clock time
TraceID
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K170.opb
? (TO)
3601.43
3615.23
4800425
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/
sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-3.opb
? (TO)
3602.01
3613.01
4811338
PB24/normalized-PB10/DEC-LIN/oliveras/
j90/normalized-j9013_8-unsat.opb
? (TO)
3602.03
3614.2
4799417
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j1206_5-sat.opb
? (TO)
3602.04
3611.9
4799529
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K173.opb
? (TO)
3602.04
3614.91
4800593
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat20_18_triangular.opb
? (TO)
3602.05
3612.02
4813919
PB25/normalized-PB25/DEC-LIN/
koops/normalized-mat15_13_triangular.opb
? (TO)
3602.05
3611.12
4813977
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-121.opb
? (TO)
3602.05
3613.13
4800061
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K127.opb
? (TO)
3602.06
3614.82
4800481
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K136.opb
? (TO)
3602.07
3615.03
4800509
PB24/normalized-PB06/DEC-LIN/submitted-PB06/
liu/vdw/normalized-vdw_k5_l4_n750.opb
? (TO)
3602.07
3613.7
4797933
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K131.opb
? (TO)
3602.07
3617.43
4800621
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-125.opb
? (TO)
3602.08
3615.12
4799865
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j1207_4-sat.opb
? (TO)
3602.08
3614.6
4799585
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-133.opb
? (TO)
3602.08
3613.5
4799809
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12056_2-sat.opb
? (TO)
3602.09
3611.7
4799557
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-190.opb
? (TO)
3602.09
3612.02
4799893
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-138.opb
? (TO)
3602.11
3614.22
4800173
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-17.opb
? (TO)
3602.11
3612.4
4799837
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/
miplib2017/normalized-neos-4954274-beardy.0.u.opb
? (TO)
3602.11
3612.23
4810642
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-169.opb
? (TO)
3602.12
3615.85
4799949
PB24/normalized-PB10/DEC-LIN/oliveras/
j120/normalized-j12056_9-sat.opb
? (TO)
3602.12
3611.9
4799613
PB24/normalized-PB12/DEC-LIN/
sroussel/ShortestPathNG/normalized-NG_K163.opb
? (TO)
3602.14
3613.03
4800313
PB24/normalized-PB11/DEC-LIN/
lopes/normalized-174.opb
? (TO)
3602.14
3615.09
4800089