433167982 | qf_shls_entl/bolognesa-10-e01.tptp.smt2 | 8317378 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.500757 | 0.491326 | 113176.0 | starexec-unknown | sat |
433167973 | qf_shls_entl/bolognesa-10-e02.tptp.smt2 | 8317369 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.599704 | 0.59104 | 113176.0 | starexec-unknown | unsat |
433167963 | qf_shls_entl/bolognesa-10-e03.tptp.smt2 | 8317359 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.542674 | 0.533878 | 113176.0 | starexec-unknown | unsat |
433167945 | qf_shls_entl/bolognesa-10-e04.tptp.smt2 | 8317341 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.374957 | 0.365594 | 113176.0 | starexec-unknown | sat |
433167940 | qf_shls_entl/bolognesa-10-e05.tptp.smt2 | 8317336 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.535834 | 0.527044 | 113176.0 | starexec-unknown | sat |
433167931 | qf_shls_entl/bolognesa-10-e06.tptp.smt2 | 8317327 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.354725 | 0.345832 | 113176.0 | starexec-unknown | sat |
433167920 | qf_shls_entl/bolognesa-10-e07.tptp.smt2 | 8317316 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.645352 | 0.641029 | 414520.0 | starexec-unknown | sat |
433168041 | qf_shls_entl/bolognesa-10-e08.tptp.smt2 | 8317437 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.567128 | 0.558047 | 113176.0 | starexec-unknown | sat |
433168049 | qf_shls_entl/bolognesa-10-e09.tptp.smt2 | 8317445 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.627058 | 0.618489 | 414756.0 | starexec-unknown | sat |
433167866 | qf_shls_entl/bolognesa-10-e10.tptp.smt2 | 8317262 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.461971 | 0.452966 | 113176.0 | starexec-unknown | unsat |
433167855 | qf_shls_entl/bolognesa-11-e01.tptp.smt2 | 8317251 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.602319 | 0.595203 | 414756.0 | starexec-unknown | unsat |
433167885 | qf_shls_entl/bolognesa-11-e02.tptp.smt2 | 8317281 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.642736 | 0.633607 | 414520.0 | starexec-unknown | unsat |
433167874 | qf_shls_entl/bolognesa-11-e03.tptp.smt2 | 8317270 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.295962 | 0.286978 | 113176.0 | starexec-unknown | unsat |
433167893 | qf_shls_entl/bolognesa-11-e04.tptp.smt2 | 8317289 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.649806 | 0.640747 | 414612.0 | starexec-unknown | unsat |
433167888 | qf_shls_entl/bolognesa-11-e05.tptp.smt2 | 8317284 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.30169 | 0.292792 | 113176.0 | starexec-unknown | sat |
433167913 | qf_shls_entl/bolognesa-11-e06.tptp.smt2 | 8317309 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.531212 | 0.522831 | 113176.0 | starexec-unknown | sat |
433167902 | qf_shls_entl/bolognesa-11-e07.tptp.smt2 | 8317298 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.63441 | 0.6252 | 414756.0 | starexec-unknown | unsat |
433167763 | qf_shls_entl/bolognesa-11-e08.tptp.smt2 | 8317159 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 2.06195 | 2.05369 | 414544.0 | starexec-unknown | unsat |
433167773 | qf_shls_entl/bolognesa-11-e09.tptp.smt2 | 8317169 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.684136 | 0.675221 | 414756.0 | starexec-unknown | unsat |
433167955 | qf_shls_entl/bolognesa-11-e10.tptp.smt2 | 8317351 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.64391 | 0.634995 | 414756.0 | starexec-unknown | sat |
433167997 | qf_shls_entl/bolognesa-12-e01.tptp.smt2 | 8317393 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.479211 | 0.470052 | 113176.0 | starexec-unknown | unsat |
433168019 | qf_shls_entl/bolognesa-12-e02.tptp.smt2 | 8317415 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 4.45778 | 4.44959 | 414500.0 | starexec-unknown | sat |
433168011 | qf_shls_entl/bolognesa-12-e03.tptp.smt2 | 8317407 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.758098 | 0.748878 | 414520.0 | starexec-unknown | sat |
433168030 | qf_shls_entl/bolognesa-12-e04.tptp.smt2 | 8317426 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.607001 | 0.598039 | 414544.0 | starexec-unknown | sat |
433168021 | qf_shls_entl/bolognesa-12-e05.tptp.smt2 | 8317417 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.722893 | 0.71422 | 414544.0 | starexec-unknown | unsat |
433168052 | qf_shls_entl/bolognesa-12-e06.tptp.smt2 | 8317448 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.416813 | 0.407415 | 113176.0 | starexec-unknown | unsat |
433168043 | qf_shls_entl/bolognesa-12-e07.tptp.smt2 | 8317439 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.452234 | 0.443596 | 113176.0 | starexec-unknown | sat |
433167922 | qf_shls_entl/bolognesa-12-e08.tptp.smt2 | 8317318 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.608036 | 0.59949 | 414612.0 | starexec-unknown | unsat |
433167932 | qf_shls_entl/bolognesa-12-e09.tptp.smt2 | 8317328 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.58404 | 0.575151 | 113176.0 | starexec-unknown | unsat |
433167806 | qf_shls_entl/bolognesa-12-e10.tptp.smt2 | 8317202 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.11916 | 1.11009 | 414544.0 | starexec-unknown | unsat |
433167835 | qf_shls_entl/bolognesa-13-e01.tptp.smt2 | 8317231 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.608014 | 0.603841 | 414544.0 | starexec-unknown | unsat |
433167821 | qf_shls_entl/bolognesa-13-e02.tptp.smt2 | 8317217 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.639617 | 0.630408 | 414620.0 | starexec-unknown | sat |
433167810 | qf_shls_entl/bolognesa-13-e03.tptp.smt2 | 8317206 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.512622 | 0.50376 | 113176.0 | starexec-unknown | unsat |
433167792 | qf_shls_entl/bolognesa-13-e04.tptp.smt2 | 8317188 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.298875 | 0.289708 | 113176.0 | starexec-unknown | sat |
433167785 | qf_shls_entl/bolognesa-13-e05.tptp.smt2 | 8317181 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.722477 | 0.721108 | 414612.0 | starexec-unknown | sat |
433167778 | qf_shls_entl/bolognesa-13-e06.tptp.smt2 | 8317174 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.89348 | 1.91403 | 414520.0 | starexec-unknown | sat |
433167765 | qf_shls_entl/bolognesa-13-e07.tptp.smt2 | 8317161 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.752448 | 0.792068 | 414288.0 | starexec-unknown | unsat |
433167904 | qf_shls_entl/bolognesa-13-e08.tptp.smt2 | 8317300 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.65939 | 1.65016 | 414520.0 | starexec-unknown | unsat |
433167914 | qf_shls_entl/bolognesa-13-e09.tptp.smt2 | 8317310 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.571473 | 0.563219 | 113176.0 | starexec-unknown | sat |
433168007 | qf_shls_entl/bolognesa-13-e10.tptp.smt2 | 8317403 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.603285 | 0.594222 | 414620.0 | starexec-unknown | sat |
433167869 | qf_shls_entl/bolognesa-14-e01.tptp.smt2 | 8317265 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.17381 | 1.16516 | 414500.0 | starexec-unknown | unsat |
433167861 | qf_shls_entl/bolognesa-14-e02.tptp.smt2 | 8317257 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.351489 | 0.342547 | 113176.0 | starexec-unknown | unsat |
433167846 | qf_shls_entl/bolognesa-14-e03.tptp.smt2 | 8317242 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.680992 | 0.672567 | 414620.0 | starexec-unknown | unsat |
433167915 | qf_shls_entl/bolognesa-14-e04.tptp.smt2 | 8317311 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.500559 | 0.491553 | 113176.0 | starexec-unknown | unsat |
433167908 | qf_shls_entl/bolognesa-14-e05.tptp.smt2 | 8317304 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.530347 | 0.52097 | 113176.0 | starexec-unknown | sat |
433167900 | qf_shls_entl/bolognesa-14-e06.tptp.smt2 | 8317296 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.804056 | 0.795044 | 414620.0 | starexec-unknown | unsat |
433167890 | qf_shls_entl/bolognesa-14-e07.tptp.smt2 | 8317286 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.587976 | 0.578527 | 414612.0 | starexec-unknown | unsat |
433167790 | qf_shls_entl/bolognesa-14-e08.tptp.smt2 | 8317186 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.51349 | 1.50427 | 414756.0 | starexec-unknown | unsat |
433167796 | qf_shls_entl/bolognesa-14-e09.tptp.smt2 | 8317192 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.559849 | 0.550847 | 113176.0 | starexec-unknown | unsat |
433167979 | qf_shls_entl/bolognesa-14-e10.tptp.smt2 | 8317375 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.941626 | 0.932811 | 414544.0 | starexec-unknown | sat |
433167960 | qf_shls_entl/bolognesa-15-e01.tptp.smt2 | 8317356 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.302836 | 0.293702 | 113176.0 | starexec-unknown | unsat |
433167986 | qf_shls_entl/bolognesa-15-e02.tptp.smt2 | 8317382 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.643661 | 0.635205 | 414288.0 | starexec-unknown | unsat |
433167975 | qf_shls_entl/bolognesa-15-e03.tptp.smt2 | 8317371 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.758926 | 0.749409 | 414620.0 | starexec-unknown | sat |
433167934 | qf_shls_entl/bolognesa-15-e04.tptp.smt2 | 8317330 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 2.8404 | 2.8319 | 414520.0 | starexec-unknown | unsat |
433167926 | qf_shls_entl/bolognesa-15-e05.tptp.smt2 | 8317322 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.768761 | 0.760179 | 414612.0 | starexec-unknown | unsat |
433167953 | qf_shls_entl/bolognesa-15-e06.tptp.smt2 | 8317349 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.952667 | 0.94421 | 414620.0 | starexec-unknown | unsat |
433167941 | qf_shls_entl/bolognesa-15-e07.tptp.smt2 | 8317337 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.577273 | 0.567993 | 414756.0 | starexec-unknown | unsat |
433168028 | qf_shls_entl/bolognesa-15-e08.tptp.smt2 | 8317424 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29704 | 0.288681 | 113176.0 | starexec-unknown | sat |
433168033 | qf_shls_entl/bolognesa-15-e09.tptp.smt2 | 8317429 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.622679 | 0.613446 | 414620.0 | starexec-unknown | sat |
433167850 | qf_shls_entl/bolognesa-15-e10.tptp.smt2 | 8317246 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.661389 | 0.652356 | 414620.0 | starexec-unknown | unsat |
433167808 | qf_shls_entl/bolognesa-16-e01.tptp.smt2 | 8317204 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.761977 | 0.752951 | 414288.0 | starexec-unknown | unsat |
433167838 | qf_shls_entl/bolognesa-16-e02.tptp.smt2 | 8317234 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.343312 | 0.334127 | 113176.0 | starexec-unknown | sat |
433167825 | qf_shls_entl/bolognesa-16-e03.tptp.smt2 | 8317221 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.785342 | 0.776337 | 113176.0 | starexec-unknown | sat |
433167779 | qf_shls_entl/bolognesa-16-e04.tptp.smt2 | 8317175 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.302954 | 0.320275 | 113176.0 | starexec-unknown | sat |
433167767 | qf_shls_entl/bolognesa-16-e05.tptp.smt2 | 8317163 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.677562 | 0.671198 | 414520.0 | starexec-unknown | unsat |
433167802 | qf_shls_entl/bolognesa-16-e06.tptp.smt2 | 8317198 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.772996 | 0.764904 | 414756.0 | starexec-unknown | sat |
433167791 | qf_shls_entl/bolognesa-16-e07.tptp.smt2 | 8317187 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.864818 | 0.8558 | 414552.0 | starexec-unknown | unsat |
433167892 | qf_shls_entl/bolognesa-16-e08.tptp.smt2 | 8317288 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.785541 | 0.77746 | 414552.0 | starexec-unknown | unsat |
433167901 | qf_shls_entl/bolognesa-16-e09.tptp.smt2 | 8317297 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.603585 | 0.594857 | 414612.0 | starexec-unknown | unsat |
433167996 | qf_shls_entl/bolognesa-16-e10.tptp.smt2 | 8317392 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.812744 | 0.803956 | 414288.0 | starexec-unknown | sat |
433168010 | qf_shls_entl/bolognesa-17-e01.tptp.smt2 | 8317406 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.886614 | 0.877406 | 414544.0 | starexec-unknown | unsat |
433167999 | qf_shls_entl/bolognesa-17-e02.tptp.smt2 | 8317395 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.587635 | 0.578958 | 414612.0 | starexec-unknown | sat |
433167990 | qf_shls_entl/bolognesa-17-e03.tptp.smt2 | 8317386 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.531702 | 0.522763 | 414544.0 | starexec-unknown | sat |
433168054 | qf_shls_entl/bolognesa-17-e04.tptp.smt2 | 8317450 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.817147 | 0.812974 | 414288.0 | starexec-unknown | unsat |
433168046 | qf_shls_entl/bolognesa-17-e05.tptp.smt2 | 8317442 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.844828 | 0.841537 | 414620.0 | starexec-unknown | unsat |
433168038 | qf_shls_entl/bolognesa-17-e06.tptp.smt2 | 8317434 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.786204 | 0.777198 | 414544.0 | starexec-unknown | unsat |
433168029 | qf_shls_entl/bolognesa-17-e07.tptp.smt2 | 8317425 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 6.61624 | 6.6079 | 414544.0 | starexec-unknown | unsat |
433167944 | qf_shls_entl/bolognesa-17-e08.tptp.smt2 | 8317340 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.358258 | 0.349161 | 113176.0 | starexec-unknown | sat |
433167954 | qf_shls_entl/bolognesa-17-e09.tptp.smt2 | 8317350 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.309273 | 0.300838 | 113176.0 | starexec-unknown | unsat |
433167833 | qf_shls_entl/bolognesa-17-e10.tptp.smt2 | 8317229 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.73472 | 0.726262 | 414544.0 | starexec-unknown | unsat |
433168039 | qf_shls_entl/bolognesa-18-e01.tptp.smt2 | 8317435 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.62769 | 1.61879 | 414288.0 | starexec-unknown | unsat |
433168045 | qf_shls_entl/bolognesa-18-e02.tptp.smt2 | 8317441 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.29193 | 1.31999 | 414756.0 | starexec-unknown | sat |
433168053 | qf_shls_entl/bolognesa-18-e03.tptp.smt2 | 8317449 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.417494 | 0.431087 | 113176.0 | starexec-unknown | sat |
433167991 | qf_shls_entl/bolognesa-18-e04.tptp.smt2 | 8317387 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 3.44514 | 3.4379 | 414544.0 | starexec-unknown | sat |
433168000 | qf_shls_entl/bolognesa-18-e05.tptp.smt2 | 8317396 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 2.66359 | 2.65462 | 414612.0 | starexec-unknown | sat |
433168009 | qf_shls_entl/bolognesa-18-e06.tptp.smt2 | 8317405 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.20233 | 1.19333 | 414520.0 | starexec-unknown | sat |
433168017 | qf_shls_entl/bolognesa-18-e07.tptp.smt2 | 8317413 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.786651 | 0.777979 | 414552.0 | starexec-unknown | sat |
433167970 | qf_shls_entl/bolognesa-18-e08.tptp.smt2 | 8317366 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.510776 | 0.501721 | 113176.0 | starexec-unknown | sat |
433167961 | qf_shls_entl/bolognesa-18-e09.tptp.smt2 | 8317357 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.754473 | 0.745423 | 414620.0 | starexec-unknown | sat |
433167775 | qf_shls_entl/bolognesa-18-e10.tptp.smt2 | 8317171 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.824039 | 0.814913 | 414552.0 | starexec-unknown | unsat |
433167801 | qf_shls_entl/bolognesa-19-e01.tptp.smt2 | 8317197 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 5.44708 | 5.43811 | 414520.0 | starexec-unknown | sat |
433167768 | qf_shls_entl/bolognesa-19-e02.tptp.smt2 | 8317164 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.858265 | 0.923998 | 414520.0 | starexec-unknown | sat |
433167780 | qf_shls_entl/bolognesa-19-e03.tptp.smt2 | 8317176 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.774401 | 0.798738 | 414500.0 | starexec-unknown | sat |
433167824 | qf_shls_entl/bolognesa-19-e04.tptp.smt2 | 8317220 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.2621 | 1.2539 | 414620.0 | starexec-unknown | sat |
433167837 | qf_shls_entl/bolognesa-19-e05.tptp.smt2 | 8317233 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.941793 | 0.963368 | 414756.0 | starexec-unknown | unsat |
433167809 | qf_shls_entl/bolognesa-19-e06.tptp.smt2 | 8317205 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.904812 | 0.895878 | 414288.0 | starexec-unknown | unsat |
433167818 | qf_shls_entl/bolognesa-19-e07.tptp.smt2 | 8317214 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.836667 | 0.827503 | 414520.0 | starexec-unknown | sat |
433167881 | qf_shls_entl/bolognesa-19-e08.tptp.smt2 | 8317277 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.673752 | 0.664424 | 414544.0 | starexec-unknown | unsat |
433167872 | qf_shls_entl/bolognesa-19-e09.tptp.smt2 | 8317268 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.547372 | 0.538574 | 414520.0 | starexec-unknown | sat |
433168050 | qf_shls_entl/bolognesa-19-e10.tptp.smt2 | 8317446 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.980125 | 0.970697 | 414756.0 | starexec-unknown | unsat |
433167770 | qf_shls_entl/bolognesa-20-e01.tptp.smt2 | 8317166 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.498867 | 0.489767 | 113176.0 | starexec-unknown | sat |
433167798 | qf_shls_entl/bolognesa-20-e02.tptp.smt2 | 8317194 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 8.46997 | 8.46612 | 414544.0 | starexec-unknown | sat |
433167789 | qf_shls_entl/bolognesa-20-e03.tptp.smt2 | 8317185 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.845703 | 0.836733 | 414876.0 | starexec-unknown | sat |
433167817 | qf_shls_entl/bolognesa-20-e04.tptp.smt2 | 8317213 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.614339 | 0.605287 | 414756.0 | starexec-unknown | sat |
433167804 | qf_shls_entl/bolognesa-20-e05.tptp.smt2 | 8317200 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.729681 | 0.720389 | 414552.0 | starexec-unknown | sat |
433167839 | qf_shls_entl/bolognesa-20-e06.tptp.smt2 | 8317235 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.856072 | 0.847557 | 414620.0 | starexec-unknown | unsat |
433167827 | qf_shls_entl/bolognesa-20-e07.tptp.smt2 | 8317223 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.800653 | 0.791493 | 414876.0 | starexec-unknown | unsat |
433167847 | qf_shls_entl/bolognesa-20-e08.tptp.smt2 | 8317243 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.706531 | 0.697388 | 414544.0 | starexec-unknown | unsat |
433167860 | qf_shls_entl/bolognesa-20-e09.tptp.smt2 | 8317256 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.642277 | 0.633624 | 414552.0 | starexec-unknown | sat |
433168022 | qf_shls_entl/bolognesa-20-e10.tptp.smt2 | 8317418 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.820282 | 0.811595 | 414756.0 | starexec-unknown | unsat |
433167776 | qf_shls_entl/clones-01-e01.tptp.smt2 | 8317172 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.01139 | 0.011087 | 113176.0 | starexec-unknown | unsat |
433167784 | qf_shls_entl/clones-01-e02.tptp.smt2 | 8317180 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.012019 | 0.0116881 | 113176.0 | starexec-unknown | unsat |
433167793 | qf_shls_entl/clones-01-e03.tptp.smt2 | 8317189 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.01158 | 0.011236 | 113176.0 | starexec-unknown | unsat |
433167811 | qf_shls_entl/clones-01-e04.tptp.smt2 | 8317207 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011479 | 0.0111651 | 113176.0 | starexec-unknown | unsat |
433167820 | qf_shls_entl/clones-01-e05.tptp.smt2 | 8317216 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286044 | 0.28034 | 113176.0 | starexec-unknown | unsat |
433167834 | qf_shls_entl/clones-01-e06.tptp.smt2 | 8317230 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011996 | 0.011676 | 113176.0 | starexec-unknown | unsat |
433167844 | qf_shls_entl/clones-01-e07.tptp.smt2 | 8317240 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.284832 | 0.278936 | 113176.0 | starexec-unknown | sat |
433167865 | qf_shls_entl/clones-01-e08.tptp.smt2 | 8317261 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.746236 | 0.737068 | 414612.0 | starexec-unknown | sat |
433167857 | qf_shls_entl/clones-01-e09.tptp.smt2 | 8317253 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287617 | 0.281877 | 113176.0 | starexec-unknown | sat |
433168037 | qf_shls_entl/clones-01-e10.tptp.smt2 | 8317433 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286069 | 0.308168 | 113176.0 | starexec-unknown | sat |
433167929 | qf_shls_entl/clones-02-e01.tptp.smt2 | 8317325 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011687 | 0.011392 | 113176.0 | starexec-unknown | unsat |
433167937 | qf_shls_entl/clones-02-e02.tptp.smt2 | 8317333 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.012003 | 0.01164 | 113176.0 | starexec-unknown | unsat |
433167948 | qf_shls_entl/clones-02-e03.tptp.smt2 | 8317344 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011678 | 0.012564 | 0.0 | starexec-unknown | unsat |
433167965 | qf_shls_entl/clones-02-e04.tptp.smt2 | 8317361 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011899 | 0.0115921 | 113176.0 | starexec-unknown | unsat |
433167971 | qf_shls_entl/clones-02-e05.tptp.smt2 | 8317367 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292092 | 0.282863 | 113176.0 | starexec-unknown | unsat |
433167980 | qf_shls_entl/clones-02-e06.tptp.smt2 | 8317376 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011445 | 0.01117 | 113176.0 | starexec-unknown | unsat |
433167988 | qf_shls_entl/clones-02-e07.tptp.smt2 | 8317384 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.30249 | 0.293494 | 113176.0 | starexec-unknown | sat |
433168002 | qf_shls_entl/clones-02-e08.tptp.smt2 | 8317398 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.73625 | 1.72668 | 414288.0 | starexec-unknown | sat |
433167995 | qf_shls_entl/clones-02-e09.tptp.smt2 | 8317391 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.300726 | 0.291785 | 113176.0 | starexec-unknown | sat |
433167898 | qf_shls_entl/clones-02-e10.tptp.smt2 | 8317294 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.303084 | 0.293807 | 113176.0 | starexec-unknown | sat |
433167910 | qf_shls_entl/clones-03-e01.tptp.smt2 | 8317306 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011897 | 0.011705 | 113176.0 | starexec-unknown | unsat |
433167887 | qf_shls_entl/clones-03-e02.tptp.smt2 | 8317283 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011944 | 0.011604 | 113176.0 | starexec-unknown | unsat |
433167895 | qf_shls_entl/clones-03-e03.tptp.smt2 | 8317291 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011621 | 0.0136221 | 0.0 | starexec-unknown | unsat |
433167875 | qf_shls_entl/clones-03-e04.tptp.smt2 | 8317271 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.01148 | 0.0111599 | 113176.0 | starexec-unknown | unsat |
433167882 | qf_shls_entl/clones-03-e05.tptp.smt2 | 8317278 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289302 | 0.280749 | 113176.0 | starexec-unknown | unsat |
433167852 | qf_shls_entl/clones-03-e06.tptp.smt2 | 8317248 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011926 | 0.011572 | 113176.0 | starexec-unknown | unsat |
433167864 | qf_shls_entl/clones-03-e07.tptp.smt2 | 8317260 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.311189 | 0.302653 | 113176.0 | starexec-unknown | sat |
433167842 | qf_shls_entl/clones-03-e08.tptp.smt2 | 8317238 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.54989 | 1.54113 | 414620.0 | starexec-unknown | sat |
433167832 | qf_shls_entl/clones-03-e09.tptp.smt2 | 8317228 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.310116 | 0.301401 | 113176.0 | starexec-unknown | sat |
433167952 | qf_shls_entl/clones-03-e10.tptp.smt2 | 8317348 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.310989 | 0.358592 | 113176.0 | starexec-unknown | sat |
433167800 | qf_shls_entl/clones-04-e01.tptp.smt2 | 8317196 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011613 | 0.0113171 | 113176.0 | starexec-unknown | unsat |
433167766 | qf_shls_entl/clones-04-e02.tptp.smt2 | 8317162 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011869 | 0.011529 | 113176.0 | starexec-unknown | unsat |
433167781 | qf_shls_entl/clones-04-e03.tptp.smt2 | 8317177 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.01144 | 0.01113 | 113176.0 | starexec-unknown | unsat |
433167826 | qf_shls_entl/clones-04-e04.tptp.smt2 | 8317222 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011301 | 0.0110249 | 113176.0 | starexec-unknown | unsat |
433167836 | qf_shls_entl/clones-04-e05.tptp.smt2 | 8317232 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290393 | 0.281667 | 113176.0 | starexec-unknown | unsat |
433167807 | qf_shls_entl/clones-04-e06.tptp.smt2 | 8317203 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.012075 | 0.013575 | 0.0 | starexec-unknown | unsat |
433167819 | qf_shls_entl/clones-04-e07.tptp.smt2 | 8317215 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.322822 | 0.314207 | 113176.0 | starexec-unknown | sat |
433167880 | qf_shls_entl/clones-04-e08.tptp.smt2 | 8317276 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.711222 | 0.702326 | 414544.0 | starexec-unknown | sat |
433167873 | qf_shls_entl/clones-04-e09.tptp.smt2 | 8317269 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.320785 | 0.311718 | 113176.0 | starexec-unknown | sat |
433168051 | qf_shls_entl/clones-04-e10.tptp.smt2 | 8317447 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.320991 | 0.311811 | 113176.0 | starexec-unknown | sat |
433168036 | qf_shls_entl/clones-05-e01.tptp.smt2 | 8317432 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.012034 | 0.0117081 | 113176.0 | starexec-unknown | unsat |
433168044 | qf_shls_entl/clones-05-e02.tptp.smt2 | 8317440 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011219 | 0.010868 | 113176.0 | starexec-unknown | unsat |
433168055 | qf_shls_entl/clones-05-e03.tptp.smt2 | 8317451 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.01146 | 0.0111719 | 113176.0 | starexec-unknown | unsat |
433167992 | qf_shls_entl/clones-05-e04.tptp.smt2 | 8317388 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011535 | 0.011271 | 113176.0 | starexec-unknown | unsat |
433167998 | qf_shls_entl/clones-05-e05.tptp.smt2 | 8317394 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29009 | 0.281654 | 113176.0 | starexec-unknown | unsat |
433168008 | qf_shls_entl/clones-05-e06.tptp.smt2 | 8317404 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.012124 | 0.0118211 | 113176.0 | starexec-unknown | unsat |
433168018 | qf_shls_entl/clones-05-e07.tptp.smt2 | 8317414 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.335843 | 0.326716 | 113176.0 | starexec-unknown | sat |
433167969 | qf_shls_entl/clones-05-e08.tptp.smt2 | 8317365 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.566749 | 0.557776 | 414520.0 | starexec-unknown | sat |
433167962 | qf_shls_entl/clones-05-e09.tptp.smt2 | 8317358 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.339206 | 0.329951 | 113176.0 | starexec-unknown | sat |
433167777 | qf_shls_entl/clones-05-e10.tptp.smt2 | 8317173 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.333203 | 0.324506 | 113176.0 | starexec-unknown | sat |
433167896 | qf_shls_entl/clones-06-e01.tptp.smt2 | 8317292 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.012349 | 0.012015 | 113176.0 | starexec-unknown | unsat |
433167906 | qf_shls_entl/clones-06-e02.tptp.smt2 | 8317302 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011472 | 0.0111479 | 113176.0 | starexec-unknown | unsat |
433167919 | qf_shls_entl/clones-06-e03.tptp.smt2 | 8317315 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011582 | 0.0112581 | 113176.0 | starexec-unknown | unsat |
433167848 | qf_shls_entl/clones-06-e04.tptp.smt2 | 8317244 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011629 | 0.0130449 | 0.0 | starexec-unknown | unsat |
433167858 | qf_shls_entl/clones-06-e05.tptp.smt2 | 8317254 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290672 | 0.281648 | 113176.0 | starexec-unknown | unsat |
433167868 | qf_shls_entl/clones-06-e06.tptp.smt2 | 8317264 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011805 | 0.011483 | 113176.0 | starexec-unknown | unsat |
433167879 | qf_shls_entl/clones-06-e07.tptp.smt2 | 8317275 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.350383 | 0.341294 | 113176.0 | starexec-unknown | sat |
433167815 | qf_shls_entl/clones-06-e08.tptp.smt2 | 8317211 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.633462 | 0.624121 | 414756.0 | starexec-unknown | sat |
433167805 | qf_shls_entl/clones-06-e09.tptp.smt2 | 8317201 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.351309 | 0.342726 | 113176.0 | starexec-unknown | sat |
433167930 | qf_shls_entl/clones-06-e10.tptp.smt2 | 8317326 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.354451 | 0.345267 | 113176.0 | starexec-unknown | sat |
433167950 | qf_shls_entl/clones-07-e01.tptp.smt2 | 8317346 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011574 | 0.0112731 | 113176.0 | starexec-unknown | unsat |
433167924 | qf_shls_entl/clones-07-e02.tptp.smt2 | 8317320 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011987 | 0.0116539 | 113176.0 | starexec-unknown | unsat |
433167935 | qf_shls_entl/clones-07-e03.tptp.smt2 | 8317331 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011679 | 0.0114069 | 113176.0 | starexec-unknown | unsat |
433167977 | qf_shls_entl/clones-07-e04.tptp.smt2 | 8317373 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.012208 | 0.0119 | 113176.0 | starexec-unknown | unsat |
433167985 | qf_shls_entl/clones-07-e05.tptp.smt2 | 8317381 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292106 | 0.282916 | 113176.0 | starexec-unknown | unsat |
433167957 | qf_shls_entl/clones-07-e06.tptp.smt2 | 8317353 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011853 | 0.0115529 | 113176.0 | starexec-unknown | unsat |
433167967 | qf_shls_entl/clones-07-e07.tptp.smt2 | 8317363 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.372391 | 0.363386 | 113176.0 | starexec-unknown | sat |
433168014 | qf_shls_entl/clones-07-e08.tptp.smt2 | 8317410 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.71072 | 0.701556 | 414544.0 | starexec-unknown | sat |
433168005 | qf_shls_entl/clones-07-e09.tptp.smt2 | 8317401 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.369163 | 0.359888 | 113176.0 | starexec-unknown | sat |
433167912 | qf_shls_entl/clones-07-e10.tptp.smt2 | 8317308 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.37047 | 0.361205 | 113176.0 | starexec-unknown | sat |
433167958 | qf_shls_entl/clones-08-e01.tptp.smt2 | 8317354 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011384 | 0.0111019 | 113176.0 | starexec-unknown | unsat |
433167984 | qf_shls_entl/clones-08-e02.tptp.smt2 | 8317380 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011706 | 0.011425 | 113176.0 | starexec-unknown | unsat |
433167976 | qf_shls_entl/clones-08-e03.tptp.smt2 | 8317372 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.012536 | 0.0122041 | 113176.0 | starexec-unknown | unsat |
433167936 | qf_shls_entl/clones-08-e04.tptp.smt2 | 8317332 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011617 | 0.011338 | 113176.0 | starexec-unknown | unsat |
433167925 | qf_shls_entl/clones-08-e05.tptp.smt2 | 8317321 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290723 | 0.281806 | 113176.0 | starexec-unknown | unsat |
433167949 | qf_shls_entl/clones-08-e06.tptp.smt2 | 8317345 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011079 | 0.0115691 | 0.0 | starexec-unknown | unsat |
433167943 | qf_shls_entl/clones-08-e07.tptp.smt2 | 8317339 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.392904 | 0.383566 | 113176.0 | starexec-unknown | sat |
433168025 | qf_shls_entl/clones-08-e08.tptp.smt2 | 8317421 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.48261 | 0.793689 | 414544.0 | starexec-unknown | sat |
433168034 | qf_shls_entl/clones-08-e09.tptp.smt2 | 8317430 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.391912 | 0.382685 | 113176.0 | starexec-unknown | sat |
433167854 | qf_shls_entl/clones-08-e10.tptp.smt2 | 8317250 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.390556 | 0.382012 | 113176.0 | starexec-unknown | sat |
433167867 | qf_shls_entl/clones-09-e01.tptp.smt2 | 8317263 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011528 | 0.011196 | 113176.0 | starexec-unknown | unsat |
433167859 | qf_shls_entl/clones-09-e02.tptp.smt2 | 8317255 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011852 | 0.0115579 | 113176.0 | starexec-unknown | unsat |
433167849 | qf_shls_entl/clones-09-e03.tptp.smt2 | 8317245 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011563 | 0.0112439 | 113176.0 | starexec-unknown | unsat |
433167918 | qf_shls_entl/clones-09-e04.tptp.smt2 | 8317314 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011971 | 0.011645 | 113176.0 | starexec-unknown | unsat |
433167905 | qf_shls_entl/clones-09-e05.tptp.smt2 | 8317301 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291018 | 0.282188 | 113176.0 | starexec-unknown | unsat |
433167897 | qf_shls_entl/clones-09-e06.tptp.smt2 | 8317293 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011382 | 0.0110549 | 113176.0 | starexec-unknown | unsat |
433167891 | qf_shls_entl/clones-09-e07.tptp.smt2 | 8317287 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.416921 | 0.407485 | 113176.0 | starexec-unknown | sat |
433167787 | qf_shls_entl/clones-09-e08.tptp.smt2 | 8317183 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.903001 | 0.89561 | 414544.0 | starexec-unknown | sat |
433167799 | qf_shls_entl/clones-09-e09.tptp.smt2 | 8317195 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.417134 | 0.438274 | 113176.0 | starexec-unknown | sat |
433167981 | qf_shls_entl/clones-09-e10.tptp.smt2 | 8317377 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.42124 | 0.412227 | 113176.0 | starexec-unknown | sat |
433167794 | qf_shls_entl/clones-10-e01.tptp.smt2 | 8317190 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.012042 | 0.0204801 | 0.0 | starexec-unknown | unsat |
433167762 | qf_shls_entl/clones-10-e02.tptp.smt2 | 8317158 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011584 | 0.011293 | 113176.0 | starexec-unknown | unsat |
433167774 | qf_shls_entl/clones-10-e03.tptp.smt2 | 8317170 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.01115 | 0.0114731 | 0.0 | starexec-unknown | unsat |
433167831 | qf_shls_entl/clones-10-e04.tptp.smt2 | 8317227 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.01179 | 0.011462 | 113176.0 | starexec-unknown | unsat |
433167841 | qf_shls_entl/clones-10-e05.tptp.smt2 | 8317237 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292478 | 0.283533 | 113176.0 | starexec-unknown | unsat |
433167812 | qf_shls_entl/clones-10-e06.tptp.smt2 | 8317208 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.0114 | 0.0110671 | 113176.0 | starexec-unknown | unsat |
433167823 | qf_shls_entl/clones-10-e07.tptp.smt2 | 8317219 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.452281 | 0.443105 | 113176.0 | starexec-unknown | sat |
433167884 | qf_shls_entl/clones-10-e08.tptp.smt2 | 8317280 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.0235 | 1.01443 | 414756.0 | starexec-unknown | sat |
433167877 | qf_shls_entl/clones-10-e09.tptp.smt2 | 8317273 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.446555 | 0.437307 | 113176.0 | starexec-unknown | sat |
433168057 | qf_shls_entl/clones-10-e10.tptp.smt2 | 8317453 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.444973 | 0.43615 | 113176.0 | starexec-unknown | sat |
433168040 | qf_shls_entl/ls-vc01.smt2 | 8317436 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.292481 | 0.283322 | 113176.0 | starexec-unknown | sat |
433167871 | qf_shls_entl/ls-vc02.smt2 | 8317267 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.729227 | 0.720842 | 414544.0 | starexec-unknown | sat |
433167829 | qf_shls_entl/ls-vc03.smt2 | 8317225 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 1.42982 | 1.42072 | 414756.0 | starexec-unknown | sat |
433167923 | qf_shls_entl/ls-vc04.smt2 | 8317319 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286812 | 0.279324 | 113176.0 | starexec-unknown | sat |
433168027 | qf_shls_entl/ls-vc05.smt2 | 8317423 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287368 | 0.278609 | 113176.0 | unsat | unsat |
433167856 | qf_shls_entl/ls-vc06.smt2 | 8317252 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.450486 | 0.441518 | 113176.0 | starexec-unknown | sat |
433167814 | qf_shls_entl/ls-vc07.smt2 | 8317210 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.445756 | 0.436847 | 113176.0 | starexec-unknown | sat |
433167983 | qf_shls_entl/ls-vc08.smt2 | 8317379 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287401 | 0.278231 | 113176.0 | starexec-unknown | unsat |
433168015 | qf_shls_entl/ls-vc09.smt2 | 8317411 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288787 | 0.282857 | 113176.0 | starexec-unknown | unsat |
433167845 | qf_shls_entl/smallfoot-vc01.tptp.smt2 | 8317241 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011537 | 0.011232 | 113176.0 | starexec-unknown | unsat |
433167878 | qf_shls_entl/smallfoot-vc02.tptp.smt2 | 8317274 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011534 | 0.01126 | 113176.0 | starexec-unknown | unsat |
433167870 | qf_shls_entl/smallfoot-vc03.tptp.smt2 | 8317266 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.01187 | 0.0116079 | 113176.0 | starexec-unknown | unsat |
433167899 | qf_shls_entl/smallfoot-vc04.tptp.smt2 | 8317295 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011659 | 0.011368 | 113176.0 | starexec-unknown | unsat |
433167889 | qf_shls_entl/smallfoot-vc05.tptp.smt2 | 8317285 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.012152 | 0.011876 | 113176.0 | starexec-unknown | unsat |
433167916 | qf_shls_entl/smallfoot-vc06.tptp.smt2 | 8317312 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011962 | 0.0116281 | 113176.0 | starexec-unknown | unsat |
433167909 | qf_shls_entl/smallfoot-vc07.tptp.smt2 | 8317305 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011884 | 0.011581 | 113176.0 | starexec-unknown | unsat |
433167769 | qf_shls_entl/smallfoot-vc08.tptp.smt2 | 8317165 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011984 | 0.011645 | 113176.0 | starexec-unknown | unsat |
433167783 | qf_shls_entl/smallfoot-vc09.tptp.smt2 | 8317179 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287569 | 0.278528 | 113176.0 | starexec-unknown | unsat |
433167964 | qf_shls_entl/smallfoot-vc10.tptp.smt2 | 8317360 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288041 | 0.278825 | 113176.0 | starexec-unknown | unsat |
433167972 | qf_shls_entl/smallfoot-vc11.tptp.smt2 | 8317368 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287563 | 0.278205 | 113176.0 | starexec-unknown | unsat |
433167978 | qf_shls_entl/smallfoot-vc12.tptp.smt2 | 8317374 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288644 | 0.279834 | 113176.0 | starexec-unknown | unsat |
433167989 | qf_shls_entl/smallfoot-vc13.tptp.smt2 | 8317385 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288579 | 0.279414 | 113176.0 | starexec-unknown | unsat |
433167921 | qf_shls_entl/smallfoot-vc14.tptp.smt2 | 8317317 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011431 | 0.011117 | 113176.0 | starexec-unknown | unsat |
433167928 | qf_shls_entl/smallfoot-vc15.tptp.smt2 | 8317324 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011685 | 0.0114039 | 113176.0 | starexec-unknown | unsat |
433167938 | qf_shls_entl/smallfoot-vc16.tptp.smt2 | 8317334 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289616 | 0.280108 | 113176.0 | starexec-unknown | unsat |
433167947 | qf_shls_entl/smallfoot-vc17.tptp.smt2 | 8317343 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011646 | 0.021736 | 0.0 | starexec-unknown | unsat |
433168031 | qf_shls_entl/smallfoot-vc18.tptp.smt2 | 8317427 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287666 | 0.278931 | 113176.0 | starexec-unknown | unsat |
433168024 | qf_shls_entl/smallfoot-vc19.tptp.smt2 | 8317420 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011467 | 0.011141 | 113176.0 | starexec-unknown | unsat |
433167764 | qf_shls_entl/smallfoot-vc20.tptp.smt2 | 8317160 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011436 | 0.0110849 | 113176.0 | starexec-unknown | unsat |
433167772 | qf_shls_entl/smallfoot-vc21.tptp.smt2 | 8317168 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286082 | 0.277294 | 113176.0 | starexec-unknown | unsat |
433167786 | qf_shls_entl/smallfoot-vc22.tptp.smt2 | 8317182 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.02278 | 0.0180449 | 113176.0 | starexec-unknown | sat |
433167795 | qf_shls_entl/smallfoot-vc23.tptp.smt2 | 8317191 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286524 | 0.311105 | 113176.0 | starexec-unknown | sat |
433167813 | qf_shls_entl/smallfoot-vc24.tptp.smt2 | 8317209 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286187 | 0.278736 | 113176.0 | starexec-unknown | unsat |
433167822 | qf_shls_entl/smallfoot-vc25.tptp.smt2 | 8317218 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.285744 | 0.278217 | 113176.0 | starexec-unknown | unsat |
433167830 | qf_shls_entl/smallfoot-vc26.tptp.smt2 | 8317226 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287847 | 0.282071 | 113176.0 | starexec-unknown | unsat |
433167843 | qf_shls_entl/smallfoot-vc27.tptp.smt2 | 8317239 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011405 | 0.0110629 | 113176.0 | starexec-unknown | unsat |
433167862 | qf_shls_entl/smallfoot-vc28.tptp.smt2 | 8317258 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.285219 | 0.277449 | 113176.0 | starexec-unknown | unsat |
433167853 | qf_shls_entl/smallfoot-vc29.tptp.smt2 | 8317249 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288963 | 0.282842 | 113176.0 | starexec-unknown | sat |
433168035 | qf_shls_entl/smallfoot-vc30.tptp.smt2 | 8317431 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286355 | 0.280587 | 113176.0 | starexec-unknown | sat |
433168026 | qf_shls_entl/smallfoot-vc31.tptp.smt2 | 8317422 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28972 | 0.281852 | 113176.0 | starexec-unknown | sat |
433168056 | qf_shls_entl/smallfoot-vc32.tptp.smt2 | 8317452 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287038 | 0.281266 | 113176.0 | starexec-unknown | sat |
433168047 | qf_shls_entl/smallfoot-vc33.tptp.smt2 | 8317443 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289347 | 0.281906 | 113176.0 | starexec-unknown | sat |
433168001 | qf_shls_entl/smallfoot-vc34.tptp.smt2 | 8317397 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.308856 | 0.296163 | 113176.0 | starexec-unknown | unsat |
433167993 | qf_shls_entl/smallfoot-vc35.tptp.smt2 | 8317389 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.285456 | 0.279661 | 113176.0 | starexec-unknown | sat |
433168013 | qf_shls_entl/smallfoot-vc36.tptp.smt2 | 8317409 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289172 | 0.283436 | 113176.0 | starexec-unknown | unsat |
433168006 | qf_shls_entl/smallfoot-vc37.tptp.smt2 | 8317402 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.748876 | 0.739791 | 414544.0 | starexec-unknown | sat |
433167956 | qf_shls_entl/smallfoot-vc38.tptp.smt2 | 8317352 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.302153 | 0.291916 | 113176.0 | starexec-unknown | unsat |
433167968 | qf_shls_entl/smallfoot-vc39.tptp.smt2 | 8317364 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.293997 | 0.33693 | 113176.0 | starexec-unknown | sat |
433168020 | qf_shls_entl/smallfoot-vc40.tptp.smt2 | 8317416 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.309144 | 0.304613 | 113176.0 | starexec-unknown | sat |
433168012 | qf_shls_entl/smallfoot-vc41.tptp.smt2 | 8317408 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.300288 | 0.289379 | 113176.0 | starexec-unknown | unsat |
433168003 | qf_shls_entl/smallfoot-vc42.tptp.smt2 | 8317399 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.298947 | 0.288078 | 113176.0 | starexec-unknown | unsat |
433167994 | qf_shls_entl/smallfoot-vc43.tptp.smt2 | 8317390 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.306664 | 0.350603 | 113176.0 | starexec-unknown | sat |
433168048 | qf_shls_entl/smallfoot-vc44.tptp.smt2 | 8317444 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.289989 | 0.281068 | 113176.0 | starexec-unknown | unsat |
433168042 | qf_shls_entl/smallfoot-vc45.tptp.smt2 | 8317438 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.302977 | 0.292048 | 113176.0 | starexec-unknown | unsat |
433168032 | qf_shls_entl/smallfoot-vc46.tptp.smt2 | 8317428 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.299081 | 0.288261 | 113176.0 | starexec-unknown | unsat |
433168023 | qf_shls_entl/smallfoot-vc47.tptp.smt2 | 8317419 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011797 | 0.0114631 | 113176.0 | starexec-unknown | unsat |
433167939 | qf_shls_entl/smallfoot-vc48.tptp.smt2 | 8317335 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290551 | 0.281057 | 113176.0 | starexec-unknown | unsat |
433167946 | qf_shls_entl/smallfoot-vc49.tptp.smt2 | 8317342 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287858 | 0.279428 | 113176.0 | starexec-unknown | sat |
433167828 | qf_shls_entl/smallfoot-vc50.tptp.smt2 | 8317224 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.297891 | 0.287636 | 113176.0 | starexec-unknown | unsat |
433167840 | qf_shls_entl/smallfoot-vc51.tptp.smt2 | 8317236 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.291197 | 0.282521 | 113176.0 | starexec-unknown | unsat |
433167803 | qf_shls_entl/smallfoot-vc52.tptp.smt2 | 8317199 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286585 | 0.277589 | 113176.0 | starexec-unknown | unsat |
433167816 | qf_shls_entl/smallfoot-vc53.tptp.smt2 | 8317212 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287571 | 0.278242 | 113176.0 | starexec-unknown | unsat |
433167788 | qf_shls_entl/smallfoot-vc54.tptp.smt2 | 8317184 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.022823 | 0.0180599 | 113176.0 | starexec-unknown | sat |
433167797 | qf_shls_entl/smallfoot-vc55.tptp.smt2 | 8317193 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.297882 | 0.286855 | 113176.0 | starexec-unknown | unsat |
433167771 | qf_shls_entl/smallfoot-vc56.tptp.smt2 | 8317167 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.299296 | 0.288513 | 113176.0 | starexec-unknown | sat |
433167782 | qf_shls_entl/smallfoot-vc57.tptp.smt2 | 8317178 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.288773 | 0.279838 | 113176.0 | starexec-unknown | sat |
433167917 | qf_shls_entl/smallfoot-vc58.tptp.smt2 | 8317313 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.290918 | 0.338563 | 113176.0 | starexec-unknown | unsat |
433167907 | qf_shls_entl/smallfoot-vc59.tptp.smt2 | 8317303 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28765 | 0.278756 | 113176.0 | starexec-unknown | unsat |
433167942 | qf_shls_entl/smallfoot-vc60.tptp.smt2 | 8317338 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.299665 | 0.2888 | 113176.0 | starexec-unknown | unsat |
433167951 | qf_shls_entl/smallfoot-vc61.tptp.smt2 | 8317347 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.299642 | 0.288729 | 113176.0 | starexec-unknown | sat |
433167927 | qf_shls_entl/smallfoot-vc62.tptp.smt2 | 8317323 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011904 | 0.0115999 | 113176.0 | starexec-unknown | unsat |
433167933 | qf_shls_entl/smallfoot-vc63.tptp.smt2 | 8317329 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.298922 | 0.287931 | 113176.0 | starexec-unknown | unsat |
433167974 | qf_shls_entl/smallfoot-vc64.tptp.smt2 | 8317370 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011864 | 0.0115321 | 113176.0 | starexec-unknown | unsat |
433167987 | qf_shls_entl/smallfoot-vc65.tptp.smt2 | 8317383 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.298313 | 0.288062 | 113176.0 | starexec-unknown | unsat |
433167959 | qf_shls_entl/smallfoot-vc66.tptp.smt2 | 8317355 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.287907 | 0.278734 | 113176.0 | starexec-unknown | unsat |
433167966 | qf_shls_entl/smallfoot-vc67.tptp.smt2 | 8317362 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.29862 | 0.28798 | 113176.0 | starexec-unknown | unsat |
433168016 | qf_shls_entl/smallfoot-vc68.tptp.smt2 | 8317412 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.298449 | 0.287482 | 113176.0 | starexec-unknown | sat |
433168004 | qf_shls_entl/smallfoot-vc69.tptp.smt2 | 8317400 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.035321 | 0.028734 | 113176.0 | starexec-unknown | sat |
433167911 | qf_shls_entl/smallfoot-vc70.tptp.smt2 | 8317307 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.320092 | 0.320075 | 113176.0 | starexec-unknown | sat |
433167903 | qf_shls_entl/smallfoot-vc71.tptp.smt2 | 8317299 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286269 | 0.278875 | 113176.0 | starexec-unknown | unsat |
433167894 | qf_shls_entl/smallfoot-vc72.tptp.smt2 | 8317290 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286776 | 0.279328 | 113176.0 | starexec-unknown | sat |
433167886 | qf_shls_entl/smallfoot-vc73.tptp.smt2 | 8317282 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.28797 | 0.280594 | 113176.0 | starexec-unknown | sat |
433167883 | qf_shls_entl/smallfoot-vc74.tptp.smt2 | 8317279 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.308654 | 0.304307 | 113176.0 | starexec-unknown | unsat |
433167876 | qf_shls_entl/smallfoot-vc75.tptp.smt2 | 8317272 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.286554 | 0.280696 | 113176.0 | starexec-unknown | unsat |
433167863 | qf_shls_entl/smallfoot-vc76.tptp.smt2 | 8317259 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.2985 | 0.28731 | 113176.0 | starexec-unknown | sat |
433167851 | qf_shls_entl/smallfoot-vc77.tptp.smt2 | 8317247 | slide-2018-v5 | 20623 | SLD_input | 304322 | complete | 0.011689 | 0.0113551 | 113176.0 | starexec-unknown | unsat |