Experimental results for the submission: Solving QBF with Counterexample Guided Refinement

M. Janota, W. Klieber, J. Marques-Silva, and E. Clarke

Data

logs, containing standard and error output, and logs of runsolver
preprocessed files with bloqqer-031-7a176af-110509

Summary

number of solved instances for each family and solver

Detailed Results

Adder
Toilet_All
blackbox_design
incrementer-encoder
circuits
Counter
conformant_planning
LinearBitvectorRankingFunction
tipdiam
trafficlight-controller
RobotsD2
Scholl-Becker
Gent-Rowley
Ling
Blocks
Sorting_networks
jmc_quant
jmc_quant_squaring
uclid
blackbox-01X-QBF
BMC
fpu
evader-pursuer
tipfixpoint_sample
Strategic_Companies_sample
Debug (no prepro)
Mneimneh-Sakallah
terminator_sample
irqlkeapclte
Logn
RankingFunctions