PB'25 competition: benchmarks results per solver

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_02_004.opb	UNSAT	0.009849	0.0298029	4544130
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_004.opb	UNSAT	0.010914	0.030883	4544013
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/domset-fixedrows-r10-tiling/normalized-domset-hexgrid_10_007.opb	UNSAT	0.012222	0.0319959	4543428
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x10split.opb	UNSAT	0.01492	0.034712	4511470
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n34-d3-i2-r2.cnf.gz-plain.pb.metafix.opb	UNSAT	0.015022	0.041804	4510138
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n32-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	UNSAT	0.016506	0.0582979	4509814
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height5_pigeons4_holes3.opb	UNSAT	0.016655	0.0441391	4542297
PB24/normalized-PB15eval/DEC-LIN/ ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n48-d3-i1-f.cnf.gz-plain.pb.metafix.opb	UNSAT	0.020312	0.0395569	4509634
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-2_4_1.opb	UNSAT	0.021771	0.045399	4514652
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid4_06.opb	UNSAT	0.023155	0.0458471	4516128
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l010-r010-n1.opb	UNSAT	0.02353	0.0428939	4510174
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_4_3.opb	UNSAT	0.024009	0.0472039	4514796
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v011-n3.opb	UNSAT	0.024719	0.0479899	4514184
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-3_6_5.opb	UNSAT	0.027774	0.052175	4514508
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid4_11.shuf-2.opb	UNSAT	0.029547	0.052995	4516272
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_03_094.opb	UNSAT	0.030641	0.049839	4543194
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x20split.opb	UNSAT	0.031959	0.0516589	4511434
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x20split.cnf-extracted.pb.metafix.opb	UNSAT	0.036068	0.0681059	4510498
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-7_7_6.opb	UNSAT	0.037946	0.06326	4514760
PB24/normalized-PB16/DEC-LIN/ quimper/SyncCodes/d_n_k/normalized-6_6_8.opb	UNSAT	0.041445	0.0699641	4514616
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset-stargrid-9-split/normalized-domset-stargod_09_009.opb	UNSAT	0.041598	0.06165	4543311
PB24/normalized-PB15eval/DEC-LIN/3COL/ normalized-3col-left3reg-l020-r019-n1.opb	UNSAT	0.043292	0.062897	4510210
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x30split.opb	UNSAT	0.047012	0.066667	4511326
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset-hubgraph-opb/normalized-domset-hubgraph_068.opb	UNSAT	0.050871	0.0709859	4543389
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/domset/larger/domset_large-tiling/normalized-domset-hexgrid_05_100.opb	UNSAT	0.052182	0.0714661	4543233
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r07_shuffle/normalized-domset-hexgrid_07_010.shuf-1.opb	UNSAT	0.055271	0.0751951	4543467
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3022_10-unsat.opb	UNSAT	0.057186	0.077115	4502072
PB24/normalized-PB15eval/DEC-LIN/ SUMINEQ/normalized-sumineqArity3pyramidP0032.opb	UNSAT	0.059026	0.078804	4511578
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_11.opb	UNSAT	0.063452	0.0875641	4514472
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l010-r009-n1.opb	UNSAT	0.064093	0.0942641	4513824
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6039_10-unsat.opb	UNSAT	0.064158	0.0831709	4501856
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x40split.opb	UNSAT	0.066201	0.0856739	4511110
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j907_8-unsat.opb	UNSAT	0.067147	0.086288	4501892
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf6.ucl.opb	UNSAT	0.067729	0.396095	4491778
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl.opb	UNSAT	0.071736	0.113736	4491922
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x50split.cnf-extracted.pb.metafix.opb	UNSAT	0.081546	0.107497	4510426
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x50split.opb	UNSAT	0.081708	0.107082	4511542
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l030-r029-n1.cnf-extracted.pb.metafix.opb	UNSAT	0.089221	0.111477	4510858
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP015.shuf-1.opb	UNSAT	0.090416	0.114513	4515480
PB24/normalized-PB15eval/DEC-LIN/ SUMINEQ/normalized-sumineqArity4pyramidP0032.opb	UNSAT	0.094141	0.116895	4511614
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l040-r039-n1.cnf-plain.pb.metafix.opb	UNSAT	0.102051	0.128205	4510822
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP015.shuf-3.opb	UNSAT	0.107491	0.132794	4515768
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/noverticaledges-v1/normalized-grid4_27.opb	UNSAT	0.110403	0.132956	4516344
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x60split.opb	UNSAT	0.112044	0.131907	4511254
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x80split.cnf-extracted.pb.metafix.opb	UNSAT	0.128015	0.164522	4510318
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf7.ucl.opb	UNSAT	0.131821	0.315277	4491454
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x90split.cnf-extracted.pb.metafix.opb	UNSAT	0.136833	0.162955	4510282
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110977780.opb	UNSAT	0.137101	0.159598	4495378
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x70split.cnf-plain.pb.metafix.opb	UNSAT	0.144776	0.165731	4510714
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6019_8-unsat.opb	UNSAT	0.150831	0.172024	4501712
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x80split.opb	UNSAT	0.156448	0.176454	4511506
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid3x100split.opb	UNSAT	0.166729	0.192316	4511290
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb	UNSAT	0.171763	0.21762	4491886
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974372.opb	UNSAT	0.172845	0.200928	4495414
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid3x90split.cnf-plain.pb.metafix.opb	UNSAT	0.177125	0.203325	4510678
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-elf.rf8.ucl.opb	UNSAT	0.221655	0.412079	4491490
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl.opb	UNSAT	0.225787	0.707518	4491562
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.rf8.ucl.opb	UNSAT	0.231652	0.378986	4491850
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l025-r024-n1.opb	UNSAT	0.272151	0.328985	4513788
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973364.opb	UNSAT	0.278522	0.299067	4495234
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid8_60.opb	UNSAT	0.302732	0.326039	4516092
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag10.ucl.opb	UNSAT	0.318573	0.672675	4491814
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4/normalized-sumineqArity4pyramidP035.opb	UNSAT	0.326232	0.365765	4515804
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110974180.opb	UNSAT	0.348381	0.369242	4495198
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111219348.opb	UNSAT	0.348589	0.369155	4495558
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-4_5_19.opb	UNSAT	0.366148	0.392416	4514544
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110968094.opb	UNSAT	0.368856	0.389465	4495450
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v021-n1.opb	UNSAT	0.42702	0.454411	4514004
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973670.opb	UNSAT	0.43303	0.454113	4495162
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6021_1-unsat.opb	UNSAT	0.452418	0.47537	4501820
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-stein45inf.0.d.opb	UNSAT	0.475617	0.515186	4514940
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP025.shuf-1.opb	UNSAT	0.478556	0.506273	4515552
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900564281.opb	UNSAT	0.510852	0.533894	4494982
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat98_identity_complement.opb	UNSAT	0.530846	0.566805	4544715
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v4/normalized-grid10_66.opb	UNSAT	0.542938	0.56798	4516164
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111224255.opb	UNSAT	0.552103	0.573079	4495666
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973163.opb	UNSAT	0.557924	0.59564	4495270
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900557574.opb	UNSAT	0.577406	0.598798	4494766
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_33.shuf-3.opb	UNSAT	0.736141	0.776876	4515984
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-2.opb	UNSAT	0.751229	0.792309	4516416
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-188.opb	UNSAT	0.75845	0.816841	4503374
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-nve-large-v4/normalized-grid10_64.opb	UNSAT	0.839361	0.882419	4515876
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-15.shuf-1.opb	UNSAT	0.916698	0.958597	4516380
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110978113.opb	UNSAT	0.950515	0.972499	4495342
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900551347.opb	UNSAT	0.952736	0.974843	4494730
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP035.shuf-2.opb	UNSAT	0.976505	1.01876	4515660
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat10_8_triangular.opb	UNSAT	1.11266	1.15758	4544676
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_03_100.opb	UNSAT	1.21787	1.24549	4544247
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v011-n1.opb	UNSAT	1.23085	1.26233	4513536
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x10split.cnf-plain.pb.metafix.opb	UNSAT	1.29979	1.33933	4510246
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900584219.opb	UNSAT	1.34631	1.37049	4494694
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-large-v2/normalized-grid8_97.opb	UNSAT	1.42901	1.49815	4516200
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110967142.opb	UNSAT	1.54292	1.5679	4495594
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag12.ucl.opb	UNSAT	1.73441	1.8792	4491598
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l035-r034-n1.opb	UNSAT	2.06487	2.09641	4513752
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-7_7_15.opb	UNSAT	2.1117	2.17595	4514688
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-ooo.tag14.ucl.opb	UNSAT	2.16053	2.21714	4491706
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l070-r069-n1.cnf-extracted.pb.metafix.opb	UNSAT	2.18785	2.22	4510894
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/grids_large_opb/normalized-ECgrid_split_4_250.opb	UNSAT	2.47623	2.50639	4542921
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-22array_ineq8.opb	UNSAT	2.72338	2.75456	4517028
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-21array_ineq8.opb	UNSAT	2.82254	2.85457	4516992
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900577940.opb	UNSAT	2.82609	2.88476	4495018
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5/normalized-sumineqArity5pyramidP085.opb	UNSAT	2.9355	2.96948	4515516
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq10/normalized-13array_ineq10.opb	UNSAT	3.0999	3.13378	4516884
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP105.shuf-2.opb	UNSAT	3.18442	3.22124	4515444
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x20split.opb	UNSAT	3.41234	3.44343	4511038
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-15-10.opb	UNSAT	3.50839	3.53826	4492714
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n17-d4-i3.cnf.gz-extracted.pb.metafix.opb	UNSAT	3.59779	3.64761	4509742
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_18.opb	UNSAT	4.23134	4.28108	4514724
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb	UNSAT	4.55367	4.58642	4492678
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-11-10.opb	UNSAT	4.58228	4.61644	4493002
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP135.shuf-2.opb	UNSAT	5.09511	5.13549	4515408
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_8.opb	UNSAT	5.19969	5.24108	4514292
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l045-r044-n1.opb	UNSAT	5.6174	5.69119	4513932
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat10_9identity_complement.opb	UNSAT	5.82522	5.85874	4544481
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-left3reg-l080-r079-n1.cnf-extracted.pb.metafix.opb	UNSAT	5.91776	5.95752	4511002
PB24/normalized-PB24/DEC-LIN/nordstrom/ MIPLIB01/dec/miplib3/normalized-p0201.0.u.opb	UNSAT	6.03352	6.07688	4514868
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_4_shuffle/normalized-sumineqArity4pyramidP145.shuf-1.opb	UNSAT	6.1219	6.1657	4515372
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP085.shuf-3.opb	UNSAT	6.5865	6.63259	4515732
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582300.opb	UNSAT	7.34943	7.39156	4494802
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900579996.opb	UNSAT	7.62138	7.6614	4495090
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP095.shuf-2.opb	UNSAT	8.30173	8.35263	4515588
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559676.opb	UNSAT	9.8036	9.87609	4494622
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_9_triangular.opb	UNSAT	10.0927	10.1466	4544910
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_07_054.opb	UNSAT	10.3511	10.4067	4543545
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x20split.cnf-plain.pb.metafix.opb	UNSAT	12.3205	12.4251	4510354
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x30split.opb	UNSAT	13.4851	13.5364	4511218
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Hamming-20-10-03-08_c24.opb	UNSAT	14.0584	14.1178	4545456
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x30split.cnf-plain.pb.metafix.opb	UNSAT	14.8013	14.8685	4510570
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-38.opb	UNSAT	14.8912	14.956	4503626
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-27array_alg_ineq8.opb	UNSAT	15.3635	15.4314	4516956
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-PoolBallTriangle-07_c24.opb	UNSAT	15.6373	15.7058	4545573
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq8/normalized-28array_alg_ineq8.opb	UNSAT	16.7809	16.8517	4516920
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l050-r049-n1.cnf-extracted.pb.metafix.opb	UNSAT	17.7203	17.7894	4510930
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ inequalities/ineq5/normalized-16array_alg_ineq5.opb	UNSAT	19.9491	20.0317	4517064
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP115.shuf-2.opb	UNSAT	20.6152	20.7012	4515696
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl.opb	UNSAT	20.8162	21.2771	4491670
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x40split.opb	UNSAT	23.4609	23.5411	4511398
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_10.opb	UNSAT	24.7903	24.8862	4514364
PB24/normalized-PB06/DEC-LIN/web/ uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb	UNSAT	28.8072	29.2147	4491526
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_10_triangular.opb	UNSAT	30.7506	30.8659	4544832
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x50split.opb	UNSAT	38.9245	39.0622	4511182
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-9diag_spec_less.opb	UNSAT	40.8016	40.9429	4517388
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ sumineq/sumineq_pyr_5_shuffle/normalized-sumineqArity5pyramidP145.shuf-1.opb	UNSAT	42.0255	42.1731	4515624
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LsqHdStrong.ucl.opb	UNSAT	44.1844	44.8851	4491418
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x50split.cnf-extracted.pb.metafix.opb	UNSAT	47.7623	47.9052	4510534
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/dec/ normalized-composed_pebbling_php_pyramid_height10_pigeons9_holes8.opb	UNSAT	52.1441	52.33	4542609
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x60split.opb	UNSAT	54.1261	54.2693	4511146
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-cnt-06-06-07_c24.opb	UNSAT	54.8735	55.0534	4545534
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-25.opb	UNSAT	74.9044	75.1433	4503410
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x60split.cnf-extracted.pb.metafix.opb	UNSAT	76.705	76.9445	4510750
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_04_280.opb	UNSAT	81.0146	81.2704	4544403
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-plain.pb.metafix.opb	UNSAT	85.6407	85.923	4510462
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x70split.cnf-extracted.pb.metafix.opb	UNSAT	90.2252	90.4831	4510606
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x80split.opb	UNSAT	118.336	118.641	4511074
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x90split.cnf-extracted.pb.metafix.opb	UNSAT	131.156	131.513	4510390
PB24/normalized-PB15eval/DEC-LIN/ EC_ODD_GRIDS/normalized-ECgrid5x100split.opb	UNSAT	140.255	140.601	4511362
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-ooo.burch_dill.6.accl.ucl.opb	UNSAT	141.949	142.716	4491742
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l060-r059-n1.opb	UNSAT	147.241	147.676	4513896
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v2_shuffle/normalized-grid4_51.shuf-3.opb	UNSAT	175.338	175.822	4516020
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x120split.opb	UNSAT	183.584	184.124	4513392
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat12_11_identity_complement.opb	UNSAT	186.068	186.729	4544793
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-73.opb	UNSAT	191.227	191.801	4503518
PB24/normalized-PB15eval/DEC-LIN/ECGRID-FromCNF/ normalized-ECgrid5x100split.cnf-plain.pb.metafix.opb	UNSAT	200.981	201.486	4510642
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x130split.opb	UNSAT	207.841	208.432	4513356
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-MisteryShopper-mini-5-08-2-6-0_c24.opb	UNSAT	217.326	217.903	4545378
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x110split.opb	UNSAT	219.247	219.902	4513428
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x140split.opb	UNSAT	257.577	258.317	4513464
PB24/normalized-PB16/DEC-LIN/elffers/ EC_ODD_GRIDS/normalized-ECgrid5x150split.opb	UNSAT	270.16	271.01	4513320
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-11array_diag_less.opb	UNSAT	352.382	353.369	4517172
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-20array_ineq6.opb	UNSAT	430.489	431.898	4541556
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l060-r059-n1.cnf-plain.pb.metafix.opb	UNSAT	720.723	722.661	4510786
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n98-d3-i3-r1.cnf.gz-plain.pb.metafix.opb	UNSAT	766.966	768.936	4510102
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v041-n2.opb	UNSAT	769.663	771.612	4514256
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-9arraycomm_teq_tvars_greater.opb	UNSAT	861.151	863.538	4517316
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid10_27.shuf-3.opb	UNSAT	910.939	913.411	4516236
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height12_pigeons11_holes10.opb	UNSAT	985.597	988.338	4542375
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-13array_diag_greater.opb	UNSAT	1063.41	1066.63	4517136
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-35-30.opb	UNSAT	1194.43	1198.1	4492894
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl30_40_pb.cnf.cr.opb	UNSAT	1194.43	1198.14	4492426
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset_large_fixedcols_final/normalized-domset-hexgrid-fixedcols_03_058.opb	UNSAT	1194.48	1198.08	4543350
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-lines-v3_shuffle/normalized-grid6_85.shuf-3.opb	UNSAT	1194.69	1198.11	4516056
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-40.shuf-3.opb	UNSAT	1194.73	1198.09	4516812
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-subsetCardinalitySigma-41-3.cnf.gz-extracted.pb.metafix.opb	UNSAT	1194.78	1198.33	4509922
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-45-40.opb	UNSAT	1194.8	1198.14	4493110
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-31-30.opb	UNSAT	1194.82	1198.1	4493038
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_016.opb	UNSAT	1194.85	1198.12	4543935
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_50_pb.cnf.cr.opb	UNSAT	1194.88	1198.19	4492210
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/random4reg_opb/normalized-subsetcard-geq-random4reg-60.opb	UNSAT	1194.89	1198.09	4516452
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v3_shuffle/normalized-grid8_99.shuf-2.opb	UNSAT	1194.9	1198.14	4516308
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-41-40.opb	UNSAT	1194.96	1198.13	4493074
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr.opb	UNSAT	1195.02	1198.09	4492246
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb	UNSAT	1195.04	1198.26	4492606
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/subsetcard/ fixedbw_opb_shuffle/normalized-subsetcard-geq-fixedbandwidth-30.shuf-1.opb	UNSAT	1195.05	1198.11	4516848
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-75-70.opb	UNSAT	1195.07	1198.34	4492822
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl35_40_pb.cnf.cr.opb	UNSAT	1195.1	1198.16	4492390
PB24/normalized-PB16/DEC-LIN/elffers/ subsetcard/normalized-subsetcard-geq-random4regular-75.opb	UNSAT	1195.12	1198.15	4513716
PB24/normalized-PB06/DEC-LIN/submitted-PB05/aloul/ FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb	UNSAT	1195.15	1198.19	4492498
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-geq-random4reg-1000.shuf-2.opb	UNSAT	1198.08	1201.31	4516524
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-1750.shuf-3.opb	UNSAT	1198.49	1201.88	4516776
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb/normalized-subsetcard-eq-fixedbandwidth-3000.opb	UNSAT	1198.56	1201.86	4516704
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1500.shuf-1.opb	UNSAT	1198.93	1202.23	4516488
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-2500.opb	UNSAT	1199.04	1202.45	4516596
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb_shuffle/normalized-subsetcard-eq-random4reg-1000.shuf-3.opb	UNSAT	1199.05	1202.14	4516560
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-geq-random4reg-3500.opb	UNSAT	1199.16	1202.4	4516668
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/fixedbw_opb_shuffle/normalized-subsetcard-eq-fixedbandwidth-3500.shuf-3.opb	UNSAT	1199.71	1202.97	4516740
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ subsetcard/larger/random4reg_opb/normalized-subsetcard-eq-random4reg-4000.opb	UNSAT	1200.23	1203.47	4516632
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v051-n2.opb	UNSAT	1201.6	1204.8	4513968
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb	UNSAT	1201.81	1204.86	4513608
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v051-n1.opb	UNSAT	1202.41	1205.69	4513644
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v061-n3.opb	UNSAT	1202.48	1205.64	4514148
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v090-n1.opb	UNSAT	1202.7	1205.87	4513572
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v071-n2.opb	UNSAT	1203.19	1206.49	4514112
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v071-n1.opb	UNSAT	1203.25	1206.25	4514040
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v091-n1.opb	UNSAT	1203.86	1207.21	4514076
PB24/normalized-PB16/DEC-LIN/elffers/ rand6reg/normalized-rand6reg-v091-n3.opb	UNSAT	1204.77	1208.04	4514220
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06/normalized-ec_stargrid_06_012.opb	UNSAT	1206.54	1209.4	4542882
PB24/normalized-PB16/DEC-LIN/elffers/EC_RANDOM_GRAPHS/ normalized-ECrand4regsplit-v070-n1.opb	UNSAT	1207.21	1210.32	4513680
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_06_048.opb	UNSAT	1209.01	1211.96	4543857
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_06_048.opb	UNSAT	1209.28	1212.34	4544052
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_shuffle/normalized-domset-hexgrid_03_084.shuf-1.opb	UNSAT	1209.98	1213.27	4543116
PB24/normalized-PB16/DEC-LIN/elffers/ EC_RANDOM_GRAPHS/normalized-ECrand6reg-v091-n1.opb	UNSAT	1210.45	1213.84	4513500
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_18_044.opb	UNSAT	1210.86	1214.44	4543974
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04/normalized-ec_stargrid_04_021.opb	UNSAT	1222.97	1226.39	4542960
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_norational_opb/normalized-ec_random_norational_random4reg_split_350.opb	UNSAT	1224.29	1227.35	4544286
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-91-90.opb	UNSAT	1226.5	1230.04	4493182
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-16arraycomm_teq_tvars_greater.opb	UNSAT	1226.77	1230.08	4517280
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ vertex-cover/vc-grids-v1_shuffle/normalized-grid10_35.shuf-3.opb	UNSAT	1227.61	1231.07	4515840
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_shuffle/normalized-domset-hexgrid_05_110.shuf-2.opb	UNSAT	1228.44	1231.63	4543155
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height18_pigeons17_holes16.opb	UNSAT	1231.33	1234.41	4542102
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ roussel/normalized-pigeon-cardinality-105-100.opb	UNSAT	1235.26	1238.75	4492750
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-MisteryShopper-mini-5-10-2-6-0_c24.opb	UNSAT	1247.99	1251.34	4545417
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-lines-v2_shuffle/normalized-grid4_121.shuf-1.opb	UNSAT	1251.15	1254.65	4515948
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height19_pigeons18_holes17.opb	UNSAT	1253.12	1256.66	4542219
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_06_170.opb	UNSAT	1254.4	1258.48	4544364
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_rational_opb/normalized-ec_grid_rational_08_180.opb	UNSAT	1254.91	1258.6	4544325
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ extended-even-colouring/grids_norational_opb/normalized-ec_grid_norational_04_250.opb	UNSAT	1255.19	1258.42	4544208
PB24/normalized-PB24/DEC-LIN/nordstrom/ CombinatorialBenchmarksPBsolvers/vertex-cover/larger/vc-grids-v1_shuffle/normalized-grid8_161.shuf-2.opb	UNSAT	1260.36	1263.92	4515912
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2003/normalized-disctom.0.u.opb	UNSAT	1265.77	1269.41	4514832
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_10_092.opb	UNSAT	1267.64	1270.86	4544091
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_220_219.opb	UNSAT	1267.75	1271.33	4543077
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_230_229.opb	UNSAT	1270.58	1274.02	4542999
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_10_096.opb	UNSAT	1273.46	1276.89	4543818
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_14_088.opb	UNSAT	1285.42	1288.62	4543740
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/extended-even-colouring/ random_rational_opb/normalized-ec_random_rational_random8reg_split_750.opb	UNSAT	1287.29	1290.76	4544169
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height21_pigeons20_holes19.opb	UNSAT	1361.73	1365.24	4542336
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat16_15_identity_complement.opb	UNSAT	1423.82	1427.61	4544442
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-original/normalized-php_390_389.opb	UNSAT	1452.2	1456.22	4543038
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_021.shuf-2.opb	UNSAT	1496.25	1499.96	4542804
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat20_19_identity_complement.opb	UNSAT	1551.55	1555.88	4544949
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-21-20.opb	UNSAT	1577.91	1581.8	4492858
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_088.opb	UNSAT	1629.81	1634.09	4543896
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-15array_diag_greater.opb	UNSAT	1647.14	1651.69	4517100
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v1_30_092.opb	UNSAT	1733.82	1738.85	4543779
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ php-exit/normalized-phpexit_v2_30_096.opb	UNSAT	1764.84	1769.83	4543701
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-06_shuffle/normalized-ec_stargrid_06_072.shuf-3.opb	UNSAT	1952.36	1957.07	4542765
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_036.shuf-2.opb	UNSAT	1963.25	1969.35	4542687
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-05_shuffle/normalized-ec_stargrid_05_075.shuf-3.opb	UNSAT	2073.68	2079.08	4542843
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-35-30.opb	UNSAT	2525.53	2532.19	4492966
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height26_pigeons25_holes24.opb	UNSAT	2666.45	2675.64	4542570

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.007962	0.0263571	4502216
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_008.shuf-1.opb	SAT	0.010029	0.0293061	4543623
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb	SAT	0.011211	0.03656	4492570
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga12_11_sat_pb.cnf.cr.opb	SAT	0.012315	0.0305571	4492318
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga15_13_sat_pb.cnf.cr.opb	SAT	0.012855	0.031512	4492354
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga15_15_sat_pb.cnf.cr.opb	SAT	0.015015	0.034636	4492534
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga14_12_sat_pb.cnf.cr.opb	SAT	0.026112	0.046652	4492462
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga20_20_sat_pb.cnf.cr.opb	SAT	0.026323	0.0455669	4492282
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9ls.opb	SAT	0.027151	0.0805321	4493470
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900574974.opb	SAT	0.040718	0.0606381	4494910
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111223689.opb	SAT	0.047368	0.066555	4495486
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547353.opb	SAT	0.053439	0.0787649	4494874
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900582376.opb	SAT	0.063687	0.083965	4494946
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin8.opb	SAT	0.070623	0.090908	4493254
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-chromaticindex32-8.0.s.opb	SAT	0.082908	0.104596	4515012
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat99_identity_complement.opb	SAT	0.084347	0.12261	4544871
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/armies/normalized-army8.9bt.opb	SAT	0.085124	0.104348	4493758
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110969933.opb	SAT	0.094049	0.118422	4495522
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900561384.opb	SAT	0.0984	0.131062	4494838
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900567003.opb	SAT	0.098711	0.130207	4494658
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900559641.opb	SAT	0.109691	0.129886	4495054
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900547461.opb	SAT	0.169274	0.190585	4495126
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6033_7-sat.opb	SAT	0.182445	0.204028	4501784
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww2.opb	SAT	0.188573	0.211331	4495846
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat11_11_identity_complement.opb	SAT	0.20921	0.231553	4544988
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww4.opb	SAT	0.214157	0.234233	4495918
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1111226284.opb	SAT	0.217787	0.237982	4495630
PB24/normalized-PB06/DEC-LIN/submitted-PB06/namasivayam/ wnqueen/normalized-t2001.13queen13.1110973863.opb	SAT	0.261964	0.285511	4495306
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat11_10_triangular.opb	SAT	0.437653	0.460901	4544598
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-12,16.opb	SAT	0.44201	0.468905	4492138
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin10.opb	SAT	0.487205	0.508955	4493362
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j6027_7-sat.opb	SAT	0.495747	0.531977	4501676
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/ ~walser/benchmarks/ppp-problems/normalized-ppp:1-13.opb	SAT	0.589167	0.630245	4491958
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb	SAT	0.60593	0.639592	4492066
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat12_11_triangular.opb	SAT	0.693154	0.730441	4544754
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_45_sat_pb.cnf.cr.opb	SAT	0.712617	0.742352	4492174
PB24/normalized-PB10/DEC-LIN/oliveras/ j30/normalized-j3013_3-sat.opb	SAT	0.845387	0.881269	4502108
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K76.opb	SAT	0.974512	0.997394	4507722
PB25/normalized-PB25/DEC-LIN/koops/ normalized-mat15_15_identity_complement.opb	SAT	0.975576	0.997638	4544559
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j907_2-sat.opb	SAT	1.07779	1.11465	4502036
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14ls.opb	SAT	1.4202	1.44333	4493722
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round21-2.opb	SAT	1.64758	1.68153	4512924
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12020_5-sat.opb	SAT	1.76163	1.78658	4502180
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat15_14_triangular.opb	SAT	2.14823	2.17516	4544637
PB24/normalized-PB10/DEC-LIN/oliveras/ j60/normalized-j605_7-sat.opb	SAT	2.14938	2.17669	4501748
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob1.opb	SAT	2.23206	2.26047	4496134
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos808444.opb	SAT	2.85037	2.87679	4503086
PB24/normalized-PB06/DEC-LIN/submitted-PB05/ aloul/FPGA_SAT05/normalized-fpga45_44_sat_pb.cnf.cr.opb	SAT	3.03347	3.07611	4492642
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12ls.opb	SAT	3.73263	3.78264	4493542
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_028.shuf-1.opb	SAT	4.54987	4.59289	4543584
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-Soccer-22-18-20-1_c24.opb	SAT	4.9448	4.97984	4545495
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army10.14bt.opb	SAT	5.39018	5.42419	4493866
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K75.opb	SAT	5.41218	5.45386	4507614
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size96-round21-6.opb	SAT	6.39394	6.46435	4513248
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K105.opb	SAT	6.98377	7.03456	4507542
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ domset/domset_large/normalized-domset-hexgrid_08_020.opb	SAT	7.87182	7.91282	4543506
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K72.opb	SAT	8.10827	8.153	4507758
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob5.opb	SAT	9.43831	9.48619	4495882
PB25/normalized-PB25/DEC-LIN/ koops/normalized-mat20_19_triangular.opb	SAT	9.56421	9.60763	4544520
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17ls.opb	SAT	9.90935	9.97982	4493578
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army9.12bt.opb	SAT	10.8868	10.9388	4493614
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K71.opb	SAT	12.596	12.6641	4507650
PB24/normalized-PB06/DEC-LIN/web/uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Ih2arity.ucl.opb	SAT	13.2894	13.8222	4491634
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round21-3.opb	SAT	15.3103	15.3793	4513032
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression32_15.opb	SAT	18.0826	18.2345	4514400
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_2.opb.PB06.opb	SAT	20.3124	20.387	4493974
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_1.opb.PB06.opb	SAT	20.388	20.4613	4494406
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_3.opb.PB06.opb	SAT	20.4001	20.4741	4494010
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_8.opb.PB06.opb	SAT	20.8722	20.9483	4494262
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v30_e350_d15_mw10_9.opb.PB06.opb	SAT	21.3938	21.4755	4494298
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-849702.opb	SAT	21.4002	21.4847	4503158
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-185.opb	SAT	21.6908	21.7931	4503446
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-03.opb	SAT	23.4701	23.5868	4503266
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/dec/ miplib2017/normalized-academictimetablesmall.0.s.opb	SAT	23.8452	23.9443	4514976
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24ls.opb	SAT	26.3414	26.4443	4493686
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-164.opb	SAT	28.4292	28.5447	4503482
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_2.opb.PB06.opb	SAT	30.9421	31.0423	4493902
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_0.opb.PB06.opb	SAT	31.4546	31.5701	4494118
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_9.opb.PB06.opb	SAT	31.469	31.578	4493938
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin12.opb	SAT	31.6891	31.8016	4493398
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K101.opb	SAT	32.7057	32.827	4507434
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_5.opb.PB06.opb	SAT	33.3148	33.4374	4494370
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l6_n1500.opb	SAT	35.3451	35.4557	4494586
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb	SAT	36.9192	37.0592	4494478
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob10.opb	SAT	42.4074	42.5341	4495738
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round22-2.opb	SAT	47.7215	47.8674	4513212
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathBA/normalized-BeauxArts_K69.opb	SAT	47.8424	48.0062	4507686
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb	SAT	48.1958	48.3585	4494550
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v40_e600_d20_mw10_6.opb.PB06.opb	SAT	52.6724	52.8608	4494154
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army11.17bt.opb	SAT	62.6292	62.8661	4493506
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin14.opb	SAT	78.3128	78.5566	4493326
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K96.opb	SAT	80.4491	80.7181	4507578
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb	SAT	91.1134	91.365	4492030
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_9.opb.PB06.opb	SAT	108.663	108.989	4494190
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_1.opb.PB06.opb	SAT	109.247	109.586	4494226
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21ls.opb	SAT	110.648	110.979	4493830
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_5.opb.PB06.opb	SAT	115.509	115.835	4494082
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_6.opb.PB06.opb	SAT	117.018	117.353	4494046
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw128/normalized-hw128-vm25p-dec.opb.negationfix.opb	SAT	117.573	117.911	4511650
PB24/normalized-PB06/DEC-LIN/submitted-PB06/liu/dbst/ normalized-dbst_v50_e1000_d25_mw10_3.opb.PB06.opb	SAT	123.741	124.093	4494334
PB25/normalized-PB25/DEC-LIN/ wallon/normalized-FRB-45-21-3-mgd_c18.opb	SAT	132.469	132.873	4545222
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K102.opb	SAT	134.378	134.743	4507398
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K98.opb	SAT	136.094	136.517	4507362
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-777800.0.s.opb	SAT	139.109	139.593	4515264
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-5.opb	SAT	140.595	140.996	4545183
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army13.24bt.opb	SAT	142.141	142.564	4493650
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K194.opb	SAT	301.123	302.034	4507146
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm25p-dec.opb.negationfix.opb	SAT	356.741	357.75	4511722
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob7.opb	SAT	468.68	470.028	4495810
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-4.opb	SAT	474.626	476.13	4512996
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm50p-dec.opb.negationfix.opb	SAT	487.369	488.755	4511902
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K92.opb	SAT	660.653	662.524	4507290
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/prestwich/armies/normalized-army12.21bt.opb	SAT	674.344	676.505	4493794
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K196.opb	SAT	827.273	829.844	4507110
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-dec2-3-3-1.opb	SAT	927.042	929.618	4545339
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob6.opb	SAT	995.549	998.167	4495954
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k4_l4_n360.opb	SAT	1008.85	1011.96	4494514
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K90.opb	SAT	1101.36	1104.79	4507254
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-111.opb	SAT	1109.39	1112.97	4503734
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob2.opb	SAT	1137.2	1140.23	4496098
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww1.opb	SAT	1161.13	1164.39	4496170
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ domset-fixedrows-r04_shuffle/normalized-domset-hexgrid_04_064.shuf-1.opb	SAT	1194.97	1198.12	4543662
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-cvs16r70-62.0.s.opb	SAT	1195.57	1199.23	4515120
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb	SAT	1195.89	1199.26	4492102
PB24/normalized-PB06/DEC-LIN/web/www.ps.uni-sb.de/~walser/ benchmarks/ppp-problems/normalized-ppp:1-9,16-19.opb	SAT	1196.06	1199.44	4491994
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob8.opb	SAT	1197.19	1200.56	4496026
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob4.opb	SAT	1198.7	1201.96	4495774
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww3.opb	SAT	1201.98	1205.35	4495702
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb	SAT	1202.37	1205.84	4495990
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-AverageAvoiding-20_c24.opb	SAT	1448	1452.21	4545261
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K176.opb	SAT	2559.29	2567.22	4506858
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ liu/vdw/normalized-vdw_k6_l3_n170.opb	SAT	2738.76	2745.88	4494442

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm99p-dec.opb.negationfix.opb	?	655.992	657.884	4512010
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm98p-dec.opb.negationfix.opb	?	786.108	788.273	4512082
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm95p-dec.opb.negationfix.opb	?	826.115	828.321	4511974
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/hw512/ normalized-hw512-vm100p-dec.opb.negationfix.opb	?	909.618	912.26	4512046
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-AverageAvoiding-mini-40_c24.opb	?	2640.99	2648.68	4545105
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-192.opb	?	3584.39	3596.15	4503338
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ manquiho/Aardal_1/normalized-prob3.opb	?	3584.68	3596.07	4496062
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-134.opb	?	3584.82	3596.37	4503554
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height36_pigeons35_holes34.opb	?	3585.11	3598.28	4542258
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_comm/normalized-20arraycomm_teq_tvars_less.opb	?	3585.31	3596.1	4517244
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.s.opb	?	3585.32	3596.17	4515084
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-20arraycomm_teq_less.opb	?	3585.4	3596.19	4541790
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-89.opb	?	3585.56	3596.1	4503230
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K177.opb	?	3585.6	3596.47	4507218
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K134.opb	?	3585.62	3596.51	4506714
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-147.opb	?	3585.66	3596.35	4503590
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb	?	3585.67	3596.08	4493218
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm/normalized-17arraycomm_less.opb	?	3585.73	3596.14	4541907
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-116.opb	?	3585.73	3596.64	4503662
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-regular-n30-d4-i1.cnf.gz-plain.pb.metafix.opb	?	3585.73	3596.12	4509706
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/ even-colouring/ec-stargrid-04_shuffle/normalized-ec_stargrid_04_066.shuf-1.opb	?	3585.75	3596.07	4542726
PB24/normalized-PB15eval/DEC-LIN/3COL-FromCNF/ normalized-3col-almost3reg-l090-r089-n1.cnf-plain.pb.metafix.opb	?	3585.75	3596.08	4510966
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-26array_diag_greater.opb	?	3585.77	3596.19	4541673
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height38_pigeons37_holes36.opb	?	3585.81	3598.61	4542180
PB25/normalized-PB25/DEC-LIN/ wallon/normalized-FRB-53-24-1-mgd_c18.opb	?	3585.85	3596.2	4545027
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-45-40.opb	?	3585.92	3596.09	4492930
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab51-40-100.0.u.opb	?	3585.95	3596.18	4515156
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-6_6_33.opb	?	3586.02	3596.09	4514580
PB24/normalized-PB16/DEC-LIN/quimper/SyncCodes/ d-equals-n_k/normalized-compression64_11.opb	?	3586.04	3596.09	4514328
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K155.opb	?	3586.07	3596.43	4507038
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-29array_ineq6.opb	?	3586.18	3596.25	4541634
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin16.opb	?	3586.18	3596.21	4493434
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K81.opb	?	3586.21	3596.19	4507506
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-952987.0.d.opb	?	3586.25	3596.23	4515300
PB24/normalized-PB16/DEC-LIN/quimper/ SyncCodes/d_n_k/normalized-5_6_36.opb	?	3586.28	3596.09	4514436
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-22diag_spec_greater.opb	?	3586.3	3596.1	4541985
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K84.opb	?	3586.3	3596.19	4507326
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K138.opb	?	3586.34	3596.4	4506786
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size80-round23-5.opb	?	3586.39	3596.09	4512960
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K150.opb	?	3586.41	3596.41	4507074
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-3.opb	?	3586.42	3596.08	4513140
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round23-6.opb	?	3586.42	3596.09	4512852
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n134-d3-i3-f.cnf.gz-plain.pb.metafix.opb	?	3586.43	3596.15	4509958
PB24/normalized-PB24/DEC-LIN/nordstrom/CombinatorialBenchmarksPBsolvers/domset/ larger/domset_large_fixedcols/normalized-domset-hexgrid-fixedcols_07_140.opb	?	3586.45	3596.11	4543272
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/array_diag/normalized-16array_diag_less.opb	?	3586.48	3596.1	4517208
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820157.opb	?	3586.51	3596.07	4503122
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_comm/arraycomm_teq/normalized-22arraycomm_teq_less.opb	?	3586.53	3596.23	4541829
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb	?	3586.54	3596.12	4493146
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SocialGolfers-08-04-08_c24.opb	?	3586.56	3596.24	4545300
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_spec/normalized-24diag_spec_greater.opb	?	3586.58	3596.19	4541946
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallacecomm/normalized-27wallacecomm_greater_teq.opb	?	3586.59	3596.16	4541751
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n230-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	?	3586.6	3596.1	4510066
PB24/normalized-PB10/DEC-LIN/oliveras/ j120/normalized-j12011_3-sat.opb	?	3586.62	3597.32	4502144
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K159.opb	?	3586.63	3596.4	4506966
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ab71-20-100.0.u.opb	?	3586.65	3596.15	4515228
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq6/normalized-31array_alg_ineq6.opb	?	3586.7	3596.22	4541595
PB24/normalized-PB06/DEC-LIN/ submitted-PB06/roussel/normalized-pigeon-clauses-61-60.opb	?	3586.73	3596.1	4492786
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n258-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	?	3586.77	3596.07	4509670
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/diag_comm/normalized-27diagcomm_less_teq.opb	?	3586.77	3596.08	4542063
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K169.opb	?	3586.79	3596.42	4506750
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/wallace_spec/normalized-28wallace_spec_greater_tvars.opb	?	3586.82	3596.08	4542024
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-fixed-bandwidth-46.cnf.gz-plain.pb.metafix.opb	?	3586.84	3596.15	4509994
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-2.opb	?	3586.9	3596.08	4512888
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n232-d3-i1-f.cnf.gz-plain.pb.metafix.opb	?	3587.04	3596.17	4510030
PB24/normalized-PB16/DEC-LIN/elffers/Instances3col_OPB/ normalized-3col-almost3reg-l080-r079-n1.opb	?	3587.04	3596.1	4513860
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ equalities/array_diag/normalized-31array_diag_less.opb	?	3587.06	3596.15	4541712
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K182.opb	?	3587.23	3596.46	4507182
PB24/normalized-PB12/DEC-LIN/sroussel/ ShortestPathTate/normalized-TateBritain_K87.opb	?	3587.29	3596.18	4507470
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib3/normalized-seymour.0.u.opb	?	3587.32	3596.1	4514904
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height30_pigeons29_holes28.opb	?	3587.32	3596.92	4542648
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K166.opb	?	3587.39	3596.48	4506894
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K188.opb	?	3587.42	3598.28	4506822
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_10-sat.opb	?	3587.45	3596.51	4501964
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-t1722.0.s.opb	?	3587.46	3597.16	4515192
PB24/normalized-PB11/DEC-LIN/ heinz/normalized-neos-820146.opb	?	3587.58	3596.07	4503194
PB24/normalized-PB24/DEC-LIN/nordstrom/vliew-nonlinear-d139f28/ inequalities/OPB/ineq5/normalized-30array_ineq5.opb	?	3587.62	3597.01	4541517
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n184-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	?	3587.88	3596.11	4509778
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-pmg-14-UNSAT.shuffled-as.sat05-3942.cnf.gz-plain.pb.metafix.opb	?	3587.99	3596.07	4509886
PB24/normalized-PB24/DEC-LIN/devriendt/bitvector_multiplication_selection/ equalities/diag_spec/normalized-16diag_spec_greater.opb	?	3588.14	3596.09	4517352
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-0.opb	?	3588.24	3598.21	4512780
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9013_3-sat.opb	?	3588.27	3598.24	4501928
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K133.opb	?	3589.36	3600.05	4506930
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2017/normalized-ivu59.0.u.opb	?	3589.54	3599.34	4515048
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height46_pigeons45_holes44.opb	?	3589.79	3602.65	4542531
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-174.opb	?	3589.81	3599.52	4503698
PB24/normalized-PB24/DEC-LIN/nordstrom/MIPLIB01/ dec/miplib2010/normalized-neos-631710.0.u.opb	?	3589.89	3601.32	4515336
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height44_pigeons43_holes42.opb	?	3591.14	3601.13	4542453
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-4.opb	?	3592.44	3602.44	4512816
PB24/normalized-PB15eval/DEC-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ ProofComplexity/normalized-tseitin-regular-n182-d3-i1-r2.cnf.gz-plain.pb.metafix.opb	?	3594.23	3602.64	4509850
PB24/normalized-PB10/DEC-LIN/oliveras/ j90/normalized-j9029_2-sat.opb	?	3596.81	3607.5	4502000

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size160-round22-1.opb	? (TO)	3601.8	3611.04	4513068
PB24/normalized-PB11/DEC-LIN/ lopes/normalized-90.opb	? (TO)	3602.02	3613.12	4503302
PB24/normalized-PB06/DEC-LIN/submitted-PB06/ prestwich/robin/normalized-robin18.opb	? (TO)	3602.03	3610.9	4493290
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size112-round23-6.opb	? (TO)	3602.06	3612.5	4513104
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size128-round22-0.opb	? (TO)	3602.08	3611.8	4513176
PB24/normalized-PB16/DEC-LIN/nossum/ normalized-sha1-size144-round23-6.opb	? (TO)	3602.08	3611.7	4513284
PB24/normalized-PB12/DEC-LIN/ sroussel/ShortestPathNG/normalized-NG_K174.opb	? (TO)	3602.1	3611.4	4507002

