Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

QF_AUFNIA (Main Track)

Competition results for the QF_AUFNIA division as of Fri Oct 30 12:49:29 GMT

Competition benchmarks = 21

Competition industrial benchmarks = 21

Non-Competitive division

Solver Sequential performance Sequential performance (industrial) Parallel performance Parallel performance (industrial) Other information
Errors Corrects CPU Errors Corrects CPU Errors Corrects CPU WALL Errors Corrects CPU WALL Not solved Remaining
CVC4 02117.9702117.9702117.9718.0102117.9718.0100
CVC4 (exp) 02117.9702117.9702117.9718.0102117.9718.0100
[z3] 02119.2302119.2302119.2319.2302119.2319.2300
Home Rules Benchmarks Tools Specs Participants Results SMT-LIB Previous

Last modified: Fri 30 Oct 2015 12:49 UTC
Valid XHTML 1.0 Valid CSS!