PB'24 competition: WBO track: results by benchmark

Results by benchmark for category WBO, both soft and hard constraints, linear constraints (PARTIAL-LIN)

This page displays the results of the different solvers for each benchmark for category WBO, both soft and hard constraints, linear constraints (PARTIAL-LIN)

REMINDER

Keep in mind that the 'Best result' columns only provide the best result given by one of the solvers. This 'Best result' may be wrong in case of an UNSATISFIABLE or OPTIMUM FOUND answer (because there's no efficient way to check these answers).

Description of a cell contents:

Cell example	Meaning
Answer	Solver result
f=...	value of the objective function for the model reported by the solver
TT=...	Total Time (TT): this is the CPU time (in seconds) used by the solver until termination. This time is only meaningful for complete solvers because incomplete solvers will always run until they time out

Remember that CPU time and wall clock time are two very different notions. The CPU time represents the time during which the instructions of the solver were executed by the processor. The wall clock time represents how much time ellapsed on the clock. For a same event, the CPU time may be either smaller or greater than the wall clock time depending on the number of threads of execution and the number of processors.

Meaning of some abbreviations:

Abbreviation	Meaning
f=...	Value of the objective function
TO	Time Out
MO	Mem. Out (out of memory)

Meaning of the different colors:

Color	Meaning
text	the solver cannot handle this instance
text	the solver gave no answer
text	the solver could give an answer (SAT)
text	the solver gave a definitive answer (OPTIMUM FOUND or UNSAT)
text	the solver performed better than the other ones on that instance
text	the solver was ended by a signal
text	the solver gave an incomplete answer
text	the solver was disqualified in the category
text	the solver gave a wrong answer

For better readability, you may choose to hide some solvers:
Exact 2024-07-05 (complete)
Exact_no_SoPlex 2024-07-05 (complete)
FiberSCIP 2024-07-02 (complete)
FiberSCIP 2024-07-30 (complete)
FiberSCIP 20 cores, 2024-07-30 (complete)
NaPS 1.03 (complete)
NaPS 1.03a1 (complete)
NaPS 1.03a2 (complete)
NaPS-GM 1.03 (complete)
NaPS-GM 1.03a1 (complete)
NaPS-GM 1.03a2 (complete)
NaPS-PB16 1.02b5 (complete)
Sat4j Cutting Planes 2024 2024-07-12 (complete)
Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)
Sat4j Resolution Default 2024-07-07 (complete)
SCIP 2024-07-07 (complete)