Benchmark Name	Answer	CPU time	Wall clock time	TraceID
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm85p-dec.opb.negationfix.opb	? (MO)	495.367	496.766	4511866
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb	? (MO)	501.919	503.313	4511830
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm98p-dec.opb.negationfix.opb	? (MO)	519.931	521.406	4511794
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm95p-dec.opb.negationfix.opb	? (MO)	546.13	547.597	4511686
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw256/normalized-hw256-vm75p-dec.opb.negationfix.opb	? (MO)	546.132	547.621	4511758
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm25p-dec.opb.negationfix.opb	? (MO)	565.9	567.35	4512118
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm75p-dec.opb.negationfix.opb	? (MO)	666.06	667.915	4512154
PB24/normalized-PB15eval/DEC-LIN/pbfvmc-formulae/ hw512/normalized-hw512-vm85p-dec.opb.negationfix.opb	? (MO)	672.167	673.988	4511938
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height47_pigeons46_holes45.opb	? (MO)	1254.25	1257.46	4542492
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height49_pigeons48_holes47.opb	? (MO)	1256.73	1260.11	4542414
PB24/normalized-PB24/DEC-LIN/nordstrom/composed_pebbling_php_pyramid/ dec/normalized-composed_pebbling_php_pyramid_height50_pigeons49_holes48.opb	? (MO)	1260.99	1264.54	4542141
PB25/normalized-PB25/DEC-LIN/wallon/ normalized-SolitairePattern-table-3-3-9.opb	? (MO)	1317.44	1321.04	4545066

PB'25 competition: benchmarks results per solver

Result page for solver Hybrid-CASHWMaxSATDisjComS+SynLSCD 2025-06-01 (complete)

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

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

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

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

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

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

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