benchmark |
benchmark id |
expected |
asterix |
cyclist |
sleek |
spen |
Stats |
Position |
sll0a_entl/clones-08-e06.tptp.smt2 |
945966 |
unsat |
0.007998 |
0.004998 |
0.043992 |
0.009998 |
MinTime |
Winner |
sll0a_entl/smallfoot-vc03.tptp.smt2 |
946098 |
unsat |
0.008997 |
0.004998 |
0.043993 |
0.010997 |
|
|
sll0a_entl/clones-01-e06.tptp.smt2 |
946208 |
unsat |
0.008997 |
0.004998 |
0.046992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc11.tptp.smt2 |
946094 |
unsat |
0.008997 |
0.005998 |
0.056991 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc07.tptp.smt2 |
946053 |
unsat |
0.008997 |
0.005998 |
0.048992 |
0.010998 |
|
|
sll0a_entl/smallfoot-vc59.tptp.smt2 |
946215 |
unsat |
0.008997 |
0.008997 |
0.046992 |
0.011997 |
|
|
sll0a_entl/clones-06-e02.tptp.smt2 |
946010 |
unsat |
0.008997 |
0.004998 |
0.048992 |
0.013996 |
|
|
sll0a_entl/smallfoot-vc04.tptp.smt2 |
945979 |
unsat |
0.008997 |
0.006998 |
0.046992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc19.tptp.smt2 |
946062 |
unsat |
0.008997 |
0.004998 |
0.044992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc24.tptp.smt2 |
946083 |
unsat |
0.008997 |
0.006998 |
0.047991 |
0.010997 |
|
|
sll0a_entl/clones-02-e03.tptp.smt2 |
946196 |
unsat |
0.008997 |
0.004998 |
0.047992 |
0.009998 |
|
|
sll0a_entl/clones-02-e02.tptp.smt2 |
946112 |
unsat |
0.008997 |
0.005998 |
0.045992 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc23.tptp.smt2 |
946090 |
sat |
0.008997 |
0.034994 |
0.046992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc41.tptp.smt2 |
946079 |
unsat |
0.008997 |
0.075987 |
0.045992 |
0.011997 |
|
|
sll0a_entl/clones-03-e04.tptp.smt2 |
946076 |
unsat |
0.008997 |
0.004998 |
0.043992 |
0.010998 |
|
|
sll0a_entl/clones-01-e03.tptp.smt2 |
946188 |
unsat |
0.008997 |
0.004998 |
0.045992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc25.tptp.smt2 |
946101 |
unsat |
0.008997 |
0.005998 |
0.051991 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc06.tptp.smt2 |
946013 |
unsat |
0.008997 |
0.007998 |
0.051991 |
0.010998 |
|
|
sll0a_entl/clones-05-e03.tptp.smt2 |
946238 |
unsat |
0.008997 |
0.004998 |
0.048992 |
0.012997 |
|
|
sll0a_entl/smallfoot-vc02.tptp.smt2 |
946040 |
unsat |
0.008997 |
0.006998 |
0.045992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc15.tptp.smt2 |
946035 |
unsat |
0.008997 |
0.005998 |
0.046992 |
0.011997 |
|
|
sll0a_entl/clones-04-e01.tptp.smt2 |
945962 |
unsat |
0.008997 |
0.005998 |
0.047992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc72.tptp.smt2 |
946190 |
sat |
0.008997 |
0.397939 |
0.045992 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc73.tptp.smt2 |
946039 |
sat |
0.008997 |
0.400938 |
0.044992 |
0.011997 |
|
|
sll0a_entl/clones-10-e03.tptp.smt2 |
946057 |
unsat |
0.008997 |
0.004998 |
0.046992 |
0.020996 |
|
|
sll0a_entl/clones-08-e01.tptp.smt2 |
945990 |
unsat |
0.008997 |
0.004998 |
0.043993 |
0.010998 |
|
|
sll0a_entl/clones-06-e06.tptp.smt2 |
945969 |
unsat |
0.008997 |
0.004998 |
0.045992 |
0.010998 |
|
|
sll0a_entl/smallfoot-vc12.tptp.smt2 |
946144 |
unsat |
0.008997 |
0.006998 |
0.047992 |
0.010997 |
|
|
sll0a_entl/clones-08-e02.tptp.smt2 |
946092 |
unsat |
0.008997 |
0.004998 |
0.049991 |
0.015996 |
|
|
sll0a_entl/smallfoot-vc21.tptp.smt2 |
946199 |
unsat |
0.008997 |
0.005998 |
0.043992 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc48.tptp.smt2 |
946174 |
unsat |
0.008997 |
0.007998 |
0.047991 |
0.011997 |
|
|
sll0a_entl/clones-02-e06.tptp.smt2 |
946099 |
unsat |
0.008997 |
0.003998 |
0.044992 |
0.009997 |
MinTime |
2nd, 4th |
sll0a_entl/clones-09-e06.tptp.smt2 |
946164 |
unsat |
0.008998 |
0.005998 |
0.042992 |
0.010997 |
MinTime |
3rd |
sll0a_entl/smallfoot-vc10.tptp.smt2 |
946198 |
unsat |
0.008998 |
0.007998 |
0.063989 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc47.tptp.smt2 |
946134 |
unsat |
0.008998 |
0.005998 |
0.044992 |
0.010998 |
|
|
sll0a_entl/smallfoot-vc08.tptp.smt2 |
946075 |
unsat |
0.008998 |
0.006998 |
0.046992 |
0.010997 |
|
|
sll0a_entl/clones-04-e04.tptp.smt2 |
945992 |
unsat |
0.008998 |
0.005998 |
0.045992 |
0.010998 |
|
|
sll0a_entl/clones-01-e01.tptp.smt2 |
945958 |
unsat |
0.008998 |
0.004998 |
0.048991 |
0.009997 |
|
|
sll0a_entl/smallfoot-vc09.tptp.smt2 |
946037 |
unsat |
0.008998 |
0.006998 |
0.046991 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc29.tptp.smt2 |
946004 |
sat |
0.008998 |
2.86256 |
0.050991 |
0.009998 |
|
|
sll0a_entl/clones-05-e01.tptp.smt2 |
946066 |
unsat |
0.008998 |
0.005998 |
0.048992 |
0.010998 |
|
|
sll0a_entl/clones-01-e10.tptp.smt2 |
946019 |
sat |
0.008998 |
2.86856 |
0.05299 |
0.010997 |
|
|
sll0a_entl/clones-01-e05.tptp.smt2 |
946140 |
unsat |
0.008998 |
0.007998 |
0.048991 |
0.010997 |
|
|
sll0a_entl/clones-06-e04.tptp.smt2 |
946154 |
unsat |
0.008998 |
0.004998 |
0.043992 |
0.010998 |
|
|
sll0a_entl/clones-04-e03.tptp.smt2 |
946142 |
unsat |
0.008998 |
0.004999 |
0.045992 |
0.009998 |
|
|
sll0a_entl/clones-03-e02.tptp.smt2 |
945972 |
unsat |
0.008998 |
0.004998 |
0.043992 |
0.010998 |
|
|
sll0a_entl/clones-07-e02.tptp.smt2 |
946161 |
unsat |
0.008998 |
0.005998 |
0.048992 |
0.014997 |
|
|
sll0a_entl/clones-07-e03.tptp.smt2 |
946160 |
unsat |
0.008998 |
0.004998 |
0.044993 |
0.014997 |
|
|
sll0a_entl/smallfoot-vc34.tptp.smt2 |
946068 |
unsat |
0.008998 |
0.006998 |
0.138978 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc62.tptp.smt2 |
946157 |
unsat |
0.008998 |
0.004998 |
0.047992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc05.tptp.smt2 |
946141 |
unsat |
0.008998 |
0.006998 |
0.047991 |
0.009998 |
|
|
sll0a_entl/clones-09-e02.tptp.smt2 |
946192 |
unsat |
0.008998 |
0.005998 |
0.051991 |
0.018996 |
|
|
sll0a_entl/clones-05-e04.tptp.smt2 |
946178 |
unsat |
0.008998 |
0.004998 |
0.043992 |
0.010998 |
|
|
sll0a_entl/smallfoot-vc54.tptp.smt2 |
946055 |
sat |
0.008998 |
0.006998 |
0.051991 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc20.tptp.smt2 |
946042 |
unsat |
0.008998 |
0.006998 |
0.045992 |
0.009998 |
|
|
sll0a_entl/smallfoot-vc26.tptp.smt2 |
946044 |
unsat |
0.008998 |
0.006998 |
0.047991 |
0.010997 |
|
|
sll0a_entl/clones-08-e04.tptp.smt2 |
945975 |
unsat |
0.008998 |
0.004998 |
0.045992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc13.tptp.smt2 |
946026 |
unsat |
0.008998 |
0.008998 |
0.043992 |
0.010997 |
|
|
sll0a_entl/clones-01-e04.tptp.smt2 |
946136 |
unsat |
0.008998 |
0.005998 |
0.042992 |
0.010998 |
|
|
sll0a_entl/clones-02-e01.tptp.smt2 |
945973 |
unsat |
0.008998 |
0.006998 |
0.043993 |
0.010998 |
|
|
sll0a_entl/smallfoot-vc01.tptp.smt2 |
946038 |
unsat |
0.008998 |
0.006998 |
0.045992 |
0.010997 |
|
|
sll0a_entl/clones-01-e09.tptp.smt2 |
946012 |
sat |
0.008998 |
3.46247 |
0.051991 |
0.010998 |
|
|
sll0a_entl/clones-05-e06.tptp.smt2 |
946049 |
unsat |
0.008998 |
0.005998 |
0.044992 |
0.010998 |
|
|
sll0a_entl/clones-09-e03.tptp.smt2 |
946181 |
unsat |
0.008998 |
0.004998 |
0.050991 |
0.017996 |
|
|
sll0a_entl/smallfoot-vc75.tptp.smt2 |
946170 |
unsat |
0.008998 |
0.006998 |
0.044992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc14.tptp.smt2 |
946162 |
unsat |
0.008998 |
0.004998 |
0.045992 |
0.009998 |
|
|
sll0a_entl/clones-09-e01.tptp.smt2 |
946132 |
unsat |
0.008998 |
0.004998 |
0.044992 |
0.011997 |
|
|
sll0a_entl/clones-04-e06.tptp.smt2 |
946213 |
unsat |
0.008998 |
0.004998 |
0.043992 |
0.010997 |
|
|
sll0a_entl/clones-07-e04.tptp.smt2 |
946043 |
unsat |
0.008998 |
0.004998 |
0.046992 |
0.010997 |
|
|
sll0a_entl/clones-06-e01.tptp.smt2 |
946147 |
unsat |
0.008998 |
0.004998 |
0.044992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc58.tptp.smt2 |
946109 |
unsat |
0.008998 |
0.006998 |
0.043993 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc17.tptp.smt2 |
946221 |
unsat |
0.008998 |
0.005998 |
0.047992 |
0.010998 |
|
|
sll0a_entl/smallfoot-vc69.tptp.smt2 |
946171 |
sat |
0.008998 |
0.006998 |
0.048992 |
0.010998 |
|
|
sll0a_entl/ls-vc02.smt2 |
946212 |
sat |
0.008998 |
13.8349 |
0.05899 |
0.010998 |
|
|
sll0a_entl/smallfoot-vc64.tptp.smt2 |
946128 |
unsat |
0.008998 |
0.005998 |
0.045992 |
0.010998 |
|
|
sll0a_entl/clones-07-e06.tptp.smt2 |
946143 |
unsat |
0.008998 |
0.004998 |
0.044993 |
0.010997 |
|
|
sll0a_entl/clones-02-e09.tptp.smt2 |
946224 |
sat |
0.008998 |
2400.1 |
0.047991 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc57.tptp.smt2 |
946054 |
sat |
0.008998 |
680.946 |
0.048991 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc61.tptp.smt2 |
946227 |
sat |
0.008998 |
0.377941 |
0.047991 |
0.010997 |
|
|
sll0a_entl/clones-07-e01.tptp.smt2 |
946242 |
unsat |
0.008998 |
0.004998 |
0.048991 |
0.010998 |
|
|
sll0a_entl/clones-05-e05.tptp.smt2 |
946137 |
unsat |
0.008998 |
0.006998 |
0.048991 |
0.013996 |
|
|
sll0a_entl/clones-02-e04.tptp.smt2 |
946041 |
unsat |
0.008998 |
0.005998 |
0.045992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc40.tptp.smt2 |
946150 |
sat |
0.008998 |
2400.09 |
0.049991 |
0.011998 |
|
|
sll0a_entl/clones-03-e01.tptp.smt2 |
946241 |
unsat |
0.008998 |
0.004998 |
0.044992 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc30.tptp.smt2 |
946048 |
sat |
0.008998 |
996.124 |
0.052991 |
0.011997 |
|
|
sll0a_entl/clones-09-e05.tptp.smt2 |
946020 |
unsat |
0.009997 |
0.006998 |
0.05999 |
0.023995 |
|
|
sll0a_entl/clones-09-e04.tptp.smt2 |
946063 |
unsat |
0.009997 |
0.004998 |
0.044993 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc22.tptp.smt2 |
946022 |
sat |
0.009997 |
0.009998 |
0.046992 |
0.009998 |
|
|
sll0a_entl/clones-03-e07.tptp.smt2 |
946218 |
sat |
0.009997 |
2400.02 |
0.044992 |
0.011997 |
|
|
sll0a_entl/clones-03-e10.tptp.smt2 |
946095 |
sat |
0.009997 |
2400.06 |
0.047991 |
0.011997 |
|
|
sll0a_entl/ls-vc04.smt2 |
946105 |
sat |
0.009997 |
0.225965 |
0.050991 |
0.011997 |
|
|
sll0a_entl/clones-02-e05.tptp.smt2 |
946189 |
unsat |
0.009997 |
0.006998 |
0.050991 |
0.009998 |
|
|
sll0a_entl/smallfoot-vc74.tptp.smt2 |
946069 |
unsat |
0.009997 |
0.008998 |
0.045992 |
0.011997 |
|
|
sll0a_entl/clones-03-e03.tptp.smt2 |
945968 |
unsat |
0.009997 |
0.004998 |
0.043992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc39.tptp.smt2 |
946072 |
sat |
0.009997 |
0.440932 |
0.047992 |
0.011998 |
|
|
sll0a_entl/clones-06-e03.tptp.smt2 |
946006 |
unsat |
0.009997 |
0.004998 |
0.048991 |
0.012997 |
|
|
sll0a_entl/clones-01-e07.tptp.smt2 |
945996 |
sat |
0.009997 |
2.85956 |
0.049992 |
0.010997 |
|
|
sll0a_entl/clones-04-e09.tptp.smt2 |
946209 |
sat |
0.009997 |
2400.05 |
0.047991 |
0.017997 |
|
|
sll0a_entl/smallfoot-vc32.tptp.smt2 |
946158 |
sat |
0.009997 |
4.46532 |
0.053991 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc52.tptp.smt2 |
946085 |
unsat |
0.009997 |
0.006998 |
0.046992 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc66.tptp.smt2 |
946177 |
unsat |
0.009997 |
0.006998 |
0.051991 |
0.011997 |
|
|
sll0a_entl/clones-01-e02.tptp.smt2 |
946200 |
unsat |
0.009997 |
0.005998 |
0.045992 |
0.010997 |
|
|
sll0a_entl/clones-10-e05.tptp.smt2 |
946073 |
unsat |
0.009997 |
0.007998 |
0.062989 |
0.027995 |
|
|
sll0a_entl/clones-04-e02.tptp.smt2 |
946005 |
unsat |
0.009997 |
0.004998 |
0.048991 |
0.010997 |
|
|
sll0a_entl/clones-01-e08.tptp.smt2 |
946176 |
sat |
0.009997 |
13.265 |
0.143977 |
0.011997 |
|
|
sll0a_entl/ls-vc05.smt2 |
945961 |
unsat |
0.009997 |
0.006998 |
0.044993 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc31.tptp.smt2 |
946078 |
sat |
0.009997 |
27.0619 |
0.055991 |
0.011997 |
|
|
sll0a_entl/clones-10-e02.tptp.smt2 |
945984 |
unsat |
0.009997 |
0.004998 |
0.048992 |
0.021996 |
|
|
sll0a_entl/smallfoot-vc60.tptp.smt2 |
946233 |
unsat |
0.009997 |
0.007998 |
0.046992 |
0.011997 |
|
|
sll0a_entl/clones-04-e10.tptp.smt2 |
946216 |
sat |
0.009997 |
2400.01 |
0.044993 |
0.016996 |
|
|
sll0a_entl/smallfoot-vc68.tptp.smt2 |
946191 |
sat |
0.009997 |
0.32195 |
0.044992 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc43.tptp.smt2 |
946067 |
sat |
0.009997 |
2400.08 |
0.047992 |
0.013997 |
|
|
sll0a_entl/clones-04-e07.tptp.smt2 |
946182 |
sat |
0.009997 |
2400.07 |
0.050991 |
0.015997 |
|
|
sll0a_entl/smallfoot-vc42.tptp.smt2 |
946145 |
unsat |
0.009997 |
11.3703 |
0.045992 |
0.010997 |
|
|
sll0a_entl/ls-vc01.smt2 |
946088 |
sat |
0.009998 |
1.40879 |
0.05899 |
0.010998 |
|
|
sll0a_entl/smallfoot-vc71.tptp.smt2 |
946167 |
unsat |
0.009998 |
0.006998 |
0.086985 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc28.tptp.smt2 |
946100 |
unsat |
0.009998 |
0.035994 |
0.047992 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc70.tptp.smt2 |
945987 |
sat |
0.009998 |
2400.08 |
0.141977 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc63.tptp.smt2 |
945991 |
unsat |
0.009998 |
0.006998 |
0.045992 |
0.010997 |
|
|
sll0a_entl/clones-07-e05.tptp.smt2 |
946130 |
unsat |
0.009998 |
0.006998 |
0.05599 |
0.016997 |
|
|
sll0a_entl/smallfoot-vc67.tptp.smt2 |
946060 |
unsat |
0.009998 |
0.007998 |
0.046992 |
0.011998 |
|
|
sll0a_entl/smallfoot-vc77.tptp.smt2 |
946129 |
unsat |
0.009998 |
0.006998 |
0.05899 |
0.010998 |
|
|
sll0a_entl/smallfoot-vc37.tptp.smt2 |
946226 |
sat |
0.009998 |
13.22 |
0.157975 |
0.011997 |
|
|
sll0a_entl/clones-05-e02.tptp.smt2 |
946151 |
unsat |
0.009998 |
0.004998 |
0.046991 |
0.010998 |
|
|
sll0a_entl/clones-05-e07.tptp.smt2 |
946047 |
sat |
0.009998 |
2400.08 |
0.048991 |
0.017996 |
|
|
sll0a_entl/clones-10-e04.tptp.smt2 |
946030 |
unsat |
0.009998 |
0.004998 |
0.043992 |
0.010998 |
|
|
sll0a_entl/clones-03-e08.tptp.smt2 |
946036 |
sat |
0.009998 |
2400.09 |
0.047992 |
0.016996 |
|
|
sll0a_entl/smallfoot-vc55.tptp.smt2 |
946046 |
unsat |
0.009998 |
0.007998 |
0.044992 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc16.tptp.smt2 |
946127 |
unsat |
0.009998 |
0.006998 |
0.046992 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc33.tptp.smt2 |
946001 |
sat |
0.009998 |
4.03039 |
0.055991 |
0.011997 |
|
|
sll0a_entl/clones-08-e05.tptp.smt2 |
946051 |
unsat |
0.009998 |
0.006998 |
0.064989 |
0.020996 |
|
|
sll0a_entl/clones-03-e05.tptp.smt2 |
946183 |
unsat |
0.009998 |
0.006998 |
0.046992 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc45.tptp.smt2 |
946064 |
unsat |
0.009998 |
0.007998 |
0.049991 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc49.tptp.smt2 |
946077 |
sat |
0.009998 |
27.4538 |
0.046992 |
0.011997 |
|
|
sll0a_entl/clones-08-e03.tptp.smt2 |
946002 |
unsat |
0.009998 |
0.005998 |
0.050991 |
0.015997 |
|
|
sll0a_entl/clones-10-e01.tptp.smt2 |
946225 |
unsat |
0.009998 |
0.004998 |
0.046991 |
0.011997 |
|
|
sll0a_entl/clones-04-e05.tptp.smt2 |
946070 |
unsat |
0.009998 |
0.005998 |
0.048991 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc27.tptp.smt2 |
946111 |
unsat |
0.009998 |
0.004998 |
0.044992 |
0.010997 |
|
|
sll0a_entl/smallfoot-vc76.tptp.smt2 |
946211 |
sat |
0.009998 |
0.31695 |
0.046992 |
0.011997 |
|
|
sll0a_entl/clones-03-e06.tptp.smt2 |
946179 |
unsat |
0.009998 |
0.004998 |
0.043993 |
0.010997 |
|
|
sll0a_entl/clones-10-e06.tptp.smt2 |
946017 |
unsat |
0.009998 |
0.004999 |
0.043992 |
0.010998 |
|
|
sll0a_entl/bolognesa-11-e07.tptp.smt2 |
946097 |
unsat |
0.010997 |
2400.09 |
0.046992 |
0.018996 |
|
|
sll0a_entl/ls-vc03.smt2 |
946126 |
sat |
0.010997 |
2400.1 |
0.18897 |
0.013997 |
|
|
sll0a_entl/bolognesa-14-e01.tptp.smt2 |
946052 |
unsat |
0.010997 |
2400.07 |
0.052991 |
0.018996 |
|
|
sll0a_entl/smallfoot-vc53.tptp.smt2 |
946023 |
unsat |
0.010997 |
0.005998 |
0.046991 |
0.011997 |
|
|
sll0a_entl/bolognesa-12-e08.tptp.smt2 |
946110 |
unsat |
0.010997 |
2400.1 |
0.045992 |
0.024995 |
|
|
sll0a_entl/smallfoot-vc38.tptp.smt2 |
946007 |
unsat |
0.010997 |
2400.08 |
0.201968 |
0.011997 |
MaxTime |
3rd |
sll0a_entl/clones-02-e10.tptp.smt2 |
946119 |
sat |
0.010997 |
2400.02 |
0.044992 |
0.011997 |
|
|
sll0a_entl/clones-06-e05.tptp.smt2 |
946118 |
unsat |
0.010997 |
0.006998 |
0.051991 |
0.014997 |
|
|
sll0a_entl/bolognesa-13-e01.tptp.smt2 |
945978 |
unsat |
0.010997 |
2400.1 |
0.048992 |
0.028995 |
|
|
sll0a_entl/bolognesa-11-e02.tptp.smt2 |
945956 |
unsat |
0.010997 |
2400.01 |
0.046992 |
0.019996 |
|
|
sll0a_entl/smallfoot-vc56.tptp.smt2 |
946021 |
sat |
0.010997 |
0.32195 |
0.045992 |
0.011998 |
|
|
sll0a_entl/clones-06-e10.tptp.smt2 |
946108 |
sat |
0.010997 |
2400.06 |
0.048991 |
0.024995 |
|
|
sll0a_entl/bolognesa-10-e02.tptp.smt2 |
946206 |
unsat |
0.010997 |
2400.1 |
0.045992 |
0.017996 |
|
|
sll0a_entl/bolognesa-12-e06.tptp.smt2 |
946103 |
unsat |
0.010997 |
2400.04 |
0.044992 |
0.016996 |
|
|
sll0a_entl/bolognesa-10-e06.tptp.smt2 |
946210 |
sat |
0.010997 |
2400.1 |
0.046992 |
0.014996 |
|
|
sll0a_entl/clones-06-e07.tptp.smt2 |
946121 |
sat |
0.010997 |
2400.09 |
0.049992 |
0.025995 |
|
|
sll0a_entl/smallfoot-vc50.tptp.smt2 |
946032 |
unsat |
0.010997 |
0.007998 |
0.045992 |
0.010997 |
|
|
sll0a_entl/bolognesa-11-e04.tptp.smt2 |
945976 |
unsat |
0.010997 |
2400.02 |
0.046992 |
0.023995 |
|
|
sll0a_entl/bolognesa-10-e01.tptp.smt2 |
946061 |
sat |
0.010997 |
2400.06 |
0.045992 |
0.020996 |
|
|
sll0a_entl/smallfoot-vc46.tptp.smt2 |
946235 |
unsat |
0.010997 |
0.006998 |
0.051991 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc35.tptp.smt2 |
946033 |
sat |
0.010997 |
3.49447 |
0.053991 |
0.010997 |
|
|
sll0a_entl/clones-07-e07.tptp.smt2 |
946152 |
sat |
0.010997 |
2400.06 |
0.047991 |
0.032994 |
|
|
sll0a_entl/smallfoot-vc36.tptp.smt2 |
946114 |
unsat |
0.010997 |
0.006998 |
0.055991 |
0.011997 |
|
|
sll0a_entl/bolognesa-12-e10.tptp.smt2 |
946207 |
unsat |
0.010997 |
2400.08 |
0.046992 |
0.020996 |
|
|
sll0a_entl/bolognesa-12-e01.tptp.smt2 |
946166 |
unsat |
0.010997 |
2400.08 |
0.045992 |
0.022996 |
|
|
sll0a_entl/smallfoot-vc18.tptp.smt2 |
946117 |
unsat |
0.010997 |
0.006998 |
0.044992 |
0.010998 |
|
|
sll0a_entl/clones-02-e08.tptp.smt2 |
945953 |
sat |
0.010997 |
2400.09 |
0.045992 |
0.011997 |
|
|
sll0a_entl/smallfoot-vc65.tptp.smt2 |
946028 |
unsat |
0.010997 |
0.005998 |
0.044992 |
0.011997 |
|
|
sll0a_entl/bolognesa-13-e03.tptp.smt2 |
946093 |
unsat |
0.010997 |
2400.07 |
0.049991 |
0.023995 |
|
|
sll0a_entl/bolognesa-15-e07.tptp.smt2 |
945955 |
unsat |
0.010997 |
2400.04 |
0.047991 |
0.036993 |
|
|
sll0a_entl/bolognesa-11-e08.tptp.smt2 |
946180 |
unsat |
0.010998 |
2400.07 |
0.043992 |
0.018996 |
|
|
sll0a_entl/clones-03-e09.tptp.smt2 |
946084 |
sat |
0.010998 |
2400.09 |
0.045992 |
0.013997 |
|
|
sll0a_entl/bolognesa-10-e10.tptp.smt2 |
945964 |
unsat |
0.010998 |
2400.08 |
0.045992 |
0.021996 |
|
|
sll0a_entl/bolognesa-14-e04.tptp.smt2 |
945965 |
unsat |
0.010998 |
2400.03 |
0.049992 |
0.024995 |
|
|
sll0a_entl/clones-08-e07.tptp.smt2 |
945959 |
sat |
0.011997 |
2400 |
0.052991 |
0.051991 |
|
|
sll0a_entl/bolognesa-13-e07.tptp.smt2 |
945997 |
unsat |
0.011997 |
2400.05 |
0.046992 |
0.032994 |
|
|
sll0a_entl/clones-05-e08.tptp.smt2 |
946214 |
sat |
0.011997 |
2400.01 |
0.050991 |
0.026995 |
|
|
sll0a_entl/bolognesa-17-e09.tptp.smt2 |
946131 |
unsat |
0.011997 |
2400.04 |
0.050991 |
0.05999 |
|
|
sll0a_entl/clones-07-e10.tptp.smt2 |
946193 |
sat |
0.011997 |
2400.09 |
0.049992 |
0.032994 |
|
|
sll0a_entl/bolognesa-14-e02.tptp.smt2 |
946096 |
unsat |
0.011997 |
2400.01 |
0.047992 |
0.021995 |
|
|
sll0a_entl/bolognesa-10-e08.tptp.smt2 |
946125 |
sat |
0.011997 |
2400.04 |
0.046992 |
0.015996 |
|
|
sll0a_entl/bolognesa-18-e10.tptp.smt2 |
946139 |
unsat |
0.011997 |
2400.09 |
0.049991 |
0.048992 |
|
|
sll0a_entl/bolognesa-11-e10.tptp.smt2 |
946122 |
sat |
0.011997 |
2400.1 |
0.046992 |
0.020996 |
|
|
sll0a_entl/clones-09-e10.tptp.smt2 |
946011 |
sat |
0.011997 |
2400.1 |
0.049991 |
0.067989 |
|
|
sll0a_entl/clones-08-e09.tptp.smt2 |
946133 |
sat |
0.011997 |
2400.02 |
0.051991 |
0.080987 |
|
|
sll0a_entl/clones-09-e07.tptp.smt2 |
946165 |
sat |
0.011997 |
2400.01 |
0.050991 |
0.069988 |
|
|
sll0a_entl/bolognesa-12-e04.tptp.smt2 |
946149 |
sat |
0.011997 |
2400.09 |
0.047992 |
0.025995 |
|
|
sll0a_entl/bolognesa-16-e07.tptp.smt2 |
946187 |
unsat |
0.011997 |
2400.04 |
0.047991 |
0.031994 |
|
|
sll0a_entl/bolognesa-19-e06.tptp.smt2 |
946018 |
unsat |
0.011997 |
2400.06 |
0.050991 |
0.054991 |
|
|
sll0a_entl/bolognesa-12-e03.tptp.smt2 |
946014 |
sat |
0.011997 |
2400.06 |
0.046992 |
0.028994 |
|
|
sll0a_entl/clones-06-e09.tptp.smt2 |
945981 |
sat |
0.011997 |
2400.03 |
0.050991 |
0.035994 |
|
|
sll0a_entl/bolognesa-15-e02.tptp.smt2 |
946205 |
unsat |
0.011997 |
2400.04 |
0.050991 |
0.052991 |
|
|
sll0a_entl/clones-10-e07.tptp.smt2 |
946059 |
sat |
0.011997 |
2400.09 |
0.051991 |
0.092985 |
|
|
sll0a_entl/bolognesa-14-e03.tptp.smt2 |
946204 |
unsat |
0.011997 |
2400.09 |
0.053991 |
0.028994 |
|
|
sll0a_entl/bolognesa-11-e05.tptp.smt2 |
945993 |
sat |
0.011997 |
2400.04 |
0.052991 |
0.017997 |
|
|
sll0a_entl/bolognesa-15-e04.tptp.smt2 |
945963 |
unsat |
0.011997 |
2400.07 |
0.046992 |
0.031994 |
|
|
sll0a_entl/bolognesa-11-e09.tptp.smt2 |
946089 |
unsat |
0.011997 |
2400.06 |
0.047992 |
0.018996 |
|
|
sll0a_entl/clones-06-e08.tptp.smt2 |
946015 |
sat |
0.011997 |
2400.08 |
0.054991 |
0.046992 |
|
|
sll0a_entl/bolognesa-16-e08.tptp.smt2 |
946217 |
unsat |
0.011997 |
2400.02 |
0.047992 |
0.037993 |
|
|
sll0a_entl/bolognesa-10-e09.tptp.smt2 |
946148 |
sat |
0.011997 |
2400.05 |
0.045992 |
0.022995 |
|
|
sll0a_entl/bolognesa-10-e05.tptp.smt2 |
946194 |
sat |
0.011997 |
2400.01 |
0.047992 |
0.017996 |
|
|
sll0a_entl/bolognesa-14-e07.tptp.smt2 |
946173 |
unsat |
0.011997 |
2400.01 |
0.048991 |
0.027995 |
|
|
sll0a_entl/clones-02-e07.tptp.smt2 |
946232 |
sat |
0.011997 |
2400.05 |
0.049991 |
0.011997 |
|
|
sll0a_entl/bolognesa-11-e01.tptp.smt2 |
945982 |
unsat |
0.011997 |
2400.02 |
0.048992 |
0.021995 |
|
|
sll0a_entl/clones-05-e09.tptp.smt2 |
946146 |
sat |
0.011997 |
2400.03 |
0.049991 |
0.022996 |
|
|
sll0a_entl/bolognesa-17-e01.tptp.smt2 |
946195 |
unsat |
0.011997 |
2400.06 |
0.050991 |
0.05699 |
|
|
sll0a_entl/bolognesa-19-e10.tptp.smt2 |
946243 |
unsat |
0.011997 |
2400.02 |
0.048991 |
0.078987 |
|
|
sll0a_entl/bolognesa-11-e03.tptp.smt2 |
946115 |
unsat |
0.011997 |
2400.05 |
0.047991 |
0.028994 |
|
|
sll0a_entl/bolognesa-10-e04.tptp.smt2 |
945998 |
sat |
0.011997 |
2400.1 |
0.048991 |
0.019996 |
|
|
sll0a_entl/bolognesa-13-e08.tptp.smt2 |
945974 |
unsat |
0.011997 |
2400.06 |
0.046992 |
0.018996 |
|
|
sll0a_entl/bolognesa-11-e06.tptp.smt2 |
946197 |
sat |
0.011997 |
2400.03 |
0.044992 |
0.021996 |
|
|
sll0a_entl/bolognesa-14-e09.tptp.smt2 |
946228 |
unsat |
0.011997 |
2400.08 |
0.048991 |
0.031995 |
|
|
sll0a_entl/bolognesa-16-e01.tptp.smt2 |
946025 |
unsat |
0.011997 |
2400.07 |
0.048992 |
0.036993 |
|
|
sll0a_entl/smallfoot-vc44.tptp.smt2 |
946071 |
unsat |
0.011997 |
0.037993 |
0.048992 |
0.011997 |
|
|
sll0a_entl/bolognesa-10-e07.tptp.smt2 |
946074 |
sat |
0.011997 |
2400.07 |
0.047991 |
0.019996 |
|
|
sll0a_entl/clones-07-e09.tptp.smt2 |
946045 |
sat |
0.011997 |
2400.04 |
0.050991 |
0.055991 |
|
|
sll0a_entl/bolognesa-10-e03.tptp.smt2 |
946081 |
unsat |
0.011997 |
2400.05 |
0.045992 |
0.021996 |
|
|
sll0a_entl/clones-04-e08.tptp.smt2 |
946000 |
sat |
0.011998 |
2400.05 |
0.048991 |
0.017996 |
|
|
sll0a_entl/bolognesa-15-e05.tptp.smt2 |
945967 |
unsat |
0.011998 |
2400.03 |
0.046992 |
0.041993 |
|
|
sll0a_entl/bolognesa-12-e02.tptp.smt2 |
945986 |
sat |
0.011998 |
2400.08 |
0.047992 |
0.021996 |
|
|
sll0a_entl/bolognesa-14-e06.tptp.smt2 |
946104 |
unsat |
0.011998 |
2400.1 |
0.046992 |
0.027995 |
|
|
sll0a_entl/smallfoot-vc51.tptp.smt2 |
946236 |
unsat |
0.012997 |
0.005998 |
0.050991 |
0.011998 |
|
|
sll0a_entl/bolognesa-20-e10.tptp.smt2 |
946223 |
unsat |
0.012997 |
2400.07 |
0.048992 |
0.052991 |
|
|
sll0a_entl/bolognesa-19-e05.tptp.smt2 |
946016 |
unsat |
0.012997 |
2400.01 |
0.048992 |
0.044992 |
|
|
sll0a_entl/bolognesa-14-e08.tptp.smt2 |
946169 |
unsat |
0.012997 |
2400.1 |
0.047992 |
0.031995 |
|
|
sll0a_entl/bolognesa-16-e09.tptp.smt2 |
945988 |
unsat |
0.012997 |
2400.09 |
0.048991 |
0.027994 |
|
|
sll0a_entl/bolognesa-15-e08.tptp.smt2 |
946086 |
sat |
0.012997 |
2400.09 |
0.045992 |
0.032994 |
|
|
sll0a_entl/clones-05-e10.tptp.smt2 |
946120 |
sat |
0.012997 |
2400.09 |
0.048991 |
0.018996 |
|
|
sll0a_entl/bolognesa-15-e10.tptp.smt2 |
946184 |
unsat |
0.012997 |
2400.03 |
0.046991 |
0.027995 |
|
|
sll0a_entl/bolognesa-16-e06.tptp.smt2 |
946172 |
sat |
0.012997 |
2400.07 |
0.049991 |
0.029994 |
|
|
sll0a_entl/clones-09-e09.tptp.smt2 |
946237 |
sat |
0.012997 |
2400.01 |
0.052991 |
0.120981 |
|
|
sll0a_entl/bolognesa-20-e08.tptp.smt2 |
945971 |
unsat |
0.012997 |
2400.08 |
0.053991 |
0.106983 |
|
|
sll0a_entl/bolognesa-16-e10.tptp.smt2 |
946138 |
sat |
0.012997 |
2400.05 |
0.051991 |
0.052991 |
|
|
sll0a_entl/bolognesa-18-e01.tptp.smt2 |
945994 |
unsat |
0.012997 |
2400.05 |
0.048991 |
0.047991 |
|
|
sll0a_entl/bolognesa-15-e03.tptp.smt2 |
946155 |
sat |
0.012997 |
2400.08 |
0.047992 |
0.031994 |
|
|
sll0a_entl/bolognesa-15-e06.tptp.smt2 |
946027 |
unsat |
0.012997 |
2400.06 |
0.048992 |
0.052991 |
|
|
sll0a_entl/bolognesa-13-e02.tptp.smt2 |
945983 |
sat |
0.012997 |
2400.08 |
0.045992 |
0.026995 |
|
|
sll0a_entl/bolognesa-16-e03.tptp.smt2 |
946222 |
sat |
0.012997 |
2400.09 |
0.047991 |
0.047991 |
|
|
sll0a_entl/bolognesa-13-e10.tptp.smt2 |
946123 |
sat |
0.012997 |
2400.1 |
0.049992 |
0.031994 |
|
|
sll0a_entl/bolognesa-13-e09.tptp.smt2 |
945980 |
sat |
0.012997 |
2400.1 |
0.046992 |
0.018997 |
|
|
sll0a_entl/bolognesa-17-e04.tptp.smt2 |
946240 |
unsat |
0.012997 |
2400.05 |
0.050991 |
0.05799 |
|
|
sll0a_entl/clones-10-e09.tptp.smt2 |
946058 |
sat |
0.012997 |
2400.03 |
0.05599 |
0.177972 |
|
|
sll0a_entl/bolognesa-12-e09.tptp.smt2 |
946239 |
unsat |
0.012997 |
2400.02 |
0.043993 |
0.023996 |
|
|
sll0a_entl/clones-10-e10.tptp.smt2 |
946175 |
sat |
0.012997 |
2400.07 |
0.05699 |
0.091985 |
|
|
sll0a_entl/bolognesa-18-e07.tptp.smt2 |
946102 |
sat |
0.012997 |
2400.09 |
0.047992 |
0.046992 |
|
|
sll0a_entl/bolognesa-17-e03.tptp.smt2 |
946050 |
sat |
0.012997 |
2400.06 |
0.047992 |
0.034993 |
|
|
sll0a_entl/bolognesa-17-e07.tptp.smt2 |
945970 |
unsat |
0.012998 |
2400 |
0.047991 |
0.033994 |
|
|
sll0a_entl/clones-07-e08.tptp.smt2 |
946185 |
sat |
0.013996 |
2400.1 |
0.05899 |
0.065989 |
|
|
sll0a_entl/bolognesa-14-e10.tptp.smt2 |
946008 |
sat |
0.013997 |
2400.08 |
0.047992 |
0.037994 |
|
|
sll0a_entl/bolognesa-18-e04.tptp.smt2 |
946156 |
sat |
0.013997 |
2400.1 |
0.048991 |
0.047992 |
|
|
sll0a_entl/bolognesa-15-e01.tptp.smt2 |
946106 |
unsat |
0.013997 |
2400.05 |
0.047992 |
0.025995 |
|
|
sll0a_entl/bolognesa-19-e02.tptp.smt2 |
946163 |
sat |
0.013997 |
2400.04 |
0.049991 |
0.067989 |
|
|
sll0a_entl/bolognesa-16-e04.tptp.smt2 |
945960 |
sat |
0.013997 |
2400.07 |
0.046992 |
0.037993 |
|
|
sll0a_entl/bolognesa-13-e06.tptp.smt2 |
945954 |
sat |
0.013997 |
2400.02 |
0.047992 |
0.022996 |
|
|
sll0a_entl/bolognesa-20-e06.tptp.smt2 |
945957 |
unsat |
0.013997 |
2400.02 |
0.05299 |
0.070988 |
|
|
sll0a_entl/bolognesa-18-e02.tptp.smt2 |
946202 |
sat |
0.013997 |
2400.07 |
0.050991 |
0.046992 |
|
|
sll0a_entl/bolognesa-19-e08.tptp.smt2 |
945952 |
unsat |
0.013997 |
2400.08 |
0.049992 |
0.069988 |
|
|
sll0a_entl/bolognesa-13-e05.tptp.smt2 |
946034 |
sat |
0.013997 |
2400.08 |
0.046992 |
0.024995 |
|
|
sll0a_entl/bolognesa-19-e07.tptp.smt2 |
945985 |
sat |
0.013997 |
2400.01 |
0.049991 |
0.080987 |
|
|
sll0a_entl/bolognesa-17-e02.tptp.smt2 |
945977 |
sat |
0.013997 |
2400.05 |
0.048991 |
0.05899 |
|
|
sll0a_entl/bolognesa-17-e10.tptp.smt2 |
946024 |
unsat |
0.013997 |
2400.03 |
0.048992 |
0.051991 |
|
|
sll0a_entl/bolognesa-19-e04.tptp.smt2 |
946009 |
sat |
0.013997 |
2400.03 |
0.049991 |
0.038993 |
|
|
sll0a_entl/bolognesa-12-e05.tptp.smt2 |
946229 |
unsat |
0.013997 |
2400.07 |
0.051991 |
0.021995 |
|
|
sll0a_entl/bolognesa-19-e01.tptp.smt2 |
946219 |
sat |
0.013997 |
2400.02 |
0.050992 |
0.052991 |
|
|
sll0a_entl/clones-08-e10.tptp.smt2 |
946003 |
sat |
0.013997 |
2400.05 |
0.049991 |
0.050992 |
|
|
sll0a_entl/bolognesa-19-e09.tptp.smt2 |
946087 |
sat |
0.013997 |
2400.01 |
0.05599 |
0.074987 |
|
|
sll0a_entl/bolognesa-13-e04.tptp.smt2 |
946234 |
sat |
0.013997 |
2400.05 |
0.047992 |
0.023995 |
|
|
sll0a_entl/bolognesa-12-e07.tptp.smt2 |
946220 |
sat |
0.013997 |
2400.1 |
0.046992 |
0.018996 |
|
|
sll0a_entl/bolognesa-18-e06.tptp.smt2 |
946135 |
sat |
0.013997 |
2400.04 |
0.048991 |
0.049992 |
|
|
sll0a_entl/bolognesa-16-e05.tptp.smt2 |
945989 |
unsat |
0.013997 |
2400.01 |
0.048991 |
0.031994 |
|
|
sll0a_entl/bolognesa-17-e05.tptp.smt2 |
946153 |
unsat |
0.013997 |
2400.1 |
0.05499 |
0.028995 |
|
|
sll0a_entl/bolognesa-20-e07.tptp.smt2 |
946230 |
unsat |
0.013997 |
2400.1 |
0.05299 |
0.043993 |
|
|
sll0a_entl/bolognesa-20-e09.tptp.smt2 |
946124 |
sat |
0.013997 |
2400.01 |
0.049991 |
0.051991 |
|
|
sll0a_entl/bolognesa-20-e05.tptp.smt2 |
946107 |
sat |
0.014996 |
2400.09 |
0.06299 |
0.092984 |
|
|
sll0a_entl/bolognesa-20-e01.tptp.smt2 |
945995 |
sat |
0.014996 |
2400.01 |
0.050992 |
0.094985 |
|
|
sll0a_entl/bolognesa-17-e08.tptp.smt2 |
946082 |
sat |
0.014997 |
2400.09 |
0.050991 |
0.039993 |
|
|
sll0a_entl/bolognesa-19-e03.tptp.smt2 |
946201 |
sat |
0.014997 |
2400.1 |
0.050991 |
0.05999 |
|
|
sll0a_entl/clones-08-e08.tptp.smt2 |
946080 |
sat |
0.014997 |
2400.06 |
0.05999 |
0.092985 |
|
|
sll0a_entl/bolognesa-20-e03.tptp.smt2 |
946203 |
sat |
0.014997 |
2400.02 |
0.051991 |
0.050992 |
|
|
sll0a_entl/bolognesa-15-e09.tptp.smt2 |
946168 |
sat |
0.014997 |
2400.03 |
0.047992 |
0.072988 |
|
|
sll0a_entl/bolognesa-18-e05.tptp.smt2 |
946231 |
sat |
0.014997 |
2400.07 |
0.051991 |
0.053991 |
|
|
sll0a_entl/bolognesa-14-e05.tptp.smt2 |
946065 |
sat |
0.014997 |
2400.01 |
0.046992 |
0.037993 |
|
|
sll0a_entl/bolognesa-16-e02.tptp.smt2 |
946116 |
sat |
0.014997 |
2400.01 |
0.050991 |
0.048991 |
|
|
sll0a_entl/bolognesa-18-e09.tptp.smt2 |
946186 |
sat |
0.014997 |
2400.01 |
0.05799 |
0.067988 |
|
|
sll0a_entl/clones-09-e08.tptp.smt2 |
946159 |
sat |
0.014997 |
2400.08 |
0.061989 |
0.139978 |
|
|
sll0a_entl/clones-10-e08.tptp.smt2 |
945999 |
sat |
0.015996 |
2400.03 |
0.068988 |
0.19397 |
MaxTime |
2nd |
sll0a_entl/bolognesa-20-e04.tptp.smt2 |
946113 |
sat |
0.015996 |
2400.09 |
0.048991 |
0.047992 |
|
|
sll0a_entl/bolognesa-17-e06.tptp.smt2 |
946091 |
unsat |
0.015997 |
2400.03 |
0.050991 |
0.052991 |
|
|
sll0a_entl/bolognesa-18-e08.tptp.smt2 |
946056 |
sat |
0.015997 |
2400.09 |
0.048991 |
0.081987 |
|
|
sll0a_entl/bolognesa-20-e02.tptp.smt2 |
946031 |
sat |
0.015997 |
2400.1 |
0.048991 |
0.037993 |
|
|
sll0a_entl/bolognesa-18-e03.tptp.smt2 |
946029 |
sat |
0.017997 |
2400.08 |
0.051991 |
0.076988 |
MaxTime |
Winner |