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.006107	0.0177131	4545960
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_4_3.opb	UNSAT	0.006245	0.016677	4545961
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-2.opb	UNSAT	0.006567	0.014929	4545910
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-1.opb	UNSAT	0.006799	0.0156309	4545909
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid4_06.opb	UNSAT	0.006938	0.0152141	4545937
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset-stargrid-9-split/normalized-domset-stargod_09_009.opb	UNSAT	0.007207	0.0159159	4546010
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb	UNSAT	0.007215	0.0169059	4545898
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_004.opb	UNSAT	0.007275	0.0159811	4546031
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid4_11.shuf-2.opb	UNSAT	0.007343	0.01582	4545933
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb	UNSAT	0.007373	0.0181829	4545897
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-extracted.pb.metafix.opb	UNSAT	0.007377	0.017903	4545863
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r07_shuffle/normalized-domset-hexgrid_07_010.shuf-1.opb	UNSAT	0.007608	0.015918	4546004
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r10-tiling/normalized-domset-hexgrid_10_007.opb	UNSAT	0.007663	0.0163779	4546005
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_03_094.opb	UNSAT	0.008205	0.016067	4546014
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb	UNSAT	0.008752	0.0173841	4545865
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-60.opb	UNSAT	0.008962	0.0178681	4545908
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb	UNSAT	0.008981	0.0169799	4546007
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	0.010662	0.0824769	4545701
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	0.011075	0.129496	4545702
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP015.shuf-1.opb	UNSAT	0.011563	0.0200359	4545914
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-3.opb	UNSAT	0.012301	0.0206569	4545919
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-9diag_spec_less.opb	UNSAT	0.01239	0.0204731	4545979
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	UNSAT	0.014292	0.393108	4545676
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-9arraycomm_teq_tvars_greater.opb	UNSAT	0.014479	0.023489	4545973
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid8_60.opb	UNSAT	0.014677	0.023026	4545938
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-nve-large-v4/normalized-grid10_64.opb	UNSAT	0.015045	0.0238059	4545940
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid10_27.shuf-3.opb	UNSAT	0.0162	0.0248091	4545932
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_6_5.opb	UNSAT	0.018079	0.0283779	4545962
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid10_66.opb	UNSAT	0.018799	0.027564	4545936
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-lines-v3_shuffle/normalized-grid6_85.shuf-3.opb	UNSAT	0.020766	0.029255	4545939
PB24/normalized-PB16/DEC-LIN/elffers/ subsetcard/normalized-subsetcard-geq-random4regular-75.opb	UNSAT	0.023707	0.038789	4545896
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP025.shuf-1.opb	UNSAT	0.02605	0.037722	4545920
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3022_10-unsat.opb	UNSAT	0.026583	0.278563	4545740
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	0.027699	0.115281	4545604
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	0.030444	0.171517	4545603
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl.opb	UNSAT	0.031114	0.109177	4545715
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-31-30.opb	UNSAT	0.033268	0.082208	4545703
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974372.opb	UNSAT	0.034591	0.329787	4545675
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP035.opb	UNSAT	0.034737	0.0433979	4545913
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6039_10-unsat.opb	UNSAT	0.05297	0.337452	4545745
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb	UNSAT	0.054544	0.063069	4545934
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_016.opb	UNSAT	0.055647	0.0643991	4546033
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j907_8-unsat.opb	UNSAT	0.061104	0.340713	4545751
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_07_054.opb	UNSAT	0.062728	0.0709869	4546008
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6019_8-unsat.opb	UNSAT	0.070272	0.422347	4545741
PB24/normalized-PB15eval/DEC-LIN/ SUMINEQ/normalized-sumineqArity3pyramidP0032.opb	UNSAT	0.072146	0.0824469	4545911
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP035.shuf-2.opb	UNSAT	0.073183	0.083787	4545921
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	0.076155	0.153904	4545605
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	0.079021	0.201216	4545716
PB24/normalized-PB15eval/DEC-LIN/ SUMINEQ/normalized-sumineqArity4pyramidP0032.opb	UNSAT	0.079696	0.0907261	4545912
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-35-30.opb	UNSAT	0.110282	0.28106	4545704
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	0.117594	0.196691	4545607
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-41-40.opb	UNSAT	0.19235	0.41117	4545705
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	0.19348	0.251508	4545609
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-45-40.opb	UNSAT	0.216752	0.397513	4545706
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-75-70.opb	UNSAT	0.242888	0.305092	4545707
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	0.265928	0.423922	4545606
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	0.339859	0.397399	4545608
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/grids_large_opb/normalized-ECgrid_split_4_250.opb	UNSAT	3.10222	3.12009	4546023
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1000.shuf-2.opb	UNSAT	3.16597	3.18616	4545907
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb	UNSAT	3.66765	3.68909	4545899
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb	UNSAT	3.85528	3.87296	4545900
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.88894	3.90767	4545873
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1000.shuf-3.opb	UNSAT	3.98255	4.00404	4545905
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n32-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	UNSAT	4.01008	4.04243	4545872
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb	UNSAT	4.16461	4.18443	4545904
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb	UNSAT	4.17987	4.19744	4545906
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-2500.opb	UNSAT	4.42331	4.44256	4545902
PB24/normalized-PB15eval/DEC-LIN/ ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-f.cnf.gz-plain.pb.metafix.opb	UNSAT	4.51604	4.53797	4545874
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb	UNSAT	4.78123	4.804	4545901
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_02_004.opb	UNSAT	4.80885	4.83025	4546038
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v011-n3.opb	UNSAT	4.92481	4.95712	4545887
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-11array_diag_less.opb	UNSAT	5.12955	5.15839	4545974
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb	UNSAT	5.30582	5.33279	4545883
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x10split.opb	UNSAT	5.6109	5.63278	4545832
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-4000.opb	UNSAT	5.73431	5.7578	4545903
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v021-n1.opb	UNSAT	5.89201	5.95134	4545888
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v041-n2.opb	UNSAT	6.33301	6.36158	4545889
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb	UNSAT	6.35436	6.3761	4545816
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x20split.opb	UNSAT	6.75384	6.77855	4545833
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb	UNSAT	6.91418	6.93765	4545884
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.opb	UNSAT	6.97552	7.00335	4546047
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb	UNSAT	7.17526	7.20633	4546060
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb	UNSAT	7.289	7.31426	4545885
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v061-n3.opb	UNSAT	7.56225	7.60617	4545891
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq10/normalized-13array_ineq10.opb	UNSAT	7.66211	7.68971	4545980
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v051-n2.opb	UNSAT	7.6685	7.75559	4545890
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l030-r029-n1.cnf-extracted.pb.metafix.opb	UNSAT	7.72392	7.75109	4545804
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v090-n1.opb	UNSAT	8.61495	8.64991	4545882
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v071-n1.opb	UNSAT	8.9914	9.05082	4545892
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x20split.opb	UNSAT	8.99765	9.03254	4545840
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v071-n2.opb	UNSAT	9.09576	9.15399	4545893
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb	UNSAT	9.83147	9.86323	4545918
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v091-n1.opb	UNSAT	9.83491	9.89419	4545894
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	10.3655	10.6649	4545726
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973163.opb	UNSAT	10.5321	10.8739	4545670
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968094.opb	UNSAT	10.7242	11.155	4545668
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6021_1-unsat.opb	UNSAT	10.8855	11.3176	4545742
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973364.opb	UNSAT	10.8867	11.1104	4545671
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v091-n3.opb	UNSAT	10.8955	10.9889	4545895
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_012.opb	UNSAT	10.9482	10.983	4546021
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb	UNSAT	10.9829	11.0183	4545823
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x70split.cnf-plain.pb.metafix.opb	UNSAT	11.1476	11.1804	4545818
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x60split.opb	UNSAT	11.2477	11.284	4545837
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-stein45inf.0.d.opb	UNSAT	11.2495	11.2854	4545997
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	UNSAT	11.2934	11.5133	4545674
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	UNSAT	11.3233	11.8631	4545678
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	UNSAT	11.3662	11.6493	4545680
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb	UNSAT	11.4133	11.4489	4545805
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967142.opb	UNSAT	11.4142	11.7131	4545667
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110978113.opb	UNSAT	11.4698	11.9	4545677
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-7_7_6.opb	UNSAT	11.6011	11.6368	4545970
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-6_6_8.opb	UNSAT	11.6249	11.6722	4545968
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_11.opb	UNSAT	12.0196	12.055	4545964
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973670.opb	UNSAT	12.049	12.5997	4545672
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v070-n1.opb	UNSAT	12.4264	12.4686	4545881
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x90split.cnf-plain.pb.metafix.opb	UNSAT	13.0696	13.1073	4545821
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x40split.opb	UNSAT	13.4041	13.4414	4545835
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat10_8_triangular.opb	UNSAT	13.6131	13.6698	4546076
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_048.opb	UNSAT	13.6611	13.7054	4546032
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x80split.opb	UNSAT	13.7479	13.7915	4545838
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_06_048.opb	UNSAT	14.7095	14.7537	4546039
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/noverticaledges-v1/normalized-grid4_27.opb	UNSAT	14.9706	15.0158	4545928
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_9_triangular.opb	UNSAT	15.1993	15.2583	4546080
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_shuffle/normalized-domset-hexgrid_03_084.shuf-1.opb	UNSAT	15.5281	15.5867	4546012
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP085.shuf-3.opb	UNSAT	15.6665	15.7116	4545922
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_10_triangular.opb	UNSAT	15.9786	16.0258	4546081
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_18_044.opb	UNSAT	16.6991	16.7439	4546041
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb	UNSAT	16.9472	16.9954	4545886
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb	UNSAT	17.7766	17.8191	4545930
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	17.9252	18.1461	4545727
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x50split.cnf-extracted.pb.metafix.opb	UNSAT	18.0965	18.1506	4545817
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-4_5_19.opb	UNSAT	18.8109	18.8711	4545963
PB24/normalized-PB24/DEC-LIN/nordstrom/ MIPLIB01/dec/miplib3/normalized-p0201.0.u.opb	UNSAT	18.8832	19.016	4545999
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-2.opb	UNSAT	20.3935	20.45	4545923
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-188.opb	UNSAT	21.4039	21.7866	4545764
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_100.opb	UNSAT	21.4921	21.5533	4546024
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq5/normalized-16array_alg_ineq5.opb	UNSAT	21.7761	21.8375	4545981
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	21.9484	22.1127	4545724
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat12_11_identity_complement.opb	UNSAT	22.0183	22.0983	4546082
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_05_100.opb	UNSAT	23.3304	23.3897	4546015
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_norational_opb/normalized-ec_random_norational_random4reg_split_350.opb	UNSAT	26.2266	26.3002	4546029
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat98_identity_complement.opb	UNSAT	27.2137	27.2833	4546089
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_51.shuf-3.opb	UNSAT	27.2818	27.346	4545931
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb	UNSAT	28.0862	28.1641	4546016
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-22array_ineq8.opb	UNSAT	28.1007	28.1791	4545983
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT	32.2863	32.8263	4545728
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-7_7_15.opb	UNSAT	32.9138	33.0945	4545969
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-91-90.opb	UNSAT	33.113	34.1701	4545708
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset-hubgraph-opb/normalized-domset-hubgraph_068.opb	UNSAT	33.2506	33.3409	4546006
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-MisteryShopper-mini-5-08-2-6-0_c24.opb	UNSAT	33.6886	33.7824	4546097
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb	UNSAT	33.8991	33.9799	4545929
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281.opb	UNSAT	33.9176	34.2981	4545659
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	34.0517	34.2958	4545720
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height18_pigeons17_holes16.opb	UNSAT	34.7078	34.8091	4546048
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb	UNSAT	36.0367	36.1659	4545971
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat10_9identity_complement.opb	UNSAT	36.04	36.1686	4546077
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_shuffle/normalized-domset-hexgrid_05_110.shuf-2.opb	UNSAT	36.7213	36.8216	4546013
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	UNSAT	37.4711	37.6121	4545700
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb	UNSAT	38.046	38.1547	4545806
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574.opb	UNSAT	39.0822	39.5961	4545655
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x50split.opb	UNSAT	39.259	39.3637	4545843
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_18.opb	UNSAT	40.2539	40.3563	4545965
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-2.opb	UNSAT	41.0274	41.1273	4545915
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-13array_diag_greater.opb	UNSAT	41.2347	41.3508	4545975
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNSAT	41.4492	41.6713	4545729
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb	UNSAT	41.7611	41.9053	4545917
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	42.1061	42.5139	4545725
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-21array_ineq8.opb	UNSAT	47.5755	47.7045	4545982
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l010-r009-n1.opb	UNSAT	51.4752	51.6427	4545810
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-MisteryShopper-mini-5-10-2-6-0_c24.opb	UNSAT	52.8921	53.034	4546098
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347.opb	UNSAT	54.3448	54.7355	4545654
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height10_pigeons9_holes8.opb	UNSAT	55.5842	55.7205	4546046
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid4_121.shuf-1.opb	UNSAT	57.2859	57.4223	4545927
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l010-r010-n1.opb	UNSAT	57.5433	57.6817	4545808
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	57.8962	58.1948	4545719
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height19_pigeons18_holes17.opb	UNSAT	58.1695	58.3077	4546049
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l020-r019-n1.opb	UNSAT	60.2089	60.347	4545809
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb	UNSAT	60.2227	60.3736	4546025
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_170.opb	UNSAT	60.2309	60.3812	4546027
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb	UNSAT	60.2782	60.4348	4546026
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb	UNSAT	60.3683	60.52	4546028
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x60split.opb	UNSAT	61.0417	61.2202	4545844
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l025-r024-n1.opb	UNSAT	61.0803	61.2227	4545811
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb	UNSAT	65.7753	65.9302	4545926
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2003/normalized-disctom.0.u.opb	UNSAT	71.3122	71.4929	4545986
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v2/normalized-grid8_97.opb	UNSAT	72.2912	72.4532	4545935
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_220_219.opb	UNSAT	72.405	72.5774	4546043
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l035-r034-n1.opb	UNSAT	72.5229	72.6832	4545812
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_10_092.opb	UNSAT	73.0079	73.1922	4546040
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-27array_alg_ineq8.opb	UNSAT	74.7797	74.9666	4545984
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.opb	UNSAT	75.3363	75.5144	4545924
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_230_229.opb	UNSAT	76.1012	76.3114	4546044
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_096.opb	UNSAT	81.4265	81.6489	4546034
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb	UNSAT	82.0202	82.2168	4545827
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_14_088.opb	UNSAT	88.6163	88.8114	4546035
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219.opb	UNSAT	89.0058	89.4783	4545666
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-28array_alg_ineq8.opb	UNSAT	90.8802	91.1091	4545985
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb	UNSAT	92.3881	92.6232	4545826
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb	UNSAT	94.0646	94.3166	4546030
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNSAT	100.642	101.233	4545722
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb	UNSAT	105.328	105.626	4545807
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x30split.opb	UNSAT	113.983	114.297	4545834
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Hamming-20-10-03-08_c24.opb	UNSAT	115.238	115.587	4546096
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l045-r044-n1.opb	UNSAT	116.79	117.163	4545813
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x80split.cnf-extracted.pb.metafix.opb	UNSAT	127.418	127.753	4545819
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x40split.opb	UNSAT	136.542	136.905	4545842
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNSAT	162.516	163.812	4545718
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x90split.cnf-extracted.pb.metafix.opb	UNSAT	162.63	163.076	4545820
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x100split.opb	UNSAT	164.674	165.104	4545839
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb	UNSAT	166.21	166.577	4546050
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNSAT	188.832	189.636	4545723
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb	UNSAT	190.387	190.923	4545916
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x30split.opb	UNSAT	199.048	199.579	4545841
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-cnt-06-06-07_c24.opb	UNSAT	205.14	205.714	4546102
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x80split.opb	UNSAT	208.73	209.314	4545845
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb	UNSAT	211.822	212.309	4545824
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb	UNSAT	228.61	229.181	4545828
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat16_15_identity_complement.opb	UNSAT	244.06	244.747	4546086
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-PoolBallTriangle-07_c24.opb	UNSAT	245.164	245.74	4546099
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_390_389.opb	UNSAT	258.646	259.269	4546045
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x50split.opb	UNSAT	295.397	296.238	4545836
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_021.shuf-2.opb	UNSAT	307.534	308.328	4546019
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900579996.opb	UNSAT	321.344	323.13	4545663
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb	UNSAT	335.197	336.175	4545830
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat20_19_identity_complement.opb	UNSAT	344.624	345.563	4546087
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb	UNSAT	357.288	358.327	4545801
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-21-20.opb	UNSAT	389.402	390.846	4545709
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300.opb	UNSAT	411.992	413.611	4545664
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_088.opb	UNSAT	431.966	432.944	4546036
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-15array_diag_greater.opb	UNSAT	447.523	448.696	4545976
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x120split.opb	UNSAT	525.235	526.543	4545877
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_092.opb	UNSAT	537.268	538.334	4546037
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_30_096.opb	UNSAT	574.506	575.792	4546042
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb	UNSAT	733.509	735.225	4546017
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb	UNSAT	761.428	763.336	4546022
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x140split.opb	UNSAT	864.046	866.288	4545879
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_075.shuf-3.opb	UNSAT	946.621	949.652	4546020
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559676.opb	UNSAT	1093.22	1096.08	4545657
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x150split.opb	UNSAT	1346.9	1350.13	4545880
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb	UNSAT	1442.84	1446.61	4546051
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940.opb	UNSAT	1481.61	1486.69	4545662
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x130split.opb	UNSAT	1520.73	1524.91	4545878
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb	UNSAT	1600.71	1605.73	4545710
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb	UNSAT	3238.46	3246.91	4545972
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n98-d3-i3-r1.cnf.gz-plain.pb.metafix.opb	UNSAT	3403.61	3413.43	4545875
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb	UNSAT	3590.17	3599.64	4546011

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_008.shuf-1.opb	SAT	0.006321	0.016458	4546001
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.010956	0.0764461	4545610
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb	SAT	0.012852	0.0215869	4546002
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969933.opb	SAT	0.014464	0.585176	4545669
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	0.014789	0.110311	4545612
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	SAT	0.016116	0.335465	4545673
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	0.017918	0.0597849	4545614
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	SAT	0.017942	0.135194	4545613
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_08_020.opb	SAT	0.018536	0.027178	4546009
PB24/normalized-PB10/DEC-LIN/leberre/opb-paranoid/ misc2010/datasets/caixa/normalized-1096.cudf.paranoid.opb	SAT	0.021238	0.419136	4545736
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	0.03457	0.0872811	4545615
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	0.035411	0.105654	4545611
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	0.039995	0.161756	4545690
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_064.shuf-1.opb	SAT	0.045648	0.054052	4546003
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547353.opb	SAT	0.046215	0.371229	4545652
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb	SAT	0.051207	0.327953	4545641
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226284.opb	SAT	0.05442	0.608785	4545681
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12ls.opb	SAT	0.054783	0.0846881	4545693
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14ls.opb	SAT	0.06651	0.162426	4545683
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223689.opb	SAT	0.067263	0.827352	4545679
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17ls.opb	SAT	0.076098	0.119795	4545685
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	0.08031	0.24852	4545661
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547461.opb	SAT	0.08056	0.188366	4545653
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-chromaticindex32-8.0.s.opb	SAT	0.086336	0.0967911	4545994
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900561384.opb	SAT	0.091463	0.458844	4545658
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559641.opb	SAT	0.09639	0.825028	4545656
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582376.opb	SAT	0.120762	0.371859	4545665
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	0.12327	0.735169	4545691
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21ls.opb	SAT	0.136877	0.211282	4545687
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	SAT	0.297316	0.364495	4545616
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6027_7-sat.opb	SAT	0.297587	0.597003	4545743
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	0.305342	0.374313	4545617
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24ls.opb	SAT	0.329144	0.352133	4545689
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos808444.opb	SAT	0.33802	0.357234	4545752
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	0.345794	0.435557	4545699
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567003.opb	SAT	0.374946	0.557808	4545660
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12020_5-sat.opb	SAT	0.388762	0.429699	4545738
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17bt.opb	SAT	0.39265	0.511406	4545684
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb	SAT	0.399727	0.423542	4545649
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_10_triangular.opb	SAT	0.407939	0.417618	4546078
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat99_identity_complement.opb	SAT	0.409772	0.421969	4546090
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14bt.opb	SAT	0.425349	0.576883	4545682
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6033_7-sat.opb	SAT	0.481843	0.939919	4545744
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	0.551415	0.607881	4545733
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	0.631064	0.715432	4545731
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb	SAT	0.636319	0.787062	4545638
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	0.644124	0.760723	4545732
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j907_2-sat.opb	SAT	0.646596	0.888097	4545750
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-777800.0.s.opb	SAT	0.676896	0.687014	4545988
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	0.713646	0.773878	4545735
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat11_11_identity_complement.opb	SAT	0.870981	0.887047	4546079
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	SAT	1.00188	1.05067	4545734
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K75.opb	SAT	1.00798	1.031	4545774
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K76.opb	SAT	1.14404	1.15565	4545775
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-cvs16r70-62.0.s.opb	SAT	1.14835	1.16304	4545995
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_11_triangular.opb	SAT	1.21169	1.29742	4546083
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3013_3-sat.opb	SAT	1.27806	1.29517	4545739
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat15_14_triangular.opb	SAT	1.84794	1.86205	4546084
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	SAT	1.92852	2.04492	4545730
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat15_15_identity_complement.opb	SAT	1.93919	1.95734	4546085
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K102.opb	SAT	2.08246	2.10205	4545777
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb	SAT	2.49235	2.52249	4545651
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K72.opb	SAT	3.29937	3.32453	4545773
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb	SAT	3.90142	3.93923	4545647
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12bt.opb	SAT	3.94768	3.99374	4545692
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb	SAT	4.75762	5.24458	4545643
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K101.opb	SAT	4.84911	4.87636	4545776
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	5.2816	5.47684	4545619
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	5.60613	5.87301	4545621
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	5.82087	5.97332	4545717
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	5.99179	6.22244	4545618
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21bt.opb	SAT	6.57	6.67704	4545686
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	6.81039	7.06996	4545620
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb	SAT	6.87005	7.25075	4545639
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	6.88501	7.20125	4545694
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb	SAT	7.17562	7.91934	4545640
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb	SAT	7.79604	8.26236	4545642
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24bt.opb	SAT	8.15266	8.28224	4545688
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	8.21418	8.51688	4545622
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb	SAT	8.24289	8.53471	4545644
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb	SAT	8.65651	8.71363	4545846
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat20_19_triangular.opb	SAT	9.39191	9.42542	4546088
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K105.opb	SAT	11.0378	11.0791	4545778
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j605_7-sat.opb	SAT	13.7203	14.164	4545746
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	17.0852	17.3078	4545624
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	20.5689	20.9631	4545626
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	22.7715	22.9893	4545625
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	22.7751	23.0656	4545623
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	23.5488	23.711	4545627
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-849702.opb	SAT	30.2716	30.6847	4545755
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K71.opb	SAT	31.0512	31.1542	4545772
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin12.opb	SAT	41.7882	42.0032	4545695
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	46.1092	46.437	4545631
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	46.1113	46.4431	4545632
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	50.2749	50.632	4545629
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin14.opb	SAT	51.3992	51.5802	4545696
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-academictimetablesmall.0.s.opb	SAT	52.1087	52.2829	4545993
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	55.9322	56.3979	4545630
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	58.1381	58.5144	4545628
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Soccer-22-18-20-1_c24.opb	SAT	58.9646	59.1111	4546100
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	SAT	66.4548	66.8393	4545635
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	67.8638	68.1865	4545634
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size96-round21-6.opb	SAT	69.2113	69.3999	4545955
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-164.opb	SAT	73.2418	73.5958	4545761
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm25p-dec.opb.negationfix.opb	SAT	75.8277	76.1991	4545847
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	SAT	88.7873	89.1379	4545636
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K69.opb	SAT	108.15	108.463	4545771
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb	SAT	110.19	110.473	4545848
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K96.opb	SAT	131.934	132.366	4545784
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	SAT	143.834	144.355	4545633
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-03.opb	SAT	192.416	193.345	4545756
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb	SAT	201.628	202.887	4545648
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K194.opb	SAT	204.305	204.912	4545799
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round21-3.opb	SAT	209.174	209.778	4545943
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-AverageAvoiding-20_c24.opb	SAT	243.081	243.716	4546091
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_15.opb	SAT	306.942	307.96	4545957
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K98.opb	SAT	493.632	494.998	4545785
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K196.opb	SAT	552.504	554.169	4545800
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round21-2.opb	SAT	953.172	955.783	4545948
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-111.opb	SAT	1238.17	1241.37	4545757
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	SAT	1361.61	1365.69	4545637
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K176.opb	SAT	1399.06	1402.79	4545795
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K92.opb	SAT	2003.54	2009.71	4545783
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb	SAT	3001.73	3011.21	4545645

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb	?	139.856	140.32	4545859
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm95p-dec.opb.negationfix.opb	?	144.368	144.821	4545858
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb	?	149.039	149.444	4545860
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/ normalized-hw512-vm100p-dec.opb.negationfix.opb	?	149.449	149.909	4545854

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb	? (TO)	3600.01	3609.6	4546018
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x100split.opb	? (TO)	3600.01	3609.11	4545831
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-6_6_33.opb	? (TO)	3600.02	3612.01	4545967
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb	? (TO)	3600.02	3609.7	4545802
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-4.opb	? (TO)	3600.03	3610.21	4545945
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-24diag_spec_greater.opb	? (TO)	3600.03	3609.11	4546069
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb	? (TO)	3600.03	3611.8	4545650
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_36.opb	? (TO)	3600.03	3610.02	4545966
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-6.opb	? (TO)	3600.03	3609.91	4545947
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-29array_ineq6.opb	? (TO)	3600.04	3609.13	4546074
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820157.opb	? (TO)	3600.04	3609.01	4545754
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb	? (TO)	3600.04	3609.11	4545803
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq5/normalized-30array_ineq5.opb	? (TO)	3600.05	3609.31	4546072
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-31array_diag_less.opb	? (TO)	3600.05	3609.31	4546066
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb	? (TO)	3600.05	3609.61	4546070
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-73.opb	? (TO)	3600.05	3610.92	4545768
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l060-r059-n1.opb	? (TO)	3600.05	3609.01	4545814
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb	? (TO)	3600.05	3609.32	4545711
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.05	3611.8	4545866
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb	? (TO)	3600.06	3609.01	4545822
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-22arraycomm_teq_less.opb	? (TO)	3600.06	3609.41	4546063
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x110split.opb	? (TO)	3600.06	3610.12	4545876
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-25.opb	? (TO)	3600.06	3609.92	4545766
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.06	3612.7	4545864
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round22-2.opb	? (TO)	3600.06	3609.71	4545949
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-6.opb	? (TO)	3600.06	3608.91	4545942
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.06	3609.5	4545869
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820146.opb	? (TO)	3600.07	3609.4	4545753
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.07	3609.11	4545867
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-20arraycomm_teq_less.opb	? (TO)	3600.07	3610.52	4546062
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-16diag_spec_greater.opb	? (TO)	3600.08	3610.21	4545978
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-20array_ineq6.opb	? (TO)	3600.08	3610.52	4546073
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_10.opb	? (TO)	3600.08	3609.8	4545956
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib3/normalized-seymour.0.u.opb	? (TO)	3600.08	3609.6	4546000
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round22-1.opb	? (TO)	3600.08	3610.21	4545953
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.08	3609.11	4545861
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-89.opb	? (TO)	3600.08	3612.73	4545769
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-6.opb	? (TO)	3600.08	3610.12	4545952
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-0.opb	? (TO)	3600.09	3609.71	4545941
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb	? (TO)	3600.09	3611.05	4545925
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_11.opb	? (TO)	3600.09	3610.21	4545958
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-0.opb	? (TO)	3600.09	3610.11	4545944
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb	? (TO)	3600.09	3608.83	4545713
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/equalities/ array_comm/arraycomm_teq_tvars/normalized-32arraycomm_teq_tvars_greater.opb	? (TO)	3600.1	3610.12	4546064
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm/normalized-17arraycomm_less.opb	? (TO)	3600.1	3609.91	4546061
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_comm/normalized-27diagcomm_less_teq.opb	? (TO)	3600.1	3611.03	4546067
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-26array_diag_greater.opb	? (TO)	3600.1	3610.21	4546065
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb	? (TO)	3600.1	3611.3	4545646
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l080-r079-n1.opb	? (TO)	3600.1	3610.61	4545815
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb	? (TO)	3600.1	3610.21	4546075
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb	? (TO)	3600.1	3608.71	4546071
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-192.opb	? (TO)	3600.1	3610.05	4545765
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3600.11	3611.01	4545868
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-22diag_spec_greater.opb	? (TO)	3600.11	3610.4	4546068
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb	? (TO)	3600.11	3610.02	4545712
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-16array_diag_less.opb	? (TO)	3600.12	3609.42	4545977
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.u.opb	? (TO)	3600.12	3609.34	4545991
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-952987.0.d.opb	? (TO)	3600.13	3609.17	4545989
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab71-20-100.0.u.opb	? (TO)	3600.14	3609.96	4545992
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K87.opb	? (TO)	3600.15	3609.23	4545781
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K84.opb	? (TO)	3600.18	3609.72	4545780
PB25/normalized-PB25/DEC-LIN/ wallon/normalized-FRB-53-24-1-mgd_c18.opb	? (TO)	3600.19	3610.54	4546095
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-AverageAvoiding-mini-40_c24.opb	? (TO)	3600.19	3609.33	4546092
PB25/normalized-PB25/DEC-LIN/ wallon/normalized-FRB-45-21-3-mgd_c18.opb	? (TO)	3600.2	3608.93	4546094
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K90.opb	? (TO)	3600.2	3609.22	4545782
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-08-04-08_c24.opb	? (TO)	3600.21	3610.66	4546101
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.s.opb	? (TO)	3600.21	3610.62	4545990
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K81.opb	? (TO)	3600.23	3610.43	4545779
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin16.opb	? (TO)	3600.24	3609.59	4545697
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-116.opb	? (TO)	3600.25	3610.84	4545758
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-147.opb	? (TO)	3600.27	3610.42	4545760
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_3-sat.opb	? (TO)	3600.28	3610.77	4545748
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin18.opb	? (TO)	3600.29	3610.15	4545698
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-134.opb	? (TO)	3600.29	3611.45	4545759
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K138.opb	? (TO)	3600.38	3609.84	4545788
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.6.accl.ucl.opb	? (TO)	3600.38	3611.78	4545721
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K182.opb	? (TO)	3600.39	3611.87	4545797
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K133.opb	? (TO)	3600.42	3609.23	4545786
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K169.opb	? (TO)	3600.42	3609.52	4545793
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K155.opb	? (TO)	3600.42	3609.76	4545790
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K166.opb	? (TO)	3600.44	3611.12	4545792
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb	? (TO)	3600.45	3610	4545787
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K177.opb	? (TO)	3600.47	3610.72	4545796
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_10-sat.opb	? (TO)	3600.48	3612.67	4545747
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K188.opb	? (TO)	3600.5	3609.8	4545798
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K150.opb	? (TO)	3600.52	3609.84	4545789
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K174.opb	? (TO)	3600.53	3611.16	4545794
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9029_2-sat.opb	? (TO)	3600.64	3609.26	4545749
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb	? (TO)	3600.8	3610.08	4546052
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-t1722.0.s.opb	? (TO)	3600.87	3610.72	4545998
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb	? (TO)	3601.01	3609.5	4545825
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K159.opb	? (TO)	3601.21	3610.07	4545791
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12011_3-sat.opb	? (TO)	3601.59	3610.5	4545737
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb	? (TO)	3601.92	3610.56	4546053
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)	3602	3612.2	4545862
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb	? (TO)	3602.01	3611.6	4545870
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-185.opb	? (TO)	3602.02	3610.9	4545763
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-3.opb	? (TO)	3602.04	3613.11	4545946
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb	? (TO)	3602.06	3610.11	4545829
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-2.opb	? (TO)	3602.06	3612.2	4545950
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-90.opb	? (TO)	3602.07	3613.3	4545770
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size80-round23-5.opb	? (TO)	3602.08	3612.6	4545954
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n258-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	? (TO)	3602.08	3613.7	4545871
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-38.opb	? (TO)	3602.08	3612.4	4545767
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb	? (TO)	3602.08	3612.7	4545714
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-4.opb	? (TO)	3602.09	3612.5	4545951
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_8.opb	? (TO)	3602.09	3611.4	4545959
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb	? (TO)	3602.11	3610.35	4546054
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ivu59.0.u.opb	? (TO)	3602.15	3611.38	4545996
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-174.opb	? (TO)	3602.19	3611.77	4545762
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb	? (TO)	3602.24	3611.52	4546055
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb	? (TO)	3602.39	3612.61	4546056
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-631710.0.u.opb	? (TO)	3602.45	3611.99	4545987

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)	59.2771	59.4493	4546057
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb	? (MO)	62.4211	62.6015	4546058
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb	? (MO)	68.0929	68.2815	4546059
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-1.opb	? (MO)	82.1544	82.3746	4546103
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb	? (MO)	109.442	109.748	4545849
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb	? (MO)	121.161	121.496	4545850
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-table-3-3-9.opb	? (MO)	126.648	126.966	4546105
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb	? (MO)	133.565	133.948	4545851
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb	? (MO)	135.68	136.034	4545852
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb	? (MO)	137.086	137.469	4545853
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm85p-dec.opb.negationfix.opb	? (MO)	163.306	163.743	4545857
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb	? (MO)	165.723	166.145	4545856
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-5.opb	? (MO)	174.325	174.834	4546104
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb	? (MO)	178.443	178.928	4545855

PB'25 competition: benchmarks results per solver

Result page for solver SynLSCD 2025-07-23 (complete)

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

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

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

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

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

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