PB'25 competition: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-2_4_1.opb	UNSAT	0.006366	0.0149171	4514677
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid4_06.opb	UNSAT	0.00643	0.0191849	4516153
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-2.opb	UNSAT	0.006432	0.0146309	4516441
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-1.opb	UNSAT	0.006531	0.0147981	4516405
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_4_3.opb	UNSAT	0.006624	0.0151429	4514821
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-extracted.pb.metafix.opb	UNSAT	0.00677	0.016601	4509767
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid4_11.shuf-2.opb	UNSAT	0.006805	0.0145449	4516297
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb	UNSAT	0.007157	0.0149259	4516873
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset-stargrid-9-split/normalized-domset-stargod_09_009.opb	UNSAT	0.007232	0.0154169	4543335
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_6_5.opb	UNSAT	0.007233	0.016225	4514533
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_004.opb	UNSAT	0.007377	0.01537	4544037
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb	UNSAT	0.007502	0.0153709	4516837
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r10-tiling/normalized-domset-hexgrid_10_007.opb	UNSAT	0.008011	0.0160191	4543452
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r07_shuffle/normalized-domset-hexgrid_07_010.shuf-1.opb	UNSAT	0.008095	0.0160351	4543491
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-60.opb	UNSAT	0.00838	0.0165001	4516477
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	0.008635	0.0173671	4493027
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb	UNSAT	0.00867	0.017629	4509947
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb	UNSAT	0.009046	0.017118	4543374
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	0.009188	0.022411	4492739
PB24/normalized-PB16/DEC-LIN/elffers/ subsetcard/normalized-subsetcard-geq-random4regular-75.opb	UNSAT	0.009628	0.018977	4513741
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	0.009819	0.0269461	4492703
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_03_094.opb	UNSAT	0.010161	0.0189139	4543218
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	UNSAT	0.010675	0.0190961	4495403
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974372.opb	UNSAT	0.010687	0.0194291	4495439
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-3.opb	UNSAT	0.011772	0.0202089	4515793
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-9diag_spec_less.opb	UNSAT	0.012575	0.023435	4517413
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP015.shuf-1.opb	UNSAT	0.012587	0.0316341	4515505
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-9arraycomm_teq_tvars_greater.opb	UNSAT	0.014191	0.0227241	4517341
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid8_60.opb	UNSAT	0.014393	0.022536	4516117
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-nve-large-v4/normalized-grid10_64.opb	UNSAT	0.015066	0.0232979	4515901
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid10_27.shuf-3.opb	UNSAT	0.015722	0.0236411	4516261
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid10_66.opb	UNSAT	0.018545	0.0299279	4516189
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-lines-v3_shuffle/normalized-grid6_85.shuf-3.opb	UNSAT	0.020424	0.0286071	4516081
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3022_10-unsat.opb	UNSAT	0.024344	0.0321671	4502097
PB24/normalized-PB15eval/DEC-LIN/ SUMINEQ/normalized-sumineqArity3pyramidP0032.opb	UNSAT	0.025063	0.033574	4511603
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP025.shuf-1.opb	UNSAT	0.025095	0.0329401	4515577
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	0.02737	0.038704	4492271
PB24/normalized-PB15eval/DEC-LIN/ SUMINEQ/normalized-sumineqArity4pyramidP0032.opb	UNSAT	0.028387	0.0368591	4511639
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl.opb	UNSAT	0.030714	0.0396321	4491947
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP035.opb	UNSAT	0.033726	0.0420491	4515829
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-31-30.opb	UNSAT	0.035296	0.043991	4493063
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-35-30.opb	UNSAT	0.036803	0.0473489	4492919
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6039_10-unsat.opb	UNSAT	0.052635	0.0611259	4501881
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb	UNSAT	0.053652	0.061467	4516333
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_016.opb	UNSAT	0.054894	0.0637351	4543959
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j907_8-unsat.opb	UNSAT	0.056147	0.0647979	4501917
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_07_054.opb	UNSAT	0.063102	0.0714141	4543569
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-41-40.opb	UNSAT	0.067194	0.0761849	4493099
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6019_8-unsat.opb	UNSAT	0.07267	0.183645	4501737
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP035.shuf-2.opb	UNSAT	0.073854	0.0889089	4515685
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	0.074206	0.0873169	4492451
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-45-40.opb	UNSAT	0.075623	0.0845489	4493135
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	0.07699	0.0856859	4491911
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	0.09045	0.104449	4492415
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	0.116375	0.128917	4492523
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	0.118105	0.132999	4492235
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	0.189931	0.206714	4492631
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-75-70.opb	UNSAT	0.243133	0.252942	4492847
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/grids_large_opb/normalized-ECgrid_split_4_250.opb	UNSAT	3.15148	3.16997	4542945
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1000.shuf-2.opb	UNSAT	3.17987	3.19422	4516549
PB24/normalized-PB15eval/DEC-LIN/ ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-f.cnf.gz-plain.pb.metafix.opb	UNSAT	3.5311	3.54588	4509659
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb	UNSAT	3.59808	3.6237	4516729
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb	UNSAT	3.75219	3.77316	4516801
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n34-d3-i2-r2.cnf.gz-plain.pb.metafix.opb	UNSAT	3.92077	3.99103	4510163
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n32-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	UNSAT	3.99545	4.01566	4509839
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1000.shuf-3.opb	UNSAT	4.0065	4.03058	4516585
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb	UNSAT	4.27655	4.29732	4516693
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb	UNSAT	4.29021	4.30909	4516513
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-2500.opb	UNSAT	4.41689	4.44742	4516621
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x10split.opb	UNSAT	4.76936	4.7877	4511495
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_02_004.opb	UNSAT	4.82238	4.8405	4544154
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb	UNSAT	4.83518	4.85655	4516765
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v021-n1.opb	UNSAT	5.15219	5.16856	4514029
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-11array_diag_less.opb	UNSAT	5.21163	5.23063	4517197
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v011-n3.opb	UNSAT	5.21677	5.23934	4514209
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb	UNSAT	5.34973	5.46663	4513561
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-4000.opb	UNSAT	5.90236	5.92352	4516657
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb	UNSAT	6.22179	6.27179	4542321
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.opb	UNSAT	6.25908	6.299	4542399
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq10/normalized-13array_ineq10.opb	UNSAT	6.48018	6.51597	4516909
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l030-r029-n1.cnf-extracted.pb.metafix.opb	UNSAT	6.71158	6.73229	4510883
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb	UNSAT	6.75625	6.78908	4510523
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x30split.opb	UNSAT	7.03364	7.05927	4511351
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v041-n2.opb	UNSAT	7.24978	7.27734	4514281
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v051-n2.opb	UNSAT	7.41406	7.43968	4513993
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb	UNSAT	7.8644	7.92041	4513633
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v061-n3.opb	UNSAT	8.06202	8.08792	4514173
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb	UNSAT	8.28785	8.33358	4513669
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v070-n1.opb	UNSAT	8.80813	8.91271	4513705
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v090-n1.opb	UNSAT	8.8654	8.9091	4513597
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x20split.opb	UNSAT	9.0224	9.05078	4511063
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v071-n2.opb	UNSAT	9.28763	9.32058	4514137
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6021_1-unsat.opb	UNSAT	9.3381	9.36968	4501845
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-stein45inf.0.d.opb	UNSAT	9.94099	9.98749	4514965
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v071-n1.opb	UNSAT	10.0117	10.0505	4514065
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v091-n3.opb	UNSAT	10.3279	10.3535	4514245
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_012.opb	UNSAT	10.3607	10.3981	4542906
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x70split.cnf-plain.pb.metafix.opb	UNSAT	10.9011	10.9316	4510739
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb	UNSAT	10.925	10.9573	4510271
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb	UNSAT	11.0035	11.0517	4510847
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968094.opb	UNSAT	11.1744	11.2063	4495475
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973163.opb	UNSAT	11.2339	11.2656	4495295
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x50split.cnf-extracted.pb.metafix.opb	UNSAT	11.2451	11.2811	4510451
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973364.opb	UNSAT	11.2952	11.3271	4495259
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	UNSAT	11.3853	11.419	4495583
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb	UNSAT	11.442	11.5222	4513525
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	UNSAT	11.4458	11.4783	4495223
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973670.opb	UNSAT	11.4983	11.5314	4495187
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	UNSAT	11.5254	11.5596	4495691
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-2.opb	UNSAT	11.5964	11.6747	4515469
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110978113.opb	UNSAT	11.7648	11.8009	4495367
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x60split.opb	UNSAT	11.8949	11.9283	4511279
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967142.opb	UNSAT	12.0264	12.0633	4495619
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v091-n1.opb	UNSAT	12.1212	12.1552	4514101
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	12.4208	12.4583	4491875
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x90split.cnf-plain.pb.metafix.opb	UNSAT	12.7933	12.8286	4510703
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat10_8_triangular.opb	UNSAT	12.8228	12.8975	4544700
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_11.opb	UNSAT	13.042	13.0868	4514497
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_048.opb	UNSAT	13.492	13.5528	4544076
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x30split.opb	UNSAT	13.5592	13.5985	4511243
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_9_triangular.opb	UNSAT	13.6866	13.7379	4544934
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_06_048.opb	UNSAT	13.7802	13.8222	4543881
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb	UNSAT	13.8893	13.9302	4515541
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-6_6_8.opb	UNSAT	13.9501	13.9876	4514641
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-7_7_6.opb	UNSAT	14.4894	14.5288	4514785
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_18_044.opb	UNSAT	14.5462	14.5979	4543998
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x80split.opb	UNSAT	15.1552	15.1995	4511531
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_shuffle/normalized-domset-hexgrid_03_084.shuf-1.opb	UNSAT	15.1572	15.2106	4543140
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb	UNSAT	15.5726	15.6241	4515433
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/noverticaledges-v1/normalized-grid4_27.opb	UNSAT	15.6252	15.6701	4516369
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb	UNSAT	15.6515	15.7051	4515397
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_10_triangular.opb	UNSAT	16.2616	16.3187	4544856
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	17.6845	17.7321	4491839
PB24/normalized-PB24/DEC-LIN/nordstrom/ MIPLIB01/dec/miplib3/normalized-p0201.0.u.opb	UNSAT	18.0897	18.1381	4514893
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x40split.opb	UNSAT	18.8869	18.9391	4511135
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_05_100.opb	UNSAT	18.9399	18.9988	4543257
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb	UNSAT	19.0209	19.0637	4516009
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat12_11_identity_complement.opb	UNSAT	19.6276	19.6816	4544817
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq5/normalized-16array_alg_ineq5.opb	UNSAT	20.1322	20.1858	4517089
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-188.opb	UNSAT	20.2614	20.3229	4503399
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP085.shuf-3.opb	UNSAT	20.8174	20.8715	4515757
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT	22.0642	22.1264	4491623
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-4_5_19.opb	UNSAT	22.1511	22.2285	4514569
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x20split.opb	UNSAT	22.533	22.602	4511459
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_100.opb	UNSAT	24.6017	24.7068	4544271
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	25.0194	25.087	4491803
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_51.shuf-3.opb	UNSAT	25.8077	25.9523	4516045
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat98_identity_complement.opb	UNSAT	26.1055	26.1787	4544739
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x80split.cnf-extracted.pb.metafix.opb	UNSAT	26.3091	26.3732	4510343
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-2.opb	UNSAT	26.8094	26.9022	4515613
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb	UNSAT	28.7692	28.8627	4542984
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-21array_ineq8.opb	UNSAT	29.4042	29.4744	4517017
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_norational_opb/normalized-ec_random_norational_random4reg_split_350.opb	UNSAT	29.5255	29.6048	4544310
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-22array_ineq8.opb	UNSAT	29.8659	29.9498	4517053
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNSAT	31.1021	31.186	4491731
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-7_7_15.opb	UNSAT	31.7285	31.8085	4514713
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb	UNSAT	32.1706	32.2606	4510919
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-91-90.opb	UNSAT	32.8859	32.9714	4493207
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset-hubgraph-opb/normalized-domset-hubgraph_068.opb	UNSAT	33.1976	33.2806	4543413
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.opb	UNSAT	33.2422	33.3315	4515721
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-MisteryShopper-mini-5-08-2-6-0_c24.opb	UNSAT	34.5358	34.6695	4545402
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat10_9identity_complement.opb	UNSAT	35.3477	35.4395	4544505
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height18_pigeons17_holes16.opb	UNSAT	35.3878	35.4919	4542126
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_shuffle/normalized-domset-hexgrid_05_110.shuf-2.opb	UNSAT	35.7523	35.8584	4543179
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb	UNSAT	39.3192	39.4236	4515865
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	UNSAT	39.9356	40.0573	4492775
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	40.4703	40.5715	4491587
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	41.0151	41.1397	4491479
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x50split.opb	UNSAT	41.9917	42.1021	4511207
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281.opb	UNSAT	42.419	42.5408	4495007
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347.opb	UNSAT	42.7882	42.9247	4494755
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574.opb	UNSAT	43.256	43.3908	4494791
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_021.shuf-2.opb	UNSAT	43.4304	43.5508	4542828
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_18.opb	UNSAT	44.3865	44.4982	4514749
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l010-r009-n1.opb	UNSAT	48.9434	49.0615	4513849
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height19_pigeons18_holes17.opb	UNSAT	54.4275	54.63	4542243
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_096.opb	UNSAT	54.4725	54.6124	4543842
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-cnt-06-06-07_c24.opb	UNSAT	55.2325	55.3865	4545558
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height10_pigeons9_holes8.opb	UNSAT	55.9846	56.19	4542633
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x60split.opb	UNSAT	58.3158	58.4535	4511171
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x50split.opb	UNSAT	58.819	58.9998	4511567
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-MisteryShopper-mini-5-10-2-6-0_c24.opb	UNSAT	59.528	59.7023	4545441
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_14_088.opb	UNSAT	59.9219	60.072	4543764
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l010-r010-n1.opb	UNSAT	60.0357	60.1696	4510199
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l020-r019-n1.opb	UNSAT	60.1384	60.2698	4510235
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	60.1853	60.3479	4491515
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb	UNSAT	60.2209	60.3829	4544232
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_170.opb	UNSAT	60.2404	60.3923	4544388
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb	UNSAT	60.2707	60.4656	4544427
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb	UNSAT	60.3785	60.5809	4544349
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_10_092.opb	UNSAT	60.4314	60.6021	4544115
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l025-r024-n1.opb	UNSAT	61.0886	61.2462	4513813
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-28array_alg_ineq8.opb	UNSAT	62.1674	62.3382	4516945
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid4_121.shuf-1.opb	UNSAT	65.0863	65.2438	4515973
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat16_15_identity_complement.opb	UNSAT	65.3192	65.5268	4544466
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb	UNSAT	65.4871	65.6524	4515937
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_220_219.opb	UNSAT	69.7878	69.9899	4543101
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v2/normalized-grid8_97.opb	UNSAT	70.514	70.6806	4516225
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_230_229.opb	UNSAT	70.6152	70.8475	4543023
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2003/normalized-disctom.0.u.opb	UNSAT	71.0004	71.1734	4514857
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l035-r034-n1.opb	UNSAT	72.4553	72.6427	4513777
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219.opb	UNSAT	74.4885	74.7146	4494719
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-27array_alg_ineq8.opb	UNSAT	80.0518	80.2658	4516981
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb	UNSAT	81.9277	82.1921	4515649
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb	UNSAT	82.8821	83.1057	4510631
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNSAT	89.6957	89.9888	4491695
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Hamming-20-10-03-08_c24.opb	UNSAT	92.7477	93.0269	4545480
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb	UNSAT	95.6254	95.843	4510775
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-13array_diag_greater.opb	UNSAT	102.985	103.332	4517161
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb	UNSAT	104.733	105	4510559
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb	UNSAT	109.872	110.252	4517305
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_390_389.opb	UNSAT	124.452	124.838	4543062
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x40split.opb	UNSAT	134.661	135.019	4511423
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb	UNSAT	137.328	137.728	4511027
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb	UNSAT	150.068	150.622	4542360
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x90split.cnf-extracted.pb.metafix.opb	UNSAT	161.47	161.856	4510307
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x80split.opb	UNSAT	163.035	163.399	4511099
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb	UNSAT	178.405	178.904	4544193
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNSAT	187.055	187.564	4491551
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l045-r044-n1.opb	UNSAT	199.42	199.894	4513957
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-PoolBallTriangle-07_c24.opb	UNSAT	200.028	200.661	4545597
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_088.opb	UNSAT	228.515	229.121	4543920
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat20_19_identity_complement.opb	UNSAT	235.929	236.607	4544973
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_30_096.opb	UNSAT	237.831	238.363	4543725
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x100split.opb	UNSAT	246.559	247.194	4511387
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_092.opb	UNSAT	267.743	268.379	4543803
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb	UNSAT	276.772	277.347	4510415
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNSAT	313.147	314.325	4491443
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-21-20.opb	UNSAT	380.592	381.601	4492883
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x130split.opb	UNSAT	390.716	391.708	4513381
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900579996.opb	UNSAT	459.131	460.272	4495115
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb	UNSAT	473.044	474.042	4510379
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x110split.opb	UNSAT	599.645	601.162	4513453
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300.opb	UNSAT	662.082	664.077	4494827
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x120split.opb	UNSAT	668.65	670.264	4513417
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb	UNSAT	700.968	702.578	4510955
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-15array_diag_greater.opb	UNSAT	751.279	753.161	4517125
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb	UNSAT	800.849	803.172	4542711
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x150split.opb	UNSAT	852.616	854.646	4513345
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x140split.opb	UNSAT	858.682	860.695	4513489
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb	UNSAT	934.97	937.539	4492991
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-38.opb	UNSAT	1043.28	1046.17	4503651
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb	UNSAT	1211.14	1214.43	4542789
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_075.shuf-3.opb	UNSAT	1231.24	1234.58	4542867
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559676.opb	UNSAT	1243.02	1245.9	4494647
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb	UNSAT	1388.25	1392.88	4542594
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-16array_diag_less.opb	UNSAT	2202.76	2208.67	4517233
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940.opb	UNSAT	2286.31	2292.3	4495043
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb	UNSAT	2637.49	2643.92	4517269
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb	UNSAT	2647.76	2653.37	4510595

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB10/DEC-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1096.cudf.paranoid.opb	SAT	0.006465	0.014763	4502241
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_008.shuf-1.opb	SAT	0.006675	0.0146999	4543647
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.011326	0.027403	4492595
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	0.012552	0.023796	4492343
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969933.opb	SAT	0.013222	0.0212999	4495547
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	0.013363	0.0218901	4492487
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb	SAT	0.013503	0.02153	4543608
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	SAT	0.01516	0.022999	4495331
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	SAT	0.016485	0.029581	4492379
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226284.opb	SAT	0.016723	0.0250599	4495655
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	0.017344	0.0264569	4492559
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_08_020.opb	SAT	0.018804	0.0274871	4543530
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223689.opb	SAT	0.021431	0.029498	4495511
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	0.02605	0.034272	4494935
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559641.opb	SAT	0.03152	0.04182	4495079
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	0.033777	0.0473219	4492307
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	0.03987	0.0517979	4493495
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582376.opb	SAT	0.039909	0.0480941	4494971
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_064.shuf-1.opb	SAT	0.043008	0.0531599	4543686
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547353.opb	SAT	0.044102	0.0522401	4494899
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb	SAT	0.045474	0.0567259	4495943
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12ls.opb	SAT	0.054457	0.062721	4493567
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	0.063382	0.07528	4493783
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14ls.opb	SAT	0.064264	0.075079	4493747
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17ls.opb	SAT	0.072968	0.082049	4493603
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547461.opb	SAT	0.079703	0.088153	4495151
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900561384.opb	SAT	0.088334	0.096925	4494863
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-chromaticindex32-8.0.s.opb	SAT	0.092227	0.111246	4515037
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	0.117546	0.132064	4493279
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567003.opb	SAT	0.125071	0.134954	4494683
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21ls.opb	SAT	0.133183	0.142248	4493855
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat99_identity_complement.opb	SAT	0.136842	0.156083	4544895
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12bt.opb	SAT	0.162531	0.171415	4493639
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6033_7-sat.opb	SAT	0.17384	0.184604	4501809
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17bt.opb	SAT	0.17938	0.190846	4493531
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb	SAT	0.215491	0.44098	4496195
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24bt.opb	SAT	0.222256	0.230963	4493675
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j907_2-sat.opb	SAT	0.222529	0.231522	4502061
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6027_7-sat.opb	SAT	0.292018	0.417541	4501701
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	SAT	0.297703	0.316189	4492667
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat11_11_identity_complement.opb	SAT	0.298796	0.316429	4545012
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	0.305025	0.318144	4492199
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24ls.opb	SAT	0.341922	0.352299	4493711
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos808444.opb	SAT	0.342594	0.358836	4503111
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12020_5-sat.opb	SAT	0.391309	0.402071	4502205
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_10_triangular.opb	SAT	0.407838	0.437252	4544622
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb	SAT	0.418423	0.431952	4495979
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	0.555861	0.567756	4492091
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_11_triangular.opb	SAT	0.578689	0.588792	4544778
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	0.620188	0.636136	4492163
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	0.634097	0.644132	4491983
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-777800.0.s.opb	SAT	0.676227	0.696946	4515289
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14bt.opb	SAT	0.692596	0.704024	4493891
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	0.711165	0.723092	4492055
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	SAT	1.00249	1.01343	4492019
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat15_15_identity_complement.opb	SAT	1.12793	1.14892	4544583
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-cvs16r70-62.0.s.opb	SAT	1.15677	1.16809	4515145
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	SAT	1.17622	1.19529	4492127
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K75.opb	SAT	1.22759	1.24664	4507639
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat15_14_triangular.opb	SAT	1.82126	1.83813	4544661
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb	SAT	2.51108	2.52631	4496051
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K105.opb	SAT	2.87209	2.8894	4507567
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb	SAT	3.92033	3.93796	4495799
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	4.02437	4.04497	4493999
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K101.opb	SAT	4.07827	4.0981	4507459
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb	SAT	4.80518	4.82641	4495763
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3013_3-sat.opb	SAT	5.56295	5.58411	4502133
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	5.89036	5.918	4494287
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	6.3092	6.33353	4493387
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K76.opb	SAT	6.66416	6.6899	4507747
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	6.87091	6.90031	4494035
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb	SAT	6.94111	6.96936	4495871
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K71.opb	SAT	7.27486	7.29943	4507675
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb	SAT	7.29425	7.31636	4495727
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	7.41607	7.44985	4494323
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	7.50172	7.53764	4494431
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb	SAT	7.52294	7.77149	4496159
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb	SAT	7.56246	7.59412	4511675
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K102.opb	SAT	7.60099	7.6346	4507423
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb	SAT	7.81401	7.83885	4496015
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat20_19_triangular.opb	SAT	9.3518	9.38944	4544544
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	10.6941	10.7438	4491659
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	15.5292	15.5882	4493927
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	19.7411	19.8254	4494179
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	21.2116	21.3276	4494143
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K92.opb	SAT	21.9287	22.006	4507315
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	23.3803	23.4636	4493963
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	23.3815	23.4722	4494395
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_15.opb	SAT	23.4777	23.5419	4514425
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j605_7-sat.opb	SAT	26.3465	26.464	4501773
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K196.opb	SAT	28.6615	28.7378	4507135
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin12.opb	SAT	29.8351	29.9111	4493423
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K182.opb	SAT	30.9135	31.004	4507207
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K194.opb	SAT	31.8467	31.9324	4507171
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K90.opb	SAT	35.5735	35.6822	4507279
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K188.opb	SAT	40.1998	40.3204	4506847
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-849702.opb	SAT	44.072	44.2009	4503183
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	46.1361	46.2942	4494071
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	46.7412	46.9061	4494215
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	47.2011	47.4091	4494359
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K176.opb	SAT	49.2452	49.3809	4506883
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Soccer-22-18-20-1_c24.opb	SAT	50.7795	50.9379	4545519
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	52.3503	52.5379	4494107
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	57.2507	57.4468	4494251
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	SAT	63.7216	63.8879	4494575
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-academictimetablesmall.0.s.opb	SAT	64.8972	65.0772	4515001
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	66.7241	66.8991	4494611
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm25p-dec.opb.negationfix.opb	SAT	72.0693	72.2626	4511747
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K72.opb	SAT	84.1191	84.3741	4507783
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K96.opb	SAT	85.5182	85.7723	4507603
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-164.opb	SAT	91.3377	91.6828	4503507
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size96-round21-6.opb	SAT	93.8487	94.1216	4513273
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb	SAT	105.758	106.056	4511927
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	SAT	121.665	121.962	4494467
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-03.opb	SAT	154.709	155.21	4503291
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K98.opb	SAT	187.516	188.182	4507387
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round21-3.opb	SAT	197.354	197.892	4513057
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb	SAT	199.162	199.669	4495907
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-185.opb	SAT	202.375	202.912	4503471
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	SAT	321.133	322.128	4494539
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21bt.opb	SAT	321.649	322.633	4493819
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-AverageAvoiding-20_c24.opb	SAT	563.581	565.229	4545285
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	SAT	827.914	829.917	4494503
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K69.opb	SAT	1763.86	1768.41	4507711
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round21-2.opb	SAT	1816.48	1821.35	4512949
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb	SAT	2985.64	2994.33	4496123

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm95p-dec.opb.negationfix.opb	?	140.122	140.519	4511999
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb	?	140.278	140.662	4512107
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/ normalized-hw512-vm100p-dec.opb.negationfix.opb	?	141.059	141.457	4512071
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb	?	142.776	143.176	4512035

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-16diag_spec_greater.opb	? (TO)	3600.01	3609.9	4517377
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.01	3609.11	4510055
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-31array_diag_less.opb	? (TO)	3600.02	3609.11	4541736
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-6.opb	? (TO)	3600.02	3608.31	4512877
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-3.opb	? (TO)	3600.03	3610.31	4513165
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb	? (TO)	3600.03	3609.6	4495835
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.03	3610.4	4509983
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-25.opb	? (TO)	3600.03	3609.22	4503435
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x100split.opb	? (TO)	3600.03	3611.4	4511315
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb	? (TO)	3600.04	3610.91	4492955
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-0.opb	? (TO)	3600.04	3609.6	4513201
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-22diag_spec_greater.opb	? (TO)	3600.04	3609.3	4542009
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-20arraycomm_teq_less.opb	? (TO)	3600.04	3611.02	4541814
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb	? (TO)	3600.04	3608.51	4542048
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib3/normalized-seymour.0.u.opb	? (TO)	3600.05	3608.71	4514929
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n98-d3-i3-r1.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.05	3609.3	4510127
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb	? (TO)	3600.05	3610.3	4496087
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.05	3608.3	4510019
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820157.opb	? (TO)	3600.05	3609.91	4503147
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l060-r059-n1.opb	? (TO)	3600.05	3610.31	4513921
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-20array_ineq6.opb	? (TO)	3600.06	3609.02	4541580
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.06	3608.8	4509731
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-29array_ineq6.opb	? (TO)	3600.06	3609.23	4541658
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_11.opb	? (TO)	3600.06	3611.02	4514353
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820146.opb	? (TO)	3600.06	3609.5	4503219
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb	? (TO)	3600.06	3610.4	4542750
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n258-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.07	3609.7	4509695
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_comm/normalized-27diagcomm_less_teq.opb	? (TO)	3600.07	3610.72	4542087
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-6_6_33.opb	? (TO)	3600.07	3609.7	4514605
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_36.opb	? (TO)	3600.07	3609.11	4514461
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-90.opb	? (TO)	3600.07	3609.74	4503327
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm/normalized-17arraycomm_less.opb	? (TO)	3600.07	3610.9	4541931
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-4.opb	? (TO)	3600.08	3609.3	4512841
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n230-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.08	3608.5	4510091
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-89.opb	? (TO)	3600.08	3609.14	4503255
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-6.opb	? (TO)	3600.08	3609.71	4513309
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb	? (TO)	3600.08	3608.41	4510991
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-4.opb	? (TO)	3600.08	3609.61	4513021
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb	? (TO)	3600.09	3608.6	4543296
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size80-round23-5.opb	? (TO)	3600.09	3610.02	4512985
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.09	3608.3	4509911
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-73.opb	? (TO)	3600.09	3609.33	4503543
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb	? (TO)	3600.09	3609.32	4493243
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round22-2.opb	? (TO)	3600.09	3610.12	4513237
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-24diag_spec_greater.opb	? (TO)	3600.1	3610.61	4541970
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb	? (TO)	3600.1	3609.2	4510811
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.u.opb	? (TO)	3600.1	3610.58	4515181
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_10.opb	? (TO)	3600.1	3609.8	4514389
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round22-1.opb	? (TO)	3600.11	3610.02	4513093
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb	? (TO)	3600.11	3608.82	4541775
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l080-r079-n1.opb	? (TO)	3600.11	3609.81	4513885
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_8.opb	? (TO)	3600.11	3608.61	4514317
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb	? (TO)	3600.11	3609.02	4541619
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-22arraycomm_teq_less.opb	? (TO)	3600.11	3609.52	4541853
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb	? (TO)	3600.11	3609.43	4492811
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-192.opb	? (TO)	3600.12	3610.94	4503363
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq5/normalized-30array_ineq5.opb	? (TO)	3600.13	3610.73	4541541
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab71-20-100.0.u.opb	? (TO)	3600.14	3609.95	4515253
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-952987.0.d.opb	? (TO)	3600.15	3609.15	4515325
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.s.opb	? (TO)	3600.16	3610.17	4515109
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb	? (TO)	3600.17	3610.28	4493171
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K84.opb	? (TO)	3600.19	3610.61	4507351
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K87.opb	? (TO)	3600.19	3609.22	4507495
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K81.opb	? (TO)	3600.2	3609.61	4507531
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin16.opb	? (TO)	3600.2	3609.78	4493459
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-AverageAvoiding-mini-40_c24.opb	? (TO)	3600.2	3609.53	4545129
PB25/normalized-PB25/DEC-LIN/ wallon/normalized-FRB-53-24-1-mgd_c18.opb	? (TO)	3600.23	3608.5	4545051
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-147.opb	? (TO)	3600.24	3609.89	4503615
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin18.opb	? (TO)	3600.25	3609.03	4493315
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-111.opb	? (TO)	3600.26	3610.26	4503759
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-116.opb	? (TO)	3600.27	3610.84	4503687
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-08-04-08_c24.opb	? (TO)	3600.28	3608.48	4545324
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-134.opb	? (TO)	3600.31	3610.02	4503579
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.6.accl.ucl.opb	? (TO)	3600.31	3609.74	4491767
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_3-sat.opb	? (TO)	3600.32	3610.06	4501953
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-26array_diag_greater.opb	? (TO)	3600.37	3610.27	4541697
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb	? (TO)	3600.37	3610.13	4506739
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K150.opb	? (TO)	3600.38	3609.95	4507099
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K138.opb	? (TO)	3600.4	3609.97	4506811
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K177.opb	? (TO)	3600.44	3610.08	4507243
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K166.opb	? (TO)	3600.44	3609.58	4506919
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K174.opb	? (TO)	3600.44	3610.2	4507027
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K155.opb	? (TO)	3600.45	3610.1	4507063
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K133.opb	? (TO)	3600.45	3610.36	4506955
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K169.opb	? (TO)	3600.49	3610.22	4506775
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_10-sat.opb	? (TO)	3600.57	3610.64	4501989
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-t1722.0.s.opb	? (TO)	3600.92	3609.88	4515217
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb	? (TO)	3600.94	3613.89	4542672
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3601.73	3611.43	4509803
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb	? (TO)	3602.02	3610.11	4510487
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K159.opb	? (TO)	3602.03	3611.8	4506991
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin14.opb	? (TO)	3602.03	3612.3	4493351
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb	? (TO)	3602.06	3610.6	4510667
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9029_2-sat.opb	? (TO)	3602.07	3611.5	4502025
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-2.opb	? (TO)	3602.07	3611.6	4512913
PB25/normalized-PB25/DEC-LIN/ wallon/normalized-FRB-45-21-3-mgd_c18.opb	? (TO)	3602.08	3612.9	4545246
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ivu59.0.u.opb	? (TO)	3602.08	3611.35	4515073
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3602.09	3611.11	4509875
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-0.opb	? (TO)	3602.09	3611.3	4512805
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-6.opb	? (TO)	3602.1	3611.3	4513129
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12011_3-sat.opb	? (TO)	3602.1	3611.81	4502169
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb	? (TO)	3602.12	3611.64	4542282
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb	? (TO)	3602.13	3611.35	4542204
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb	? (TO)	3602.25	3614.34	4542477
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-174.opb	? (TO)	3602.3	3613.66	4503723
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-631710.0.u.opb	? (TO)	3602.39	3613.16	4515361
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb	? (TO)	3602.49	3613.79	4542555

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb	? (MO)	60.1729	60.3525	4542516
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb	? (MO)	61.0214	61.2038	4542438
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb	? (MO)	66.5735	66.7824	4542165
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-1.opb	? (MO)	83.6497	83.915	4545363
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb	? (MO)	105.006	105.316	4511783
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb	? (MO)	115.024	115.355	4511891
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb	? (MO)	123.619	123.987	4511711
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb	? (MO)	125.313	125.695	4511819
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-table-3-3-9.opb	? (MO)	125.994	126.329	4545090
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb	? (MO)	129.753	130.107	4511855
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm85p-dec.opb.negationfix.opb	? (MO)	155.107	155.512	4511963
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb	? (MO)	156.976	157.413	4512179
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb	? (MO)	172.665	173.136	4512143
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-5.opb	? (MO)	180.441	180.959	4545207

PB'25 competition: benchmarks results per solver

Result page for solver SynLSCD-PS 2025-06-01 (complete)

Category "decision problem, linear constraints, no UNSAT certificate" (DEC-LIN)

Solver proved unsatisfiability (UNSATISFIABLE) (250 runs) [Show/Hide]

Solver found a solution (SATISFIABLE) for a SAT/UNSAT instance (126 runs) [Show/Hide]

Solver didn't decide (UNKNOWN) (4 runs) [Show/Hide]

Solver timed out (no solution given) (107 runs) [Show/Hide]

Solver exceeded the memory limit (no solution given) (14 runs) [Show/Hide]

Solver gave a wrong solution (1 run) [Show/Hide]