Bench name	Best results on this instance	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_11_pb.cnf.cr--soft-33-100-0.wbo	MOPT f=3 TT=0.004 T1=0	OPTIMUM f=3 TT=0.013 T1=0.01	OPTIMUM f=3 TT=0.004 T1=0	OPTIMUM f=3 TT=0.045 T1=0.04	OPTIMUM f=3 TT=0.046 T1=0.04	OPTIMUM f=3 TT=0.425 T1=0.08	OPTIMUM f=3 TT=0.904 T1=0.31	OPTIMUM f=3 TT=0.607 T1=0.19	OPTIMUM f=3 TT=0.594 T1=0.18	OPTIMUM f=3 TT=3.432 T1=0.02	OPTIMUM f=3 TT=3.51 T1=0.02	OPTIMUM f=3 TT=3.427 T1=0.02	OPTIMUM f=3 TT=1.061 T1=1.06	OPTIMUM f=3 TT=0.49 T1=0.26	OPTIMUM f=3 TT=0.965 T1=0.57	OPTIMUM f=3 TT=1283.38 T1=39.62	OPTIMUM f=3 TT=0.056 T1=0.04
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-33-100-0.wbo	MOPT f=21 TT=0.005 T1=0	OPTIMUM f=21 TT=0.015 T1=0.01	OPTIMUM f=21 TT=0.005 T1=0	OPTIMUM f=21 TT=0.05 T1=0.04	OPTIMUM f=21 TT=0.079 T1=0.07	OPTIMUM f=21 TT=0.436 T1=0.09	OPTIMUM f=21 TT=0.592 T1=0.24	OPTIMUM f=21 TT=0.517 T1=0.17	OPTIMUM f=21 TT=0.508 T1=0.17	OPTIMUM f=21 TT=3.463 T1=2.11	OPTIMUM f=21 TT=2.548 T1=1.28	OPTIMUM f=21 TT=2.098 T1=0.89	OPTIMUM f=21 TT=1.17 T1=1.17	OPTIMUM f=21 TT=0.362 T1=0.2	OPTIMUM f=21 TT=0.984 T1=0.55	MSAT (TO) f=21 TT=3600.51 T1=0.9	OPTIMUM f=21 TT=0.109 T1=0.04
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl10_15_pb.cnf.cr--soft-66-100-0.wbo	MOPT f=58 TT=0.005 T1=0	OPTIMUM f=58 TT=0.018 T1=0.01	OPTIMUM f=58 TT=0.005 T1=0	OPTIMUM f=58 TT=0.075 T1=0.07	OPTIMUM f=58 TT=0.078 T1=0.07	OPTIMUM f=58 TT=0.47 T1=0.12	OPTIMUM f=58 TT=1.153 T1=1.1	OPTIMUM f=58 TT=0.459 T1=0.41	OPTIMUM f=58 TT=0.459 T1=0.42	OPTIMUM f=58 TT=2.031 T1=2.03	OPTIMUM f=58 TT=2.107 T1=2.11	OPTIMUM f=58 TT=2.043 T1=2.05	OPTIMUM f=58 TT=2.134 T1=2.14	OPTIMUM f=58 TT=0.426 T1=0.23	OPTIMUM f=58 TT=1.129 T1=1.1	OPTIMUM f=58 TT=1143.8 T1=0.33	OPTIMUM f=58 TT=0.185 T1=0.12
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl15_25_pb.cnf.cr--soft-33-100-0.wbo	MOPT f=15 TT=0.012 T1=0.01	OPTIMUM f=15 TT=0.039 T1=0.03	OPTIMUM f=15 TT=0.012 T1=0.01	OPTIMUM f=15 TT=0.072 T1=0.06	OPTIMUM f=15 TT=0.072 T1=0.07	OPTIMUM f=15 TT=0.468 T1=0.12	MSAT (TO) f=16 TT=3600.02 T1=1.3	MSAT (TO) f=16 TT=3600.07 T1=0.76	MSAT (TO) f=16 TT=3600.06 T1=0.9	OPTIMUM f=15 TT=3589.61 T1=2279.79	MSAT (TO) f=15 TT=3600.05 T1=2452.81	MSAT (TO) f=15 TT=3600.08 T1=2529.73	OPTIMUM f=15 TT=1099.25 T1=1102.38	OPTIMUM f=15 TT=0.553 T1=0.28	OPTIMUM f=15 TT=1.148 T1=0.64	MSAT (TO) f=15 TT=3600.25 T1=4.68	OPTIMUM f=15 TT=0.145 T1=0.11
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-33-100-0.wbo	MOPT f=14 TT=0.07 T1=0.06	OPTIMUM f=14 TT=0.148 T1=0.13	OPTIMUM f=14 TT=0.07 T1=0.06	OPTIMUM f=14 TT=0.272 T1=0.27	OPTIMUM f=14 TT=0.698 T1=0.73	OPTIMUM f=14 TT=9.789 T1=0.78	MSAT (TO) f=14 TT=3600.05 T1=3.33	MSAT (TO) f=14 TT=3600.02 T1=2.56	MSAT (TO) f=14 TT=3600.04 T1=2.4	MSAT (TO) f=16 TT=3600.02 T1=0.66	MSAT (TO) f=16 TT=3600.05 T1=0.96	MSAT (TO) f=16 TT=3600.11 T1=0.66	MSAT (TO) f=20 TT=3600.02 T1=3612.2	OPTIMUM f=14 TT=1.721 T1=0.9	OPTIMUM f=14 TT=1.694 T1=0.88	MSAT (TO) f=14 TT=3600.47 T1=34.57	OPTIMUM f=14 TT=0.695 T1=0.18
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl30_40_pb.cnf.cr--soft-66-100-0.wbo	MOPT f=18 TT=0.065 T1=0.05	OPTIMUM f=18 TT=0.065 T1=0.05	OPTIMUM f=18 TT=0.067 T1=0.06	OPTIMUM f=18 TT=0.181 T1=0.17	OPTIMUM f=18 TT=0.182 T1=0.18	OPTIMUM f=18 TT=3.148 T1=0.34	MSAT (TO) f=18 TT=3600.01 T1=0.74	MSAT (TO) f=18 TT=3600.06 T1=0.96	MSAT (TO) f=18 TT=3600.09 T1=1.16	MSAT (TO) f=18 TT=3600.08 T1=0.41	MSAT (TO) f=18 TT=3600.12 T1=0.89	MSAT (TO) f=18 TT=3600.03 T1=0.41	MSAT (TO) f=18 TT=3600.09 T1=3610.4	OPTIMUM f=18 TT=0.877 T1=0.48	OPTIMUM f=18 TT=0.829 T1=0.88	MSAT (TO) f=18 TT=3600.68 T1=3.69	OPTIMUM f=18 TT=0.196 T1=0.05
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_41_pb.cnf.cr--soft-33-100-0.wbo	MOPT f=4 TT=0.09 T1=0.08	OPTIMUM f=4 TT=0.248 T1=0.22	OPTIMUM f=4 TT=0.09 T1=0.08	OPTIMUM f=4 TT=0.921 T1=0.91	OPTIMUM f=4 TT=0.913 T1=0.91	OPTIMUM f=4 TT=10.838 T1=0.92	MSAT (TO) f=4 TT=3600.09 T1=3.88	MSAT (TO) f=4 TT=3600.05 T1=4.03	MSAT (TO) f=4 TT=3600.06 T1=3.8	MSAT (TO) f=4 TT=3600.08 T1=12.75	MSAT (TO) f=4 TT=3600.09 T1=11.65	MSAT (TO) f=4 TT=3600.01 T1=11.63	MSAT (TO) f=4 TT=3600.06 T1=3613.3	OPTIMUM f=4 TT=3.714 T1=1.92	OPTIMUM f=4 TT=1.646 T1=1.61	MSAT (TO) f=4 TT=3600.72 T1=53.62	OPTIMUM f=4 TT=1.492 T1=1.45
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl40_45_pb.cnf.cr--soft-66-100-0.wbo	MOPT f=3 TT=0.102 T1=0.09	OPTIMUM f=3 TT=0.291 T1=0.24	OPTIMUM f=3 TT=0.102 T1=0.09	OPTIMUM f=3 TT=0.289 T1=0.29	OPTIMUM f=3 TT=0.296 T1=0.3	OPTIMUM f=3 TT=9.306 T1=0.87	MSAT (TO) f=3 TT=3600.04 T1=2.38	MSAT (TO) f=3 TT=3600.05 T1=2.04	MSAT (TO) f=3 TT=3600.05 T1=1.98	MSAT (TO) f=3 TT=3600.04 T1=1.04	MSAT (TO) f=3 TT=3600.04 T1=0.47	MSAT (TO) f=3 TT=3600.08 T1=0.44	MSAT (TO) f=4 TT=3600.03 T1=3609.4	OPTIMUM f=3 TT=1.089 T1=0.57	OPTIMUM f=3 TT=1.707 T1=0.93	MSAT (TO) f=3 TT=3600.37 T1=9.84	OPTIMUM f=3 TT=0.9 T1=0.25
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-33-100-0.wbo	MOPT f=3 TT=0.23 T1=0.15	OPTIMUM f=3 TT=0.483 T1=0.41	OPTIMUM f=3 TT=0.23 T1=0.15	OPTIMUM f=3 TT=0.551 T1=0.54	OPTIMUM f=3 TT=1.324 T1=1.3	OPTIMUM f=3 TT=33.119 T1=2.49	MSAT (TO) f=3 TT=3600.07 T1=0.33	MSAT (TO) f=3 TT=3600.11 T1=0.41	MSAT (TO) f=3 TT=3600.09 T1=0.33	MSAT (TO) f=3 TT=3600.07 T1=0.98	MSAT (TO) f=3 TT=3600.07 T1=1.15	MSAT (TO) f=3 TT=3600.02 T1=1	MSAT (TO) f=3 TT=3600.05 T1=3612.7	OPTIMUM f=3 TT=1.491 T1=0.78	OPTIMUM f=3 TT=2.239 T1=1.85	? (TO) TT=3600.43	OPTIMUM f=3 TT=1.32 T1=0.45
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB05/ aloul/FPGA_SAT05/ normalized-chnl50_55_pb.cnf.cr--soft-66-100-0.wbo	MOPT f=15 TT=0.191 T1=0.16	OPTIMUM f=15 TT=0.543 T1=0.49	OPTIMUM f=15 TT=0.191 T1=0.16	OPTIMUM f=15 TT=0.713 T1=0.7	OPTIMUM f=15 TT=0.712 T1=0.72	OPTIMUM f=15 TT=22.783 T1=1.62	MSAT (TO) f=22 TT=3600.03 T1=5.29	MSAT (TO) f=22 TT=3600.05 T1=4.96	MSAT (TO) f=22 TT=3600.06 T1=4.84	MSAT (TO) f=22 TT=3600.02 T1=1.14	MSAT (TO) f=22 TT=3600.1 T1=1.1	MSAT (TO) f=22 TT=3600.07 T1=0.5	MSAT (TO) f=15 TT=3600.06 T1=3610.9	OPTIMUM f=15 TT=2.024 T1=1.09	OPTIMUM f=15 TT=2.733 T1=2.03	MSAT (TO) f=15 TT=3600.63 T1=109.99	OPTIMUM f=15 TT=1.303 T1=0.41
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900550720--soft-33-100-0.wbo	MOPT f=1 TT=20.451 T1=6.59	OPTIMUM f=1 TT=808.438 T1=6.59	OPTIMUM f=1 TT=364.662 T1=90.36	OPTIMUM f=1 TT=402.508 T1=404.05	OPTIMUM f=1 TT=308.755 T1=309.83	OPTIMUM f=1 TT=5762.72 T1=291.81	OPTIMUM f=1 TT=58.113 T1=33.61	OPTIMUM f=1 TT=61.796 T1=36.3	OPTIMUM f=1 TT=58.916 T1=34.39	OPTIMUM f=1 TT=44.335 T1=26.98	OPTIMUM f=1 TT=46.253 T1=28.7	OPTIMUM f=1 TT=44.647 T1=27.07	OPTIMUM f=1 TT=31.808 T1=31.85	? TT=0.863	MSAT (TO) f=885 TT=3600.45 T1=3590.28	OPTIMUM f=1 TT=20.451 T1=12.99	OPTIMUM f=1 TT=528.968 T1=294.98
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900551347--soft-66-100-0.wbo	MOPT f=11 TT=18.955 T1=3.05	OPTIMUM f=11 TT=98.552 T1=44.38	OPTIMUM f=11 TT=97.619 T1=3.05	OPTIMUM f=11 TT=536.89 T1=539.15	OPTIMUM f=11 TT=492.416 T1=494.2	OPTIMUM f=11 TT=4323.67 T1=218.73	OPTIMUM f=11 TT=50.112 T1=37.89	OPTIMUM f=11 TT=48.25 T1=36.85	OPTIMUM f=11 TT=49.101 T1=37.09	OPTIMUM f=11 TT=35.149 T1=32.01	OPTIMUM f=11 TT=35.054 T1=31.89	OPTIMUM f=11 TT=33.365 T1=30.27	OPTIMUM f=11 TT=21.363 T1=21.41	? TT=0.815	OPTIMUM f=11 TT=1621.16 T1=1325.31	OPTIMUM f=11 TT=18.955 T1=13.35	OPTIMUM f=11 TT=338.127 T1=318.78
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900556231--soft-33-100-0.wbo	MOPT f=1 TT=18.14 T1=2.36	OPTIMUM f=1 TT=182.123 T1=2.36	OPTIMUM f=1 TT=214.642 T1=3.94	OPTIMUM f=1 TT=405.462 T1=407.2	OPTIMUM f=1 TT=594.44 T1=596.42	OPTIMUM f=1 TT=5305.49 T1=268.74	OPTIMUM f=1 TT=48.516 T1=35.69	OPTIMUM f=1 TT=47.435 T1=34.86	OPTIMUM f=1 TT=46.725 T1=34.32	OPTIMUM f=1 TT=19.747 T1=11.21	OPTIMUM f=1 TT=19.853 T1=11.23	OPTIMUM f=1 TT=18.432 T1=9.7	OPTIMUM f=1 TT=26.725 T1=26.69	? TT=0.773	MSAT (TO) f=1016 TT=3600.49 T1=3578.58	OPTIMUM f=1 TT=18.14 T1=12.19	OPTIMUM f=1 TT=284.572 T1=39.18
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900557362--soft-33-100-0.wbo	MOPT f=5 TT=32.4 T1=5.73	OPTIMUM f=5 TT=151.538 T1=8.13	OPTIMUM f=5 TT=135.148 T1=5.73	OPTIMUM f=5 TT=488.815 T1=490.97	OPTIMUM f=5 TT=829.822 T1=833.38	OPTIMUM f=5 TT=5727.25 T1=290.27	OPTIMUM f=5 TT=41.437 T1=20.32	OPTIMUM f=5 TT=41.186 T1=20.52	OPTIMUM f=5 TT=40.271 T1=19.81	OPTIMUM f=5 TT=43.763 T1=16.75	OPTIMUM f=5 TT=44.156 T1=17.12	OPTIMUM f=5 TT=42.521 T1=15.4	OPTIMUM f=5 TT=35.971 T1=35.98	? TT=0.955	MSAT (TO) f=39 TT=3600.17 T1=3580.85	OPTIMUM f=5 TT=32.4 T1=23.08	OPTIMUM f=5 TT=653.659 T1=652.13
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900559676--soft-66-100-0.wbo	MOPT f=1 TT=30.708 T1=0.25	OPTIMUM f=1 TT=1620.41 T1=0.98	OPTIMUM f=1 TT=1003.46 T1=0.25	OPTIMUM f=1 TT=434.314 T1=435.83	OPTIMUM f=1 TT=443.722 T1=445.16	OPTIMUM f=1 TT=5116.54 T1=258.73	OPTIMUM f=1 TT=44.496 T1=13.24	OPTIMUM f=1 TT=45.666 T1=13.67	OPTIMUM f=1 TT=46.056 T1=14.16	OPTIMUM f=1 TT=38.315 T1=8.55	OPTIMUM f=1 TT=39.244 T1=8.82	OPTIMUM f=1 TT=39.242 T1=8.86	OPTIMUM f=1 TT=32.237 T1=32.28	? TT=0.938	OPTIMUM f=1 TT=1466.24 T1=1447.79	OPTIMUM f=1 TT=30.708 T1=22.88	OPTIMUM f=1 TT=825.693 T1=108.98
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900565534--soft-66-100-0.wbo	MOPT f=1 TT=12.499 T1=5.51	OPTIMUM f=1 TT=87.037 T1=22.29	OPTIMUM f=1 TT=131.467 T1=7.36	OPTIMUM f=1 TT=531.756 T1=533.59	OPTIMUM f=1 TT=350.657 T1=352.02	OPTIMUM f=1 TT=4662.15 T1=235.81	OPTIMUM f=1 TT=24.666 T1=15.28	OPTIMUM f=1 TT=25.53 T1=16.04	OPTIMUM f=1 TT=24.736 T1=15.51	OPTIMUM f=1 TT=13.198 T1=6.63	OPTIMUM f=1 TT=13.333 T1=6.76	OPTIMUM f=1 TT=13.353 T1=6.8	OPTIMUM f=1 TT=13.226 T1=13.23	? TT=0.708	MSAT (TO) f=487 TT=3600.42 T1=3584.28	OPTIMUM f=1 TT=12.499 T1=5.51	OPTIMUM f=1 TT=356.707 T1=214.82
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo	MOPT f=16 TT=28.055 T1=15.28	OPTIMUM f=16 TT=246.617 T1=15.28	OPTIMUM f=16 TT=222.155 T1=24.21	OPTIMUM f=16 TT=845.302 T1=848.27	OPTIMUM f=16 TT=643.992 T1=646.32	OPTIMUM f=16 TT=7860.33 T1=397.09	OPTIMUM f=16 TT=99.245 T1=73.22	OPTIMUM f=16 TT=101.368 T1=75.39	OPTIMUM f=16 TT=103.052 T1=75.21	OPTIMUM f=16 TT=54.527 T1=48.23	OPTIMUM f=16 TT=53.138 T1=46.82	OPTIMUM f=16 TT=51.807 T1=45.78	OPTIMUM f=16 TT=28.055 T1=28.1	? TT=0.9	MSAT (TO) f=16 TT=3600.38 T1=1450.73	OPTIMUM f=16 TT=68.941 T1=56.21	OPTIMUM f=16 TT=560.496 T1=536.13
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900576360--soft-66-100-0.wbo	MOPT f=2 TT=15.282 T1=3.37	OPTIMUM f=2 TT=152.475 T1=6.9	OPTIMUM f=2 TT=94.921 T1=3.37	OPTIMUM f=2 TT=430.652 T1=431.99	OPTIMUM f=2 TT=278.2 T1=279.11	OPTIMUM f=2 TT=5334.57 T1=269.73	OPTIMUM f=2 TT=24.238 T1=19.77	OPTIMUM f=2 TT=25.009 T1=20.51	OPTIMUM f=2 TT=24.54 T1=20.2	OPTIMUM f=2 TT=21.132 T1=21.15	OPTIMUM f=2 TT=21.586 T1=21.6	OPTIMUM f=2 TT=20.995 T1=21.01	OPTIMUM f=2 TT=19.742 T1=19.78	? TT=0.834	MSAT (TO) f=416 TT=3600.46 T1=3590.09	OPTIMUM f=2 TT=15.282 T1=11.17	OPTIMUM f=2 TT=285.257 T1=49.45
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900577940--soft-33-100-0.wbo	MOPT f=1 TT=28.542 T1=1.43	OPTIMUM f=1 TT=1788.29 T1=5.67	OPTIMUM f=1 TT=1449.14 T1=1.43	OPTIMUM f=1 TT=505.956 T1=507.78	OPTIMUM f=1 TT=471.749 T1=473.57	OPTIMUM f=1 TT=8255.98 T1=417.99	OPTIMUM f=1 TT=61.985 T1=29.69	OPTIMUM f=1 TT=61.264 T1=28.94	OPTIMUM f=1 TT=60.539 T1=28.85	OPTIMUM f=1 TT=41.949 T1=11.92	OPTIMUM f=1 TT=41.41 T1=10.79	OPTIMUM f=1 TT=40.623 T1=10.51	OPTIMUM f=1 TT=34.011 T1=34.06	? TT=0.987	MSAT (TO) f=3724 TT=3600.22 T1=3592.56	OPTIMUM f=1 TT=28.542 T1=8.59	OPTIMUM f=1 TT=283.535 T1=28.06
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/tsp/ normalized-t3002.11tsp11.1900670675--soft-33-100-0.wbo	MOPT f=2 TT=16.412 T1=1.8	OPTIMUM f=2 TT=40.41 T1=1.8	OPTIMUM f=2 TT=31.019 T1=5.61	OPTIMUM f=2 TT=1094.55 T1=1098.96	OPTIMUM f=2 TT=479.869 T1=481.47	OPTIMUM f=2 TT=4166.43 T1=211.08	OPTIMUM f=2 TT=62.331 T1=58.12	OPTIMUM f=2 TT=64.625 T1=60.42	OPTIMUM f=2 TT=62.18 T1=58.05	OPTIMUM f=2 TT=24.323 T1=20.91	OPTIMUM f=2 TT=23.45 T1=20.03	OPTIMUM f=2 TT=23.691 T1=20.29	OPTIMUM f=2 TT=18.175 T1=18.15	? TT=0.89	MSAT (TO) f=1685 TT=3600.15 T1=3602.96	OPTIMUM f=2 TT=16.412 T1=10.05	OPTIMUM f=2 TT=410.598 T1=236.11
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110967523--soft-33-100-0.wbo	MOPT f=8 TT=0.231 T1=0.04	OPTIMUM f=8 TT=0.231 T1=0.04	OPTIMUM f=8 TT=8.759 T1=5.62	OPTIMUM f=8 TT=2.095 T1=2.1	OPTIMUM f=8 TT=1.428 T1=1.42	OPTIMUM f=8 TT=29.743 T1=1.64	OPTIMUM f=8 TT=6.967 T1=1.01	OPTIMUM f=8 TT=7.023 T1=1.1	OPTIMUM f=8 TT=6.951 T1=1.02	OPTIMUM f=8 TT=4.914 T1=2.78	OPTIMUM f=8 TT=5.435 T1=3.31	OPTIMUM f=8 TT=4.877 T1=2.76	OPTIMUM f=8 TT=6.768 T1=6.78	OPTIMUM f=8 TT=509.035 T1=496.09	MSAT (TO) f=1305 TT=3600.31 T1=3589.84	OPTIMUM f=8 TT=11.458 T1=7.86	OPTIMUM f=8 TT=2.048 T1=1.91
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-33-100-0.wbo	MOPT f=10 TT=0.102 T1=0.09	OPTIMUM f=10 TT=0.102 T1=0.09	OPTIMUM f=10 TT=3.387 T1=1.3	OPTIMUM f=10 TT=2.188 T1=2.18	OPTIMUM f=10 TT=2.398 T1=2.4	OPTIMUM f=10 TT=11.272 T1=0.69	OPTIMUM f=10 TT=4.492 T1=2.26	OPTIMUM f=10 TT=4.42 T1=2.22	OPTIMUM f=10 TT=4.454 T1=2.22	OPTIMUM f=10 TT=4.97 T1=4.88	OPTIMUM f=10 TT=4.009 T1=3.93	OPTIMUM f=10 TT=3.911 T1=3.82	OPTIMUM f=10 TT=2.947 T1=2.96	OPTIMUM f=10 TT=621.911 T1=470.1	OPTIMUM f=10 TT=512.939 T1=503.66	OPTIMUM f=10 TT=8.61 T1=3.99	OPTIMUM f=10 TT=2.28 T1=2.27
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110970444--soft-66-100-0.wbo	MOPT f=80 TT=0.125 T1=0	OPTIMUM f=80 TT=0.125 T1=0	OPTIMUM f=80 TT=4.981 T1=0.02	OPTIMUM f=80 TT=1.347 T1=1.36	OPTIMUM f=80 TT=1.323 T1=1.33	OPTIMUM f=80 TT=9.316 T1=0.63	OPTIMUM f=80 TT=11.129 T1=2.85	OPTIMUM f=80 TT=12.224 T1=3.74	OPTIMUM f=80 TT=11.286 T1=2.83	OPTIMUM f=80 TT=5.417 T1=0.15	OPTIMUM f=80 TT=5.5 T1=0.16	OPTIMUM f=80 TT=5.464 T1=0.15	OPTIMUM f=80 TT=5.03 T1=5.04	OPTIMUM f=80 TT=326.203 T1=293.58	OPTIMUM f=80 TT=2781.2 T1=2771.39	OPTIMUM f=80 TT=8.626 T1=3.71	OPTIMUM f=80 TT=6.204 T1=0.57
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1110975607--soft-66-100-0.wbo	MOPT f=18 TT=0.47 T1=0.26	OPTIMUM f=18 TT=0.47 T1=0.4	OPTIMUM f=18 TT=2.9 T1=1.84	OPTIMUM f=18 TT=2.231 T1=2.26	OPTIMUM f=18 TT=2.175 T1=2.19	OPTIMUM f=18 TT=7.802 T1=0.52	OPTIMUM f=18 TT=3.235 T1=1.73	OPTIMUM f=18 TT=3.123 T1=1.66	OPTIMUM f=18 TT=3.289 T1=1.77	OPTIMUM f=18 TT=2.216 T1=0.24	OPTIMUM f=18 TT=2.259 T1=0.25	OPTIMUM f=18 TT=2.261 T1=0.26	OPTIMUM f=18 TT=2.106 T1=2.11	OPTIMUM f=18 TT=168.245 T1=161.61	OPTIMUM f=18 TT=26.763 T1=20.75	OPTIMUM f=18 TT=10.066 T1=6.67	OPTIMUM f=18 TT=1.119 T1=1.07
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111218955--soft-33-100-0.wbo	MOPT f=2 TT=0.136 T1=0.05	OPTIMUM f=2 TT=0.136 T1=0.05	OPTIMUM f=2 TT=0.781 T1=0.29	OPTIMUM f=2 TT=0.774 T1=0.77	OPTIMUM f=2 TT=1.202 T1=1.23	OPTIMUM f=2 TT=10.596 T1=0.67	OPTIMUM f=2 TT=2.038 T1=0.57	OPTIMUM f=2 TT=2.06 T1=0.58	OPTIMUM f=2 TT=2.003 T1=0.55	OPTIMUM f=2 TT=4.145 T1=4.16	OPTIMUM f=2 TT=3.154 T1=3.17	OPTIMUM f=2 TT=3.086 T1=3.09	OPTIMUM f=2 TT=3.211 T1=3.22	OPTIMUM f=2 TT=117.407 T1=109.61	OPTIMUM f=2 TT=230.656 T1=226.51	OPTIMUM f=2 TT=9.651 T1=6.51	OPTIMUM f=2 TT=0.888 T1=0.6
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220019--soft-33-100-0.wbo	MOPT f=2 TT=0.399 T1=0.24	OPTIMUM f=2 TT=0.399 T1=0.24	OPTIMUM f=2 TT=3.562 T1=3.57	OPTIMUM f=2 TT=1.468 T1=1.46	OPTIMUM f=2 TT=0.97 T1=0.97	OPTIMUM f=2 TT=13.964 T1=0.85	OPTIMUM f=2 TT=3.811 T1=2.57	OPTIMUM f=2 TT=3.724 T1=2.5	OPTIMUM f=2 TT=3.775 T1=2.54	OPTIMUM f=2 TT=3.112 T1=2.91	OPTIMUM f=2 TT=2.292 T1=2.09	OPTIMUM f=2 TT=2.206 T1=2	OPTIMUM f=2 TT=2.478 T1=2.49	MSAT (TO) f=340 TT=3600.33 T1=3511.51	OPTIMUM f=2 TT=453.143 T1=443.98	OPTIMUM f=2 TT=7.297 T1=4.04	OPTIMUM f=2 TT=0.755 T1=0.53
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo	MOPT f=28 TT=0.659 T1=0.46	OPTIMUM f=28 TT=0.659 T1=0.46	OPTIMUM f=28 TT=11.491 T1=5.34	OPTIMUM f=28 TT=1.124 T1=1.13	OPTIMUM f=28 TT=1.462 T1=1.46	OPTIMUM f=28 TT=18.132 T1=1.04	OPTIMUM f=28 TT=15.768 T1=15.25	OPTIMUM f=28 TT=15.355 T1=14.84	OPTIMUM f=28 TT=15.493 T1=14.97	OPTIMUM f=28 TT=11.837 T1=11.87	OPTIMUM f=28 TT=11.162 T1=11.19	OPTIMUM f=28 TT=10.851 T1=10.87	OPTIMUM f=28 TT=11.26 T1=11.28	OPTIMUM f=28 TT=808.119 T1=605.5	MSAT (TO) f=1289 TT=3600.45 T1=3586.27	OPTIMUM f=28 TT=8.4 T1=2.83	OPTIMUM f=28 TT=1.834 T1=1.04
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111221203--soft-33-100-0.wbo	MOPT f=2 TT=0.227 T1=0.08	OPTIMUM f=2 TT=0.227 T1=0.08	OPTIMUM f=2 TT=3.547 T1=3.55	OPTIMUM f=2 TT=1.744 T1=1.76	OPTIMUM f=2 TT=1.202 T1=1.2	OPTIMUM f=2 TT=23.367 T1=1.35	OPTIMUM f=2 TT=4.768 T1=2.91	OPTIMUM f=2 TT=4.603 T1=2.8	OPTIMUM f=2 TT=4.592 T1=2.79	OPTIMUM f=2 TT=5.331 T1=5.35	OPTIMUM f=2 TT=4.41 T1=4.41	OPTIMUM f=2 TT=4.341 T1=4.34	OPTIMUM f=2 TT=3.195 T1=3.2	OPTIMUM f=2 TT=247.993 T1=239.87	OPTIMUM f=2 TT=1353.96 T1=1348.35	OPTIMUM f=2 TT=10.983 T1=7.44	OPTIMUM f=2 TT=2.301 T1=2.26
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111222257--soft-33-100-0.wbo	MOPT f=8 TT=0.451 T1=0.22	OPTIMUM f=8 TT=0.451 T1=0.22	OPTIMUM f=8 TT=7.813 T1=3.25	OPTIMUM f=8 TT=1.617 T1=1.62	OPTIMUM f=8 TT=0.868 T1=0.88	OPTIMUM f=8 TT=17.169 T1=0.99	OPTIMUM f=8 TT=7.5 T1=1.35	OPTIMUM f=8 TT=7.411 T1=1.32	OPTIMUM f=8 TT=7.548 T1=1.37	OPTIMUM f=8 TT=5.848 T1=4.92	OPTIMUM f=8 TT=4.739 T1=3.79	OPTIMUM f=8 TT=4.684 T1=3.74	OPTIMUM f=8 TT=4.362 T1=4.37	OPTIMUM f=8 TT=792.883 T1=782	OPTIMUM f=8 TT=589.407 T1=583.08	OPTIMUM f=8 TT=9.744 T1=7.02	OPTIMUM f=8 TT=2.004 T1=1.98
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ namasivayam/wnqueen/ normalized-t2001.13queen13.1111224059--soft-33-100-0.wbo	MOPT f=15 TT=0.266 T1=0.26	OPTIMUM f=15 TT=0.266 T1=0.26	OPTIMUM f=15 TT=1.302 T1=0.95	OPTIMUM f=15 TT=1.401 T1=1.4	OPTIMUM f=15 TT=1.557 T1=1.57	OPTIMUM f=15 TT=7.154 T1=0.46	OPTIMUM f=15 TT=5.288 T1=5.14	OPTIMUM f=15 TT=5.258 T1=5.12	OPTIMUM f=15 TT=5.345 T1=5.19	OPTIMUM f=15 TT=4.401 T1=1.88	OPTIMUM f=15 TT=3.29 T1=0.9	OPTIMUM f=15 TT=3.342 T1=0.92	OPTIMUM f=15 TT=2.744 T1=2.75	OPTIMUM f=15 TT=1652.6 T1=1548.08	OPTIMUM f=15 TT=1067.77 T1=990.75	OPTIMUM f=15 TT=13.148 T1=9.35	OPTIMUM f=15 TT=0.853 T1=0.79
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-105-100--soft-33-100-0.wbo	MOPT f=3 TT=0.806 T1=0.79	OPTIMUM f=3 TT=1.327 T1=1.07	OPTIMUM f=3 TT=0.895 T1=0.83	OPTIMUM f=3 TT=0.806 T1=0.79	OPTIMUM f=3 TT=1.885 T1=1.82	OPTIMUM f=3 TT=122.013 T1=11.52	MSAT (TO) f=3 TT=3600.02 T1=0.94	MSAT (TO) f=3 TT=3600.04 T1=0.85	MSAT (TO) f=3 TT=3600.08 T1=1.63	MSAT (TO) f=3 TT=3600.12 T1=6.93	MSAT (TO) f=3 TT=3600.12 T1=5.96	MSAT (TO) f=3 TT=3600.04 T1=6.95	MSAT (TO) f=3 TT=3600.1 T1=3610	OPTIMUM f=3 TT=1.688 T1=0.88	OPTIMUM f=3 TT=1.902 T1=1.57	MSAT (TO) f=87 TT=3600.6 T1=2045.76	OPTIMUM f=3 TT=1.174 T1=1.04
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-11-10--soft-66-100-0.wbo	MOPT f=1 TT=0.002 T1=0	OPTIMUM f=1 TT=0.008 T1=0	OPTIMUM f=1 TT=0.002 T1=0	OPTIMUM f=1 TT=0.016 T1=0.01	OPTIMUM f=1 TT=0.041 T1=0.04	OPTIMUM f=1 TT=0.273 T1=0.06	OPTIMUM f=1 TT=0.171 T1=0.01	OPTIMUM f=1 TT=0.099 T1=0	OPTIMUM f=1 TT=0.292 T1=0.01	OPTIMUM f=1 TT=1.917 T1=0.13	OPTIMUM f=1 TT=0.97 T1=0.04	OPTIMUM f=1 TT=0.991 T1=0.04	OPTIMUM f=1 TT=0.364 T1=0.36	OPTIMUM f=1 TT=0.689 T1=0.38	OPTIMUM f=1 TT=0.343 T1=0.22	OPTIMUM f=1 TT=72.143 T1=0.7	OPTIMUM f=1 TT=0.02 T1=0.01
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-25-20--soft-66-100-0.wbo	MOPT f=7 TT=0.009 T1=0	OPTIMUM f=7 TT=0.012 T1=0.01	OPTIMUM f=7 TT=0.009 T1=0	OPTIMUM f=7 TT=0.043 T1=0.04	OPTIMUM f=7 TT=0.11 T1=0.11	OPTIMUM f=7 TT=0.72 T1=0.11	MSAT (TO) f=7 TT=3600.09 T1=0.11	MSAT (TO) f=7 TT=3600.09 T1=0.04	MSAT (TO) f=7 TT=3600.04 T1=0.14	MSAT (TO) f=8 TT=3600.1 T1=0.05	MSAT (TO) f=8 TT=3600.07 T1=0.02	MSAT (TO) f=8 TT=3600.07 T1=0.03	MSAT (TO) f=7 TT=3600.09 T1=3609.7	OPTIMUM f=7 TT=0.725 T1=0.39	OPTIMUM f=7 TT=1.022 T1=0.59	MSAT (TO) f=7 TT=3600.41 T1=1.38	OPTIMUM f=7 TT=0.073 T1=0.03
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-31-30--soft-66-100-0.wbo	MOPT f=1 TT=0.021 T1=0.01	OPTIMUM f=1 TT=0.069 T1=0.06	OPTIMUM f=1 TT=0.021 T1=0.01	OPTIMUM f=1 TT=0.051 T1=0.04	OPTIMUM f=1 TT=0.05 T1=0.05	OPTIMUM f=1 TT=0.941 T1=0.15	MSAT (TO) f=1 TT=3600.01 T1=0.07	MSAT (TO) f=1 TT=3600.06 T1=0.07	MSAT (TO) f=1 TT=3600.1 T1=0.07	MSAT (TO) f=1 TT=3600.06 T1=0.09	MSAT (TO) f=1 TT=3600.11 T1=0.03	MSAT (TO) f=1 TT=3600.05 T1=0.03	MSAT (TO) f=1 TT=3600.02 T1=3612.8	OPTIMUM f=1 TT=0.829 T1=0.42	OPTIMUM f=1 TT=1.602 T1=1.46	MSAT (TO) f=1 TT=3600.67 T1=1.45	OPTIMUM f=1 TT=0.104 T1=0.06
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-61-60--soft-33-100-0.wbo	MOPT f=1 TT=0.131 T1=0.11	OPTIMUM f=1 TT=0.342 T1=0.32	OPTIMUM f=1 TT=0.131 T1=0.11	OPTIMUM f=1 TT=0.262 T1=0.26	OPTIMUM f=1 TT=0.599 T1=0.6	OPTIMUM f=1 TT=11.503 T1=1.06	MSAT (TO) f=1 TT=3600.02 T1=3.14	MSAT (TO) f=1 TT=3600.08 T1=3.32	MSAT (TO) f=1 TT=3600.04 T1=4.27	MSAT (TO) f=1 TT=3600.06 T1=2.59	MSAT (TO) f=1 TT=3600.03 T1=1.55	MSAT (TO) f=1 TT=3600.02 T1=2.62	MSAT (TO) f=1 TT=3600.03 T1=3609.8	OPTIMUM f=1 TT=13.22 T1=10.23	OPTIMUM f=1 TT=4.541 T1=2.83	MSAT (TO) f=1 TT=3600.61 T1=173.25	OPTIMUM f=1 TT=0.431 T1=0.42
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-65-60--soft-66-100-0.wbo	MOPT f=4 TT=0.164 T1=0.15	OPTIMUM f=4 TT=0.353 T1=0.32	OPTIMUM f=4 TT=0.164 T1=0.15	OPTIMUM f=4 TT=0.403 T1=0.39	OPTIMUM f=4 TT=0.41 T1=0.42	OPTIMUM f=4 TT=7.005 T1=0.75	MSAT (TO) f=4 TT=3600.1 T1=1.81	MSAT (TO) f=4 TT=3600.05 T1=1.05	MSAT (TO) f=4 TT=3600.05 T1=1.98	MSAT (TO) f=5 TT=3600.09 T1=9.35	MSAT (TO) f=5 TT=3600.09 T1=8.21	MSAT (TO) f=5 TT=3600.1 T1=8.18	MSAT (TO) f=4 TT=3600.08 T1=3610.2	OPTIMUM f=4 TT=1.156 T1=0.62	OPTIMUM f=4 TT=1.442 T1=1.35	MSAT (TO) f=4 TT=3600.69 T1=11.69	OPTIMUM f=4 TT=0.719 T1=0.7
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-75-70--soft-66-100-0.wbo	MOPT f=1 TT=0.192 T1=0.17	OPTIMUM f=1 TT=0.576 T1=0.53	OPTIMUM f=1 TT=0.192 T1=0.17	OPTIMUM f=1 TT=0.216 T1=0.21	OPTIMUM f=1 TT=0.221 T1=0.22	OPTIMUM f=1 TT=16.173 T1=1.42	MSAT (TO) f=1 TT=3600.09 T1=0.24	MSAT (TO) f=1 TT=3600.09 T1=0.17	MSAT (TO) f=1 TT=3600.05 T1=0.44	MSAT (TO) f=1 TT=3600.05 T1=0.43	MSAT (TO) f=1 TT=3600.1 T1=0.46	MSAT (TO) f=1 TT=3600.1 T1=1.06	MSAT (TO) f=1 TT=3600.03 T1=3610.9	OPTIMUM f=1 TT=0.839 T1=0.46	OPTIMUM f=1 TT=0.624 T1=0.65	MSAT (TO) f=1 TT=3600.71 T1=726.3	OPTIMUM f=1 TT=0.428 T1=0.4
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-85-80--soft-33-100-0.wbo	MOPT f=1 TT=0.717 T1=0.37	OPTIMUM f=1 TT=0.717 T1=0.67	OPTIMUM f=1 TT=1.572 T1=0.37	OPTIMUM f=1 TT=2.085 T1=2.07	OPTIMUM f=1 TT=3.162 T1=3.14	OPTIMUM f=1 TT=50.713 T1=4.09	MSAT (TO) f=1 TT=3600.09 T1=0.47	MSAT (TO) f=1 TT=3600.05 T1=0.37	MSAT (TO) f=1 TT=3600.1 T1=0.38	MSAT (TO) f=1 TT=3600.08 T1=1.77	MSAT (TO) f=1 TT=3600.09 T1=0.96	MSAT (TO) f=1 TT=3600.06 T1=1.01	MSAT (TO) f=1 TT=3600.11 T1=3610.6	OPTIMUM f=1 TT=1.099 T1=0.56	OPTIMUM f=1 TT=1.686 T1=1.48	MSAT (TO) f=1 TT=3600.59 T1=174.2	OPTIMUM f=1 TT=0.757 T1=0.73
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-91-90--soft-33-100-0.wbo	MOPT f=1 TT=0.377 T1=0.33	OPTIMUM f=1 TT=0.937 T1=0.87	OPTIMUM f=1 TT=0.377 T1=0.33	OPTIMUM f=1 TT=0.462 T1=0.45	OPTIMUM f=1 TT=0.458 T1=0.46	OPTIMUM f=1 TT=71.857 T1=6.78	MSAT (TO) f=1 TT=3600.1 T1=4.38	MSAT (TO) f=1 TT=3600.09 T1=4.12	MSAT (TO) f=1 TT=3600.06 T1=4.78	MSAT (TO) f=1 TT=3600.03 T1=7.62	MSAT (TO) f=1 TT=3600.06 T1=6.67	MSAT (TO) f=1 TT=3600.08 T1=6.8	MSAT (TO) f=1 TT=3600.02 T1=3609.7	OPTIMUM f=1 TT=4.421 T1=2.66	OPTIMUM f=1 TT=6.022 T1=3.96	MSAT (TO) f=8 TT=3600.2 T1=3366.67	OPTIMUM f=1 TT=0.801 T1=0.76
PB24/WBO/PARTIAL-LIN/PB06/submitted-PB06/ roussel/ normalized-pigeon-cardinality-95-90--soft-66-100-0.wbo	MOPT f=2 TT=0.366 T1=0.32	OPTIMUM f=2 TT=1.166 T1=1.1	OPTIMUM f=2 TT=0.366 T1=0.32	OPTIMUM f=2 TT=0.674 T1=0.68	OPTIMUM f=2 TT=0.699 T1=0.69	OPTIMUM f=2 TT=69.395 T1=5.02	MSAT (TO) f=3 TT=3600.1 T1=0.57	MSAT (TO) f=3 TT=3600.09 T1=0.35	MSAT (TO) f=3 TT=3600.1 T1=0.86	MSAT (TO) f=3 TT=3600.04 T1=0.75	MSAT (TO) f=3 TT=3600.12 T1=0.78	MSAT (TO) f=3 TT=3600.09 T1=1.54	MSAT (TO) f=2 TT=3600.12 T1=3611	OPTIMUM f=2 TT=1.276 T1=0.67	OPTIMUM f=2 TT=1.8 T1=1.55	MSAT (TO) f=17 TT=3600.75 T1=2474.92	OPTIMUM f=2 TT=1.053 T1=0.71
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-43s.smv--soft-66-100-0.wbo	MOPT f=1 TT=0.78 T1=0.57	OPTIMUM f=1 TT=0.78 T1=0.77	OPTIMUM f=1 TT=4.028 T1=3.54	OPTIMUM f=1 TT=90.391 T1=91.18	OPTIMUM f=1 TT=88.64 T1=89.01	OPTIMUM f=1 TT=465.777 T1=31.09	OPTIMUM f=1 TT=55.597 T1=39.2	OPTIMUM f=1 TT=60.586 T1=42.41	OPTIMUM f=1 TT=57.35 T1=40.25	OPTIMUM f=1 TT=23.389 T1=23.04	OPTIMUM f=1 TT=23.346 T1=23.01	OPTIMUM f=1 TT=23.964 T1=23.6	OPTIMUM f=1 TT=21.81 T1=21.77	OPTIMUM f=1 TT=6.42 T1=3.45	OPTIMUM f=1 TT=4.057 T1=2.66	OPTIMUM f=1 TT=1.365 T1=0.57	OPTIMUM f=1 TT=93.375 T1=81.7
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-46s.smv--soft-66-100-0.wbo	MOPT f=1 TT=0.18 T1=0.17	OPTIMUM f=1 TT=0.18 T1=0.17	OPTIMUM f=1 TT=0.357 T1=0.35	OPTIMUM f=1 TT=19.316 T1=19.47	OPTIMUM f=1 TT=20.72 T1=20.77	OPTIMUM f=1 TT=64.948 T1=4.6	OPTIMUM f=1 TT=2.351 T1=1.36	OPTIMUM f=1 TT=2.38 T1=1.39	OPTIMUM f=1 TT=3.421 T1=2.34	OPTIMUM f=1 TT=9.434 T1=9.25	OPTIMUM f=1 TT=9.298 T1=9.11	OPTIMUM f=1 TT=7.78 T1=7.59	OPTIMUM f=1 TT=4.577 T1=4.57	OPTIMUM f=1 TT=1.921 T1=0.85	OPTIMUM f=1 TT=2.73 T1=1.91	OPTIMUM f=1 TT=0.706 T1=0.37	OPTIMUM f=1 TT=14.569 T1=12.79
PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-blast-floppy1-8.ucl--soft-66-100-0.wbo	MOPT f=4 TT=0.703 T1=0.62	OPTIMUM f=4 TT=0.86 T1=0.85	OPTIMUM f=4 TT=0.703 T1=0.7	OPTIMUM f=4 TT=15.907 T1=15.93	OPTIMUM f=4 TT=16.4 T1=16.46	OPTIMUM f=4 TT=227.24 T1=14.04	OPTIMUM f=4 TT=59.75 T1=59.8	OPTIMUM f=4 TT=59.175 T1=59.22	OPTIMUM f=4 TT=60.218 T1=60.35	OPTIMUM f=4 TT=32.796 T1=32.79	OPTIMUM f=4 TT=34.139 T1=34.11	OPTIMUM f=4 TT=31.478 T1=31.46	OPTIMUM f=4 TT=41.39 T1=41.41	OPTIMUM f=4 TT=1.511 T1=0.84	OPTIMUM f=4 TT=3.676 T1=2.52	OPTIMUM f=4 TT=1.15 T1=0.62	OPTIMUM f=4 TT=13.465 T1=13.42
PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-cache-ibm-q-unbounded.Icl2arity.ucl--soft-66-100-0.wbo	MOPT f=1 TT=6.013 T1=2.2	OPTIMUM f=1 TT=108.231 T1=108.37	OPTIMUM f=1 TT=126.086 T1=117.94	? (TO) TT=3600.11	MSAT f=2074 TT=3589.66 T1=3599.64	? (TO) TT=72002.7	OPTIMUM f=1 TT=1076.35 T1=905.83	OPTIMUM f=1 TT=1077.02 T1=915.39	OPTIMUM f=1 TT=1042.6 T1=877.24	OPTIMUM f=1 TT=1409.27 T1=1401.11	OPTIMUM f=1 TT=1418.38 T1=1410.26	OPTIMUM f=1 TT=1429.34 T1=1421.76	OPTIMUM f=1 TT=986.651 T1=987.26	OPTIMUM f=1 TT=451.411 T1=433.17	OPTIMUM f=1 TT=216.099 T1=204.05	OPTIMUM f=1 TT=6.013 T1=2.2	MSAT f=2996 TT=3586.33 T1=3450.94
PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf6.ucl--soft-33-100-0.wbo	MOPT f=1 TT=0.004 T1=0	OPTIMUM f=1 TT=0.012 T1=0	OPTIMUM f=1 TT=0.004 T1=0	OPTIMUM f=1 TT=0.035 T1=0.03	OPTIMUM f=1 TT=0.035 T1=0.03	OPTIMUM f=1 TT=0.567 T1=0.09	OPTIMUM f=1 TT=0.045 T1=0.03	OPTIMUM f=1 TT=0.122 T1=0.12	OPTIMUM f=1 TT=0.045 T1=0.03	OPTIMUM f=1 TT=0.082 T1=0.06	OPTIMUM f=1 TT=0.029 T1=0.02	OPTIMUM f=1 TT=0.03 T1=0.02	OPTIMUM f=1 TT=0.016 T1=0.01	? TT=0.373	OPTIMUM f=1 TT=0.366 T1=0.76	OPTIMUM f=1 TT=0.434 T1=0.23	OPTIMUM f=1 TT=0.047 T1=0.04
PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-elf.rf7.ucl--soft-66-100-0.wbo	MOPT f=2 TT=0.209 T1=0.2	OPTIMUM f=2 TT=0.209 T1=0.2	OPTIMUM f=2 TT=0.241 T1=0.24	OPTIMUM f=2 TT=8.093 T1=8.11	OPTIMUM f=2 TT=10.671 T1=10.69	OPTIMUM f=2 TT=39.968 T1=3.2	OPTIMUM f=2 TT=0.859 T1=0.85	OPTIMUM f=2 TT=0.878 T1=0.85	OPTIMUM f=2 TT=1.524 T1=1.5	OPTIMUM f=2 TT=3.324 T1=3.28	OPTIMUM f=2 TT=4.438 T1=4.39	OPTIMUM f=2 TT=3.342 T1=3.3	OPTIMUM f=2 TT=2.278 T1=2.28	OPTIMUM f=2 TT=0.635 T1=0.33	OPTIMUM f=2 TT=1.557 T1=1.43	OPTIMUM f=2 TT=0.733 T1=0.36	OPTIMUM f=2 TT=6.662 T1=6.6
PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.burch_dill.4.accl.ucl--soft-33-100-0.wbo	MOPT f=1 TT=2.689 T1=1.36	OPTIMUM f=1 TT=4.711 T1=4.68	OPTIMUM f=1 TT=56.187 T1=56.34	OPTIMUM f=1 TT=268.305 T1=269.26	OPTIMUM f=1 TT=258.255 T1=259.16	OPTIMUM f=1 TT=848.625 T1=60.81	OPTIMUM f=1 TT=98.491 T1=63.96	OPTIMUM f=1 TT=98.376 T1=63.66	OPTIMUM f=1 TT=100.832 T1=64.58	OPTIMUM f=1 TT=133.75 T1=133.02	OPTIMUM f=1 TT=129.224 T1=128.5	OPTIMUM f=1 TT=128.809 T1=128.05	OPTIMUM f=1 TT=52.109 T1=51.99	? TT=1.398	OPTIMUM f=1 TT=28.825 T1=25.89	OPTIMUM f=1 TT=2.689 T1=1.36	OPTIMUM f=1 TT=440.302 T1=385.08
PB24/WBO/PARTIAL-LIN/PB06/web/uclid_pb_benchmarks/ normalized-ooo.ex.br.mem.Src1Valid_Src1ValidBar.ucl--soft-33-100-0.wbo	MOPT f=1 TT=302.218 T1=43.7	MSAT f=131157 TT=843.278 T1=844.5	MSAT (TO) f=103902 TT=3600.68 T1=3610.5	? TT=3592.26	? TT=3592.07	? (TO) TT=5040.46	? (exit code) TT=231.463	? (exit code) TT=249.237	MSAT (MO) f=712954 TT=245.962 T1=246.21	? (exit code) TT=308.65	? (exit code) TT=307.534	? (exit code) TT=292.466	? (exit code) TT=337.176	? TT=113.367	MSAT (TO) f=14442 TT=3600.43 T1=3602.67	OPTIMUM f=1 TT=302.218 T1=43.7	MSAT f=1775826 TT=3585.03 T1=2394.98
PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.rf7.ucl--soft-66-100-0.wbo	MOPT f=1 TT=0.948 T1=0.95	OPTIMUM f=1 TT=0.948 T1=0.95	OPTIMUM f=1 TT=2.931 T1=2.93	OPTIMUM f=1 TT=108.825 T1=109.22	OPTIMUM f=1 TT=104.341 T1=104.55	OPTIMUM f=1 TT=476.105 T1=33.53	OPTIMUM f=1 TT=10.395 T1=9.25	OPTIMUM f=1 TT=10.549 T1=9.38	OPTIMUM f=1 TT=11.552 T1=10.36	OPTIMUM f=1 TT=37.161 T1=36.82	OPTIMUM f=1 TT=38.42 T1=38.09	OPTIMUM f=1 TT=37.088 T1=36.79	OPTIMUM f=1 TT=24.347 T1=24.27	? TT=1.325	OPTIMUM f=1 TT=9.153 T1=5.99	OPTIMUM f=1 TT=2.243 T1=1.13	OPTIMUM f=1 TT=86.577 T1=62.49
PB24/WBO/PARTIAL-LIN/PB06/web/ uclid_pb_benchmarks/ normalized-ooo.tag12.ucl--soft-66-100-0.wbo	MOPT f=1 TT=30.784 T1=6.06	OPTIMUM f=1 TT=71.385 T1=70.05	OPTIMUM f=1 TT=60.905 T1=59.74	MSAT f=131 TT=3589.86 T1=3601.57	MSAT f=131 TT=3587.64 T1=3599.56	? (TO) TT=72003.4	OPTIMUM f=1 TT=317.386 T1=196.81	OPTIMUM f=1 TT=311.963 T1=189.43	OPTIMUM f=1 TT=306.64 T1=187.97	OPTIMUM f=1 TT=246.002 T1=243.56	OPTIMUM f=1 TT=248.783 T1=245.95	OPTIMUM f=1 TT=254.565 T1=251.65	OPTIMUM f=1 TT=193.62 T1=192.8	OPTIMUM f=1 TT=695.632 T1=678.21	OPTIMUM f=1 TT=603.315 T1=586.65	OPTIMUM f=1 TT=30.784 T1=6.06	MSAT f=567 TT=3586.79 T1=3102.99
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j120/ normalized-j12013_1-unsat--soft-66-100-0.wbo	MSAT f=4904 TT=3600.39 T1=3608.9	MSAT (TO) f=45901 TT=3600.13 T1=3590.09	MSAT (TO) f=50193 TT=3600.11 T1=3609.5	MSAT f=43374 TT=3589.32 T1=3601.05	MSAT f=6148 TT=3589.29 T1=3599.04	? (TO) TT=72001.6	MSAT (TO) f=5386 TT=3600.12 T1=1014.38	MSAT (TO) f=5386 TT=3600.2 T1=993.81	MSAT (TO) f=5386 TT=3600.19 T1=978.65	MSAT (TO) f=4904 TT=3600.24 T1=3610.1	MSAT (TO) f=4904 TT=3600.27 T1=3612.02	MSAT (TO) f=4904 TT=3600.48 T1=3610.8	MSAT (TO) f=4904 TT=3600.39 T1=3608.9	? TT=10.848	MSAT (TO) f=9412 TT=3600.29 T1=3608.54	? (TO) TT=3600.31	MSAT f=42367 TT=3587.17 T1=17.78
PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j120/ normalized-j12027_7-unsat--soft-33-100-0.wbo	MSAT f=2993 TT=3600.34 T1=3608.77	MSAT (TO) f=219224 TT=3600.14 T1=3343.03	MSAT (TO) f=211104 TT=3600.17 T1=3611	MSAT f=48035 TT=3597.78 T1=3606.75	? (TO) TT=3600.07	? (TO) TT=68525.9	? (exit code) TT=251.113	? (exit code) TT=255.268	? (exit code) TT=265.733	? (exit code) TT=356.666	? (exit code) TT=375.361	? (exit code) TT=369.69	? (exit code) TT=373.54	? TT=12.86	MSAT (TO) f=2993 TT=3600.34 T1=3608.77	? (TO) TT=3600.58	MSAT f=486715 TT=3588.81 T1=277.32
PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j120/ normalized-j1205_1-unsat--soft-66-100-0.wbo	MOPT f=17 TT=1.68 T1=0.78	OPTIMUM f=17 TT=553.374 T1=554.92	OPTIMUM f=17 TT=150.457 T1=150.9	OPTIMUM f=17 TT=154.33 T1=154.47	OPTIMUM f=17 TT=137.147 T1=137.24	OPTIMUM f=17 TT=1530.92 T1=94.87	OPTIMUM f=17 TT=56.433 T1=35.4	OPTIMUM f=17 TT=56.764 T1=35.29	OPTIMUM f=17 TT=54.641 T1=33.9	OPTIMUM f=17 TT=208.503 T1=115.57	OPTIMUM f=17 TT=201.019 T1=112.26	OPTIMUM f=17 TT=207.535 T1=115.4	OPTIMUM f=17 TT=134.965 T1=134.03	? TT=7.25	OPTIMUM f=17 TT=6.9 T1=4.65	OPTIMUM f=17 TT=1.68 T1=0.78	OPTIMUM f=17 TT=47.199 T1=46.77
PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j30/ normalized-j3029_8-unsat--soft-33-100-0.wbo	MOPT f=4 TT=642.691 T1=643.33	MSAT (TO) f=34613 TT=3600.12 T1=3511.32	MSAT (TO) f=34870 TT=3600.06 T1=3474.68	MSAT f=274 TT=3591.58 T1=3600.36	MSAT f=495 TT=3588.66 T1=3598.4	OPTIMUM f=4 TT=14394.8 T1=740.71	OPTIMUM f=4 TT=1710.69 T1=1708.35	OPTIMUM f=4 TT=1877.59 T1=1877.75	OPTIMUM f=4 TT=1740.6 T1=1738.78	OPTIMUM f=4 TT=999.355 T1=988.79	OPTIMUM f=4 TT=990.631 T1=979.12	OPTIMUM f=4 TT=961.941 T1=951.86	OPTIMUM f=4 TT=642.691 T1=643.33	? TT=1.622	MSAT (TO) f=473 TT=3600.25 T1=929.98	OPTIMUM f=4 TT=1889.69 T1=1872.2	MSAT f=159 TT=3584.21 T1=3400.08
PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j30/ normalized-j3029_8-unsat--soft-66-100-0.wbo	MOPT f=2 TT=143.802 T1=143.79	OPTIMUM f=2 TT=1819.87 T1=1803.28	OPTIMUM f=2 TT=1467.94 T1=1459.51	MSAT f=630 TT=3591.29 T1=3600.07	MSAT f=574 TT=3588.25 T1=3598.08	OPTIMUM f=2 TT=5706.2 T1=298.08	OPTIMUM f=2 TT=920.247 T1=844.72	OPTIMUM f=2 TT=981.21 T1=898	OPTIMUM f=2 TT=933.763 T1=856	OPTIMUM f=2 TT=156.364 T1=149.6	OPTIMUM f=2 TT=163.926 T1=157.03	OPTIMUM f=2 TT=157.31 T1=150.5	OPTIMUM f=2 TT=143.802 T1=143.79	? TT=1.374	MSAT (TO) f=422 TT=3600.36 T1=3575.53	OPTIMUM f=2 TT=639.524 T1=621.5	MSAT f=810 TT=3587.72 T1=3563.2
PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j30/ normalized-j3041_4-unsat--soft-66-100-0.wbo	MOPT f=5 TT=5.184 T1=3.12	OPTIMUM f=5 TT=439.167 T1=440.28	OPTIMUM f=5 TT=175.849 T1=176.28	OPTIMUM f=5 TT=2510.27 T1=2519.7	OPTIMUM f=5 TT=2462.36 T1=2468.33	OPTIMUM f=5 TT=677.25 T1=43.25	OPTIMUM f=5 TT=151.342 T1=130.42	OPTIMUM f=5 TT=157.224 T1=136.13	OPTIMUM f=5 TT=152.571 T1=132.09	OPTIMUM f=5 TT=66.507 T1=66.32	OPTIMUM f=5 TT=66.164 T1=65.97	OPTIMUM f=5 TT=63.925 T1=63.72	OPTIMUM f=5 TT=47.581 T1=47.51	? TT=1.392	OPTIMUM f=5 TT=162.034 T1=155.29	OPTIMUM f=5 TT=5.184 T1=3.12	OPTIMUM f=5 TT=2249.16 T1=2175.76
PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j60/ normalized-j605_1-unsat--soft-33-100-0.wbo	MOPT f=1 TT=80.418 T1=73.82	MSAT (TO) f=70989 TT=3600.08 T1=3600.08	MSAT (TO) f=67442 TT=3600.09 T1=3572.8	MSAT f=717 TT=3587.37 T1=3600.89	MSAT f=717 TT=3587.69 T1=3598.89	OPTIMUM f=1 TT=53003.7 T1=2716.24	OPTIMUM f=1 TT=1725.24 T1=1551.34	OPTIMUM f=1 TT=1688.31 T1=1509.84	OPTIMUM f=1 TT=1720.41 T1=1545.63	OPTIMUM f=1 TT=658.01 T1=653.07	OPTIMUM f=1 TT=653.069 T1=648.28	OPTIMUM f=1 TT=625.92 T1=621.31	OPTIMUM f=1 TT=407.416 T1=405.93	? TT=4.067	MSAT (TO) f=52 TT=3600.47 T1=3527.28	OPTIMUM f=1 TT=80.418 T1=73.82	MSAT f=1342 TT=3585.95 T1=2240.03
PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j90/ normalized-j9012_2-unsat--soft-33-100-0.wbo	MOPT f=11 TT=2.341 T1=1.13	MSAT (TO) f=92879 TT=3600.08 T1=3470	MSAT (TO) f=77516 TT=3600.09 T1=3407.29	OPTIMUM f=11 TT=112.28 T1=112.22	OPTIMUM f=11 TT=124.345 T1=124.25	OPTIMUM f=11 TT=6253.94 T1=359.24	OPTIMUM f=11 TT=117.335 T1=93.27	OPTIMUM f=11 TT=119.194 T1=93.43	OPTIMUM f=11 TT=116.601 T1=92.38	OPTIMUM f=11 TT=193.518 T1=191.63	OPTIMUM f=11 TT=191.061 T1=189.19	OPTIMUM f=11 TT=187.193 T1=185.3	OPTIMUM f=11 TT=192.042 T1=190.73	OPTIMUM f=11 TT=4.503 T1=2.42	OPTIMUM f=11 TT=4.579 T1=2.55	OPTIMUM f=11 TT=2.341 T1=1.13	OPTIMUM f=11 TT=61.555 T1=61.32
PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j90/ normalized-j9015_10-unsat--soft-66-100-0.wbo	MOPT f=29 TT=1.394 T1=0.67	MSAT (TO) f=8003 TT=3600.04 T1=3602.63	MSAT (TO) f=12954 TT=3600.09 T1=3544.01	OPTIMUM f=29 TT=47.375 T1=47.32	OPTIMUM f=29 TT=46.785 T1=46.95	OPTIMUM f=29 TT=524.059 T1=35.02	OPTIMUM f=29 TT=64.112 T1=63.13	OPTIMUM f=29 TT=66.446 T1=65.45	OPTIMUM f=29 TT=65.717 T1=64.72	OPTIMUM f=29 TT=118.977 T1=118.29	OPTIMUM f=29 TT=116.721 T1=115.96	OPTIMUM f=29 TT=117.64 T1=116.87	OPTIMUM f=29 TT=94.895 T1=94.38	OPTIMUM f=29 TT=5.033 T1=2.7	OPTIMUM f=29 TT=4.501 T1=2.27	OPTIMUM f=29 TT=1.394 T1=0.67	OPTIMUM f=29 TT=30.689 T1=30.27
PB24/WBO/PARTIAL-LIN/PB10/ oliveras/j90/ normalized-j9039_3-unsat--soft-33-100-0.wbo	MOPT f=10 TT=2.73 T1=1.31	MSAT (TO) f=115184 TT=3600.13 T1=3502.75	MSAT (TO) f=114353 TT=3600.08 T1=3398.38	OPTIMUM f=10 TT=589.047 T1=590.57	OPTIMUM f=10 TT=524.464 T1=525.63	OPTIMUM f=10 TT=12445.4 T1=794.27	OPTIMUM f=10 TT=62.025 T1=34.97	OPTIMUM f=10 TT=66.485 T1=37.33	OPTIMUM f=10 TT=62.626 T1=35.37	OPTIMUM f=10 TT=290.085 T1=194.61	OPTIMUM f=10 TT=294.697 T1=198.44	OPTIMUM f=10 TT=288.28 T1=195.17	OPTIMUM f=10 TT=206.963 T1=205.65	? TT=5.644	OPTIMUM f=10 TT=5.737 T1=3.61	OPTIMUM f=10 TT=2.73 T1=1.31	OPTIMUM f=10 TT=121.738 T1=121.44
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-16wqueens_wcsp.wbo	MOPT f=2 TT=0.422 T1=0.42	OPTIMUM f=2 TT=0.453 T1=0.45	OPTIMUM f=2 TT=0.611 T1=0.61	OPTIMUM f=2 TT=2.257 T1=2.26	OPTIMUM f=2 TT=2.311 T1=2.32	OPTIMUM f=2 TT=43.739 T1=2.71	OPTIMUM f=2 TT=1.924 T1=1.92	OPTIMUM f=2 TT=1.897 T1=1.88	OPTIMUM f=2 TT=2.016 T1=2	OPTIMUM f=2 TT=2.555 T1=2.51	OPTIMUM f=2 TT=2.563 T1=2.53	OPTIMUM f=2 TT=3.377 T1=3.33	OPTIMUM f=2 TT=0.422 T1=0.42	MSAT (TO) f=6 TT=3600.33 T1=813.28	OPTIMUM f=2 TT=1068.56 T1=502.13	OPTIMUM f=2 TT=9.724 T1=7.83	OPTIMUM f=2 TT=4.115 T1=3.99
PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-4queens_wcsp.wbo	MOPT f=0 TT=0.003 T1=0	OPTIMUM f=0 TT=0.004 T1=0	OPTIMUM f=0 TT=0.003 T1=0	OPTIMUM f=0 TT=0.013 T1=0.01	OPTIMUM f=0 TT=0.013 T1=0.01	OPTIMUM f=0 TT=0.013 T1=0.01	OPTIMUM f=0 TT=0.013 T1=0.01	OPTIMUM f=0 TT=0.017 T1=0.01	OPTIMUM f=0 TT=0.038 T1=0.03	OPTIMUM f=0 TT=0.007 T1=0	OPTIMUM f=0 TT=0.017 T1=0.01	OPTIMUM f=0 TT=0.007 T1=0	OPTIMUM f=0 TT=0.016 T1=0.01	OPTIMUM f=0 TT=0.364 T1=0.21	OPTIMUM f=0 TT=0.385 T1=0.22	OPTIMUM f=0 TT=0.829 T1=0.46	OPTIMUM f=0 TT=0.045 T1=0.03
PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-4wqueens_wcsp.wbo	MOPT f=0 TT=0.002 T1=0	OPTIMUM f=0 TT=0.002 T1=0	OPTIMUM f=0 TT=0.005 T1=0	OPTIMUM f=0 TT=0.006 T1=0	OPTIMUM f=0 TT=0.006 T1=0	OPTIMUM f=0 TT=0.006 T1=0	OPTIMUM f=0 TT=0.005 T1=0	OPTIMUM f=0 TT=0.005 T1=0	OPTIMUM f=0 TT=0.005 T1=0	OPTIMUM f=0 TT=0.004 T1=0	OPTIMUM f=0 TT=0.004 T1=0	OPTIMUM f=0 TT=0.007 T1=0	OPTIMUM f=0 TT=0.008 T1=0	OPTIMUM f=0 TT=0.341 T1=0.19	OPTIMUM f=0 TT=0.322 T1=0.18	OPTIMUM f=0 TT=0.739 T1=0.44	OPTIMUM f=0 TT=0.023 T1=0.01
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-donald_wcsp.wbo	MOPT f=0 TT=0.053 T1=0.05	OPTIMUM f=0 TT=0.053 T1=0.05	OPTIMUM f=0 TT=0.107 T1=0.1	OPTIMUM f=0 TT=0.872 T1=0.87	OPTIMUM f=0 TT=0.426 T1=0.42	OPTIMUM f=0 TT=2.318 T1=0.49	OPTIMUM f=0 TT=1.278 T1=1.26	OPTIMUM f=0 TT=1.33 T1=1.31	OPTIMUM f=0 TT=1.811 T1=1.8	OPTIMUM f=0 TT=3.615 T1=3.6	OPTIMUM f=0 TT=3.963 T1=3.95	OPTIMUM f=0 TT=3.663 T1=3.65	OPTIMUM f=0 TT=0.385 T1=0.38	OPTIMUM f=0 TT=1.211 T1=0.65	OPTIMUM f=0 TT=2.172 T1=1.14	OPTIMUM f=0 TT=1.306 T1=0.68	OPTIMUM f=0 TT=0.973 T1=0.93
PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-langford-2-4_wcsp.wbo	MOPT f=0 TT=0.004 T1=0	OPTIMUM f=0 TT=0.005 T1=0	OPTIMUM f=0 TT=0.004 T1=0	OPTIMUM f=0 TT=0.055 T1=0.05	OPTIMUM f=0 TT=0.022 T1=0.02	OPTIMUM f=0 TT=0.018 T1=0.01	OPTIMUM f=0 TT=0.021 T1=0.02	OPTIMUM f=0 TT=0.026 T1=0.02	OPTIMUM f=0 TT=0.06 T1=0.05	OPTIMUM f=0 TT=0.076 T1=0.07	OPTIMUM f=0 TT=0.083 T1=0.08	OPTIMUM f=0 TT=0.076 T1=0.07	OPTIMUM f=0 TT=0.022 T1=0.02	OPTIMUM f=0 TT=0.671 T1=0.37	OPTIMUM f=0 TT=1.006 T1=0.56	OPTIMUM f=0 TT=0.414 T1=0.22	OPTIMUM f=0 TT=0.06 T1=0.06
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-send_wcsp.wbo	MOPT f=0 TT=0.061 T1=0.05	OPTIMUM f=0 TT=0.093 T1=0.08	OPTIMUM f=0 TT=0.061 T1=0.05	OPTIMUM f=0 TT=3.368 T1=3.39	OPTIMUM f=0 TT=1.781 T1=1.79	OPTIMUM f=0 TT=4.773 T1=0.83	OPTIMUM f=0 TT=2.499 T1=2.46	OPTIMUM f=0 TT=2.901 T1=2.87	OPTIMUM f=0 TT=2.86 T1=2.83	OPTIMUM f=0 TT=6.161 T1=6.13	OPTIMUM f=0 TT=6.45 T1=6.43	OPTIMUM f=0 TT=6.069 T1=6.05	OPTIMUM f=0 TT=0.652 T1=0.65	OPTIMUM f=0 TT=1.748 T1=0.91	OPTIMUM f=0 TT=1.286 T1=0.68	OPTIMUM f=0 TT=1.288 T1=0.65	OPTIMUM f=0 TT=0.88 T1=0.81
PB24/WBO/PARTIAL-LIN/wcsp/ academics/ normalized-slangford-3-11_wcsp.wbo	MOPT f=54 TT=434.506 T1=98.32	OPTIMUM f=54 TT=1219.88 T1=166.25	OPTIMUM f=54 TT=1236.08 T1=98.32	MSAT f=54 TT=3587.23 T1=3601.43	MSAT f=107 TT=3586.86 T1=3599.53	? (TO) TT=72002	? (exit code) TT=368.343	? (exit code) TT=383.186	? (exit code) TT=406.369	Wrong Cert. TT=367.566	Wrong Cert. TT=376.931	? (MO) TT=359.91	OPTIMUM f=54 TT=506.631 T1=506.28	? TT=5.263	MSAT (TO) f=107 TT=3600.39 T1=3526.93	OPTIMUM f=54 TT=434.506 T1=136.73	MSAT f=374 TT=3586.29 T1=3408.8
PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-warehouse0_wcsp.wbo	MOPT f=328 TT=0.006 T1=0	OPTIMUM f=328 TT=0.006 T1=0	OPTIMUM f=328 TT=0.008 T1=0	OPTIMUM f=328 TT=0.056 T1=0.05	OPTIMUM f=328 TT=0.024 T1=0.02	OPTIMUM f=328 TT=0.35 T1=0.07	OPTIMUM f=328 TT=1.049 T1=0.96	OPTIMUM f=328 TT=1.787 T1=1.69	OPTIMUM f=328 TT=1.787 T1=1.67	OPTIMUM f=328 TT=0.469 T1=0.46	OPTIMUM f=328 TT=0.487 T1=0.47	OPTIMUM f=328 TT=0.454 T1=0.44	OPTIMUM f=328 TT=0.487 T1=0.5	OPTIMUM f=328 TT=13.154 T1=0.26	OPTIMUM f=328 TT=14.033 T1=0.21	OPTIMUM f=328 TT=0.803 T1=0.31	OPTIMUM f=328 TT=0.045 T1=0.04
PB24/WBO/PARTIAL-LIN/ wcsp/academics/ normalized-warehouse1_wcsp.wbo	MOPT f=674555 TT=0.187 T1=0.18	OPTIMUM f=674555 TT=0.335 T1=0.2	OPTIMUM f=674555 TT=21.022 T1=20.27	OPTIMUM f=674555 TT=0.399 T1=0.41	OPTIMUM f=674555 TT=0.187 T1=0.18	OPTIMUM f=674555 TT=1.434 T1=0.27	OPTIMUM f=674555 TT=270.127 T1=187.94	OPTIMUM f=674555 TT=292.823 T1=204.39	OPTIMUM f=674555 TT=282.27 T1=194.73	OPTIMUM f=674555 TT=131.932 T1=75.57	OPTIMUM f=674555 TT=140.603 T1=80.93	OPTIMUM f=674555 TT=122.526 T1=71.86	OPTIMUM f=674555 TT=87.274 T1=87.47	MSAT (TO) f=674985 TT=3600.16 T1=3608.95	MSAT (TO) f=713073 TT=3600.39 T1=5.37	OPTIMUM f=674555 TT=530.783 T1=406.69	OPTIMUM f=674555 TT=0.276 T1=0.27
PB24/WBO/PARTIAL-LIN/wcsp/academics/ normalized-zebra_wcsp.wbo	MOPT f=0 TT=0.083 T1=0.07	OPTIMUM f=0 TT=0.11 T1=0.1	OPTIMUM f=0 TT=0.083 T1=0.07	OPTIMUM f=0 TT=1.177 T1=1.17	OPTIMUM f=0 TT=1.225 T1=1.23	OPTIMUM f=0 TT=9.422 T1=1.37	OPTIMUM f=0 TT=4.405 T1=4.37	OPTIMUM f=0 TT=4.858 T1=4.81	OPTIMUM f=0 TT=5.346 T1=5.29	OPTIMUM f=0 TT=8.071 T1=8.03	OPTIMUM f=0 TT=9.222 T1=9.17	OPTIMUM f=0 TT=8.428 T1=8.38	OPTIMUM f=0 TT=0.772 T1=0.77	OPTIMUM f=0 TT=1.612 T1=0.85	OPTIMUM f=0 TT=1.997 T1=1.05	OPTIMUM f=0 TT=1.884 T1=1.02	OPTIMUM f=0 TT=1.901 T1=1.81
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt3cc_wcsp.wbo	MOPT f=153 TT=0.006 T1=0	OPTIMUM f=153 TT=0.006 T1=0	OPTIMUM f=153 TT=0.015 T1=0.01	OPTIMUM f=153 TT=0.029 T1=0.02	OPTIMUM f=153 TT=0.028 T1=0.02	OPTIMUM f=153 TT=0.024 T1=0.02	OPTIMUM f=153 TT=0.335 T1=0.2	OPTIMUM f=153 TT=0.344 T1=0.21	OPTIMUM f=153 TT=0.351 T1=0.21	OPTIMUM f=153 TT=1.834 T1=1.63	OPTIMUM f=153 TT=1.304 T1=1.11	OPTIMUM f=153 TT=1.2 T1=1.01	OPTIMUM f=153 TT=0.013 T1=0.01	OPTIMUM f=153 TT=0.475 T1=0.25	OPTIMUM f=153 TT=0.472 T1=0.24	OPTIMUM f=153 TT=0.422 T1=0.23	OPTIMUM f=153 TT=0.086 T1=0.07
PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt3c_wcsp.wbo	MOPT f=304 TT=0.005 T1=0	OPTIMUM f=304 TT=0.006 T1=0	OPTIMUM f=304 TT=0.005 T1=0	OPTIMUM f=304 TT=0.028 T1=0.02	OPTIMUM f=304 TT=0.028 T1=0.02	OPTIMUM f=304 TT=0.024 T1=0.02	OPTIMUM f=304 TT=0.054 T1=0.05	OPTIMUM f=304 TT=0.05 T1=0.04	OPTIMUM f=304 TT=0.053 T1=0.05	OPTIMUM f=304 TT=0.128 T1=0.12	OPTIMUM f=304 TT=0.344 T1=0.34	OPTIMUM f=304 TT=0.13 T1=0.12	OPTIMUM f=304 TT=0.012 T1=0.01	OPTIMUM f=304 TT=0.446 T1=0.24	OPTIMUM f=304 TT=0.444 T1=0.24	OPTIMUM f=304 TT=0.433 T1=0.24	OPTIMUM f=304 TT=0.085 T1=0.07
PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt4bc_wcsp.wbo	MOPT f=301 TT=0.05 T1=0.04	OPTIMUM f=301 TT=0.057 T1=0.05	OPTIMUM f=301 TT=0.05 T1=0.04	OPTIMUM f=301 TT=0.357 T1=0.35	OPTIMUM f=301 TT=0.842 T1=0.84	OPTIMUM f=301 TT=0.262 T1=0.25	OPTIMUM f=301 TT=1.865 T1=1.83	OPTIMUM f=301 TT=1.489 T1=1.45	OPTIMUM f=301 TT=1.686 T1=1.66	OPTIMUM f=301 TT=4.686 T1=4.66	OPTIMUM f=301 TT=4.61 T1=4.6	OPTIMUM f=301 TT=4.923 T1=4.89	OPTIMUM f=301 TT=0.112 T1=0.11	OPTIMUM f=301 TT=1.243 T1=0.58	OPTIMUM f=301 TT=1.47 T1=0.71	OPTIMUM f=301 TT=1.602 T1=0.84	OPTIMUM f=301 TT=0.434 T1=0.38
PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt4cc_wcsp.wbo	MOPT f=531 TT=0.06 T1=0.05	OPTIMUM f=531 TT=0.06 T1=0.05	OPTIMUM f=531 TT=0.134 T1=0.12	OPTIMUM f=531 TT=0.359 T1=0.36	OPTIMUM f=531 TT=0.326 T1=0.32	OPTIMUM f=531 TT=0.267 T1=0.26	OPTIMUM f=531 TT=2.341 T1=2.31	OPTIMUM f=531 TT=1.467 T1=1.43	OPTIMUM f=531 TT=1.582 T1=1.54	OPTIMUM f=531 TT=4.789 T1=4.76	OPTIMUM f=531 TT=4.905 T1=4.87	OPTIMUM f=531 TT=4.758 T1=4.72	OPTIMUM f=531 TT=0.111 T1=0.11	OPTIMUM f=531 TT=1.932 T1=0.61	OPTIMUM f=531 TT=3.193 T1=0.65	OPTIMUM f=531 TT=0.839 T1=0.43	OPTIMUM f=531 TT=0.479 T1=0.42
PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt4c_wcsp.wbo	MOPT f=456 TT=0.052 T1=0.04	OPTIMUM f=456 TT=0.06 T1=0.05	OPTIMUM f=456 TT=0.052 T1=0.04	OPTIMUM f=456 TT=0.352 T1=0.34	OPTIMUM f=456 TT=0.337 T1=0.33	OPTIMUM f=456 TT=0.265 T1=0.26	OPTIMUM f=456 TT=1.963 T1=1.93	OPTIMUM f=456 TT=1.524 T1=1.49	OPTIMUM f=456 TT=1.647 T1=1.61	OPTIMUM f=456 TT=4.268 T1=4.24	OPTIMUM f=456 TT=5.123 T1=5.09	OPTIMUM f=456 TT=4.695 T1=4.67	OPTIMUM f=456 TT=0.11 T1=0.11	OPTIMUM f=456 TT=1.128 T1=0.57	OPTIMUM f=456 TT=1.425 T1=0.75	OPTIMUM f=456 TT=0.792 T1=0.39	OPTIMUM f=456 TT=0.459 T1=0.4
PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt5ac_wcsp.wbo	MOPT f=608 TT=0.224 T1=0.21	OPTIMUM f=608 TT=0.255 T1=0.23	OPTIMUM f=608 TT=0.224 T1=0.21	OPTIMUM f=608 TT=1.707 T1=1.7	OPTIMUM f=608 TT=2.668 T1=2.66	OPTIMUM f=608 TT=1.315 T1=1.3	OPTIMUM f=608 TT=12.216 T1=11.97	OPTIMUM f=608 TT=10.994 T1=10.78	OPTIMUM f=608 TT=11.258 T1=11.01	OPTIMUM f=608 TT=29.528 T1=29.35	OPTIMUM f=608 TT=30.524 T1=30.34	OPTIMUM f=608 TT=30.74 T1=30.54	OPTIMUM f=608 TT=0.605 T1=0.6	OPTIMUM f=608 TT=4.214 T1=2.19	OPTIMUM f=608 TT=9.55 T1=2.29	OPTIMUM f=608 TT=2.74 T1=1.41	OPTIMUM f=608 TT=2.087 T1=1.89
PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt5bc_wcsp.wbo	MOPT f=338 TT=0.255 T1=0.24	OPTIMUM f=338 TT=0.255 T1=0.24	OPTIMUM f=338 TT=0.559 T1=0.54	OPTIMUM f=338 TT=1.883 T1=1.88	OPTIMUM f=338 TT=2.441 T1=2.44	OPTIMUM f=338 TT=1.336 T1=1.32	OPTIMUM f=338 TT=11.702 T1=11.4	OPTIMUM f=338 TT=10.978 T1=10.7	OPTIMUM f=338 TT=11.73 T1=11.43	OPTIMUM f=338 TT=29.677 T1=29.48	OPTIMUM f=338 TT=30.538 T1=30.36	OPTIMUM f=338 TT=30.753 T1=30.56	OPTIMUM f=338 TT=0.69 T1=0.68	OPTIMUM f=338 TT=34.922 T1=2.14	OPTIMUM f=338 TT=836.579 T1=2.15	OPTIMUM f=338 TT=1.808 T1=0.92	OPTIMUM f=338 TT=2.044 T1=1.85
PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt5cc_wcsp.wbo	MOPT f=866 TT=0.246 T1=0.23	OPTIMUM f=866 TT=0.246 T1=0.23	OPTIMUM f=866 TT=0.588 T1=0.56	OPTIMUM f=866 TT=1.853 T1=1.84	OPTIMUM f=866 TT=1.891 T1=1.89	OPTIMUM f=866 TT=1.334 T1=1.32	OPTIMUM f=866 TT=11.239 T1=10.99	OPTIMUM f=866 TT=11.076 T1=10.83	OPTIMUM f=866 TT=11.289 T1=11.04	OPTIMUM f=866 TT=28.996 T1=28.83	OPTIMUM f=866 TT=31.288 T1=31.12	OPTIMUM f=866 TT=29.534 T1=29.35	OPTIMUM f=866 TT=0.821 T1=0.81	OPTIMUM f=866 TT=4.356 T1=2.15	OPTIMUM f=866 TT=4.92 T1=2.39	OPTIMUM f=866 TT=2.693 T1=1.43	OPTIMUM f=866 TT=2.211 T1=2.02
PB24/WBO/PARTIAL-LIN/ wcsp/bwt/ normalized-bwt6_wcsp.wbo	MOPT f=460 TT=0.621 T1=0.56	OPTIMUM f=460 TT=0.869 T1=0.83	OPTIMUM f=460 TT=0.621 T1=0.56	OPTIMUM f=460 TT=8.747 T1=8.75	OPTIMUM f=460 TT=9.028 T1=9.04	OPTIMUM f=460 TT=5.354 T1=5.34	OPTIMUM f=460 TT=52.997 T1=52	OPTIMUM f=460 TT=52.133 T1=51.12	OPTIMUM f=460 TT=52.743 T1=51.71	OPTIMUM f=460 TT=112.242 T1=110.86	OPTIMUM f=460 TT=116.481 T1=115.08	OPTIMUM f=460 TT=113.902 T1=112.57	OPTIMUM f=460 TT=1.56 T1=1.55	OPTIMUM f=460 TT=132.438 T1=9.81	OPTIMUM f=460 TT=14.929 T1=9.86	OPTIMUM f=460 TT=3.286 T1=1.65	OPTIMUM f=460 TT=10.148 T1=9.67
PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar6-sub0_wcsp.wbo	MOPT f=159 TT=377.513 T1=352.38	OPTIMUM f=159 TT=377.513 T1=352.38	OPTIMUM f=159 TT=671.345 T1=643.14	? (TO) TT=3600.15	? (TO) TT=3600.03	? (TO) TT=3688.22	OPTIMUM f=159 TT=2384.01 T1=1904.24	OPTIMUM f=159 TT=2501.51 T1=1982.15	OPTIMUM f=159 TT=2393.14 T1=1918.12	? (exit code) TT=451.906	? (exit code) TT=442.54	? (exit code) TT=438.012	MSAT (MO) f=296 TT=480.011 T1=480.7	? TT=15.62	MSAT (TO) f=4525 TT=3600.39 T1=3588.63	MSAT (TO) f=6739 TT=3600.23 T1=3597.7	? (TO) TT=3600.11
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar6-sub1-24_wcsp.wbo	MSAT f=2658 TT=3600.16 T1=2500.11	MSAT (TO) f=2658 TT=3600.16 T1=2500.11	MSAT (TO) f=2856 TT=3600.13 T1=1151.06	? (TO) TT=3600.05	? (TO) TT=3600.09	? (TO) TT=3688.59	MSAT (TO) f=2669 TT=3600.17 T1=2670.81	MSAT (TO) f=2669 TT=3600.22 T1=2732.8	MSAT (TO) f=2669 TT=3600.14 T1=2898.46	MSAT (TO) f=2720 TT=3600.19 T1=3611.3	MSAT (TO) f=2720 TT=3600.14 T1=3610.5	MSAT (TO) f=2720 TT=3600.27 T1=3612	MSAT (TO) f=2737 TT=3600.22 T1=3610.2	? TT=6.696	MSAT (TO) f=7172 TT=3600.37 T1=3582.72	MSAT (TO) f=9390 TT=3600.27 T1=3590.91	? (TO) TT=3600.09
PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar6-sub1_wcsp.wbo	MSAT f=2927 TT=3600.42 T1=2461.53	MSAT (TO) f=3377 TT=3600.25 T1=2206.87	MSAT (TO) f=2927 TT=3600.42 T1=2461.53	Signal TT=74.899	Signal TT=70.177	Signal TT=70.18	? (exit code) TT=501.259	? (exit code) TT=515.486	? (exit code) TT=510.55	? (exit code) TT=389.815	? (exit code) TT=382.537	? (exit code) TT=384.098	MSAT (MO) f=9877 TT=460.127 T1=460.9	? TT=50.461	? (TO) TT=3600.31	MSAT (TO) f=6090 TT=3600.37 T1=3597.45	Signal TT=72.905
PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar6-sub3_wcsp.wbo	MSAT f=4377 TT=3600.46 T1=1274.79	MSAT (TO) f=4377 TT=3600.46 T1=1274.79	MSAT (TO) f=4397 TT=3600.44 T1=3244.13	Signal TT=94.337	Signal TT=91.44	Signal TT=88.68	MSAT (TO) f=47240 TT=3600.14 T1=269.04	MSAT (TO) f=47240 TT=3600.08 T1=266.26	MSAT (TO) f=47240 TT=3600.02 T1=265.55	MSAT (TO) f=27741 TT=3600.03 T1=3609.4	MSAT (TO) f=27741 TT=3600.03 T1=3610.3	MSAT (TO) f=27741 TT=3600.15 T1=3613.5	? TT=366.066	? TT=90.765	? (TO) TT=3600.15	MSAT (TO) f=10124 TT=3600.23 T1=3.75	Signal TT=91.82
PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar6-sub4_wcsp.wbo	MSAT f=4559 TT=3600.38 T1=2005.13	MSAT (TO) f=4559 TT=3600.38 T1=2005.13	MSAT (TO) f=5298 TT=3600.52 T1=1430.55	Signal TT=108.095	Signal TT=108.001	Signal TT=97.736	MSAT (TO) f=53827 TT=3600.08 T1=327.27	MSAT (TO) f=53827 TT=3600.1 T1=328.31	MSAT (TO) f=53827 TT=3600.1 T1=325.93	MSAT (TO) f=33019 TT=3600.1 T1=3609.6	MSAT (TO) f=33019 TT=3600.18 T1=3610.01	MSAT (TO) f=33019 TT=3600.03 T1=3609.5	? TT=213.166	? TT=102.227	? (TO) TT=3600.23	MSAT (TO) f=7634 TT=3600.38 T1=3596.17	Signal TT=106.347
PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar7-sub0_wcsp.wbo	MOPT f=10310 TT=276.497 T1=264.99	OPTIMUM f=10310 TT=276.497 T1=264.99	OPTIMUM f=10310 TT=1032.13 T1=1034.96	? (TO) TT=3600.09	? (TO) TT=3600.08	? (TO) TT=3689.97	? (exit code) TT=590.993	? (exit code) TT=604.768	? (exit code) TT=604.322	? (exit code) TT=469.215	? (exit code) TT=457.541	? (exit code) TT=449.886	MSAT f=11420 TT=535.315 T1=536.54	? TT=16.038	MSAT (TO) f=10917 TT=3600.2 T1=3598.74	MSAT (TO) f=71323 TT=3600.39 T1=3.02	? (TO) TT=3600.04
PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar7-sub1_wcsp.wbo	MSAT f=212742 TT=3600.31 T1=2616.12	MSAT (TO) f=212742 TT=3600.31 T1=2616.12	MSAT (TO) f=231730 TT=3600.29 T1=2484.38	Signal TT=72.719	Signal TT=69.878	Signal TT=70.117	MSAT (TO) f=432840 TT=3600.07 T1=3611.4	MSAT (TO) f=432840 TT=3600.1 T1=3612.9	MSAT (TO) f=432840 TT=3600.11 T1=3614.6	MSAT (TO) f=14683745 TT=3600.08 T1=3611.11	MSAT (TO) f=14683745 TT=3600.03 T1=3611.7	MSAT (TO) f=14683745 TT=3600.09 T1=3610.2	MSAT (MO) f=11412529 TT=461.268 T1=462.2	? TT=57.011	MSAT (TO) f=321635 TT=3600.12 T1=3596.34	MSAT (TO) f=453037 TT=3600.28 T1=3598.8	Signal TT=77.071
PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar7-sub3_wcsp.wbo	MSAT f=313861 TT=3600.37 T1=2666.72	MSAT (TO) f=313861 TT=3600.37 T1=2666.72	MSAT (TO) f=463338 TT=3600.49 T1=767.18	Signal TT=96.42	Signal TT=95.162	Signal TT=90.164	MSAT (TO) f=40055685 TT=3600.07 T1=279.59	MSAT (TO) f=40055685 TT=3600.11 T1=278.78	MSAT (TO) f=40055685 TT=3600.07 T1=277.86	MSAT (TO) f=16845065 TT=3600.06 T1=3609.9	MSAT (TO) f=16845065 TT=3600.08 T1=3609.9	MSAT (TO) f=16845065 TT=3600.14 T1=3611.3	? TT=419.49	? TT=94.533	? (TO) TT=3600.24	MSAT (TO) f=493850 TT=3600.17 T1=3602.85	Signal TT=95.733
PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar7-sub4-22_wcsp.wbo	MSAT f=263041 TT=3600.2 T1=2736.86	MSAT (TO) f=393026 TT=3600.12 T1=2067.96	MSAT (TO) f=324058 TT=3600.08 T1=995.22	? (TO) TT=3600.07	? (TO) TT=3600.07	? (TO) TT=3688.08	MSAT (TO) f=273767 TT=3600.18 T1=1778.84	MSAT (TO) f=273767 TT=3600.14 T1=1694.39	MSAT (TO) f=273767 TT=3600.05 T1=1698.09	MSAT (TO) f=263041 TT=3600.21 T1=2652.95	MSAT (TO) f=263041 TT=3600.22 T1=2758.07	MSAT (TO) f=263041 TT=3600.2 T1=2736.86	MSAT (TO) f=323243 TT=3600.26 T1=3608.6	? TT=9.083	MSAT (TO) f=352742 TT=3600.13 T1=3603.84	MSAT (TO) f=492337 TT=3600.24 T1=3602.28	? (TO) TT=3600.03
PB24/WBO/PARTIAL-LIN/ wcsp/celar/ normalized-celar7-sub4_wcsp.wbo	MSAT f=553556 TT=3600.33 T1=3170.32	MSAT (TO) f=654046 TT=3600.35 T1=2486.36	MSAT (TO) f=553556 TT=3600.33 T1=3170.32	Signal TT=127.267	Signal TT=126.477	Signal TT=113.084	MSAT (TO) f=45235896 TT=3600.09 T1=337.69	MSAT (TO) f=45235896 TT=3600.03 T1=333.34	MSAT (TO) f=45235896 TT=3600.03 T1=333.34	MSAT (TO) f=20753661 TT=3600.1 T1=3612.11	MSAT (TO) f=20753661 TT=3600.14 T1=3609.4	MSAT (TO) f=20753661 TT=3600.05 T1=3609.9	? (MO) TT=245.818	? TT=110.522	? (TO) TT=3600.08	MSAT (TO) f=2523056 TT=3600.25 T1=3601.29	Signal TT=118.068
PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-dsjc125-1-4_wcsp.wbo	MSAT f=20 TT=3586.32 T1=2909.59	MSAT (TO) f=27 TT=3600.11 T1=1130.22	MSAT (TO) f=30 TT=3600.12 T1=2425.33	MSAT f=24 TT=3586.64 T1=3600.26	MSAT f=24 TT=3588.7 T1=3598.18	? (TO) TT=72001.9	MSAT (TO) f=44 TT=3600.08 T1=86.04	MSAT (TO) f=44 TT=3600.06 T1=66.92	MSAT (TO) f=44 TT=3600.03 T1=70.89	MSAT (TO) f=46 TT=3600.1 T1=242.11	MSAT (TO) f=46 TT=3600.09 T1=256.52	MSAT (TO) f=46 TT=3600.09 T1=248.92	MSAT (TO) f=43 TT=3600.06 T1=3612.3	? TT=0.507	MSAT (TO) f=60 TT=3600.16 T1=3580.97	MSAT (TO) f=55 TT=3600.65 T1=3602.77	MSAT f=20 TT=3586.32 T1=2909.59
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-dsjc125-1-5_wcsp.wbo	MOPT f=0 TT=0.143 T1=0.14	OPTIMUM f=0 TT=0.146 T1=0.14	OPTIMUM f=0 TT=0.143 T1=0.14	OPTIMUM f=0 TT=13.021 T1=13.07	OPTIMUM f=0 TT=13.079 T1=13.12	OPTIMUM f=0 TT=87.16 T1=9.02	OPTIMUM f=0 TT=1.544 T1=1.53	OPTIMUM f=0 TT=1.715 T1=1.71	OPTIMUM f=0 TT=2.486 T1=2.48	OPTIMUM f=0 TT=7.29 T1=7.29	OPTIMUM f=0 TT=8.027 T1=8.03	OPTIMUM f=0 TT=6.518 T1=6.52	OPTIMUM f=0 TT=1.126 T1=1.12	? TT=0.579	OPTIMUM f=0 TT=555.005 T1=545.45	OPTIMUM f=0 TT=27.856 T1=25.95	OPTIMUM f=0 TT=10.576 T1=10.5
PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-geom30a-5_wcsp.wbo	MOPT f=1 TT=0.041 T1=0.04	OPTIMUM f=1 TT=0.06 T1=0.06	OPTIMUM f=1 TT=0.041 T1=0.04	OPTIMUM f=1 TT=0.692 T1=0.69	OPTIMUM f=1 TT=1.575 T1=1.6	OPTIMUM f=1 TT=4.218 T1=0.35	OPTIMUM f=1 TT=0.026 T1=0.02	OPTIMUM f=1 TT=0.027 T1=0.02	OPTIMUM f=1 TT=0.066 T1=0.05	OPTIMUM f=1 TT=0.046 T1=0.04	OPTIMUM f=1 TT=0.046 T1=0.04	OPTIMUM f=1 TT=0.045 T1=0.04	OPTIMUM f=1 TT=0.129 T1=0.12	? TT=0.383	OPTIMUM f=1 TT=1.512 T1=0.84	OPTIMUM f=1 TT=0.392 T1=0.22	OPTIMUM f=1 TT=0.982 T1=0.53
PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-geom40-3_wcsp.wbo	MOPT f=7 TT=0.014 T1=0.01	OPTIMUM f=7 TT=0.021 T1=0.02	OPTIMUM f=7 TT=0.014 T1=0.01	OPTIMUM f=7 TT=0.648 T1=0.65	OPTIMUM f=7 TT=0.652 T1=0.65	OPTIMUM f=7 TT=5.434 T1=0.39	OPTIMUM f=7 TT=0.112 T1=0.09	OPTIMUM f=7 TT=0.048 T1=0.03	OPTIMUM f=7 TT=0.129 T1=0.09	OPTIMUM f=7 TT=0.059 T1=0.04	OPTIMUM f=7 TT=0.126 T1=0.11	OPTIMUM f=7 TT=0.061 T1=0.04	OPTIMUM f=7 TT=0.107 T1=0.1	? TT=0.35	OPTIMUM f=7 TT=6.867 T1=1.44	OPTIMUM f=7 TT=450.699 T1=5.6	OPTIMUM f=7 TT=0.936 T1=0.39
PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-geom40-5_wcsp.wbo	MOPT f=1 TT=0.029 T1=0.02	OPTIMUM f=1 TT=0.042 T1=0.04	OPTIMUM f=1 TT=0.029 T1=0.02	OPTIMUM f=1 TT=0.253 T1=0.26	OPTIMUM f=1 TT=0.513 T1=0.56	OPTIMUM f=1 TT=4.015 T1=0.35	OPTIMUM f=1 TT=0.025 T1=0.02	OPTIMUM f=1 TT=0.025 T1=0.02	OPTIMUM f=1 TT=0.064 T1=0.05	OPTIMUM f=1 TT=0.047 T1=0.03	OPTIMUM f=1 TT=0.048 T1=0.04	OPTIMUM f=1 TT=0.046 T1=0.03	OPTIMUM f=1 TT=0.108 T1=0.11	? TT=0.368	OPTIMUM f=1 TT=0.697 T1=0.41	OPTIMUM f=1 TT=0.348 T1=0.18	OPTIMUM f=1 TT=0.387 T1=0.29
PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-geom40-6_wcsp.wbo	MOPT f=0 TT=0.012 T1=0.01	OPTIMUM f=0 TT=0.034 T1=0.03	OPTIMUM f=0 TT=0.034 T1=0.03	OPTIMUM f=0 TT=0.542 T1=0.58	OPTIMUM f=0 TT=0.493 T1=0.51	OPTIMUM f=0 TT=2.683 T1=0.31	OPTIMUM f=0 TT=0.024 T1=0.02	OPTIMUM f=0 TT=0.024 T1=0.02	OPTIMUM f=0 TT=0.063 T1=0.06	OPTIMUM f=0 TT=0.012 T1=0.01	OPTIMUM f=0 TT=0.015 T1=0.01	OPTIMUM f=0 TT=0.012 T1=0.01	OPTIMUM f=0 TT=0.054 T1=0.05	? TT=0.376	OPTIMUM f=0 TT=0.425 T1=0.22	OPTIMUM f=0 TT=0.574 T1=0.33	OPTIMUM f=0 TT=0.306 T1=0.31
PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-le450-5a-2_wcsp.wbo	MSAT f=2275 TT=3600.1 T1=3508.25	MSAT (TO) f=2275 TT=3600.1 T1=3508.25	MSAT (TO) f=2612 TT=3600.09 T1=3543.71	MSAT f=2538 TT=3585.1 T1=3600.11	MSAT f=2545 TT=3588.07 T1=3598.1	? (TO) TT=72002.2	MSAT (TO) f=2710 TT=3600.09 T1=17.28	MSAT (TO) f=2710 TT=3600.09 T1=17.32	MSAT (TO) f=2710 TT=3600.1 T1=17.88	MSAT (TO) f=2695 TT=3600.02 T1=3610.7	MSAT (TO) f=2695 TT=3600.11 T1=3610.11	MSAT (TO) f=2695 TT=3600.1 T1=3608.9	MSAT (TO) f=2724 TT=3600.03 T1=3610.2	? TT=0.975	MSAT (TO) f=2696 TT=3600.14 T1=3596.93	MSAT (TO) f=2712 TT=3600.71 T1=3025.27	MSAT f=2364 TT=3586.93 T1=2726.09
PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-le450-5a-4_wcsp.wbo	MSAT f=829 TT=3587.62 T1=3601.78	MSAT (TO) f=1045 TT=3600.07 T1=3560.22	MSAT (TO) f=1133 TT=3600.09 T1=3226.37	MSAT f=829 TT=3587.62 T1=3601.78	MSAT f=850 TT=3589.55 T1=3599.53	? (TO) TT=72001.9	MSAT (TO) f=1169 TT=3600.11 T1=47.84	MSAT (TO) f=1169 TT=3600.1 T1=46.75	MSAT (TO) f=1169 TT=3600.03 T1=43.38	MSAT (TO) f=1093 TT=3600.11 T1=3609.3	MSAT (TO) f=1093 TT=3600.02 T1=3610	MSAT (TO) f=1093 TT=3600.07 T1=3612.3	MSAT (TO) f=1156 TT=3600.07 T1=3612.4	? TT=2.031	MSAT (TO) f=988 TT=3600.34 T1=3590.54	MSAT (TO) f=1065 TT=3600.57 T1=3369.54	MSAT f=1158 TT=3587.54 T1=1156.72
PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-myciel5g-5_wcsp.wbo	MOPT f=1 TT=10.992 T1=0.16	OPTIMUM f=1 TT=311.273 T1=0.16	OPTIMUM f=1 TT=282.992 T1=0.16	OPTIMUM f=1 TT=671.582 T1=673.85	OPTIMUM f=1 TT=536.002 T1=537.9	OPTIMUM f=1 TT=6361 T1=322.26	OPTIMUM f=1 TT=12.937 T1=0.09	OPTIMUM f=1 TT=12.992 T1=0.09	OPTIMUM f=1 TT=13.797 T1=0.23	OPTIMUM f=1 TT=221.602 T1=0.19	OPTIMUM f=1 TT=218.419 T1=0.2	OPTIMUM f=1 TT=215.053 T1=0.19	OPTIMUM f=1 TT=10.992 T1=11.02	? TT=0.448	MSAT (TO) f=14 TT=3600.7 T1=3185.36	OPTIMUM f=1 TT=682.907 T1=0.29	OPTIMUM f=1 TT=671.424 T1=2.3
PB24/WBO/PARTIAL-LIN/ wcsp/coloring/ normalized-queen5-5-4_wcsp.wbo	MOPT f=12 TT=120.183 T1=3.59	MSAT (TO) f=12 TT=3600.01 T1=24.3	OPTIMUM f=12 TT=1858.9 T1=3.99	OPTIMUM f=12 TT=227.554 T1=228.36	OPTIMUM f=12 TT=191.953 T1=192.69	OPTIMUM f=12 TT=3515.05 T1=177.95	OPTIMUM f=12 TT=113.003 T1=3.37	OPTIMUM f=12 TT=113.562 T1=3.4	OPTIMUM f=12 TT=120.183 T1=3.59	OPTIMUM f=12 TT=239.838 T1=21.95	OPTIMUM f=12 TT=249.302 T1=22.51	OPTIMUM f=12 TT=242.987 T1=22.28	OPTIMUM f=12 TT=262.454 T1=263.19	? TT=0.401	MSAT (TO) f=13 TT=3600.29 T1=1339.41	MSAT (TO) f=18 TT=3600.28 T1=3602.22	OPTIMUM f=12 TT=183.695 T1=84.82
PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01ac_wcsp.wbo	MOPT f=1549 TT=0.028 T1=0.02	OPTIMUM f=1549 TT=0.051 T1=0.05	OPTIMUM f=1549 TT=0.051 T1=0.05	OPTIMUM f=1549 TT=0.034 T1=0.03	OPTIMUM f=1549 TT=0.031 T1=0.03	OPTIMUM f=1549 TT=0.028 T1=0.02	OPTIMUM f=1549 TT=0.048 T1=0.04	OPTIMUM f=1549 TT=0.111 T1=0.11	OPTIMUM f=1549 TT=0.044 T1=0.04	OPTIMUM f=1549 TT=0.097 T1=0.09	OPTIMUM f=1549 TT=0.105 T1=0.1	OPTIMUM f=1549 TT=0.105 T1=0.1	OPTIMUM f=1549 TT=0.08 T1=0.08	OPTIMUM f=1549 TT=4.433 T1=0.39	OPTIMUM f=1549 TT=10.631 T1=0.22	OPTIMUM f=1549 TT=1.025 T1=0.55	OPTIMUM f=1549 TT=0.088 T1=0.07
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01bc_wcsp.wbo	MOPT f=1794 TT=0.037 T1=0.03	OPTIMUM f=1794 TT=0.051 T1=0.05	OPTIMUM f=1794 TT=0.15 T1=0.14	OPTIMUM f=1794 TT=0.04 T1=0.03	OPTIMUM f=1794 TT=0.038 T1=0.03	OPTIMUM f=1794 TT=0.13 T1=0.07	OPTIMUM f=1794 TT=0.106 T1=0.1	OPTIMUM f=1794 TT=0.103 T1=0.1	OPTIMUM f=1794 TT=0.101 T1=0.09	OPTIMUM f=1794 TT=0.18 T1=0.14	OPTIMUM f=1794 TT=0.189 T1=0.15	OPTIMUM f=1794 TT=0.199 T1=0.16	OPTIMUM f=1794 TT=0.106 T1=0.11	OPTIMUM f=1794 TT=9.717 T1=6.33	OPTIMUM f=1794 TT=7.231 T1=5.43	OPTIMUM f=1794 TT=1.017 T1=0.57	OPTIMUM f=1794 TT=0.037 T1=0.03
PB24/WBO/PARTIAL-LIN/wcsp/depot/ normalized-depot01cc_wcsp.wbo	MOPT f=1982 TT=0.039 T1=0.03	OPTIMUM f=1982 TT=0.05 T1=0.05	OPTIMUM f=1982 TT=0.049 T1=0.04	OPTIMUM f=1982 TT=0.039 T1=0.03	OPTIMUM f=1982 TT=0.039 T1=0.03	OPTIMUM f=1982 TT=0.111 T1=0.07	OPTIMUM f=1982 TT=0.072 T1=0.04	OPTIMUM f=1982 TT=0.184 T1=0.11	OPTIMUM f=1982 TT=0.069 T1=0.04	OPTIMUM f=1982 TT=0.163 T1=0.12	OPTIMUM f=1982 TT=0.167 T1=0.12	OPTIMUM f=1982 TT=0.168 T1=0.12	OPTIMUM f=1982 TT=0.101 T1=0.1	OPTIMUM f=1982 TT=0.628 T1=0.36	OPTIMUM f=1982 TT=0.494 T1=0.26	OPTIMUM f=1982 TT=0.994 T1=0.6	OPTIMUM f=1982 TT=0.095 T1=0.08
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-bf0432-007_ext.wbo	MOPT f=1 TT=0.208 T1=0.2	OPTIMUM f=1 TT=0.208 T1=0.2	OPTIMUM f=1 TT=0.462 T1=0.45	OPTIMUM f=1 TT=19.423 T1=19.45	OPTIMUM f=1 TT=20.099 T1=20.15	OPTIMUM f=1 TT=47.803 T1=5.75	OPTIMUM f=1 TT=0.568 T1=0.53	OPTIMUM f=1 TT=0.561 T1=0.53	OPTIMUM f=1 TT=1.082 T1=1.03	OPTIMUM f=1 TT=1.304 T1=1.1	OPTIMUM f=1 TT=1.361 T1=1.15	OPTIMUM f=1 TT=1.865 T1=1.64	OPTIMUM f=1 TT=1.981 T1=1.97	? TT=1.044	OPTIMUM f=1 TT=1.756 T1=0.91	OPTIMUM f=1 TT=0.644 T1=0.3	OPTIMUM f=1 TT=28.134 T1=12.46
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois20_ext.wbo	MOPT f=1 TT=0.008 T1=0	OPTIMUM f=1 TT=0.008 T1=0	OPTIMUM f=1 TT=0.008 T1=0	OPTIMUM f=1 TT=0.421 T1=0.42	OPTIMUM f=1 TT=0.447 T1=0.44	OPTIMUM f=1 TT=1.667 T1=0.16	OPTIMUM f=1 TT=0.01 T1=0	OPTIMUM f=1 TT=0.01 T1=0	OPTIMUM f=1 TT=0.025 T1=0.02	OPTIMUM f=1 TT=0.013 T1=0	OPTIMUM f=1 TT=0.013 T1=0	OPTIMUM f=1 TT=0.017 T1=0	OPTIMUM f=1 TT=0.015 T1=0.01	? TT=0.509	OPTIMUM f=1 TT=0.437 T1=0.24	OPTIMUM f=1 TT=0.943 T1=0.51	OPTIMUM f=1 TT=0.309 T1=0.05
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois21_ext.wbo	MOPT f=1 TT=0.012 T1=0.01	OPTIMUM f=1 TT=0.012 T1=0.01	OPTIMUM f=1 TT=0.025 T1=0.02	OPTIMUM f=1 TT=0.155 T1=0.15	OPTIMUM f=1 TT=0.413 T1=0.42	OPTIMUM f=1 TT=1.876 T1=0.17	OPTIMUM f=1 TT=0.011 T1=0	OPTIMUM f=1 TT=0.01 T1=0	OPTIMUM f=1 TT=0.029 T1=0.02	OPTIMUM f=1 TT=0.015 T1=0	OPTIMUM f=1 TT=0.016 T1=0	OPTIMUM f=1 TT=0.043 T1=0.01	OPTIMUM f=1 TT=0.019 T1=0.01	? TT=0.751	OPTIMUM f=1 TT=0.444 T1=0.24	OPTIMUM f=1 TT=0.892 T1=0.52	OPTIMUM f=1 TT=0.196 T1=0.02
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois23_ext.wbo	MOPT f=1 TT=0.009 T1=0	OPTIMUM f=1 TT=0.009 T1=0	OPTIMUM f=1 TT=0.01 T1=0	OPTIMUM f=1 TT=0.538 T1=0.54	OPTIMUM f=1 TT=0.473 T1=0.47	OPTIMUM f=1 TT=2.533 T1=0.21	OPTIMUM f=1 TT=0.012 T1=0.01	OPTIMUM f=1 TT=0.012 T1=0.01	OPTIMUM f=1 TT=0.012 T1=0.01	OPTIMUM f=1 TT=0.018 T1=0	OPTIMUM f=1 TT=0.018 T1=0	OPTIMUM f=1 TT=0.05 T1=0.01	OPTIMUM f=1 TT=0.02 T1=0.01	? TT=0.669	OPTIMUM f=1 TT=0.628 T1=0.35	OPTIMUM f=1 TT=0.355 T1=0.2	OPTIMUM f=1 TT=0.752 T1=0.06
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-dubois28_ext.wbo	MOPT f=1 TT=0.01 T1=0	OPTIMUM f=1 TT=0.01 T1=0	OPTIMUM f=1 TT=0.034 T1=0.03	OPTIMUM f=1 TT=1.791 T1=1.85	OPTIMUM f=1 TT=0.81 T1=0.81	OPTIMUM f=1 TT=2.407 T1=0.23	OPTIMUM f=1 TT=0.013 T1=0.01	OPTIMUM f=1 TT=0.034 T1=0.03	OPTIMUM f=1 TT=0.014 T1=0.01	OPTIMUM f=1 TT=0.026 T1=0.02	OPTIMUM f=1 TT=0.027 T1=0.02	OPTIMUM f=1 TT=0.074 T1=0.06	OPTIMUM f=1 TT=0.064 T1=0.06	? TT=0.643	OPTIMUM f=1 TT=0.604 T1=0.33	OPTIMUM f=1 TT=1.089 T1=0.54	OPTIMUM f=1 TT=1.587 T1=0.03
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_25_ext.wbo	MOPT f=1 TT=0.027 T1=0.01	OPTIMUM f=1 TT=0.027 T1=0.02	OPTIMUM f=1 TT=0.032 T1=0.03	MSAT f=1 TT=3587.7 T1=3602.02	MSAT f=1 TT=3588.78 T1=3600.26	OPTIMUM f=1 TT=3.904 T1=0.32	OPTIMUM f=1 TT=0.036 T1=0	OPTIMUM f=1 TT=0.034 T1=0	OPTIMUM f=1 TT=0.036 T1=0.01	OPTIMUM f=1 TT=0.05 T1=0.04	OPTIMUM f=1 TT=0.052 T1=0.04	OPTIMUM f=1 TT=0.14 T1=0.12	OPTIMUM f=1 TT=0.137 T1=0.13	? TT=0.922	OPTIMUM f=1 TT=1.29 T1=0.67	OPTIMUM f=1 TT=0.989 T1=0.19	MSAT f=1 TT=3585.03 T1=0.13
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret150_75_ext.wbo	MOPT f=1 TT=0.026 T1=0.02	OPTIMUM f=1 TT=0.031 T1=0.03	OPTIMUM f=1 TT=0.026 T1=0.02	OPTIMUM f=1 TT=12.867 T1=12.91	OPTIMUM f=1 TT=13.78 T1=13.82	OPTIMUM f=1 TT=3.892 T1=0.32	OPTIMUM f=1 TT=0.051 T1=0.04	OPTIMUM f=1 TT=0.046 T1=0.04	OPTIMUM f=1 TT=0.128 T1=0.12	OPTIMUM f=1 TT=0.052 T1=0.04	OPTIMUM f=1 TT=0.053 T1=0.04	OPTIMUM f=1 TT=0.144 T1=0.12	OPTIMUM f=1 TT=0.135 T1=0.13	? TT=0.849	OPTIMUM f=1 TT=1.668 T1=0.87	OPTIMUM f=1 TT=1.517 T1=0.64	MSAT f=1 TT=3585.34 T1=0.09
PB24/WBO/PARTIAL-LIN/wcsp/dimacs/ normalized-pret60_40_ext.wbo	MOPT f=1 TT=0.011 T1=0.01	OPTIMUM f=1 TT=0.015 T1=0.01	OPTIMUM f=1 TT=0.011 T1=0.01	OPTIMUM f=1 TT=0.134 T1=0.13	OPTIMUM f=1 TT=0.137 T1=0.14	OPTIMUM f=1 TT=1.468 T1=0.15	OPTIMUM f=1 TT=0.017 T1=0.01	OPTIMUM f=1 TT=0.017 T1=0.01	OPTIMUM f=1 TT=0.048 T1=0.04	OPTIMUM f=1 TT=0.014 T1=0	OPTIMUM f=1 TT=0.014 T1=0	OPTIMUM f=1 TT=0.038 T1=0.01	OPTIMUM f=1 TT=0.017 T1=0.01	? TT=0.615	OPTIMUM f=1 TT=0.62 T1=0.32	OPTIMUM f=1 TT=1.019 T1=0.5	OPTIMUM f=1 TT=0.844 T1=0.05
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/ wcsp/dimacs/ normalized-ssa0432-003_ext.wbo	MOPT f=1 TT=0.042 T1=0.04	OPTIMUM f=1 TT=0.049 T1=0.04	OPTIMUM f=1 TT=0.042 T1=0.04	OPTIMUM f=1 TT=4.141 T1=4.14	OPTIMUM f=1 TT=2.714 T1=2.74	OPTIMUM f=1 TT=7.479 T1=0.76	OPTIMUM f=1 TT=0.079 T1=0.07	OPTIMUM f=1 TT=0.073 T1=0.06	OPTIMUM f=1 TT=0.081 T1=0.07	OPTIMUM f=1 TT=0.173 T1=0.16	OPTIMUM f=1 TT=0.184 T1=0.17	OPTIMUM f=1 TT=0.426 T1=0.41	OPTIMUM f=1 TT=0.439 T1=0.43	? TT=0.649	OPTIMUM f=1 TT=0.58 T1=0.3	OPTIMUM f=1 TT=1.193 T1=0.64	OPTIMUM f=1 TT=1.315 T1=1.2
PB24/WBO/PARTIAL-LIN/ wcsp/dimacs/ normalized-ssa2670-141_ext.wbo	MOPT f=1 TT=0.156 T1=0.15	OPTIMUM f=1 TT=0.156 T1=0.15	OPTIMUM f=1 TT=0.354 T1=0.35	OPTIMUM f=1 TT=14.85 T1=14.87	OPTIMUM f=1 TT=17.709 T1=17.72	OPTIMUM f=1 TT=23.586 T1=2.73	OPTIMUM f=1 TT=0.26 T1=0.24	OPTIMUM f=1 TT=0.316 T1=0.3	OPTIMUM f=1 TT=0.264 T1=0.25	OPTIMUM f=1 TT=0.659 T1=0.62	OPTIMUM f=1 TT=0.716 T1=0.68	OPTIMUM f=1 TT=1.29 T1=1.24	OPTIMUM f=1 TT=1.234 T1=1.23	? TT=1.086	OPTIMUM f=1 TT=1.275 T1=0.65	OPTIMUM f=1 TT=1.439 T1=0.71	OPTIMUM f=1 TT=16.431 T1=7.24
PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog01bc_wcsp.wbo	MOPT f=2413 TT=0.014 T1=0.01	OPTIMUM f=2413 TT=0.05 T1=0.04	OPTIMUM f=2413 TT=0.014 T1=0.01	OPTIMUM f=2413 TT=0.068 T1=0.06	OPTIMUM f=2413 TT=0.064 T1=0.06	OPTIMUM f=2413 TT=0.421 T1=0.12	OPTIMUM f=2413 TT=0.268 T1=0.26	OPTIMUM f=2413 TT=0.243 T1=0.23	OPTIMUM f=2413 TT=0.251 T1=0.24	OPTIMUM f=2413 TT=0.486 T1=0.35	OPTIMUM f=2413 TT=0.694 T1=0.53	OPTIMUM f=2413 TT=0.353 T1=0.26	OPTIMUM f=2413 TT=0.056 T1=0.05	OPTIMUM f=2413 TT=0.916 T1=0.48	OPTIMUM f=2413 TT=1.317 T1=0.85	OPTIMUM f=2413 TT=0.353 T1=0.18	OPTIMUM f=2413 TT=0.068 T1=0.05
PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog02ac_wcsp.wbo	MOPT f=1934 TT=0.334 T1=0.19	OPTIMUM f=1934 TT=0.974 T1=0.77	OPTIMUM f=1934 TT=0.334 T1=0.19	OPTIMUM f=1934 TT=11.569 T1=11.5	OPTIMUM f=1934 TT=11.741 T1=11.72	OPTIMUM f=1934 TT=115.841 T1=9.86	OPTIMUM f=1934 TT=8.862 T1=7.91	OPTIMUM f=1934 TT=7.329 T1=6.49	OPTIMUM f=1934 TT=7.274 T1=6.48	OPTIMUM f=1934 TT=24.963 T1=24.43	OPTIMUM f=1934 TT=24.917 T1=24.39	OPTIMUM f=1934 TT=23.983 T1=23.43	OPTIMUM f=1934 TT=2.121 T1=2.11	MSAT (TO) f=1934 TT=3600.36 T1=42.36	MSAT (TO) f=1934 TT=3600.39 T1=4.89	OPTIMUM f=1934 TT=10.594 T1=2.87	OPTIMUM f=1934 TT=10.887 T1=9.68
PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog02bc_wcsp.wbo	MOPT f=2009 TT=0.42 T1=0.25	OPTIMUM f=2009 TT=0.42 T1=0.25	OPTIMUM f=2009 TT=0.79 T1=0.46	OPTIMUM f=2009 TT=11.324 T1=11.25	OPTIMUM f=2009 TT=11.511 T1=11.45	OPTIMUM f=2009 TT=122.649 T1=10.22	OPTIMUM f=2009 TT=9.091 T1=8.75	OPTIMUM f=2009 TT=8.867 T1=8.56	OPTIMUM f=2009 TT=9.019 T1=8.67	OPTIMUM f=2009 TT=18.165 T1=17.43	OPTIMUM f=2009 TT=18.33 T1=17.58	OPTIMUM f=2009 TT=17.513 T1=16.8	OPTIMUM f=2009 TT=3.083 T1=3.07	MSAT (TO) f=2009 TT=3600.32 T1=4.34	MSAT (TO) f=2009 TT=3600.13 T1=3.19	OPTIMUM f=2009 TT=8.584 T1=3.15	OPTIMUM f=2009 TT=8.762 T1=7.52
PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog04ac_wcsp.wbo	MOPT f=1718 TT=0.233 T1=0.2	OPTIMUM f=1718 TT=0.448 T1=0.39	OPTIMUM f=1718 TT=0.233 T1=0.2	OPTIMUM f=1718 TT=4.655 T1=4.59	OPTIMUM f=1718 TT=4.057 T1=3.99	OPTIMUM f=1718 TT=4.669 T1=3.37	OPTIMUM f=1718 TT=7.28 T1=6.88	OPTIMUM f=1718 TT=6.834 T1=6.49	OPTIMUM f=1718 TT=7.074 T1=6.65	OPTIMUM f=1718 TT=21.118 T1=20.41	OPTIMUM f=1718 TT=22.288 T1=21.6	OPTIMUM f=1718 TT=20.626 T1=19.96	OPTIMUM f=1718 TT=0.987 T1=0.99	MSAT (TO) f=1718 TT=3600.31 T1=17.21	MSAT (TO) f=1718 TT=3600.32 T1=1.89	OPTIMUM f=1718 TT=4.932 T1=1.02	OPTIMUM f=1718 TT=4.84 T1=4.74
PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog04bc_wcsp.wbo	MOPT f=1885 TT=0.234 T1=0.19	OPTIMUM f=1885 TT=0.295 T1=0.22	OPTIMUM f=1885 TT=0.234 T1=0.19	OPTIMUM f=1885 TT=3.859 T1=3.8	OPTIMUM f=1885 TT=5.468 T1=5.4	OPTIMUM f=1885 TT=5.149 T1=3.46	OPTIMUM f=1885 TT=7.073 T1=6.32	OPTIMUM f=1885 TT=6.743 T1=6.01	OPTIMUM f=1885 TT=6.868 T1=6.14	OPTIMUM f=1885 TT=17.778 T1=17.15	OPTIMUM f=1885 TT=19.22 T1=18.5	OPTIMUM f=1885 TT=18.248 T1=17.54	OPTIMUM f=1885 TT=1.918 T1=1.91	MSAT (TO) f=1885 TT=3600.52 T1=38.05	MSAT (TO) f=1885 TT=3600.39 T1=2.18	OPTIMUM f=1885 TT=4.597 T1=1.62	OPTIMUM f=1885 TT=4.193 T1=4.05
PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog04cc_wcsp.wbo	MOPT f=2842 TT=0.231 T1=0.22	OPTIMUM f=2842 TT=0.463 T1=0.42	OPTIMUM f=2842 TT=0.231 T1=0.22	OPTIMUM f=2842 TT=4.628 T1=4.56	OPTIMUM f=2842 TT=4.794 T1=4.72	OPTIMUM f=2842 TT=5.691 T1=3.6	OPTIMUM f=2842 TT=8.587 T1=7.45	OPTIMUM f=2842 TT=7.884 T1=6.87	OPTIMUM f=2842 TT=8.648 T1=7.46	OPTIMUM f=2842 TT=20.839 T1=19.54	OPTIMUM f=2842 TT=20.135 T1=18.84	OPTIMUM f=2842 TT=20.247 T1=18.93	OPTIMUM f=2842 TT=2.231 T1=2.21	MSAT (TO) f=2842 TT=3600.39 T1=26.36	MSAT (TO) f=2842 TT=3600.14 T1=1.52	OPTIMUM f=2842 TT=4.414 T1=2.16	OPTIMUM f=2842 TT=5.062 T1=4.96
PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog05cc_wcsp.wbo	MOPT f=2641 TT=0.846 T1=0.72	OPTIMUM f=2641 TT=1.011 T1=0.85	OPTIMUM f=2641 TT=0.846 T1=0.72	OPTIMUM f=2641 TT=32.22 T1=32.14	OPTIMUM f=2641 TT=35.273 T1=35.22	OPTIMUM f=2641 TT=561.411 T1=34.31	OPTIMUM f=2641 TT=46.9 T1=15.81	OPTIMUM f=2641 TT=43.467 T1=15.04	OPTIMUM f=2641 TT=46.582 T1=15.97	OPTIMUM f=2641 TT=30.986 T1=29.55	OPTIMUM f=2641 TT=29.388 T1=27.99	OPTIMUM f=2641 TT=28.72 T1=27.34	OPTIMUM f=2641 TT=4.585 T1=4.56	MSAT (TO) f=2641 TT=3600.25 T1=1595.39	MSAT (TO) f=2641 TT=3600.26 T1=41.14	OPTIMUM f=2641 TT=4.669 T1=2.53	OPTIMUM f=2641 TT=40.163 T1=34.32
PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog08bc_wcsp.wbo	MOPT f=2257 TT=0.668 T1=0.6	OPTIMUM f=2257 TT=0.668 T1=0.6	OPTIMUM f=2257 TT=1.078 T1=0.94	OPTIMUM f=2257 TT=25.562 T1=25.38	OPTIMUM f=2257 TT=30.735 T1=30.35	OPTIMUM f=2257 TT=719.62 T1=45.61	OPTIMUM f=2257 TT=25.423 T1=24.49	OPTIMUM f=2257 TT=25.686 T1=24.68	OPTIMUM f=2257 TT=25.348 T1=24.42	OPTIMUM f=2257 TT=153.061 T1=151.94	OPTIMUM f=2257 TT=154.264 T1=153.05	OPTIMUM f=2257 TT=149.399 T1=148.26	OPTIMUM f=2257 TT=3.713 T1=3.69	MSAT (TO) f=2257 TT=3600.16 T1=891.77	MSAT (TO) f=2257 TT=3600.35 T1=27.81	OPTIMUM f=2257 TT=6.577 T1=3.3	OPTIMUM f=2257 TT=111.315 T1=69.78
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlog08cc_wcsp.wbo	MOPT f=4027 TT=0.435 T1=0.37	OPTIMUM f=4027 TT=0.819 T1=0.73	OPTIMUM f=4027 TT=0.435 T1=0.37	OPTIMUM f=4027 TT=34.474 T1=34.32	OPTIMUM f=4027 TT=24.489 T1=24.41	OPTIMUM f=4027 TT=718.117 T1=45.42	OPTIMUM f=4027 TT=670.201 T1=666.04	OPTIMUM f=4027 TT=679.457 T1=676.02	OPTIMUM f=4027 TT=690.815 T1=686.12	OPTIMUM f=4027 TT=342.918 T1=334.18	OPTIMUM f=4027 TT=343.874 T1=335.24	OPTIMUM f=4027 TT=350.82 T1=341.92	OPTIMUM f=4027 TT=5.2 T1=5.17	MSAT (TO) f=4027 TT=3600.28 T1=932.63	MSAT (TO) f=4027 TT=3600.17 T1=174.08	OPTIMUM f=4027 TT=4.893 T1=1.41	OPTIMUM f=4027 TT=106.447 T1=93.84
PB24/WBO/PARTIAL-LIN/ wcsp/driver/ normalized-driverlogs03_wcsp.wbo	MOPT f=1177 TT=0.161 T1=0.14	OPTIMUM f=1177 TT=0.548 T1=0.53	OPTIMUM f=1177 TT=0.161 T1=0.14	OPTIMUM f=1177 TT=6.866 T1=6.83	OPTIMUM f=1177 TT=6.604 T1=6.58	OPTIMUM f=1177 TT=77.469 T1=6.32	OPTIMUM f=1177 TT=4.493 T1=4.4	OPTIMUM f=1177 TT=3.353 T1=3.27	OPTIMUM f=1177 TT=3.569 T1=3.48	OPTIMUM f=1177 TT=8.786 T1=8.68	OPTIMUM f=1177 TT=8.015 T1=7.91	OPTIMUM f=1177 TT=7.665 T1=7.56	OPTIMUM f=1177 TT=0.539 T1=0.53	MSAT (TO) f=1177 TT=3600.39 T1=86.12	MSAT (TO) f=1177 TT=3600.28 T1=14.28	OPTIMUM f=1177 TT=3.987 T1=1.8	OPTIMUM f=1177 TT=5.663 T1=5.36
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph05_wcsp.wbo	MSAT f=6744 TT=3601.05 T1=2977.72	MSAT (TO) f=6744 TT=3601.05 T1=2977.72	MSAT (TO) f=7133 TT=3600.82 T1=3329.8	Signal TT=93.647	Signal TT=92.528	Signal TT=90.004	MSAT (TO) f=148863 TT=3600.04 T1=769.01	MSAT (TO) f=148863 TT=3600.11 T1=774.25	MSAT (TO) f=148863 TT=3600.05 T1=764.36	MSAT (TO) f=106653 TT=3600.13 T1=3609.6	MSAT (TO) f=106653 TT=3600.18 T1=3610.3	MSAT (TO) f=106653 TT=3600.11 T1=3609.2	? (MO) TT=150.185	? TT=224.2	? (TO) TT=3600.14	MSAT (TO) f=8315 TT=3600.24 T1=3595.12	Signal TT=93.785
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph06_wcsp.wbo	MSAT f=22554 TT=3601.41 T1=3593.41	MSAT (TO) f=22554 TT=3601.41 T1=3593.41	MSAT f=22628 TT=3113.97 T1=2703.08	Signal TT=183.991	Signal TT=193.411	Signal TT=172.548	MSAT (TO) f=309598 TT=3600.19 T1=3191.08	MSAT (TO) f=309598 TT=3600.28 T1=3131.74	MSAT (TO) f=309598 TT=3600.15 T1=3167.57	MSAT (TO) f=205369 TT=3600.15 T1=3610.2	MSAT (TO) f=205369 TT=3600.1 T1=3609.4	MSAT (TO) f=205369 TT=3600.16 T1=3613.01	? (exit code) TT=290.523	? TT=973.032	? (TO) TT=3600.25	MSAT (TO) f=54781 TT=3600.43 T1=3594.95	Signal TT=178.656
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph07_wcsp.wbo	MSAT f=7358 TT=3600.48 T1=3596.75	MSAT f=13818 TT=3111.51 T1=2960.85	MSAT (TO) f=11928 TT=3601.08 T1=3325.05	? (TO) TT=3600.18	? (TO) TT=3600.26	? (TO) TT=3683.15	MSAT (TO) f=241642 TT=3600.15 T1=783.75	MSAT (TO) f=241642 TT=3600.14 T1=780.12	MSAT (TO) f=241642 TT=3600.15 T1=780.73	MSAT (TO) f=223561 TT=3600.05 T1=3609.1	MSAT (TO) f=223561 TT=3600.11 T1=3610.01	MSAT (TO) f=223561 TT=3600.11 T1=3612.7	? (MO) TT=157.649	? TT=210.833	? (TO) TT=3600.18	MSAT (TO) f=7358 TT=3600.48 T1=3596.75	? (TO) TT=3600.14
PB24/WBO/PARTIAL-LIN/wcsp/ graphs/ normalized-graph11reducmore_wcsp.wbo	MSAT f=1716 TT=3428.68 T1=2502.6	MSAT f=1723 TT=3141.83 T1=1993.7	MSAT f=1716 TT=3428.68 T1=2502.6	? (TO) TT=3600.15	? (TO) TT=3600.09	? (TO) TT=72003.8	Wrong Cert. TT=3600.1	Wrong Cert. TT=3600.08	? (TO) TT=3600.13	Wrong Cert. TT=3600.1	Wrong Cert. TT=3600.07	? (TO) TT=3600.12	? TT=153.185	? TT=71.184	? (TO) TT=3600.12	? (TO) TT=3600.17	? TT=3580.72
PB24/WBO/PARTIAL-LIN/ wcsp/graphs/ normalized-graph11reduc_wcsp.wbo	MSAT f=1810 TT=3128.81 T1=3004.33	MSAT f=2002 TT=3251.28 T1=2032.46	MSAT f=1810 TT=3128.81 T1=3004.33	? TT=3594.42	? (TO) TT=3600.1	? (TO) TT=72003.9	Wrong Cert. TT=3600.06	Wrong Cert. TT=3600.03	? (TO) TT=3600.05	Wrong Cert. TT=3600.11	Wrong Cert. TT=3600.07	? (TO) TT=3600.05	? TT=158.046	? TT=70.526	? (TO) TT=3600.26	? (TO) TT=3600.21	? TT=3586.69
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph11_wcsp.wbo	MSAT f=35209 TT=3484.54 T1=2832.64	MSAT f=35209 TT=3484.54 T1=2832.64	MSAT f=38396 TT=2784.04 T1=2410.2	? (MO) TT=265.45	? (MO) TT=270.94	Signal TT=308.525	? (TO) TT=3600.08	? (TO) TT=3600.07	? (TO) TT=3600.07	MSAT (TO) f=349373 TT=3600.23 T1=3611.7	MSAT (TO) f=349373 TT=3600.14 T1=3608.8	MSAT (TO) f=349373 TT=3600.27 T1=3610.4	? TT=453.949	? TT=2821.83	? (TO) TT=3600.16	MSAT (TO) f=97767 TT=3600.34 T1=3593.41	? (MO) TT=251.001
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph12_wcsp.wbo	MSAT f=28325 TT=3600.23 T1=3595.36	MSAT (TO) f=38489 TT=3601.48 T1=3600.41	MSAT (TO) f=38814 TT=3601.12 T1=2771.78	Signal TT=260.198	Signal TT=229.657	Signal TT=213.906	? (TO) TT=3600.04	? (TO) TT=3600.03	? (TO) TT=3600.05	MSAT (TO) f=443975 TT=3600.07 T1=3609.8	MSAT (TO) f=443975 TT=3600.2 T1=3609.7	MSAT (TO) f=443975 TT=3600.16 T1=3609.3	? TT=319.087	? TT=1149.05	? (TO) TT=3600.12	MSAT (TO) f=28325 TT=3600.23 T1=3595.36	Signal TT=257.641
PB24/WBO/PARTIAL-LIN/wcsp/ graphs/ normalized-graph13reducmore_wcsp.wbo	MSAT f=5015 TT=3601.46 T1=1513.09	MSAT f=5172 TT=2827.71 T1=1733.88	MSAT (TO) f=5015 TT=3601.46 T1=1513.09	? (TO) TT=3600.75	? (TO) TT=3600.55	? (MO) TT=456.581	Wrong Cert. TT=3600.18	Wrong Cert. TT=3600.24	? (TO) TT=3600.2	Wrong Cert. TT=3600.12	Wrong Cert. TT=3600.19	? (TO) TT=3600.2	? TT=449.298	? TT=818.787	? (TO) TT=3600.27	? (TO) TT=3600.12	? TT=3593.44
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/ wcsp/graphs/ normalized-graph13reduc_wcsp.wbo	MSAT f=3334 TT=3601.4 T1=1756.31	MSAT (TO) f=3334 TT=3601.4 T1=1756.31	MSAT (TO) f=3408 TT=3601.12 T1=1590.96	? TT=3598.79	? (TO) TT=3600.74	? (MO) TT=501.959	Wrong Cert. TT=3600.22	Wrong Cert. TT=3600.28	? (TO) TT=3600.23	Wrong Cert. TT=3600.1	Wrong Cert. TT=3600.21	? (TO) TT=3600.08	? TT=445.864	? TT=824.611	? (TO) TT=3600.25	? (TO) TT=3600.32	? TT=3595.02
PB24/WBO/PARTIAL-LIN/wcsp/graphs/ normalized-graph13_wcsp.wbo	MSAT f=58089 TT=3278.57 T1=2903.68	MSAT f=58089 TT=3278.57 T1=2903.68	MSAT f=61391 TT=3105.61 T1=2452.83	Signal TT=210.997	Signal TT=206.591	Signal TT=535.042	? (TO) TT=3600.12	? (TO) TT=3600.11	? (TO) TT=3600.04	MSAT (TO) f=521366 TT=3600.38 T1=3613.3	MSAT (TO) f=521366 TT=3600.31 T1=3609.6	MSAT (TO) f=521366 TT=3600.35 T1=3609.9	? TT=483.227	? (TO) TT=3600.16	? (TO) TT=3600.22	MSAT (TO) f=108592 TT=3600.59 T1=3589.96	Signal TT=201.123
PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh05_wcsp.wbo	MOPT f=183 TT=0.569 T1=0.28	OPTIMUM f=183 TT=1.291 T1=1.29	OPTIMUM f=183 TT=1.689 T1=1.69	OPTIMUM f=183 TT=6.766 T1=6.83	OPTIMUM f=183 TT=4.277 T1=4.28	OPTIMUM f=183 TT=12.735 T1=1.02	OPTIMUM f=183 TT=2.471 T1=2.4	OPTIMUM f=183 TT=2.919 T1=2.84	OPTIMUM f=183 TT=2.572 T1=2.5	OPTIMUM f=183 TT=6.896 T1=6.56	OPTIMUM f=183 TT=7.07 T1=6.74	OPTIMUM f=183 TT=8.116 T1=7.78	OPTIMUM f=183 TT=3.707 T1=3.69	? TT=0.471	OPTIMUM f=183 TT=3.317 T1=0.76	OPTIMUM f=183 TT=0.569 T1=0.28	OPTIMUM f=183 TT=9.233 T1=8.64
PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh06_wcsp.wbo	MOPT f=99 TT=0.658 T1=0.34	OPTIMUM f=99 TT=0.669 T1=0.66	OPTIMUM f=99 TT=0.935 T1=0.92	OPTIMUM f=99 TT=5.479 T1=5.5	OPTIMUM f=99 TT=7.112 T1=7.13	OPTIMUM f=99 TT=9.406 T1=0.78	OPTIMUM f=99 TT=3.059 T1=2.99	OPTIMUM f=99 TT=3.106 T1=3.01	OPTIMUM f=99 TT=3.275 T1=3.18	OPTIMUM f=99 TT=7.668 T1=7.64	OPTIMUM f=99 TT=7.598 T1=7.57	OPTIMUM f=99 TT=7.904 T1=7.88	OPTIMUM f=99 TT=5.899 T1=5.88	? TT=1.12	OPTIMUM f=99 TT=1.506 T1=0.69	OPTIMUM f=99 TT=0.658 T1=0.34	OPTIMUM f=99 TT=6.885 T1=6.82
PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh08_wcsp.wbo	MOPT f=462 TT=2.212 T1=1.31	OPTIMUM f=462 TT=19.102 T1=18.97	OPTIMUM f=462 TT=16.946 T1=16.81	OPTIMUM f=462 TT=16.769 T1=16.83	OPTIMUM f=462 TT=19.355 T1=19.41	OPTIMUM f=462 TT=34.264 T1=2.07	OPTIMUM f=462 TT=30.343 T1=29.4	OPTIMUM f=462 TT=32.18 T1=31.21	OPTIMUM f=462 TT=32.822 T1=31.83	OPTIMUM f=462 TT=12.795 T1=10.84	OPTIMUM f=462 TT=13.801 T1=11.79	OPTIMUM f=462 TT=13.166 T1=11.14	OPTIMUM f=462 TT=13.335 T1=13.32	? TT=1.133	OPTIMUM f=462 TT=80.803 T1=73.07	OPTIMUM f=462 TT=2.212 T1=1.31	OPTIMUM f=462 TT=10.246 T1=7.74
PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh11_wcsp.wbo	MOPT f=172 TT=0.275 T1=0.25	OPTIMUM f=172 TT=0.275 T1=0.25	OPTIMUM f=172 TT=5.032 T1=5.01	OPTIMUM f=172 TT=15.56 T1=15.6	OPTIMUM f=172 TT=12.222 T1=12.27	OPTIMUM f=172 TT=10.861 T1=0.85	OPTIMUM f=172 TT=13.085 T1=4.34	OPTIMUM f=172 TT=13.159 T1=4.31	OPTIMUM f=172 TT=13.3 T1=4.38	OPTIMUM f=172 TT=11.219 T1=10.8	OPTIMUM f=172 TT=11.132 T1=10.66	OPTIMUM f=172 TT=11.367 T1=10.88	OPTIMUM f=172 TT=7.428 T1=7.4	? TT=0.431	OPTIMUM f=172 TT=6.843 T1=3.38	OPTIMUM f=172 TT=0.641 T1=0.33	OPTIMUM f=172 TT=22.948 T1=20.84
PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh13_wcsp.wbo	MOPT f=109 TT=0.509 T1=0.26	OPTIMUM f=109 TT=7.821 T1=7.84	OPTIMUM f=109 TT=11.062 T1=11.11	OPTIMUM f=109 TT=8.782 T1=8.8	OPTIMUM f=109 TT=10.066 T1=10.09	OPTIMUM f=109 TT=10.095 T1=0.82	OPTIMUM f=109 TT=3.871 T1=3.79	OPTIMUM f=109 TT=4.073 T1=3.99	OPTIMUM f=109 TT=3.972 T1=3.89	OPTIMUM f=109 TT=15.871 T1=15.37	OPTIMUM f=109 TT=15.243 T1=14.74	OPTIMUM f=109 TT=14.954 T1=14.44	OPTIMUM f=109 TT=15.152 T1=15.15	? TT=0.446	OPTIMUM f=109 TT=0.819 T1=0.43	OPTIMUM f=109 TT=0.509 T1=0.26	OPTIMUM f=109 TT=8.248 T1=8.12
PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh16_wcsp.wbo	MOPT f=6 TT=0.534 T1=0.49	OPTIMUM f=6 TT=0.534 T1=0.49	OPTIMUM f=6 TT=1.273 T1=1.24	OPTIMUM f=6 TT=8.188 T1=8.21	OPTIMUM f=6 TT=10.456 T1=10.48	OPTIMUM f=6 TT=12.191 T1=1.01	OPTIMUM f=6 TT=5.347 T1=1.4	OPTIMUM f=6 TT=5.572 T1=1.75	OPTIMUM f=6 TT=5.434 T1=1.41	OPTIMUM f=6 TT=13.395 T1=13.28	OPTIMUM f=6 TT=13.662 T1=13.55	OPTIMUM f=6 TT=13.807 T1=13.7	OPTIMUM f=6 TT=10.05 T1=10.03	? TT=1.063	OPTIMUM f=6 TT=1.735 T1=0.91	OPTIMUM f=6 TT=2.539 T1=1.55	OPTIMUM f=6 TT=11.294 T1=9.96
PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh203_wcsp.wbo	MOPT f=39 TT=0.405 T1=0.22	OPTIMUM f=39 TT=1.864 T1=1.86	OPTIMUM f=39 TT=5.223 T1=5.23	OPTIMUM f=39 TT=8.132 T1=8.16	OPTIMUM f=39 TT=7.574 T1=7.6	OPTIMUM f=39 TT=7.642 T1=0.69	OPTIMUM f=39 TT=1.174 T1=1.13	OPTIMUM f=39 TT=1.261 T1=1.22	OPTIMUM f=39 TT=1.231 T1=1.19	OPTIMUM f=39 TT=12.151 T1=11.03	OPTIMUM f=39 TT=12.764 T1=11.61	OPTIMUM f=39 TT=12.895 T1=11.74	OPTIMUM f=39 TT=10.194 T1=10.19	? TT=1.026	OPTIMUM f=39 TT=1.181 T1=0.62	OPTIMUM f=39 TT=0.405 T1=0.22	OPTIMUM f=39 TT=7.807 T1=7.69
PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh214_wcsp.wbo	MOPT f=75 TT=0.56 T1=0.54	OPTIMUM f=75 TT=0.56 T1=0.54	OPTIMUM f=75 TT=0.985 T1=0.97	OPTIMUM f=75 TT=10.448 T1=10.49	OPTIMUM f=75 TT=11.844 T1=11.88	OPTIMUM f=75 TT=11.09 T1=1	OPTIMUM f=75 TT=1.44 T1=1.22	OPTIMUM f=75 TT=1.445 T1=1.22	OPTIMUM f=75 TT=1.442 T1=1.23	OPTIMUM f=75 TT=9.832 T1=9.6	OPTIMUM f=75 TT=10.26 T1=10.01	OPTIMUM f=75 TT=10.5 T1=10.24	OPTIMUM f=75 TT=10.17 T1=10.14	? TT=1.131	OPTIMUM f=75 TT=1.021 T1=0.67	OPTIMUM f=75 TT=1.161 T1=0.63	OPTIMUM f=75 TT=5.607 T1=5.14
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh304_wcsp.wbo	MOPT f=321 TT=0.782 T1=0.42	OPTIMUM f=321 TT=5.658 T1=5.58	OPTIMUM f=321 TT=5.739 T1=5.68	OPTIMUM f=321 TT=9.462 T1=9.49	OPTIMUM f=321 TT=8.488 T1=8.53	OPTIMUM f=321 TT=14.568 T1=1.27	OPTIMUM f=321 TT=23.23 T1=5.79	OPTIMUM f=321 TT=23.315 T1=5.66	OPTIMUM f=321 TT=24.009 T1=5.89	OPTIMUM f=321 TT=35.105 T1=33.82	OPTIMUM f=321 TT=34.447 T1=33.2	OPTIMUM f=321 TT=39.257 T1=37.88	OPTIMUM f=321 TT=93.08 T1=93.31	? TT=0.424	OPTIMUM f=321 TT=14.022 T1=9.59	OPTIMUM f=321 TT=0.782 T1=0.42	OPTIMUM f=321 TT=18.289 T1=15.63
PB24/WBO/PARTIAL-LIN/ wcsp/jnh/ normalized-jnh309_wcsp.wbo	MOPT f=276 TT=0.585 T1=0.29	OPTIMUM f=276 TT=3.365 T1=3.35	OPTIMUM f=276 TT=15.885 T1=15.91	OPTIMUM f=276 TT=7.368 T1=7.44	OPTIMUM f=276 TT=7.39 T1=7.41	OPTIMUM f=276 TT=13.541 T1=1.08	OPTIMUM f=276 TT=4.307 T1=4.01	OPTIMUM f=276 TT=4.487 T1=4.17	OPTIMUM f=276 TT=4.424 T1=4.11	OPTIMUM f=276 TT=10.964 T1=9.36	OPTIMUM f=276 TT=11.439 T1=9.76	OPTIMUM f=276 TT=11.575 T1=9.85	OPTIMUM f=276 TT=11.493 T1=11.48	? TT=1.023	OPTIMUM f=276 TT=3.908 T1=2	OPTIMUM f=276 TT=0.585 T1=0.29	OPTIMUM f=276 TT=15.189 T1=15.18
PB24/WBO/PARTIAL-LIN/wcsp/ logistics/ normalized-logistics01ac_wcsp.wbo	MOPT f=8265 TT=0.032 T1=0.02	OPTIMUM f=8265 TT=0.04 T1=0.03	OPTIMUM f=8265 TT=0.032 T1=0.02	OPTIMUM f=8265 TT=0.134 T1=0.13	OPTIMUM f=8265 TT=0.141 T1=0.14	OPTIMUM f=8265 TT=0.55 T1=0.17	OPTIMUM f=8265 TT=1 T1=0.59	OPTIMUM f=8265 TT=0.975 T1=0.58	OPTIMUM f=8265 TT=1.293 T1=0.83	OPTIMUM f=8265 TT=3.56 T1=3.04	OPTIMUM f=8265 TT=3.507 T1=3.01	OPTIMUM f=8265 TT=3.533 T1=3.03	OPTIMUM f=8265 TT=0.505 T1=0.5	MSAT (TO) f=8265 TT=3600.36 T1=0.37	MSAT (TO) f=8265 TT=3600.29 T1=0.36	OPTIMUM f=8265 TT=1.536 T1=0.73	OPTIMUM f=8265 TT=0.263 T1=0.22
PB24/WBO/PARTIAL-LIN/wcsp/ logistics/ normalized-logistics01bc_wcsp.wbo	MOPT f=7560 TT=0.032 T1=0.02	OPTIMUM f=7560 TT=0.038 T1=0.03	OPTIMUM f=7560 TT=0.032 T1=0.02	OPTIMUM f=7560 TT=0.134 T1=0.14	OPTIMUM f=7560 TT=0.142 T1=0.14	OPTIMUM f=7560 TT=0.517 T1=0.17	OPTIMUM f=7560 TT=1.68 T1=1.04	OPTIMUM f=7560 TT=1.712 T1=1.09	OPTIMUM f=7560 TT=1.805 T1=1.11	OPTIMUM f=7560 TT=3.162 T1=2.87	OPTIMUM f=7560 TT=3.221 T1=2.92	OPTIMUM f=7560 TT=3.207 T1=2.91	OPTIMUM f=7560 TT=0.429 T1=0.43	MSAT (TO) f=7560 TT=3600.18 T1=0.33	MSAT (TO) f=7560 TT=3600.26 T1=0.39	OPTIMUM f=7560 TT=1.645 T1=0.72	OPTIMUM f=7560 TT=0.167 T1=0.13
PB24/WBO/PARTIAL-LIN/wcsp/ logistics/ normalized-logistics01cc_wcsp.wbo	MOPT f=4198 TT=0.028 T1=0.02	OPTIMUM f=4198 TT=0.035 T1=0.03	OPTIMUM f=4198 TT=0.028 T1=0.02	OPTIMUM f=4198 TT=0.146 T1=0.14	OPTIMUM f=4198 TT=0.164 T1=0.16	OPTIMUM f=4198 TT=0.641 T1=0.17	OPTIMUM f=4198 TT=1.792 T1=0.86	OPTIMUM f=4198 TT=1.687 T1=0.81	OPTIMUM f=4198 TT=1.881 T1=0.87	OPTIMUM f=4198 TT=2.672 T1=2.15	OPTIMUM f=4198 TT=2.58 T1=2.03	OPTIMUM f=4198 TT=2.638 T1=2.1	OPTIMUM f=4198 TT=0.493 T1=0.49	MSAT (TO) f=4198 TT=3600.09 T1=0.33	MSAT (TO) f=4198 TT=3600.33 T1=0.35	OPTIMUM f=4198 TT=2.124 T1=0.79	OPTIMUM f=4198 TT=0.388 T1=0.3
PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime01ac_wcsp.wbo	MOPT f=174 TT=0.139 T1=0.13	OPTIMUM f=174 TT=0.189 T1=0.17	OPTIMUM f=174 TT=0.139 T1=0.13	OPTIMUM f=174 TT=2.926 T1=2.87	OPTIMUM f=174 TT=2.654 T1=2.6	OPTIMUM f=174 TT=18.914 T1=2.51	OPTIMUM f=174 TT=15.97 T1=15.65	OPTIMUM f=174 TT=16.339 T1=16.02	OPTIMUM f=174 TT=16.154 T1=15.88	OPTIMUM f=174 TT=57 T1=56.59	OPTIMUM f=174 TT=58.823 T1=58.44	OPTIMUM f=174 TT=57.184 T1=56.82	OPTIMUM f=174 TT=0.431 T1=0.42	MSAT (TO) f=174 TT=3600.36 T1=69.47	MSAT (TO) f=174 TT=3600.32 T1=1427.07	OPTIMUM f=174 TT=2.263 T1=1.18	OPTIMUM f=174 TT=2.296 T1=2.2
PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime01bc_wcsp.wbo	MOPT f=244 TT=0.15 T1=0.14	OPTIMUM f=244 TT=0.203 T1=0.19	OPTIMUM f=244 TT=0.15 T1=0.14	OPTIMUM f=244 TT=2.567 T1=2.52	OPTIMUM f=244 TT=2.692 T1=2.64	OPTIMUM f=244 TT=16.2 T1=2.36	OPTIMUM f=244 TT=4.154 T1=4.02	OPTIMUM f=244 TT=4.179 T1=4.06	OPTIMUM f=244 TT=3.917 T1=3.79	OPTIMUM f=244 TT=10.55 T1=10.38	OPTIMUM f=244 TT=10.792 T1=10.61	OPTIMUM f=244 TT=11.889 T1=11.71	OPTIMUM f=244 TT=0.814 T1=0.8	MSAT (TO) f=259 TT=3600.33 T1=657.04	MSAT (TO) f=259 TT=3600.12 T1=3360.55	OPTIMUM f=244 TT=1.398 T1=0.68	OPTIMUM f=244 TT=2.152 T1=2.06
PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime01cc_wcsp.wbo	MOPT f=603 TT=0.154 T1=0.14	OPTIMUM f=603 TT=0.176 T1=0.16	OPTIMUM f=603 TT=0.154 T1=0.14	OPTIMUM f=603 TT=2.317 T1=2.27	OPTIMUM f=603 TT=2.426 T1=2.38	OPTIMUM f=603 TT=16.577 T1=2.35	OPTIMUM f=603 TT=5.069 T1=4.94	OPTIMUM f=603 TT=5.507 T1=5.38	OPTIMUM f=603 TT=4.441 T1=4.32	OPTIMUM f=603 TT=11.209 T1=10.71	OPTIMUM f=603 TT=11.745 T1=11.22	OPTIMUM f=603 TT=11.374 T1=10.85	OPTIMUM f=603 TT=0.888 T1=0.88	OPTIMUM f=603 TT=2906.84 T1=2537.94	MSAT (TO) f=617 TT=3600.13 T1=3.55	OPTIMUM f=603 TT=1.105 T1=0.54	OPTIMUM f=603 TT=1.875 T1=1.79
PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime03ac_wcsp.wbo	MOPT f=278 TT=0.009 T1=0	OPTIMUM f=278 TT=0.011 T1=0.01	OPTIMUM f=278 TT=0.009 T1=0	OPTIMUM f=278 TT=0.02 T1=0.01	OPTIMUM f=278 TT=0.021 T1=0.02	OPTIMUM f=278 TT=0.02 T1=0.01	OPTIMUM f=278 TT=0.125 T1=0.12	OPTIMUM f=278 TT=0.127 T1=0.12	OPTIMUM f=278 TT=0.061 T1=0.05	OPTIMUM f=278 TT=0.122 T1=0.12	OPTIMUM f=278 TT=0.191 T1=0.19	OPTIMUM f=278 TT=0.191 T1=0.19	OPTIMUM f=278 TT=0.012 T1=0.01	OPTIMUM f=278 TT=1.191 T1=0.65	OPTIMUM f=278 TT=0.462 T1=0.25	OPTIMUM f=278 TT=0.356 T1=0.2	OPTIMUM f=278 TT=0.025 T1=0.02
PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime03bc_wcsp.wbo	MOPT f=353 TT=0.009 T1=0	OPTIMUM f=353 TT=0.01 T1=0	OPTIMUM f=353 TT=0.009 T1=0	OPTIMUM f=353 TT=0.02 T1=0.01	OPTIMUM f=353 TT=0.021 T1=0.02	OPTIMUM f=353 TT=0.019 T1=0.01	OPTIMUM f=353 TT=0.071 T1=0.06	OPTIMUM f=353 TT=0.132 T1=0.13	OPTIMUM f=353 TT=0.066 T1=0.06	OPTIMUM f=353 TT=0.141 T1=0.13	OPTIMUM f=353 TT=0.142 T1=0.13	OPTIMUM f=353 TT=0.147 T1=0.15	OPTIMUM f=353 TT=0.012 T1=0.01	OPTIMUM f=353 TT=0.658 T1=0.36	OPTIMUM f=353 TT=0.46 T1=0.25	OPTIMUM f=353 TT=0.355 T1=0.19	OPTIMUM f=353 TT=0.025 T1=0.02
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime03cc_wcsp.wbo	MOPT f=326 TT=0.009 T1=0	OPTIMUM f=326 TT=0.011 T1=0.01	OPTIMUM f=326 TT=0.009 T1=0	OPTIMUM f=326 TT=0.023 T1=0.02	OPTIMUM f=326 TT=0.021 T1=0.02	OPTIMUM f=326 TT=0.019 T1=0.01	OPTIMUM f=326 TT=0.055 T1=0.05	OPTIMUM f=326 TT=0.059 T1=0.05	OPTIMUM f=326 TT=0.056 T1=0.05	OPTIMUM f=326 TT=0.358 T1=0.35	OPTIMUM f=326 TT=0.209 T1=0.2	OPTIMUM f=326 TT=0.364 T1=0.35	OPTIMUM f=326 TT=0.012 T1=0.01	OPTIMUM f=326 TT=1.75 T1=0.6	OPTIMUM f=326 TT=1.299 T1=0.35	OPTIMUM f=326 TT=0.518 T1=0.28	OPTIMUM f=326 TT=0.027 T1=0.02
PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime04ac_wcsp.wbo	MOPT f=562 TT=0.281 T1=0.26	OPTIMUM f=562 TT=0.329 T1=0.31	OPTIMUM f=562 TT=0.281 T1=0.26	OPTIMUM f=562 TT=1.248 T1=1.15	OPTIMUM f=562 TT=1.312 T1=1.21	OPTIMUM f=562 TT=1.897 T1=1.03	OPTIMUM f=562 TT=11.298 T1=11.06	OPTIMUM f=562 TT=11.597 T1=11.37	OPTIMUM f=562 TT=11.219 T1=10.98	OPTIMUM f=562 TT=25.61 T1=25.16	OPTIMUM f=562 TT=26.406 T1=25.98	OPTIMUM f=562 TT=27.12 T1=26.74	OPTIMUM f=562 TT=0.784 T1=0.77	OPTIMUM f=562 TT=1207.6 T1=158.44	MSAT (TO) f=568 TT=3600.18 T1=3587.94	OPTIMUM f=562 TT=1.773 T1=0.87	OPTIMUM f=562 TT=1.363 T1=1.2
PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime04bc_wcsp.wbo	MOPT f=467 TT=0.287 T1=0.27	OPTIMUM f=467 TT=0.311 T1=0.3	OPTIMUM f=467 TT=0.287 T1=0.27	OPTIMUM f=467 TT=1.219 T1=1.13	OPTIMUM f=467 TT=1.224 T1=1.12	OPTIMUM f=467 TT=1.792 T1=1.03	OPTIMUM f=467 TT=12.23 T1=12.01	OPTIMUM f=467 TT=11.721 T1=11.5	OPTIMUM f=467 TT=11.573 T1=11.36	OPTIMUM f=467 TT=24.984 T1=24.81	OPTIMUM f=467 TT=25.058 T1=24.88	OPTIMUM f=467 TT=26.567 T1=26.39	OPTIMUM f=467 TT=0.639 T1=0.63	MSAT (TO) f=467 TT=3600.26 T1=40.79	MSAT (TO) f=467 TT=3600.2 T1=156.06	OPTIMUM f=467 TT=1.67 T1=0.85	OPTIMUM f=467 TT=1.365 T1=1.21
PB24/WBO/PARTIAL-LIN/ wcsp/mprime/ normalized-mprime04cc_wcsp.wbo	MOPT f=896 TT=0.286 T1=0.27	OPTIMUM f=896 TT=0.311 T1=0.3	OPTIMUM f=896 TT=0.286 T1=0.27	OPTIMUM f=896 TT=1.234 T1=1.15	OPTIMUM f=896 TT=1.339 T1=1.24	OPTIMUM f=896 TT=1.9 T1=1.02	OPTIMUM f=896 TT=10.929 T1=10.61	OPTIMUM f=896 TT=11.162 T1=10.83	OPTIMUM f=896 TT=10.474 T1=10.16	OPTIMUM f=896 TT=26.344 T1=25.73	OPTIMUM f=896 TT=26.396 T1=25.76	OPTIMUM f=896 TT=27.01 T1=26.37	OPTIMUM f=896 TT=1.154 T1=1.14	OPTIMUM f=896 TT=8.558 T1=2.16	OPTIMUM f=896 TT=11.076 T1=1.91	OPTIMUM f=896 TT=1.282 T1=0.64	OPTIMUM f=896 TT=1.423 T1=1.27
PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-eye_wcsp.wbo	MOPT f=1 TT=2.779 T1=2.61	OPTIMUM f=1 TT=3.76 T1=3.69	OPTIMUM f=1 TT=2.779 T1=2.71	OPTIMUM f=1 TT=251.42 T1=251.55	OPTIMUM f=1 TT=426.406 T1=426.98	OPTIMUM f=1 TT=725.318 T1=55.23	OPTIMUM f=1 TT=2717.43 T1=2720.68	OPTIMUM f=1 TT=2791.27 T1=2796.08	OPTIMUM f=1 TT=2546.25 T1=2549.26	MSAT (TO) f=28 TT=3600.1 T1=2.48	MSAT (TO) f=28 TT=3600.06 T1=2.49	MSAT (TO) f=28 TT=3600.05 T1=2.48	OPTIMUM f=1 TT=4.474 T1=4.46	OPTIMUM f=1 TT=865.338 T1=857.16	OPTIMUM f=1 TT=49.326 T1=43.17	OPTIMUM f=1 TT=5.179 T1=2.61	OPTIMUM f=1 TT=570.351 T1=570.66
PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-pedck1000_wcsp.wbo	MOPT f=19 TT=6.201 T1=6.18	OPTIMUM f=19 TT=8.499 T1=8.46	OPTIMUM f=19 TT=7.25 T1=7.22	OPTIMUM f=19 TT=371.046 T1=371.97	OPTIMUM f=19 TT=330.627 T1=330.83	OPTIMUM f=19 TT=3477.78 T1=257.57	OPTIMUM f=19 TT=368.447 T1=366.51	OPTIMUM f=19 TT=358.411 T1=356.58	OPTIMUM f=19 TT=371.504 T1=369.07	OPTIMUM f=19 TT=400.487 T1=397.05	OPTIMUM f=19 TT=401.349 T1=398.09	OPTIMUM f=19 TT=400.978 T1=397.52	OPTIMUM f=19 TT=6.201 T1=6.18	MSAT (TO) f=583 TT=3600.19 T1=3388.31	MSAT (TO) f=582 TT=3600.22 T1=2103.74	MSAT (TO) f=85 TT=3600.27 T1=3596.41	OPTIMUM f=19 TT=423.898 T1=424.07
PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-pedck350l3_wcsp.wbo	MOPT f=0 TT=3.345 T1=1.72	OPTIMUM f=0 TT=6.967 T1=6.92	OPTIMUM f=0 TT=5.537 T1=5.49	OPTIMUM f=0 TT=159.561 T1=158.82	OPTIMUM f=0 TT=155.854 T1=155.6	OPTIMUM f=0 TT=202.814 T1=87.43	MSAT (TO) f=315 TT=3600.02 T1=86.66	MSAT (TO) f=315 TT=3600.03 T1=85.19	MSAT (TO) f=315 TT=3600.07 T1=86.31	Wrong Cert. TT=3600.06	Wrong Cert. TT=3600.11	? (TO) TT=3600.07	OPTIMUM f=0 TT=3.589 T1=3.56	OPTIMUM f=0 TT=29.756 T1=27.41	OPTIMUM f=0 TT=32.365 T1=27.7	OPTIMUM f=0 TT=3.345 T1=1.72	OPTIMUM f=0 TT=160.541 T1=159.77
PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-pedck350_wcsp.wbo	MOPT f=2 TT=3.791 T1=2.22	OPTIMUM f=2 TT=6.639 T1=6.58	OPTIMUM f=2 TT=6.544 T1=6.5	OPTIMUM f=2 TT=159.234 T1=158.56	OPTIMUM f=2 TT=156.883 T1=156.48	OPTIMUM f=2 TT=226.867 T1=88.45	MSAT (TO) f=315 TT=3600.04 T1=86.84	MSAT (TO) f=315 TT=3600.03 T1=85.23	MSAT (TO) f=315 TT=3600.04 T1=86.04	Wrong Cert. TT=3600.06	Wrong Cert. TT=3600.07	? (TO) TT=3600.06	OPTIMUM f=2 TT=3.791 T1=3.77	OPTIMUM f=2 TT=56.138 T1=41.24	OPTIMUM f=2 TT=71.07 T1=57.24	OPTIMUM f=2 TT=5.001 T1=2.22	OPTIMUM f=2 TT=173.358 T1=172.75
PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-sheep4nr_wcsp.wbo	MOPT f=23 TT=241.566 T1=241.48	? (TO) TT=3602	? (TO) TT=3601.82	? (MO) TT=72.763	? (MO) TT=77.308	? (MO) TT=1384.73	? (TO) TT=3600.14	? (TO) TT=3600.05	? (TO) TT=3600.11	? (exit code) TT=377.219	? (exit code) TT=374.938	? (exit code) TT=384.589	OPTIMUM f=23 TT=241.566 T1=241.48	? (TO) TT=3600.19	? (TO) TT=3600.18	? (TO) TT=3600.22	? (MO) TT=82.064
PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-sheep4r-4-0_wcsp.wbo	MOPT f=0 TT=10.47 T1=6.18	OPTIMUM f=0 TT=57.42 T1=57.2	OPTIMUM f=0 TT=48.456 T1=48.26	OPTIMUM f=0 TT=1051.62 T1=1050.11	OPTIMUM f=0 TT=935.745 T1=932.06	OPTIMUM f=0 TT=16869.4 T1=2889.61	MSAT (TO) f=244 TT=3600.21 T1=2652.05	MSAT (TO) f=244 TT=3600.26 T1=2630.26	MSAT (TO) f=244 TT=3600.18 T1=2649.49	Wrong Cert. TT=3600.17	Wrong Cert. TT=3600.09	? (TO) TT=3600.09	OPTIMUM f=0 TT=16.517 T1=16.42	? (TO) TT=3600.24	MSAT (TO) f=217 TT=3600.41 T1=3318.56	OPTIMUM f=0 TT=10.47 T1=6.18	OPTIMUM f=0 TT=898.577 T1=893.32
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-sheep4r-4-1_wcsp.wbo	MOPT f=0 TT=12.92 T1=7.69	OPTIMUM f=0 TT=54.764 T1=54.51	OPTIMUM f=0 TT=48.237 T1=47.96	OPTIMUM f=0 TT=870.131 T1=868.99	OPTIMUM f=0 TT=573.087 T1=568.46	OPTIMUM f=0 TT=15845.2 T1=2434.1	MSAT (TO) f=46 TT=3600.22 T1=3158.62	MSAT (TO) f=46 TT=3600.32 T1=3177.22	MSAT (TO) f=46 TT=3600.24 T1=3146.36	Wrong Cert. TT=3600.11	Wrong Cert. TT=3600.2	? (TO) TT=3600.06	OPTIMUM f=0 TT=18.745 T1=18.63	MSAT (TO) f=20 TT=3600.26 T1=3586.16	MSAT (TO) f=28 TT=3600.58 T1=1929.6	OPTIMUM f=0 TT=12.92 T1=7.69	OPTIMUM f=0 TT=732.17 T1=725.14
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-sheep4r_wcsp.wbo	MOPT f=2 TT=186.77 T1=186.47	? (TO) TT=3602.11	OPTIMUM f=2 TT=2039.24 T1=2042.98	? (MO) TT=67.899	? (MO) TT=64.114	? (MO) TT=1354.31	? (TO) TT=3600.11	? (TO) TT=3600.2	? (TO) TT=3600.1	? (exit code) TT=367.694	? (exit code) TT=359.695	? (exit code) TT=368.6	OPTIMUM f=2 TT=186.77 T1=186.47	? (TO) TT=3600.2	? (TO) TT=3600.29	OPTIMUM f=2 TT=1321.7 T1=1292.83	? (MO) TT=76.346
PB24/WBO/PARTIAL-LIN/wcsp/pedigree/ normalized-simple_wcsp.wbo	MOPT f=1 TT=0.012 T1=0.01	OPTIMUM f=1 TT=0.016 T1=0.01	OPTIMUM f=1 TT=0.012 T1=0.01	OPTIMUM f=1 TT=0.094 T1=0.09	OPTIMUM f=1 TT=0.091 T1=0.08	OPTIMUM f=1 TT=1.629 T1=0.23	OPTIMUM f=1 TT=0.238 T1=0.23	OPTIMUM f=1 TT=0.099 T1=0.09	OPTIMUM f=1 TT=0.101 T1=0.09	OPTIMUM f=1 TT=0.8 T1=0.79	OPTIMUM f=1 TT=0.392 T1=0.39	OPTIMUM f=1 TT=0.396 T1=0.39	OPTIMUM f=1 TT=0.069 T1=0.06	OPTIMUM f=1 TT=1.189 T1=0.63	OPTIMUM f=1 TT=1.015 T1=0.53	OPTIMUM f=1 TT=0.514 T1=0.27	OPTIMUM f=1 TT=0.36 T1=0.34
PB24/WBO/PARTIAL-LIN/ wcsp/pedigree/ normalized-wijsmanguo_wcsp.wbo	MOPT f=1 TT=16.507 T1=16.12	OPTIMUM f=1 TT=28.714 T1=28.39	OPTIMUM f=1 TT=16.507 T1=16.12	MSAT f=6 TT=3596.6 T1=3603.71	MSAT f=6 TT=3595.92 T1=3601.66	? (TO) TT=69547.6	? (TO) TT=3600.02	? (TO) TT=3600.08	? (TO) TT=3600.05	Wrong Cert. TT=3600.2	Wrong Cert. TT=3600.23	? (TO) TT=3600.04	OPTIMUM f=1 TT=38.733 T1=38.69	MSAT (TO) f=19 TT=3600.48 T1=1521.03	MSAT (TO) f=28 TT=3600.18 T1=1580.66	OPTIMUM f=1 TT=23.341 T1=17.32	MSAT f=7 TT=3591.79 T1=3272.63
PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02ac_wcsp.wbo	MOPT f=1579 TT=0.074 T1=0.07	OPTIMUM f=1579 TT=0.074 T1=0.07	OPTIMUM f=1579 TT=0.172 T1=0.17	OPTIMUM f=1579 TT=1.037 T1=1.04	OPTIMUM f=1579 TT=2.15 T1=2.16	OPTIMUM f=1579 TT=5.715 T1=0.89	OPTIMUM f=1579 TT=0.944 T1=0.87	OPTIMUM f=1579 TT=1.02 T1=0.94	OPTIMUM f=1579 TT=0.905 T1=0.85	OPTIMUM f=1579 TT=2.423 T1=2.28	OPTIMUM f=1579 TT=2.591 T1=2.44	OPTIMUM f=1579 TT=2.483 T1=2.35	OPTIMUM f=1579 TT=0.473 T1=0.46	OPTIMUM f=1579 TT=9.124 T1=0.39	OPTIMUM f=1579 TT=2.808 T1=0.41	OPTIMUM f=1579 TT=0.641 T1=0.33	OPTIMUM f=1579 TT=0.862 T1=0.83
PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02bc_wcsp.wbo	MOPT f=1552 TT=0.065 T1=0.06	OPTIMUM f=1552 TT=0.065 T1=0.06	OPTIMUM f=1552 TT=0.204 T1=0.2	OPTIMUM f=1552 TT=1.03 T1=1.04	OPTIMUM f=1552 TT=1.98 T1=1.99	OPTIMUM f=1552 TT=5.748 T1=0.9	OPTIMUM f=1552 TT=0.968 T1=0.88	OPTIMUM f=1552 TT=0.92 T1=0.85	OPTIMUM f=1552 TT=0.878 T1=0.81	OPTIMUM f=1552 TT=2.518 T1=2.33	OPTIMUM f=1552 TT=2.523 T1=2.34	OPTIMUM f=1552 TT=2.521 T1=2.33	OPTIMUM f=1552 TT=0.662 T1=0.65	OPTIMUM f=1552 TT=12.448 T1=0.38	OPTIMUM f=1552 TT=44.356 T1=0.37	OPTIMUM f=1552 TT=1.334 T1=0.6	OPTIMUM f=1552 TT=0.984 T1=0.95
PB24/WBO/PARTIAL-LIN/wcsp/ rover/normalized-rovers02cc_wcsp.wbo	MOPT f=1587 TT=0.061 T1=0.05	OPTIMUM f=1587 TT=0.061 T1=0.05	OPTIMUM f=1587 TT=0.2 T1=0.2	OPTIMUM f=1587 TT=1.032 T1=1.04	OPTIMUM f=1587 TT=1.807 T1=1.81	OPTIMUM f=1587 TT=5.762 T1=0.9	OPTIMUM f=1587 TT=0.874 T1=0.69	OPTIMUM f=1587 TT=0.939 T1=0.74	OPTIMUM f=1587 TT=0.791 T1=0.61	OPTIMUM f=1587 TT=2.647 T1=2.48	OPTIMUM f=1587 TT=2.521 T1=2.37	OPTIMUM f=1587 TT=2.587 T1=2.42	OPTIMUM f=1587 TT=0.667 T1=0.66	OPTIMUM f=1587 TT=6.518 T1=2.49	OPTIMUM f=1587 TT=2.219 T1=0.85	OPTIMUM f=1587 TT=0.836 T1=0.44	OPTIMUM f=1587 TT=1.177 T1=1.15
PB24/WBO/PARTIAL-LIN/wcsp/ satellite/ normalized-satellite01ac_wcsp.wbo	MOPT f=1494 TT=0.142 T1=0.13	OPTIMUM f=1494 TT=0.142 T1=0.13	OPTIMUM f=1494 TT=0.169 T1=0.17	OPTIMUM f=1494 TT=4.922 T1=4.95	OPTIMUM f=1494 TT=3.634 T1=3.64	OPTIMUM f=1494 TT=16.382 T1=1.92	OPTIMUM f=1494 TT=3.191 T1=3.14	OPTIMUM f=1494 TT=3.143 T1=3.1	OPTIMUM f=1494 TT=2.768 T1=2.72	OPTIMUM f=1494 TT=6.564 T1=6.12	OPTIMUM f=1494 TT=6.177 T1=5.76	OPTIMUM f=1494 TT=5.974 T1=5.51	OPTIMUM f=1494 TT=0.79 T1=0.78	OPTIMUM f=1494 TT=7.515 T1=0.69	OPTIMUM f=1494 TT=5.595 T1=0.7	OPTIMUM f=1494 TT=1.403 T1=0.59	OPTIMUM f=1494 TT=2.067 T1=1.09
PB24/WBO/PARTIAL-LIN/wcsp/ satellite/ normalized-satellite01bc_wcsp.wbo	MOPT f=1773 TT=0.139 T1=0.13	OPTIMUM f=1773 TT=0.139 T1=0.13	OPTIMUM f=1773 TT=0.235 T1=0.22	OPTIMUM f=1773 TT=2.155 T1=2.16	OPTIMUM f=1773 TT=3.123 T1=3.14	OPTIMUM f=1773 TT=17 T1=1.96	OPTIMUM f=1773 TT=12.07 T1=11.86	OPTIMUM f=1773 TT=12.641 T1=12.42	OPTIMUM f=1773 TT=12.161 T1=11.96	OPTIMUM f=1773 TT=47.932 T1=47.19	OPTIMUM f=1773 TT=51.723 T1=50.93	OPTIMUM f=1773 TT=51.826 T1=51.02	OPTIMUM f=1773 TT=1.027 T1=1.02	OPTIMUM f=1773 TT=22.179 T1=1.29	OPTIMUM f=1773 TT=4.19 T1=0.77	OPTIMUM f=1773 TT=1.567 T1=0.71	OPTIMUM f=1773 TT=2.499 T1=2.43
PB24/WBO/PARTIAL-LIN/wcsp/ satellite/ normalized-satellite02ac_wcsp.wbo	MOPT f=1559 TT=0.733 T1=0.44	OPTIMUM f=1559 TT=0.899 T1=0.6	OPTIMUM f=1559 TT=0.733 T1=0.44	OPTIMUM f=1559 TT=70.705 T1=71.02	OPTIMUM f=1559 TT=69.81 T1=69.7	OPTIMUM f=1559 TT=197.199 T1=14.53	OPTIMUM f=1559 TT=42.558 T1=41.78	OPTIMUM f=1559 TT=45.332 T1=44.47	OPTIMUM f=1559 TT=43.861 T1=43.04	OPTIMUM f=1559 TT=60.205 T1=59.14	OPTIMUM f=1559 TT=60.528 T1=59.45	OPTIMUM f=1559 TT=59.438 T1=58.42	OPTIMUM f=1559 TT=3.149 T1=3.14	MSAT (TO) f=1559 TT=3600.25 T1=109	MSAT (TO) f=1559 TT=3600.2 T1=176.68	OPTIMUM f=1559 TT=11.721 T1=7.08	OPTIMUM f=1559 TT=148.267 T1=50.86
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/wcsp/ satellite/ normalized-satellite02bc_wcsp.wbo	MOPT f=2211 TT=0.92 T1=0.76	OPTIMUM f=2211 TT=0.92 T1=0.76	OPTIMUM f=2211 TT=1.247 T1=0.99	OPTIMUM f=2211 TT=61.728 T1=61.55	OPTIMUM f=2211 TT=57.491 T1=57.47	OPTIMUM f=2211 TT=225.415 T1=16.12	OPTIMUM f=2211 TT=46.725 T1=46.34	OPTIMUM f=2211 TT=46.966 T1=46.49	OPTIMUM f=2211 TT=45.224 T1=44.82	OPTIMUM f=2211 TT=61.902 T1=60.6	OPTIMUM f=2211 TT=65.472 T1=64.12	OPTIMUM f=2211 TT=59.397 T1=58.21	OPTIMUM f=2211 TT=5.356 T1=5.33	MSAT (TO) f=2211 TT=3600.17 T1=3287.18	MSAT (TO) f=2211 TT=3600.35 T1=334.77	OPTIMUM f=2211 TT=37.629 T1=32.77	OPTIMUM f=2211 TT=126.365 T1=101.36
PB24/WBO/PARTIAL-LIN/wcsp/ satellite/ normalized-satellite02cc_wcsp.wbo	MOPT f=2086 TT=0.739 T1=0.6	OPTIMUM f=2086 TT=0.739 T1=0.6	OPTIMUM f=2086 TT=1.045 T1=0.7	OPTIMUM f=2086 TT=56.923 T1=57.33	OPTIMUM f=2086 TT=55.882 T1=55.74	OPTIMUM f=2086 TT=232.859 T1=16.52	OPTIMUM f=2086 TT=46.156 T1=44.9	OPTIMUM f=2086 TT=47.542 T1=46.31	OPTIMUM f=2086 TT=46.469 T1=45.29	OPTIMUM f=2086 TT=62.97 T1=61.37	OPTIMUM f=2086 TT=61.304 T1=59.77	OPTIMUM f=2086 TT=65.239 T1=63.59	OPTIMUM f=2086 TT=4.763 T1=4.74	MSAT (TO) f=2086 TT=3600.33 T1=775.72	OPTIMUM f=2086 TT=938.623 T1=649.99	OPTIMUM f=2086 TT=8.958 T1=5.28	OPTIMUM f=2086 TT=97.01 T1=89.61
PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen06-16reduc_wcsp.wbo		? (TO) TT=3600.26	? (TO) TT=3600.16	? TT=3584.23	? TT=3587.77	? (TO) TT=70757.8	Wrong Cert. TT=407.398	Wrong Cert. TT=412.561	? (MO) TT=427.071	? (MO) TT=407.268	? (MO) TT=390.416	? (MO) TT=395.058	? (TO) TT=3600.31	? TT=18.493	? (TO) TT=3600.27	? (TO) TT=3600.25	? TT=3586.85
PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen06-18reduc_wcsp.wbo		? (TO) TT=3600.18	? (TO) TT=3600.19	? TT=3589.6	? TT=3579.27	? (TO) TT=71723.1	? (exit code) TT=803.534	? (exit code) TT=786.586	? (exit code) TT=798.792	? (exit code) TT=454.899	? (exit code) TT=480.332	? (exit code) TT=469.241	? (TO) TT=3600.26	? TT=13.203	? (TO) TT=3600.1	? (TO) TT=3600.18	? TT=3586.2
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-18_wcsp.wbo	MSAT f=7173 TT=3600.51 T1=3595.74	? (TO) TT=3602.07	MSAT (TO) f=7173 TT=3600.51 T1=3595.74	? (TO) TT=3600.09	? (TO) TT=3600.18	? (TO) TT=3688.47	? (exit code) TT=850.707	? (exit code) TT=859.813	? (exit code) TT=847.362	? (exit code) TT=444.157	? (exit code) TT=434.696	? (exit code) TT=431.507	MSAT f=43556 TT=529.168 T1=529.99	? TT=58.109	? (TO) TT=3600.21	MSAT (TO) f=22981 TT=3600.19 T1=3601.37	? (TO) TT=3600.18
PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen06-22reduc_wcsp.wbo		? (TO) TT=3600.23	? (TO) TT=3600.12	? TT=3586.93	? TT=3588.06	? (TO) TT=72001.7	? (exit code) TT=762.692	? (exit code) TT=772.884	? (exit code) TT=741.743	? (exit code) TT=2428.37	? (exit code) TT=2766.01	? (exit code) TT=2806.27	? (TO) TT=3600.12	? TT=7.607	? (TO) TT=3600.21	? (TO) TT=3600.58	? TT=3587.2
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-22_wcsp.wbo	MSAT f=6270 TT=1815.89 T1=1821.39	MSAT (TO) f=6640 TT=3600.26 T1=3269.14	MSAT (TO) f=7315 TT=3600.3 T1=3121.41	? (TO) TT=3600.1	? (TO) TT=3600.07	? (TO) TT=3687.83	? (exit code) TT=819.089	? (exit code) TT=807.578	? (exit code) TT=785.808	? (exit code) TT=764.777	? (exit code) TT=773.117	? (exit code) TT=789.124	MSAT f=6270 TT=1815.89 T1=1821.39	? TT=29.102	? (TO) TT=3600.12	MSAT (TO) f=20715 TT=3600.14 T1=3605.45	? (TO) TT=3600.18
PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen06-24reduc_wcsp.wbo		? (TO) TT=3600.12	? (TO) TT=3600.15	? TT=3590.03	? TT=3586.14	? (TO) TT=72002.9	Wrong Cert. TT=3600.27	Wrong Cert. TT=3600.22	? (TO) TT=3600.13	Wrong Cert. TT=3600.46	Wrong Cert. TT=3600.52	? (TO) TT=3600.54	? (TO) TT=3600.23	? TT=6.583	? (TO) TT=3600.1	? (TO) TT=3600.17	? TT=3585.37
PB24/WBO/PARTIAL-LIN/wcsp/scens/ normalized-scen06-30_wcsp.wbo	MOPT f=2080 TT=1252 T1=1073.22	MSAT (TO) f=3660 TT=3600.13 T1=3595.05	MSAT (TO) f=3536 TT=3600.09 T1=3460.39	? (TO) TT=3600.1	? (TO) TT=3600.12	? (TO) TT=3688.11	OPTIMUM f=2080 TT=1672.49 T1=1591.31	OPTIMUM f=2080 TT=1567.75 T1=1495.59	OPTIMUM f=2080 TT=1671.41 T1=1579.43	OPTIMUM f=2080 TT=1313.8 T1=1124.59	OPTIMUM f=2080 TT=1323.73 T1=1137.69	OPTIMUM f=2080 TT=1252 T1=1073.22	OPTIMUM f=2080 TT=1292.5 T1=1292.08	? TT=5.563	MSAT (TO) f=4569 TT=3600.16 T1=3601.54	MSAT (TO) f=6746 TT=3600.21 T1=3602.28	? (TO) TT=3600.09
PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen07_10000_30r_wcsp.wbo	MOPT f=20 TT=606.03 T1=437.48	MSAT (TO) f=64 TT=3600.07 T1=3100.33	MSAT (TO) f=130 TT=3600.08 T1=2867.04	? (TO) TT=3600.09	? (TO) TT=3600.02	? (TO) TT=3689.34	OPTIMUM f=20 TT=1013.79 T1=920.89	OPTIMUM f=20 TT=978.017 T1=886.86	OPTIMUM f=20 TT=940.393 T1=847.72	OPTIMUM f=20 TT=612.833 T1=446.5	OPTIMUM f=20 TT=616.788 T1=446.83	OPTIMUM f=20 TT=606.03 T1=437.48	OPTIMUM f=20 TT=2081.3 T1=2086.67	? TT=5.061	MSAT (TO) f=6930186 TT=3600.34 T1=3590.51	MSAT (TO) f=92 TT=3600.28 T1=3600.1	? (TO) TT=3600.05
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen07_wcsp.wbo	MSAT f=2455561 TT=3602.32 T1=2524.27	MSAT (TO) f=2455561 TT=3602.32 T1=2524.27	MSAT (TO) f=2940688 TT=3602 T1=1414.66	? (MO) TT=298.835	? (MO) TT=278.93	Signal TT=551.46	? (TO) TT=3600.06	? (TO) TT=3600.07	? (TO) TT=3600.11	MSAT (TO) f=238806965 TT=3600.22 T1=3610.2	MSAT (TO) f=238806965 TT=3600.23 T1=3612.4	MSAT (TO) f=238806965 TT=3600.13 T1=3609.3	? TT=589.549	? TT=2964.04	? (TO) TT=3600.16	? (TO) TT=3600.32	? (MO) TT=288.461
PB24/WBO/PARTIAL-LIN/ wcsp/scens/ normalized-scen08reduc_wcsp.wbo		? (TO) TT=3601.41	? (TO) TT=3601.44	? (MO) TT=133.218	? (MO) TT=133.941	? (MO) TT=423.686	? (TO) TT=3600.06	? (TO) TT=3600.05	? (TO) TT=3600.11	Wrong Cert. TT=3600.07	Wrong Cert. TT=3600.08	? (TO) TT=3600.05	? TT=385.327	? TT=1749.75	? (TO) TT=3600.14	? (TO) TT=3600.27	? (TO) TT=3600.41
PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1403_wcsp.wbo	MOPT f=459246 TT=214.248 T1=212.04	MSAT (TO) f=504295 TT=3600.1 T1=3046.82	MSAT (TO) f=494300 TT=3600.05 T1=2655.92	MSAT f=459246 TT=3588.09 T1=3600.16	MSAT f=459246 TT=3584.04 T1=3598.14	? (TO) TT=72001.1	OPTIMUM f=459246 TT=203.512 T1=201.5	OPTIMUM f=459246 TT=206.141 T1=204.14	OPTIMUM f=459246 TT=214.248 T1=212.04	OPTIMUM f=459246 TT=357.575 T1=358.8	OPTIMUM f=459246 TT=355.287 T1=356.17	OPTIMUM f=459246 TT=357.905 T1=359.04	OPTIMUM f=459246 TT=2009.14 T1=2015.07	MSAT (TO) f=495272 TT=3600.19 T1=775.4	MSAT (TO) f=500265 TT=3600.36 T1=2182.51	MSAT (TO) f=509270 TT=3600.69 T1=1.23	MSAT f=459246 TT=3586.61 T1=2337.43
PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1405_wcsp.wbo	MOPT f=459415 TT=675.674 T1=447.38	MSAT (TO) f=505484 TT=3600.04 T1=3483.21	MSAT (TO) f=507496 TT=3600.14 T1=1739.24	MSAT f=459417 TT=3586.68 T1=3600.2	MSAT f=459417 TT=3587.06 T1=3598.19	? (TO) TT=70627	MSAT (TO) f=459418 TT=3600.06 T1=3586.52	MSAT (TO) f=459419 TT=3600.08 T1=2697.41	MSAT (TO) f=459419 TT=3600.06 T1=2867.59	OPTIMUM f=459415 TT=651.436 T1=434.06	OPTIMUM f=459415 TT=672.045 T1=445.19	OPTIMUM f=459415 TT=675.674 T1=447.38	MSAT (TO) f=459415 TT=3600.04 T1=3609.7	MSAT (TO) f=493471 TT=3600.19 T1=1818.72	MSAT (TO) f=499462 TT=3600.38 T1=2502.08	MSAT (TO) f=506453 TT=3600.81 T1=1.55	MSAT f=459418 TT=3583.98 T1=2785.13
PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1407_wcsp.wbo	MSAT f=459570 TT=3600.11 T1=1242.79	MSAT (TO) f=510687 TT=3600.09 T1=3318.28	MSAT (TO) f=507659 TT=3600.19 T1=3193.74	MSAT f=459573 TT=3589.97 T1=3600.2	MSAT f=461572 TT=3586.11 T1=3598.19	? (TO) TT=72001.4	MSAT (TO) f=459570 TT=3600.06 T1=1280.48	MSAT (TO) f=459570 TT=3600.07 T1=1225.46	MSAT (TO) f=459570 TT=3600.11 T1=1242.79	MSAT (TO) f=459570 TT=3600.09 T1=1468.8	MSAT (TO) f=459570 TT=3600.12 T1=1438.86	MSAT (TO) f=459570 TT=3600.11 T1=1431.44	MSAT (TO) f=459613 TT=3600.04 T1=3611.2	MSAT (TO) f=495652 TT=3600.51 T1=887.11	MSAT (TO) f=505652 TT=3600.22 T1=2558.67	MSAT (TO) f=509616 TT=3600.82 T1=1.95	MSAT f=459574 TT=3584.71 T1=615.06
PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1504_wcsp.wbo	MOPT f=161287 TT=11.094 T1=11.12	OPTIMUM f=161287 TT=24.703 T1=24.75	OPTIMUM f=161287 TT=171.324 T1=171.99	OPTIMUM f=161287 TT=63.725 T1=63.9	OPTIMUM f=161287 TT=60.116 T1=60.29	OPTIMUM f=161287 TT=53.783 T1=52.49	OPTIMUM f=161287 TT=15.73 T1=14.04	OPTIMUM f=161287 TT=16.012 T1=14.28	OPTIMUM f=161287 TT=16.329 T1=14.53	OPTIMUM f=161287 TT=19.565 T1=16.48	OPTIMUM f=161287 TT=21.343 T1=18.18	OPTIMUM f=161287 TT=19.948 T1=16.81	OPTIMUM f=161287 TT=11.094 T1=11.12	MSAT (TO) f=178335 TT=3600.19 T1=1875.94	MSAT (TO) f=182333 TT=3600.5 T1=74.78	MSAT (TO) f=192315 TT=3600.69 T1=0.8	OPTIMUM f=161287 TT=56.912 T1=57.05
PB24/WBO/PARTIAL-LIN/wcsp/ spot5/normalized-spot5-1506_wcsp.wbo	MOPT f=354517 TT=702.903 T1=165.52	MSAT (TO) f=395635 TT=3600.05 T1=3275.18	MSAT (TO) f=404652 TT=3600.03 T1=3510.44	MSAT f=354517 TT=3588.53 T1=3600.33	MSAT f=354518 TT=3584.87 T1=3598.45	OPTIMUM f=354517 TT=41789.1 T1=2209.01	OPTIMUM f=354517 TT=712.598 T1=168.89	OPTIMUM f=354517 TT=754.774 T1=176.91	OPTIMUM f=354517 TT=702.903 T1=165.52	OPTIMUM f=354517 TT=1524.54 T1=1529.01	OPTIMUM f=354517 TT=1578.85 T1=1582.95	OPTIMUM f=354517 TT=1610.57 T1=1616.03	OPTIMUM f=354517 TT=1886.59 T1=1893.01	MSAT (TO) f=383574 TT=3600.43 T1=2151.51	MSAT (TO) f=395588 TT=3600.18 T1=8.08	MSAT (TO) f=400573 TT=3600.5 T1=27.63	MSAT f=354517 TT=3583.5 T1=2949.14
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-29_wcsp.wbo	MOPT f=8059 TT=0.045 T1=0.04	OPTIMUM f=8059 TT=2.845 T1=2.03	OPTIMUM f=8059 TT=0.188 T1=0.12	OPTIMUM f=8059 TT=0.143 T1=0.14	OPTIMUM f=8059 TT=0.139 T1=0.13	OPTIMUM f=8059 TT=1.324 T1=0.21	OPTIMUM f=8059 TT=0.318 T1=0.3	OPTIMUM f=8059 TT=0.343 T1=0.32	OPTIMUM f=8059 TT=0.324 T1=0.3	OPTIMUM f=8059 TT=0.816 T1=0.81	OPTIMUM f=8059 TT=1.212 T1=1.21	OPTIMUM f=8059 TT=0.868 T1=0.86	OPTIMUM f=8059 TT=0.045 T1=0.04	MSAT (TO) f=8059 TT=3600.3 T1=3.45	MSAT (TO) f=8059 TT=3600.09 T1=0.58	OPTIMUM f=8059 TT=38.863 T1=18.3	OPTIMUM f=8059 TT=0.13 T1=0.12
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-408_wcsp.wbo	MOPT f=6228 TT=1.569 T1=1.58	MSAT (TO) f=6228 TT=3600.1 T1=2976.49	OPTIMUM f=6228 TT=2.493 T1=2.49	OPTIMUM f=6228 TT=1.569 T1=1.58	OPTIMUM f=6228 TT=1.576 T1=1.59	OPTIMUM f=6228 TT=31.017 T1=1.91	OPTIMUM f=6228 TT=4.724 T1=4.42	OPTIMUM f=6228 TT=4.765 T1=4.47	OPTIMUM f=6228 TT=4.929 T1=4.61	OPTIMUM f=6228 TT=4.238 T1=3.84	OPTIMUM f=6228 TT=4.003 T1=3.61	OPTIMUM f=6228 TT=4.123 T1=3.71	OPTIMUM f=6228 TT=1.81 T1=1.81	MSAT (TO) f=6238 TT=3600.38 T1=3.27	MSAT (TO) f=6233 TT=3600.22 T1=2356.99	MSAT (TO) f=6242 TT=3600.42 T1=0.97	OPTIMUM f=6228 TT=2.221 T1=2.1
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-503_wcsp.wbo	MOPT f=11113 TT=0.115 T1=0.11	OPTIMUM f=11113 TT=1.052 T1=0.23	OPTIMUM f=11113 TT=0.635 T1=0.29	OPTIMUM f=11113 TT=0.256 T1=0.26	OPTIMUM f=11113 TT=0.262 T1=0.27	OPTIMUM f=11113 TT=2.274 T1=0.31	OPTIMUM f=11113 TT=0.47 T1=0.43	OPTIMUM f=11113 TT=0.475 T1=0.44	OPTIMUM f=11113 TT=0.466 T1=0.43	OPTIMUM f=11113 TT=0.327 T1=0.31	OPTIMUM f=11113 TT=0.337 T1=0.31	OPTIMUM f=11113 TT=0.346 T1=0.33	OPTIMUM f=11113 TT=0.115 T1=0.11	MSAT (TO) f=11126 TT=3600.19 T1=1.13	MSAT (TO) f=11119 TT=3600.2 T1=18.82	MSAT (TO) f=11119 TT=3600.63 T1=3504.95	OPTIMUM f=11113 TT=0.278 T1=0.27
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/wcsp/spot5/ normalized-spot5-505_wcsp.wbo	MOPT f=21253 TT=0.224 T1=0.22	MSAT (TO) f=21257 TT=3600.1 T1=1448.89	OPTIMUM f=21253 TT=0.224 T1=0.22	OPTIMUM f=21253 TT=1.532 T1=1.54	OPTIMUM f=21253 TT=3.019 T1=3.04	OPTIMUM f=21253 TT=20.828 T1=1.46	OPTIMUM f=21253 TT=10.47 T1=9.98	OPTIMUM f=21253 TT=10.37 T1=9.86	OPTIMUM f=21253 TT=10.1 T1=9.6	OPTIMUM f=21253 TT=5.507 T1=4.36	OPTIMUM f=21253 TT=5.504 T1=4.34	OPTIMUM f=21253 TT=5.339 T1=4.18	OPTIMUM f=21253 TT=3.119 T1=3.13	MSAT (TO) f=22266 TT=3600.32 T1=4.08	MSAT (TO) f=22260 TT=3600.19 T1=2.6	MSAT (TO) f=21282 TT=3600.56 T1=172.93	OPTIMUM f=21253 TT=2.315 T1=1.9
PB24/WBO/PARTIAL-LIN/ wcsp/spot5/ normalized-spot5-8_wcsp.wbo	MOPT f=2 TT=0.002 T1=0	OPTIMUM f=2 TT=0.002 T1=0	OPTIMUM f=2 TT=0.002 T1=0	OPTIMUM f=2 TT=0.015 T1=0.01	OPTIMUM f=2 TT=0.014 T1=0.01	OPTIMUM f=2 TT=0.213 T1=0.06	OPTIMUM f=2 TT=0.004 T1=0	OPTIMUM f=2 TT=0.008 T1=0	OPTIMUM f=2 TT=0.005 T1=0	OPTIMUM f=2 TT=0.005 T1=0	OPTIMUM f=2 TT=0.004 T1=0	OPTIMUM f=2 TT=0.004 T1=0	OPTIMUM f=2 TT=0.004 T1=0	OPTIMUM f=2 TT=0.705 T1=0.46	OPTIMUM f=2 TT=0.332 T1=0.34	OPTIMUM f=2 TT=0.752 T1=0.58	OPTIMUM f=2 TT=0.013 T1=0.01
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap101_wcsp.wbo	MOPT f=7648133 TT=1.299 T1=1.28	OPTIMUM f=7648133 TT=12.642 T1=3.07	MSAT (TO) f=7702603 TT=3600.07 T1=1383.08	OPTIMUM f=7648133 TT=1.299 T1=1.29	OPTIMUM f=7648133 TT=2.099 T1=2.1	OPTIMUM f=7648133 TT=4.856 T1=1.31	MSAT (TO) f=10735453 TT=3600.05 T1=590.83	MSAT (TO) f=10735453 TT=3600.08 T1=647.77	MSAT (TO) f=10735453 TT=3600.02 T1=584.12	MSAT (TO) f=11807210 TT=3600.12 T1=607.21	MSAT (TO) f=11807210 TT=3600.05 T1=586.88	MSAT (TO) f=11807210 TT=3600.1 T1=599.13	MSAT (TO) f=15079894 TT=3600.02 T1=3610.7	MSAT (TO) f=7742856 TT=3600.37 T1=3596.43	MSAT (TO) f=7803465 TT=3600.27 T1=792.09	MSAT (TO) f=7851242 TT=3600.28 T1=0.24	OPTIMUM f=7648133 TT=1.308 T1=1.28
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap104_wcsp.wbo	MOPT f=9026651 TT=1.262 T1=1.26	OPTIMUM f=9026651 TT=24.184 T1=21.63	MSAT (TO) f=9476942 TT=3600.01 T1=2929.56	OPTIMUM f=9026651 TT=1.298 T1=1.28	OPTIMUM f=9026651 TT=1.262 T1=1.26	OPTIMUM f=9026651 TT=4.767 T1=1.3	MSAT (TO) f=14498489 TT=3600.09 T1=31.52	MSAT (TO) f=14498489 TT=3600.08 T1=30.52	MSAT (TO) f=14498489 TT=3600.08 T1=32.1	MSAT (TO) f=17912641 TT=3600.05 T1=0.12	MSAT (TO) f=17912641 TT=3600.03 T1=0.18	MSAT (TO) f=17912641 TT=3600.04 T1=0.06	MSAT (TO) f=13980219 TT=3600.03 T1=3610.6	MSAT (TO) f=9278690 TT=3600.3 T1=169.13	MSAT (TO) f=9340135 TT=3600.37 T1=0.65	MSAT (TO) f=9340135 TT=3600.24 T1=0.23	OPTIMUM f=9026651 TT=1.304 T1=1.28
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap111_wcsp.wbo	MOPT f=7688496 TT=4.37 T1=4.35	OPTIMUM f=7688496 TT=243.223 T1=242.09	MSAT (TO) f=7978818 TT=3600.02 T1=2125.48	OPTIMUM f=7688496 TT=4.431 T1=4.41	OPTIMUM f=7688496 TT=4.37 T1=4.35	OPTIMUM f=7688496 TT=12.103 T1=4.38	MSAT (TO) f=9735552 TT=3600.04 T1=1858.58	MSAT (TO) f=9735552 TT=3600.13 T1=1992.94	MSAT (TO) f=9735552 TT=3600.12 T1=1963.69	MSAT (TO) f=15343663 TT=3600.19 T1=3611.7	MSAT (TO) f=15343663 TT=3600.11 T1=3609.8	MSAT (TO) f=15343663 TT=3600.04 T1=3610.3	MSAT (TO) f=16519919 TT=3600.05 T1=3610.2	MSAT (TO) f=7952100 TT=3600.17 T1=303.29	MSAT (TO) f=8085538 TT=3600.3 T1=3599.51	MSAT (TO) f=8157049 TT=3600.31 T1=0.28	OPTIMUM f=7688496 TT=4.57 T1=4.53
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap42_wcsp.wbo	MOPT f=9466590 TT=0.602 T1=0.58	OPTIMUM f=9466590 TT=1.972 T1=1.79	OPTIMUM f=9466590 TT=2081.32 T1=493.55	OPTIMUM f=9466590 TT=0.619 T1=0.6	OPTIMUM f=9466590 TT=0.602 T1=0.61	OPTIMUM f=9466590 TT=2.32 T1=0.58	MSAT (TO) f=12213731 TT=3600.1 T1=68.34	MSAT (TO) f=12213731 TT=3600.03 T1=70.83	MSAT (TO) f=12213731 TT=3600.02 T1=71.16	MSAT (TO) f=16396847 TT=3600.13 T1=14.62	MSAT (TO) f=16396847 TT=3600.08 T1=14.19	MSAT (TO) f=16396847 TT=3600.05 T1=14.67	MSAT (TO) f=12311137 TT=3600.03 T1=3609.9	MSAT (TO) f=9556215 TT=3600.34 T1=0.78	MSAT (TO) f=9556215 TT=3600.3 T1=0.84	MSAT (TO) f=9556215 TT=3600.26 T1=0.22	OPTIMUM f=9466590 TT=0.619 T1=0.6
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-cap44_wcsp.wbo	MOPT f=10065681 TT=0.587 T1=0.07	OPTIMUM f=10065681 TT=1.884 T1=0.07	OPTIMUM f=10065681 TT=1141.37 T1=969.94	OPTIMUM f=10065681 TT=0.587 T1=0.57	OPTIMUM f=10065681 TT=0.598 T1=0.58	OPTIMUM f=10065681 TT=2.377 T1=0.61	MSAT (TO) f=10790844 TT=3600.06 T1=2395.9	MSAT (TO) f=10790844 TT=3600.1 T1=2427.11	MSAT (TO) f=10790844 TT=3600.09 T1=2445.07	MSAT (TO) f=17055910 TT=3600.06 T1=3610.4	MSAT (TO) f=17055910 TT=3600.11 T1=3611.4	MSAT (TO) f=17055910 TT=3600.11 T1=3610.4	MSAT (TO) f=10868555 TT=3600.09 T1=3613.9	MSAT (TO) f=10191271 TT=3600.15 T1=82.9	MSAT (TO) f=10324923 TT=3600.4 T1=3602.27	MSAT (TO) f=10336274 TT=3600.47 T1=0.6	OPTIMUM f=10065681 TT=1.202 T1=1.19
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capa_wcsp.wbo	MOPT f=17152938 TT=349.681 T1=348.43	MSAT (TO) f=24144324 TT=3600.22 T1=4.26	MSAT (TO) f=24144324 TT=3600.15 T1=2.78	? (TO) TT=3600.09	? (TO) TT=3600.08	? (TO) TT=65263.3	Wrong Cert. TT=3600.19	Wrong Cert. TT=3600.1	? (TO) TT=3600.13	MSAT (TO) f=119240169 TT=3600.05 T1=5.84	MSAT (TO) f=119240169 TT=3600.2 T1=5.97	MSAT (TO) f=119240169 TT=3600.1 T1=5.87	? (MO) TT=625.174	MSAT (TO) f=30418228 TT=3600.82 T1=68.57	MSAT (TO) f=30418228 TT=3600.85 T1=71.53	MSAT (TO) f=30418228 TT=3600.31 T1=2.13	OPTIMUM f=17152938 TT=349.681 T1=348.43
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capc_wcsp.wbo	MOPT f=11498037 TT=1597.34 T1=1600.44	MSAT (TO) f=22196555 TT=3600.15 T1=38.79	MSAT (TO) f=22196555 TT=3600.14 T1=34.2	? (TO) TT=3600.07	? (TO) TT=3600.07	? (TO) TT=65206.6	Wrong Cert. TT=3600.06	Wrong Cert. TT=3600.14	? (TO) TT=3600.18	MSAT (TO) f=58327323 TT=3600.08 T1=7.64	MSAT (TO) f=58327323 TT=3600.09 T1=5.99	MSAT (TO) f=58327323 TT=3600.19 T1=5.89	? (MO) TT=597.533	MSAT (TO) f=23055786 TT=3600.65 T1=195.55	MSAT (TO) f=23055786 TT=3600.9 T1=202.2	MSAT (TO) f=25527663 TT=3600.25 T1=2.23	OPTIMUM f=11498037 TT=1597.34 T1=1600.44
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmo3_wcsp.wbo	MOPT f=1079974 TT=287.001 T1=201.4	MSAT (TO) f=1170878 TT=3600.06 T1=595.58	MSAT (TO) f=1282796 TT=3600.06 T1=3476.77	OPTIMUM f=1079974 TT=292.437 T1=293.21	OPTIMUM f=1079974 TT=287.001 T1=287.8	OPTIMUM f=1079974 TT=2794.33 T1=201.4	? (exit code) TT=461.384	? (exit code) TT=451.071	? (exit code) TT=457.062	MSAT (TO) f=2697231 TT=3600.4 T1=3609.3	MSAT (TO) f=2697231 TT=3600.37 T1=3612.6	MSAT (TO) f=2697231 TT=3600.34 T1=3610.3	MSAT (TO) f=1753838 TT=3600.19 T1=3609.5	MSAT (TO) f=1223633 TT=3600.2 T1=5.92	MSAT (TO) f=1223633 TT=3600.37 T1=6.49	MSAT (TO) f=1223633 TT=3600.68 T1=1157.1	OPTIMUM f=1079974 TT=442.598 T1=386.16
Bench name	Best results	Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmo4_wcsp.wbo	MOPT f=969880 TT=185.811 T1=124.51	MSAT (TO) f=1102883 TT=3600.1 T1=3553.97	MSAT (TO) f=1215409 TT=3600.08 T1=3133.09	OPTIMUM f=969880 TT=249.924 T1=250.49	OPTIMUM f=969880 TT=185.811 T1=186.73	OPTIMUM f=969880 TT=1299.54 T1=124.51	MSAT (TO) f=1421702 TT=3600.22 T1=564.75	MSAT (TO) f=1421702 TT=3600.32 T1=547.61	MSAT (TO) f=1421702 TT=3600.18 T1=533.62	MSAT (TO) f=1704080 TT=3600.44 T1=3241.19	MSAT (TO) f=1704080 TT=3600.35 T1=3064.54	MSAT (TO) f=1704080 TT=3600.31 T1=2954.2	MSAT (TO) f=1499215 TT=3600.33 T1=3612.9	MSAT (TO) f=1137948 TT=3600.28 T1=4.62	MSAT (TO) f=1136666 TT=3600.58 T1=2144.68	MSAT (TO) f=1407026 TT=3600.35 T1=0.52	OPTIMUM f=969880 TT=360.669 T1=357.85
PB24/WBO/PARTIAL-LIN/wcsp/warehouse/ normalized-capmq1_wcsp.wbo	MSAT f=3438412 TT=3600.3 T1=219.36	MSAT (TO) f=4070331 TT=3600.17 T1=2984.95	MSAT (TO) f=4966439 TT=3600.23 T1=3606.42	? (TO) TT=3600.12	? (TO) TT=3600.04	? (TO) TT=67787.1	Wrong Cert. TT=3600.18	Wrong Cert. TT=3600.21	? (TO) TT=3600.12	MSAT (TO) f=61431294 TT=3600.06 T1=7.61	MSAT (TO) f=61431294 TT=3600.13 T1=8.63	MSAT (TO) f=61431294 TT=3600.16 T1=7.82	? (MO) TT=461.922	MSAT (TO) f=3438412 TT=3600.3 T1=219.36	MSAT (TO) f=3438412 TT=3600.45 T1=232.04	? (TO) TT=3600.36	? (TO) TT=3600.07
PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel02ac_wcsp.wbo	MOPT f=2401 TT=0.058 T1=0.05	OPTIMUM f=2401 TT=0.058 T1=0.05	OPTIMUM f=2401 TT=0.093 T1=0.08	OPTIMUM f=2401 TT=0.293 T1=0.29	OPTIMUM f=2401 TT=0.391 T1=0.38	OPTIMUM f=2401 TT=0.302 T1=0.24	OPTIMUM f=2401 TT=1.779 T1=1.75	OPTIMUM f=2401 TT=1.403 T1=1.37	OPTIMUM f=2401 TT=1.636 T1=1.61	OPTIMUM f=2401 TT=3.289 T1=3.27	OPTIMUM f=2401 TT=3.255 T1=3.23	OPTIMUM f=2401 TT=3.194 T1=3.17	OPTIMUM f=2401 TT=0.486 T1=0.48	OPTIMUM f=2401 TT=41.62 T1=0.58	MSAT (TO) f=2401 TT=3600.3 T1=1.01	OPTIMUM f=2401 TT=0.832 T1=0.39	OPTIMUM f=2401 TT=0.256 T1=0.23
PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel02bc_wcsp.wbo	MOPT f=2251 TT=0.055 T1=0.05	OPTIMUM f=2251 TT=0.055 T1=0.05	OPTIMUM f=2251 TT=0.114 T1=0.11	OPTIMUM f=2251 TT=0.294 T1=0.29	OPTIMUM f=2251 TT=0.413 T1=0.41	OPTIMUM f=2251 TT=0.289 T1=0.25	OPTIMUM f=2251 TT=2.112 T1=2.08	OPTIMUM f=2251 TT=1.707 T1=1.68	OPTIMUM f=2251 TT=1.46 T1=1.43	OPTIMUM f=2251 TT=4.31 T1=4.32	OPTIMUM f=2251 TT=3.439 T1=3.41	OPTIMUM f=2251 TT=3.907 T1=3.88	OPTIMUM f=2251 TT=0.53 T1=0.52	OPTIMUM f=2251 TT=17.289 T1=7.45	OPTIMUM f=2251 TT=4.893 T1=1.07	OPTIMUM f=2251 TT=1.515 T1=0.74	OPTIMUM f=2251 TT=0.261 T1=0.24
PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel02cc_wcsp.wbo	MOPT f=724 TT=0.054 T1=0.05	OPTIMUM f=724 TT=0.054 T1=0.05	OPTIMUM f=724 TT=0.12 T1=0.12	OPTIMUM f=724 TT=0.298 T1=0.29	OPTIMUM f=724 TT=0.52 T1=0.51	OPTIMUM f=724 TT=0.293 T1=0.24	OPTIMUM f=724 TT=1.257 T1=1.16	OPTIMUM f=724 TT=1.997 T1=1.89	OPTIMUM f=724 TT=1.568 T1=1.46	OPTIMUM f=724 TT=3.209 T1=2.96	OPTIMUM f=724 TT=3.198 T1=2.94	OPTIMUM f=724 TT=3.207 T1=2.96	OPTIMUM f=724 TT=0.431 T1=0.42	OPTIMUM f=724 TT=9.95 T1=0.46	OPTIMUM f=724 TT=3.531 T1=0.46	OPTIMUM f=724 TT=0.703 T1=0.35	OPTIMUM f=724 TT=0.231 T1=0.2
PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel04ac_wcsp.wbo	MOPT f=4116 TT=0.262 T1=0.24	OPTIMUM f=4116 TT=0.262 T1=0.24	OPTIMUM f=4116 TT=0.509 T1=0.48	OPTIMUM f=4116 TT=5.748 T1=5.68	OPTIMUM f=4116 TT=5.435 T1=5.38	OPTIMUM f=4116 TT=4.543 T1=3.68	OPTIMUM f=4116 TT=29.538 T1=28.95	OPTIMUM f=4116 TT=30.021 T1=29.45	OPTIMUM f=4116 TT=29.128 T1=28.61	OPTIMUM f=4116 TT=73.239 T1=72.21	OPTIMUM f=4116 TT=76.408 T1=75.3	OPTIMUM f=4116 TT=76.691 T1=75.58	OPTIMUM f=4116 TT=1.999 T1=1.99	OPTIMUM f=4116 TT=528.099 T1=1.68	MSAT (TO) f=4116 TT=3600.11 T1=1.51	OPTIMUM f=4116 TT=2.307 T1=0.98	OPTIMUM f=4116 TT=4.49 T1=4.39
PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel04bc_wcsp.wbo	MOPT f=3956 TT=0.263 T1=0.24	OPTIMUM f=3956 TT=0.263 T1=0.24	OPTIMUM f=3956 TT=0.311 T1=0.29	OPTIMUM f=3956 TT=5.777 T1=5.71	OPTIMUM f=3956 TT=5.151 T1=5.09	OPTIMUM f=3956 TT=4.549 T1=3.68	OPTIMUM f=3956 TT=8.869 T1=8.24	OPTIMUM f=3956 TT=9.63 T1=8.97	OPTIMUM f=3956 TT=9.963 T1=9.35	OPTIMUM f=3956 TT=17.832 T1=17.34	OPTIMUM f=3956 TT=17.493 T1=16.99	OPTIMUM f=3956 TT=17.467 T1=16.97	OPTIMUM f=3956 TT=1.431 T1=1.42	MSAT (TO) f=3956 TT=3600.13 T1=1.52	MSAT (TO) f=3956 TT=3600.17 T1=1.5	OPTIMUM f=3956 TT=2.273 T1=0.94	OPTIMUM f=3956 TT=4.432 T1=4.33
PB24/WBO/PARTIAL-LIN/wcsp/ zenotravel/ normalized-zenotravel04cc_wcsp.wbo	MOPT f=1555 TT=0.268 T1=0.25	OPTIMUM f=1555 TT=0.268 T1=0.25	OPTIMUM f=1555 TT=0.473 T1=0.45	OPTIMUM f=1555 TT=6.055 T1=6	OPTIMUM f=1555 TT=5.264 T1=5.21	OPTIMUM f=1555 TT=4.635 T1=3.77	OPTIMUM f=1555 TT=7.727 T1=7.51	OPTIMUM f=1555 TT=7.834 T1=7.6	OPTIMUM f=1555 TT=7.556 T1=7.34	OPTIMUM f=1555 TT=15.873 T1=15.4	OPTIMUM f=1555 TT=16.734 T1=16.22	OPTIMUM f=1555 TT=18.071 T1=17.54	OPTIMUM f=1555 TT=1.942 T1=1.94	OPTIMUM f=1555 TT=284.4 T1=1.34	OPTIMUM f=1555 TT=2329.06 T1=1.78	OPTIMUM f=1555 TT=1.418 T1=0.5	OPTIMUM f=1555 TT=4.136 T1=4.04

Statistics		Exact 2024-07-05 (complete)	Exact_no_SoPlex 2024-07-05 (complete)	FiberSCIP 2024-07-02 (complete)	FiberSCIP 2024-07-30 (complete)	FiberSCIP 20 cores, 2024-07-30 (complete)	NaPS 1.03 (complete)	NaPS 1.03a1 (complete)	NaPS 1.03a2 (complete)	NaPS-GM 1.03 (complete)	NaPS-GM 1.03a1 (complete)	NaPS-GM 1.03a2 (complete)	NaPS-PB16 1.02b5 (complete)	Sat4j Cutting Planes 2024 2024-07-12 (complete)	Sat4j Partial RoundingSAT 2024 2024-07-12 (complete)	Sat4j Resolution Default 2024-07-07 (complete)	SCIP 2024-07-07 (complete)
Number of times the solver is able to give the best known answer		167	162	156	155	160	0	0	140	0	0	141	149	79	110	137	157
Number of times the solver is the best solver from a complete solver point of view (i.e. best known answer and best TT time)		62	67	6	6	1	0	0	4	0	0	7	14	1	2	32	4