This is a supplementary file to the JSAT paper "Polarity and Variable Selection Heuristics for SAT-based Anytime MaxSAT" by Alexander Nadel.

In order to measure the progress of anytime solvers over time, we've updated the output in both the anytime solvers we used for our experiments, TT-Open-WBO-Inc and loandra. The following line is output whenever a new model is discovered: 

 c timeo <time in seconds from the beginning, rounded  upwards to the nearest integer> <the current best result>
 
The code and the executable for the updated versions of TT-Open-WBO-Inc and loandra are provided in their respective directories.

The command lines to recreate the invocations of all the solvers/configurations in the paper:

loandra:
	Loandra/bin/loandra_static -algorithm=1 -pmreslin=1 -pmreslin-varres -pmreslin-cglim=30 -no-pmreslin-incvarres <input-file>
	
TT-Open-WBO-Inc:
	TT-Open-WBO-Inc/bin/tt-open-wbo-inc -ca=1 -c=100000 -algorithm=6 <input-file>

TT-Con-TSB:
	TT-Open-WBO-Inc/bin/tt-open-wbo-inc -ca=1 -c=100000 -algorithm=6 -no-optimistic <input-file>

TT-Opt-TSB:
	TT-Open-WBO-Inc/bin/tt-open-wbo-inc -ca=1 -c=100000 -algorithm=6 -no-conservative <input-file>

TT-PhaseSav-TSB:
	TT-Open-WBO-Inc/bin/tt-open-wbo-inc -ca=1 -c=100000 -algorithm=6 -no-optimistic -no-conservative <input-file>
	
TT-TORC-NoTSB:
	TT-Open-WBO-Inc/bin/tt-open-wbo-inc -ca=1 -c=100000 -algorithm=6 -target_vars_bump_val=0 <input-file>

Open-WBO-Inc:
	TT-Open-WBO-Inc/bin/tt-open-wbo-inc -ca=1 -c=100000 -algorithm=6 -no-optimistic -no-conservative -target_vars_bump_val=0 <input-file>

         
The best result, achieved by the top 6 solvers in MaxSAT Evaluation 2018 in 24 hours, which served as the absolutely best score in our experiments is provided in optimum_weighted_24_hours_top_3_complete_and_incomplete.txt.