Home Intro Tools Specs Thanks SMT-LIB Previous

summary

Competition results as of Fri Jun 27 16:49:23 EDT 2014

Completed 347147/347147 = 100.0%

Logic Solvers Benchmarks # pairs Complete % Complete Order
ALIA 4 29 116 100% [Z3]; CVC4; veriT; CVC3;
AUFLIA 4 4 16 100% CVC4; [Z3]; CVC3; veriT;
AUFLIRA 4 10791 43164 100% [Z3]; CVC4; CVC3; veriT;
AUFNIRA 4 564 2256 100% [CVC4-with-bugfix]; [Z3]; CVC3; CVC4;
BV 0 0
LIA 4 46 184 100% [Z3]; CVC4; CVC3; veriT;
LRA 4 171 684 100% CVC4; [Z3]; CVC3; veriT;
NIA 3 9 27 100% [Z3]; CVC4; CVC3;
NRA 3 3747 11241 100% [Z3]; CVC4; CVC3;
QF_ABV 9 6457 58113 100% Boolector (justification); Boolector (dual propagation); [MathSAT]; SONOLAR; CVC4; [Z3]; Yices2; Kleaver-STP; Kleaver-portfolio;
QF_ALIA 5 97 485 100% Yices2; SMTInterpol; [Z3]; [MathSAT]; CVC4;
QF_AUFBV 4 37 148 100% CVC4; Yices2; [Z3]; [MathSAT];
QF_AUFLIA 6 610 3660 100% Yices2; [MathSAT]; [Z3]; SMTInterpol; CVC4; veriT;
QF_AX 5 335 1675 100% Yices2; [MathSAT]; [Z3]; CVC4; SMTInterpol;
QF_BV 11 2488 27368 100% Boolector; STP-CryptoMiniSat4; [CVC4-with-bugfix]; [MathSAT]; [Z3]; CVC4; 4Simp; SONOLAR; Yices2; abziz_min_features; abziz_all_features;
QF_IDL 4 1315 5260 100% [Z3]; Yices2; CVC4; veriT;
QF_LIA 7 4381 30667 100% [CVC4-with-bugfix]; [MathSAT]; SMTInterpol; Yices2; [Z3]; veriT; CVC4;
QF_LRA 6 1343 8058 100% CVC4; Yices2; [MathSAT]; SMTInterpol; veriT; [Z3];
QF_NIA 4 8327 33308 100% [Z3]; AProVE; CVC3; CVC4;
QF_NRA 4 10121 40484 100% [Z3]; CVC3; CVC4; raSAT;
QF_RDL 4 132 528 100% Yices2; [Z3]; veriT; CVC4;
QF_UF 7 4124 28868 100% Yices2; veriT; CVC4; OpenSMT2; [Z3]; [MathSAT]; SMTInterpol;
QF_UFBV 4 31 124 100% Yices2; [Z3]; [MathSAT]; CVC4;
QF_UFIDL 4 311 1244 100% [Z3]; Yices2; CVC4; veriT;
QF_UFLIA 6 484 2904 100% [Z3]; Yices2; CVC4; SMTInterpol; [MathSAT]; veriT;
QF_UFLRA 6 1176 7056 100% [Z3]; Yices2; [MathSAT]; CVC4; SMTInterpol; veriT;
QF_UFNIA 3 7 21 100% CVC4; [Z3]; CVC3;
QF_UFNRA 3 32 96 100% [Z3]; CVC3; CVC4;
UF 4 2830 11320 100% CVC4; [Z3]; CVC3; veriT;
UFBV 0 0
UFIDL 3 49 147 100% [Z3]; CVC4; CVC3;
UFLIA 4 5766 23064 100% CVC4; [Z3]; veriT; CVC3;
UFLRA 4 25 100 100% [Z3]; veriT; CVC3; CVC4;
UFNIA 3 1587 4761 100% [Z3]; CVC4; CVC3;
Home Intro Tools Specs Thanks SMT-LIB Previous

Last modified: Tue 17 Feb 2015 15:00 UTC
Valid XHTML 1.0 Valid CSS!